instance,benchmark_name,solved,time,time,time,time,time,solver,solver_config,objective,objective,objective,objective,memusage,error,error,time_range,memusage,time,memusage,solver_args,memusage
count,,sum,mean,sum,amin,amax,std,,,mean,amin,amax,std,amax,mean,amax,,amin,median,mean,,std
155,hyperbench-cq,155,19.6807341935,3050.5138,8.2604,114.492,18.5488552501,fhtd,sat-n1-0.7,1.04946258065,1.0,2.0,0.19010035154,104.86,0.0,0,"(0, 120]",69.34,13.4043,79.8594193548,-ncb -ntb -np,5.2598657134
154,hyperbench-cq,154,17.6325805195,2715.4174,8.6687,97.1315,16.7074019834,fhtd,sat-clique4-lb-n1-0.7,1.04545454545,1.0,2.0,0.184032857641,104.56,0.0,0,"(0, 120]",69.45,10.95785,82.0914285714,-ntb -bo -np,4.6748448548
156,hyperbench-cq,156,7.73926987179,1207.3261,3.5858,11.7207,3.01316174664,fhtd,sat-pre-clique6-lb-n1-0.7,1.05235064103,1.0,2.0,0.192889018901,91.2,0.0,0,"(0, 120]",69.14,9.4662,78.5,-ck=6 -ntb -bo,2.3794390773
156,hyperbench-cq,156,7.415125,1156.7595,1.9847,14.1448,2.47609078461,fhtd,sat-clique4-pre-lb-n1-0.7,1.05235064103,1.0,2.0,0.192889018901,92.32,0.0,0,"(0, 120]",69.41,8.2382,78.4820512821,-ntb -bo,2.48438964217
156,hyperbench-cq,156,1.06214294872,165.6943,0.4351,3.2049,0.521211021857,detkdecomp-prog,default-n1-1.0,1.07692307692,1.0,2.0,0.267327551612,12.7,0.0,0,"(0, 120]",12.36,0.99035,12.511474359,50,0.0831695081158
1,hyperbench-cq,1,127.364,127.364,127.364,127.364,,fhtd,sat-n1-0.7,1.5,1.5,1.5,,109.18,0.0,0,"(120, 240]",109.18,127.364,109.18,-ncb -ntb -np,
2,hyperbench-cq,2,124.949,249.898,122.157,127.741,3.94848426615,fhtd,sat-clique4-lb-n1-0.7,1.58335,1.5,1.6667,0.117874700424,111.11,0.0,0,"(120, 240]",109.23,124.949,110.17,-ntb -bo -np,1.32936074863
309,hyperbench-csp_application,309,36.5373385113,11290.0376,3.1941,113.49,17.4184818627,fhtd,sat-n1-0.7,4.25324675325,2.0,5.5,0.579921238185,107.46,0.828478964401,256,"(0, 120]",78.38,33.1331,92.8415909091,-ncb -ntb -np,6.3060574055
339,hyperbench-csp_application,338,35.5153442478,12039.7017,3.2254,119.975,17.1617490713,fhtd,sat-clique4-lb-n1-0.7,4.35798816568,2.0,6.0,0.661989250974,119.13,0.566371681416,192,"(0, 120]",81.1,30.5354,95.1526843658,-ntb -bo -np,6.73470255561
340,hyperbench-csp_application,339,34.9282344118,11875.5997,1.9135,95.5608,17.9700287297,fhtd,sat-clique4-pre-lb-n1-0.7,4.34808259587,2.0,6.0,0.681380112025,118.37,0.564705882353,192,"(0, 120]",79.71,31.60585,101.698294118,-ntb -bo,9.32539233567
340,hyperbench-csp_application,339,34.549825,11746.9405,1.12,102.944,17.1520376604,fhtd,sat-pre-clique6-lb-n1-0.7,4.34467455621,2.0,6.0,0.679490588999,118.13,1.31764705882,256,"(0, 120]",80.34,31.8973,101.740088496,-ck=6 -ntb -bo,9.2319435627
216,hyperbench-csp_application,216,22.0333875,4759.2117,0.5298,117.696,31.4677048141,detkdecomp-prog,default-n1-1.0,3.19444444444,2.0,4.0,0.653553198252,12.75,0.0,0,"(0, 120]",12.38,2.98055,12.5362962963,50,0.0809259505634
27,hyperbench-csp_application,27,198.327740741,5354.849,120.408,239.792,36.9817074091,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,15.55,0.0,0,"(120, 240]",12.42,214.494,12.8259259259,50,0.716590534617
38,hyperbench-csp_application,26,195.34,7422.92,126.48,239.866,28.9380238749,fhtd,sat-pre-clique6-lb-n1-0.7,5.19230769231,3.0,6.0,1.25759232724,7373.46,172.368421053,578,"(120, 240]",106.11,203.0885,2190.28236842,-ck=6 -ntb -bo,3227.27498258
26,hyperbench-csp_application,24,195.005846154,5070.152,132.867,237.025,31.0032538379,fhtd,sat-clique4-lb-n1-0.7,5.125,2.0,6.0,1.3850914269,167.62,14.7692307692,192,"(120, 240]",99.04,198.102,145.18,-ntb -bo -np,24.0491233936
30,hyperbench-csp_application,23,192.684733333,5780.542,121.535,236.882,35.368280374,fhtd,sat-clique4-pre-lb-n1-0.7,5.08695652174,3.0,6.0,1.30255146394,7373.54,122.0,578,"(120, 240]",107.48,197.0845,1563.93866667,-ntb -bo,2866.48402096
9,hyperbench-csp_application,9,164.230666667,1478.076,121.712,231.304,35.8132715554,fhtd,sat-n1-0.7,3.44444444444,2.0,6.0,1.23603308118,167.41,0.0,0,"(120, 240]",96.97,153.173,122.994444444,-ncb -ntb -np,25.6370108979
79,hyperbench-csp_application,79,298.852291139,23609.331,249.389,349.742,31.0522590355,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,15.63,0.0,0,"(240, 360]",12.4,294.235,12.6353164557,50,0.48595091934
31,hyperbench-csp_application,31,297.947903226,9236.385,245.743,358.873,32.3666346591,fhtd,sat-clique4-lb-n1-0.7,5.58064516129,2.0,6.0,1.20482899335,197.09,0.0,0,"(240, 360]",141.45,302.126,166.390645161,-ntb -bo -np,9.06718292727
18,hyperbench-csp_application,18,297.854388889,5361.379,249.415,349.354,32.7830495049,fhtd,sat-n1-0.7,5.47222222222,2.0,6.0,1.28877760394,179.96,0.0,0,"(240, 360]",104.54,291.9845,158.27,-ncb -ntb -np,19.8431878962
28,hyperbench-csp_application,28,292.148178571,8180.149,240.292,356.727,35.1856163384,fhtd,sat-clique4-pre-lb-n1-0.7,5.85714285714,2.0,6.0,0.755928946018,186.35,0.0,0,"(240, 360]",154.92,283.6925,176.297857143,-ntb -bo,6.6337483718
27,hyperbench-csp_application,26,287.855444444,7772.097,240.627,357.566,35.1041161835,fhtd,sat-pre-clique6-lb-n1-0.7,5.69230769231,2.0,6.0,1.08698595278,7150.31,21.4074074074,578,"(240, 360]",156.98,284.816,435.352592593,-ck=6 -ntb -bo,1342.03620202
6,hyperbench-csp_application,6,430.475333333,2582.852,388.782,477.739,33.9156664547,fhtd,sat-clique4-lb-n1-0.7,5.16666666667,2.0,6.5,1.69312334656,225.38,0.0,0,"(360, 480]",165.7,434.5685,185.698333333,-ntb -bo -np,22.6262364671
40,hyperbench-csp_application,11,428.463175,17138.527,365.624,469.558,27.12507178,fhtd,sat-clique4-pre-lb-n1-0.7,4.04545454545,2.0,6.0,2.00567377026,7168.34,1763.05,8258,"(360, 480]",175.64,434.549,5249.6905,-ntb -bo,3148.62307609
30,hyperbench-csp_application,9,425.312066667,12759.362,370.066,476.506,25.4778242033,fhtd,sat-pre-clique6-lb-n1-0.7,4.22222222222,2.0,6.0,2.10818510678,7168.31,1684.6,8258,"(360, 480]",174.71,422.3635,5074.22333333,-ck=6 -ntb -bo,3247.24297308
31,hyperbench-csp_application,31,419.705741935,13010.878,361.977,478.244,36.8920554076,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,15.6,0.0,0,"(360, 480]",12.41,417.026,12.6058064516,50,0.560516275075
15,hyperbench-csp_application,15,416.4414,6246.621,360.693,477.414,36.1766948972,fhtd,sat-n1-0.7,4.8,2.0,6.0,1.76068168617,244.08,0.0,0,"(360, 480]",108.21,415.163,168.206666667,-ncb -ntb -np,40.4535893987
11,hyperbench-csp_application,10,549.608818182,6045.697,495.368,598.505,35.7914220472,fhtd,sat-clique4-lb-n1-0.7,3.45,2.0,6.0,1.606410768,282.13,17.4545454545,192,"(480, 600]",166.87,557.575,242.616363636,-ntb -bo -np,30.6662033101
11,hyperbench-csp_application,11,545.710363636,6002.814,482.763,585.269,34.8259898331,fhtd,sat-n1-0.7,4.63636363636,2.0,6.0,1.79012442432,263.47,0.0,0,"(480, 600]",107.66,547.981,187.515454545,-ncb -ntb -np,55.6914371091
15,hyperbench-csp_application,8,531.453066667,7971.796,482.345,599.924,35.9915413961,fhtd,sat-pre-clique6-lb-n1-0.7,3.1875,2.0,5.0,1.19335960333,7422.54,209.866666667,578,"(480, 600]",226.61,541.415,3042.72933333,-ck=6 -ntb -bo,3520.96340214
11,hyperbench-csp_application,6,527.895090909,5806.846,482.716,598.919,42.627295456,fhtd,sat-clique4-pre-lb-n1-0.7,2.91666666667,2.0,4.5,1.1143009767,7467.65,2322.18181818,8258,"(480, 600]",246.95,531.239,2806.48818182,-ntb -bo,3517.21842587
9,hyperbench-csp_application,9,524.394111111,4719.547,481.025,585.164,35.9786217963,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,12.59,0.0,0,"(480, 600]",12.41,519.609,12.4688888889,50,0.0611237360696
11,hyperbench-csp_application,11,665.826090909,7324.087,625.696,711.969,32.4774608781,fhtd,sat-n1-0.7,4.77272727273,2.0,6.0,1.66378538826,311.25,0.0,0,"(600, 720]",161.34,655.694,220.096363636,-ncb -ntb -np,59.0351168836
5,hyperbench-csp_application,4,649.9666,3249.833,604.168,711.126,55.2474221281,fhtd,sat-pre-clique6-lb-n1-0.7,4.625,3.0,6.0,1.25,291.88,38.4,192,"(600, 720]",184.65,619.953,254.05,-ck=6 -ntb -bo,42.9612540553
5,hyperbench-csp_application,4,649.6516,3248.258,601.828,675.768,29.9860009805,fhtd,sat-clique4-lb-n1-0.7,3.25,2.0,5.0,1.25830573921,291.69,38.4,192,"(600, 720]",281.59,661.47,287.348,-ntb -bo -np,3.64009889976
4,hyperbench-csp_application,3,646.833,2587.332,604.454,699.863,39.8399641315,fhtd,sat-clique4-pre-lb-n1-0.7,4.33333333333,3.0,5.0,1.15470053838,289.05,48.0,192,"(600, 720]",249.59,641.5075,274.0425,-ntb -bo,18.413997167
3,hyperbench-csp_application,3,638.209333333,1914.628,602.72,688.829,45.0042799113,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,12.58,0.0,0,"(600, 720]",12.47,623.079,12.53,50,0.0556776436283
4,hyperbench-csp_application,4,775.01825,3100.073,756.085,793.055,15.2276314064,fhtd,sat-clique4-lb-n1-0.7,4.125,2.0,6.5,2.01556443707,305.77,0.0,0,"(720, 840]",164.04,775.4665,260.72,-ntb -bo -np,65.0964817278
6,hyperbench-csp_application,4,774.259,4645.554,729.713,836.236,39.9884039241,fhtd,sat-pre-clique6-lb-n1-0.7,3.75,2.0,5.0,1.5,7674.3,107.333333333,578,"(720, 840]",287.68,763.465,2721.40333333,-ck=6 -ntb -bo,3748.34587986
8,hyperbench-csp_application,6,766.417125,6131.337,721.4,832.721,43.8450780441,fhtd,sat-clique4-pre-lb-n1-0.7,4.0,2.0,6.0,1.54919333848,7545.15,96.25,578,"(720, 840]",185.44,761.3255,1189.91625,-ntb -bo,2568.22570253
11,hyperbench-csp_application,11,762.262181818,8384.884,720.247,807.891,30.4364932665,fhtd,sat-n1-0.7,5.40909090909,3.0,6.0,0.917010954629,290.01,0.0,0,"(720, 840]",107.74,768.6,165.979090909,-ncb -ntb -np,57.5590845053
12,hyperbench-csp_application,12,898.299833333,10779.598,841.183,944.255,34.9013764116,fhtd,sat-n1-0.7,4.45833333333,2.0,6.0,1.51445059545,400.46,0.0,0,"(840, 960]",108.5,902.849,241.845,-ncb -ntb -np,99.8278188136
6,hyperbench-csp_application,4,894.589833333,5367.539,842.319,940.292,33.560539724,fhtd,sat-pre-clique6-lb-n1-0.7,4.375,2.0,6.5,1.88745860882,7437.77,128.333333333,578,"(840, 960]",181.16,890.721,1485.36666667,-ck=6 -ntb -bo,2916.8954593
7,hyperbench-csp_application,5,886.046428571,6202.325,848.231,951.533,38.7683276566,fhtd,sat-clique4-pre-lb-n1-0.7,4.1,2.0,6.5,1.74642491966,7444.57,92.0,578,"(840, 960]",174.0,877.621,2347.06857143,-ntb -bo,3481.3193566
2,hyperbench-csp_application,2,864.568,1729.136,850.77,878.366,19.5133187336,fhtd,sat-clique4-lb-n1-0.7,3.5,2.0,5.0,2.12132034356,337.05,0.0,0,"(840, 960]",264.96,864.568,301.005,-ntb -bo -np,50.9753278557
27,hyperbench-csp_application,2,1048.88325926,28319.848,961.228,1077.58,24.1355284059,fhtd,sat-clique4-pre-lb-n1-0.7,2.0,2.0,2.0,0.0,7673.85,2222.88888889,8258,"(960, 1080]",399.78,1050.76,6921.98703704,-ntb -bo,1872.85678789
27,hyperbench-csp_application,5,1040.54355556,28094.676,960.474,1077.58,34.4040110735,fhtd,sat-pre-clique6-lb-n1-0.7,3.3,2.0,6.5,1.8574175621,7533.24,1627.7037037,8258,"(960, 1080]",173.9,1052.52,6122.39185185,-ck=6 -ntb -bo,2791.63789353
9,hyperbench-csp_application,9,1034.218,9307.962,993.752,1076.95,27.4958844375,fhtd,sat-n1-0.7,4.61111111111,2.0,6.0,1.49536320374,460.88,0.0,0,"(960, 1080]",110.36,1038.72,217.025555556,-ncb -ntb -np,146.571273798
3,hyperbench-csp_application,3,1003.54066667,3010.622,989.949,1027.16,20.5324183752,fhtd,sat-clique4-lb-n1-0.7,5.16666666667,2.0,7.0,2.75378527364,397.97,0.0,0,"(960, 1080]",164.25,993.513,246.083333333,-ntb -bo -np,131.6695171
25,hyperbench-csp_application,3,1145.2692,28631.73,1087.42,1188.39,30.8636171892,fhtd,sat-clique4-pre-lb-n1-0.7,5.5,3.0,7.0,2.17944947177,7465.04,1696.48,8258,"(1080, 1200]",179.87,1145.13,6573.528,-ntb -bo,2372.33924526
26,hyperbench-csp_application,2,1143.63653846,29734.55,1083.78,1198.93,37.7817550616,fhtd,sat-pre-clique6-lb-n1-0.7,4.75,3.0,6.5,2.47487373415,7465.59,2936.0,8258,"(1080, 1200]",182.68,1146.62,6880.13346154,-ck=6 -ntb -bo,1929.26676635
5,hyperbench-csp_application,5,1116.602,5583.01,1083.26,1140.1,22.0037467264,fhtd,sat-n1-0.7,3.3,2.0,5.5,1.30384048104,478.35,0.0,0,"(1080, 1200]",112.98,1124.87,369.968,-ncb -ntb -np,160.453201807
2,hyperbench-csp_application,1,1089.065,2178.13,1080.46,1097.67,12.1693077042,fhtd,sat-clique4-lb-n1-0.7,2.0,2.0,2.0,,443.28,96.0,192,"(1080, 1200]",296.63,1089.065,369.955,-ntb -bo -np,103.697209461
4,hyperbench-csp_application,4,1291.4475,5165.79,1268.88,1311.1,19.406293438,fhtd,sat-clique4-lb-n1-0.7,3.5,3.0,4.0,0.57735026919,489.02,0.0,0,"(1200, 1320]",442.63,1292.905,460.015,-ntb -bo -np,22.114089777
4,hyperbench-csp_application,4,1263.9475,5055.79,1209.02,1318.35,46.7142693225,fhtd,sat-n1-0.7,3.5,2.0,6.0,1.73205080757,526.07,0.0,0,"(1200, 1320]",178.23,1264.21,380.8175,-ncb -ntb -np,150.613676974
16,hyperbench-csp_application,4,1247.181875,19954.91,1200.6,1308.98,41.0090325365,fhtd,sat-pre-clique6-lb-n1-0.7,4.5,3.0,7.0,1.73205080757,7457.21,2129.5,8258,"(1200, 1320]",182.2,1238.45,5672.87625,-ck=6 -ntb -bo,3149.15803371
11,hyperbench-csp_application,2,1242.86181818,13671.48,1207.39,1286.49,28.614321176,fhtd,sat-clique4-pre-lb-n1-0.7,4.75,3.0,6.5,2.47487373415,7459.53,3079.45454545,8258,"(1200, 1320]",182.85,1235.8,6140.4,-ntb -bo,2872.5272514
3,hyperbench-csp_application,2,1423.41666667,4270.25,1418.86,1431.62,7.11885056265,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,2.0,4.0,1.41421356237,7412.06,2752.66666667,8258,"(1320, 1440]",507.95,1419.77,2828.16666667,-ck=6 -ntb -bo,3969.86873353
6,hyperbench-csp_application,6,1406.22833333,8437.37,1343.05,1439.97,39.3757049037,detkdecomp-prog,default-n1-1.0,4.33333333333,4.0,5.0,0.516397779494,29.94,0.0,0,"(1320, 1440]",12.53,1422.245,23.305,50,8.24302796307
4,hyperbench-csp_application,4,1388.06,5552.24,1360.94,1431.97,30.5932290984,fhtd,sat-n1-0.7,3.0,3.0,3.0,0.0,551.11,0.0,0,"(1320, 1440]",342.5,1379.665,472.295,-ncb -ntb -np,98.9833112196
7,hyperbench-csp_application,7,1382.51,9677.57,1346.62,1438.58,34.493657388,fhtd,sat-clique4-lb-n1-0.7,2.85714285714,2.0,4.0,0.690065559342,551.62,0.0,0,"(1320, 1440]",445.67,1372.98,506.047142857,-ntb -bo -np,42.2444867071
10,hyperbench-csp_application,7,1374.253,13742.53,1338.44,1424.25,24.0948334942,fhtd,sat-clique4-pre-lb-n1-0.7,3.64285714286,2.0,6.5,1.43510411104,7443.52,839.0,8258,"(1320, 1440]",180.5,1371.71,2570.295,-ntb -bo,3357.45377507
6,hyperbench-csp_application,6,1522.71166667,9136.27,1463.84,1559.21,44.3323924086,fhtd,sat-clique4-pre-lb-n1-0.7,3.91666666667,2.0,6.5,1.49721964543,579.36,0.0,0,"(1440, 1560]",188.8,1544.28,470.793333333,-ntb -bo,143.580292473
11,hyperbench-csp_application,11,1509.28090909,16602.09,1462.7,1552.03,27.6918982573,fhtd,sat-clique4-lb-n1-0.7,3.36363636364,2.0,4.0,0.674199862463,571.18,0.0,0,"(1440, 1560]",466.88,1512.79,534.145454545,-ntb -bo -np,32.3631189361
5,hyperbench-csp_application,5,1507.702,7538.51,1462.24,1537.45,29.2486122748,fhtd,sat-n1-0.7,3.7,3.0,5.5,1.09544511501,578.94,0.0,0,"(1440, 1560]",111.07,1518.46,475.776,-ncb -ntb -np,204.171640612
5,hyperbench-csp_application,5,1500.986,7504.93,1443.53,1541.04,42.105121185,detkdecomp-prog,default-n1-1.0,4.4,4.0,5.0,0.547722557505,29.96,0.0,0,"(1440, 1560]",21.75,1520.17,27.232,50,3.35175625605
10,hyperbench-csp_application,10,1492.196,14921.96,1446.27,1556.03,42.9298806065,fhtd,sat-pre-clique6-lb-n1-0.7,3.35,2.0,6.5,1.29206982955,575.33,0.0,0,"(1440, 1560]",179.93,1477.34,512.244,-ck=6 -ntb -bo,121.848925605
3,hyperbench-csp_application,3,1644.85333333,4934.56,1624.94,1668.74,22.1686836175,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,33.63,0.0,0,"(1560, 1680]",29.93,1640.88,31.1833333333,50,2.11908785409
11,hyperbench-csp_application,11,1634.02545455,17974.28,1583.79,1674.06,29.9638877196,fhtd,sat-clique4-pre-lb-n1-0.7,3.36363636364,2.0,4.0,0.674199862463,613.78,0.0,0,"(1560, 1680]",506.2,1643.52,565.621818182,-ntb -bo,27.0945916442
12,hyperbench-csp_application,12,1620.21916667,19442.63,1565.54,1659.91,31.2390377742,fhtd,sat-pre-clique6-lb-n1-0.7,3.25,3.0,4.0,0.452267016867,621.59,0.0,0,"(1560, 1680]",507.99,1618.26,567.370833333,-ck=6 -ntb -bo,32.9384708643
6,hyperbench-csp_application,6,1617.8,9706.8,1595.06,1643.1,17.7141999537,fhtd,sat-clique4-lb-n1-0.7,3.91666666667,3.0,6.5,1.35708019905,597.41,0.0,0,"(1560, 1680]",171.51,1613.8,497.821666667,-ntb -bo -np,161.874659217
6,hyperbench-csp_application,6,1612.82666667,9676.96,1576.47,1673.79,35.2891454511,fhtd,sat-n1-0.7,4.25,2.0,5.5,1.5083103129,612.1,0.0,0,"(1560, 1680]",111.47,1609.135,351.195,-ncb -ntb -np,259.816243969
8,hyperbench-csp_other,8,38.1548,305.2384,2.4381,65.9258,22.5913245386,fhtd,sat-n1-0.7,2.1875,1.5,3.0,0.53033008589,99.37,0.0,0,"(0, 120]",78.35,34.61775,85.43625,-ncb -ntb -np,7.40424383619
20,hyperbench-csp_other,19,25.42647,508.5294,2.0536,68.75,21.5680717629,fhtd,sat-pre-clique6-lb-n1-0.7,2.13888888889,1.5,3.0,0.413221047367,109.19,22.4,256,"(0, 120]",80.17,15.4928,96.3089473684,-ck=6 -ntb -bo,6.15323121506
19,hyperbench-csp_other,18,25.3118157895,480.9245,4.1923,86.1994,22.5655370903,fhtd,sat-clique4-pre-lb-n1-0.7,2.13888888889,1.5,3.0,0.413221047367,109.11,10.1052631579,192,"(0, 120]",80.58,17.4719,95.8310526316,-ntb -bo,5.91572564793
20,hyperbench-csp_other,3,24.832285,496.6457,3.004,94.2838,27.1343182167,fhtd,sat-clique4-lb-n1-0.7,2.5,1.5,3.0,0.866025403784,101.84,163.2,192,"(0, 120]",80.73,11.89105,85.8815,-ntb -bo -np,6.50527500531
27,hyperbench-csp_other,27,12.9343037037,349.2262,0.566,71.5017,21.0637994132,detkdecomp-prog,default-n1-1.0,2.55555555556,2.0,8.0,1.25064086136,12.68,0.0,0,"(0, 120]",12.41,3.8766,12.547037037,50,0.0865054384602
2,hyperbench-csp_other,1,186.776,373.552,156.235,217.317,43.1914964084,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,,134.26,96.0,192,"(120, 240]",98.67,186.776,116.465,-ntb -bo -np,25.1659303424
4,hyperbench-csp_other,4,178.0035,712.014,135.521,231.707,41.8680638315,fhtd,sat-n1-0.7,2.25,2.0,3.0,0.5,135.11,0.0,0,"(120, 240]",82.36,172.393,100.835,-ncb -ntb -np,24.3552355768
1,hyperbench-csp_other,1,127.94,127.94,127.94,127.94,,fhtd,sat-clique4-pre-lb-n1-0.7,2.0,2.0,2.0,,102.62,0.0,0,"(120, 240]",102.62,127.94,102.62,-ntb -bo,
2,hyperbench-csp_other,2,334.477,668.954,332.279,336.675,3.1084414101,fhtd,sat-clique4-pre-lb-n1-0.7,3.0,3.0,3.0,0.0,185.24,0.0,0,"(240, 360]",183.47,334.477,184.355,-ntb -bo,1.2515790027
2,hyperbench-csp_other,2,292.566,585.132,288.069,297.063,6.35971838999,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,3.0,3.0,0.0,183.96,0.0,0,"(240, 360]",182.54,292.566,183.25,-ck=6 -ntb -bo,1.00409162928
2,hyperbench-csp_other,2,397.5295,795.059,369.076,425.983,40.239325597,fhtd,sat-n1-0.7,2.0,2.0,2.0,0.0,104.78,0.0,0,"(360, 480]",84.36,397.5295,94.57,-ncb -ntb -np,14.4391204718
1,hyperbench-csp_other,1,545.592,545.592,545.592,545.592,,fhtd,sat-n1-0.7,2.0,2.0,2.0,,94.66,0.0,0,"(480, 600]",94.66,545.592,94.66,-ncb -ntb -np,
1,hyperbench-csp_other,1,669.048,669.048,669.048,669.048,,fhtd,sat-clique4-pre-lb-n1-0.7,7.0,7.0,7.0,,192.22,0.0,0,"(600, 720]",192.22,669.048,192.22,-ntb -bo,
1,hyperbench-csp_other,1,649.259,649.259,649.259,649.259,,fhtd,sat-pre-clique6-lb-n1-0.7,7.0,7.0,7.0,,192.84,0.0,0,"(600, 720]",192.84,649.259,192.84,-ck=6 -ntb -bo,
2,hyperbench-csp_other,2,805.3875,1610.775,784.513,826.262,29.5210010078,fhtd,sat-n1-0.7,2.5,2.0,3.0,0.707106781187,338.61,0.0,0,"(720, 840]",114.95,805.3875,226.78,-ncb -ntb -np,158.15150268
2,hyperbench-csp_other,2,928.576,1857.152,898.261,958.891,42.8718841433,fhtd,sat-clique4-lb-n1-0.7,5.0,3.0,7.0,2.82842712475,332.24,0.0,0,"(840, 960]",183.5,928.576,257.87,-ntb -bo -np,105.175062634
1,hyperbench-csp_other,1,867.578,867.578,867.578,867.578,,fhtd,sat-pre-clique6-lb-n1-0.7,2.5,2.5,2.5,,386.67,0.0,0,"(840, 960]",386.67,867.578,386.67,-ck=6 -ntb -bo,
1,hyperbench-csp_other,1,853.178,853.178,853.178,853.178,,fhtd,sat-clique4-pre-lb-n1-0.7,2.5,2.5,2.5,,363.04,0.0,0,"(840, 960]",363.04,853.178,363.04,-ntb -bo,
1,hyperbench-csp_other,1,842.752,842.752,842.752,842.752,,fhtd,sat-n1-0.7,2.0,2.0,2.0,,87.05,0.0,0,"(840, 960]",87.05,842.752,87.05,-ncb -ntb -np,
1,hyperbench-csp_other,1,1051.76,1051.76,1051.76,1051.76,,fhtd,sat-pre-clique6-lb-n1-0.7,4.5,4.5,4.5,,398.13,0.0,0,"(960, 1080]",398.13,1051.76,398.13,-ck=6 -ntb -bo,
2,hyperbench-csp_other,0,1167.39,2334.78,1152.53,1182.25,21.0152135369,fhtd,sat-clique4-lb-n1-0.7,,,,,7899.07,8256.0,8256,"(1080, 1200]",7019.56,1167.39,7459.315,-ntb -bo -np,621.907485121
1,hyperbench-csp_other,1,1131.31,1131.31,1131.31,1131.31,,fhtd,sat-clique4-pre-lb-n1-0.7,4.5,4.5,4.5,,402.41,0.0,0,"(1080, 1200]",402.41,1131.31,402.41,-ntb -bo,
1,hyperbench-csp_other,1,1314.31,1314.31,1314.31,1314.31,,fhtd,sat-clique4-pre-lb-n1-0.7,3.0,3.0,3.0,,518.95,0.0,0,"(1200, 1320]",518.95,1314.31,518.95,-ntb -bo,
1,hyperbench-csp_other,1,1252.08,1252.08,1252.08,1252.08,,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,,469.01,0.0,0,"(1200, 1320]",469.01,1252.08,469.01,-ntb -bo -np,
1,hyperbench-csp_other,1,1231.98,1231.98,1231.98,1231.98,,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,3.0,3.0,,510.52,0.0,0,"(1200, 1320]",510.52,1231.98,510.52,-ck=6 -ntb -bo,
3,hyperbench-csp_other,0,1348.33333333,4045.0,1330.89,1363.36,16.3693443159,fhtd,sat-n1-0.7,,,,,7726.68,578.0,578,"(1320, 1440]",7713.72,1350.75,7720.12,-ncb -ntb -np,6.48148131217
2,hyperbench-csp_other,0,1511.21,3022.42,1485.07,1537.35,36.9675425204,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7314.92,8256.0,8256,"(1440, 1560]",7061.3,1511.21,7188.11,-ck=6 -ntb -bo,179.336421845
2,hyperbench-csp_other,2,1497.09,2994.18,1457.31,1536.87,56.2574155112,fhtd,sat-n1-0.7,2.5,2.0,3.0,0.707106781187,482.64,0.0,0,"(1440, 1560]",102.8,1497.09,292.72,-ncb -ntb -np,268.587439766
1,hyperbench-csp_other,0,1489.19,1489.19,1489.19,1489.19,,fhtd,sat-clique4-lb-n1-0.7,,,,,7501.9,8256.0,8256,"(1440, 1560]",7501.9,1489.19,7501.9,-ntb -bo -np,
2,hyperbench-csp_other,0,1588.4,3176.8,1586.75,1590.05,2.33345237792,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7313.73,8256.0,8256,"(1560, 1680]",7061.07,1588.4,7187.4,-ntb -bo,178.657599335
326,hyperbench-csp_random,326,39.4379576687,12856.7742,5.6206,119.556,24.5423280495,fhtd,sat-clique4-lb-n1-0.7,3.57036276923,1.6219,6.0,1.35459160182,126.34,0.78527607362,256,"(0, 120]",81.75,33.5556,95.3796615385,-ntb -bo -np,7.07216510904
310,hyperbench-csp_random,310,34.6937141935,10755.0514,0.82,119.453,30.4022357278,fhtd,sat-clique4-pre-lb-n1-0.7,3.67397216828,1.7778,6.0,1.25948305993,143.77,0.825806451613,256,"(0, 120]",79.92,33.42115,98.2903883495,-ntb -bo,14.0422359369
310,hyperbench-csp_random,310,34.6636967742,10745.746,1.7818,118.629,30.2107820921,fhtd,sat-pre-clique6-lb-n1-0.7,3.67286419355,1.8,5.6667,1.24494933575,130.03,0.0,0,"(0, 120]",79.74,32.50305,97.8143225806,-ck=6 -ntb -bo,13.4981857834
202,hyperbench-csp_random,202,32.8347336634,6632.6162,5.3012,116.428,21.0362707945,fhtd,sat-n1-0.7,2.71802425743,1.6219,5.0,0.949750251463,121.37,0.0,0,"(0, 120]",79.84,25.2525,90.2346534653,-ncb -ntb -np,4.96181179082
158,hyperbench-csp_random,158,18.3601088608,2900.8972,0.4046,53.4782,17.4977838084,detkdecomp-prog,default-n1-1.0,2.71518987342,2.0,4.0,0.466615024997,12.68,0.0,0,"(0, 120]",12.4,20.6326,12.5155696203,50,0.071538984703
126,hyperbench-csp_random,126,187.729047619,23653.86,121.079,239.104,34.7275982322,fhtd,sat-pre-clique6-lb-n1-0.7,4.68941349206,1.6667,6.0,1.50103388105,175.85,0.0,0,"(120, 240]",115.22,188.101,145.147142857,-ck=6 -ntb -bo,18.2442264777
124,hyperbench-csp_random,124,186.484766129,23124.111,124.635,239.799,33.8711429679,fhtd,sat-clique4-pre-lb-n1-0.7,4.61608709677,1.6219,6.0,1.51152952524,174.87,0.0,0,"(120, 240]",114.17,189.238,144.370403226,-ntb -bo,18.2106722216
39,hyperbench-csp_random,39,182.285487179,7109.134,120.911,237.568,31.5759950336,fhtd,sat-n1-0.7,4.86863076923,4.25,6.0,0.312752240224,157.87,0.0,0,"(120, 240]",93.68,183.987,129.26025641,-ncb -ntb -np,20.9416523361
111,hyperbench-csp_random,111,181.786243243,20178.273,120.858,239.709,32.8324321167,fhtd,sat-clique4-lb-n1-0.7,5.02556846847,3.321,6.0,0.927817218479,161.32,0.0,0,"(120, 240]",105.18,182.606,130.822252252,-ntb -bo -np,19.0834181084
17,hyperbench-csp_random,17,293.998294118,4997.971,241.051,345.6,30.1105086323,fhtd,sat-n1-0.7,5.35294705882,4.6667,6.0,0.542882873092,166.95,0.0,0,"(240, 360]",97.55,297.233,139.894705882,-ncb -ntb -np,25.1120949737
35,hyperbench-csp_random,35,287.5632,10064.712,240.163,358.777,34.7096177956,fhtd,sat-pre-clique6-lb-n1-0.7,5.39078571429,1.6219,6.0,1.29190381224,179.09,0.0,0,"(240, 360]",117.1,275.962,152.877428571,-ck=6 -ntb -bo,19.91278415
36,hyperbench-csp_random,36,284.430666667,10239.504,240.36,351.965,32.0846190253,fhtd,sat-clique4-pre-lb-n1-0.7,5.54920833333,1.6923,6.0,0.978702418329,184.02,0.0,0,"(240, 360]",116.7,284.098,152.336111111,-ntb -bo,21.654884804
37,hyperbench-csp_random,37,280.516972973,10379.128,241.842,345.431,27.8997460477,fhtd,sat-clique4-lb-n1-0.7,5.43686216216,3.3019,6.0,0.955495201555,166.64,0.0,0,"(240, 360]",108.23,271.66,143.463783784,-ntb -bo -np,19.8991773073
2,hyperbench-csp_random,2,263.6175,527.235,250.354,276.881,18.7574215845,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,12.66,0.0,0,"(240, 360]",12.66,263.6175,12.66,50,0.0
7,hyperbench-csp_random,7,433.730571429,3036.114,363.807,471.079,39.8035710075,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,12.59,0.0,0,"(360, 480]",12.47,431.081,12.5342857143,50,0.0403555625481
15,hyperbench-csp_random,15,416.613133333,6249.197,361.054,474.404,44.0673655196,fhtd,sat-n1-0.7,5.27302666667,3.4286,6.0,0.809954932138,160.39,0.0,0,"(360, 480]",100.29,409.298,130.404,-ncb -ntb -np,27.0638670028
10,hyperbench-csp_random,10,415.8522,4158.522,368.25,451.323,32.4976543147,fhtd,sat-pre-clique6-lb-n1-0.7,4.9016,3.321,6.0,1.31971523107,170.24,0.0,0,"(360, 480]",116.01,423.897,137.483,-ck=6 -ntb -bo,21.3904683082
15,hyperbench-csp_random,15,408.597733333,6128.966,365.504,469.826,38.1828873945,fhtd,sat-clique4-pre-lb-n1-0.7,4.39852,3.3019,6.0,1.30141213259,180.51,0.0,0,"(360, 480]",116.76,393.428,133.712,-ntb -bo,19.0698506249
10,hyperbench-csp_random,10,400.6813,4006.813,368.88,454.062,27.0573442035,fhtd,sat-clique4-lb-n1-0.7,5.48572,3.4286,6.0,1.08419743671,158.58,0.0,0,"(360, 480]",110.88,392.365,132.296,-ntb -bo -np,18.0840526431
7,hyperbench-csp_random,7,555.158571429,3886.11,484.442,596.327,36.4271369991,fhtd,sat-pre-clique6-lb-n1-0.7,4.44574285714,3.3263,6.0,1.35490166538,137.5,0.0,0,"(480, 600]",117.01,564.934,123.687142857,-ck=6 -ntb -bo,9.29885784077
17,hyperbench-csp_random,17,543.561882353,9240.552,481.525,591.834,38.4174619312,fhtd,sat-n1-0.7,5.25071176471,4.6667,6.0,0.62694759538,166.6,0.0,0,"(480, 600]",99.2,559.799,125.984705882,-ncb -ntb -np,27.9638499043
4,hyperbench-csp_random,4,535.8955,2143.582,507.823,575.295,29.6156126562,fhtd,sat-clique4-lb-n1-0.7,5.7337,5.4348,6.0,0.308646658819,159.18,0.0,0,"(480, 600]",110.0,530.232,131.3325,-ntb -bo -np,20.4543025221
6,hyperbench-csp_random,6,532.334166667,3194.005,495.152,593.589,40.2367578884,fhtd,sat-clique4-pre-lb-n1-0.7,5.86111666667,5.5,6.0,0.221520837996,170.48,0.0,0,"(480, 600]",118.66,525.9985,139.366666667,-ntb -bo,16.8780172611
15,hyperbench-csp_random,15,531.990733333,7979.861,484.536,597.306,42.4124402563,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,12.61,0.0,0,"(480, 600]",12.41,527.914,12.49,50,0.0761577310586
3,hyperbench-csp_random,3,692.296,2076.888,666.5,718.96,26.240769196,fhtd,sat-clique4-pre-lb-n1-0.7,5.5121,5.4348,5.6667,0.133887527425,119.89,0.0,0,"(600, 720]",118.66,691.428,119.31,-ntb -bo,0.617980582219
8,hyperbench-csp_random,8,663.087625,5304.701,603.548,708.16,40.414514804,fhtd,sat-clique4-lb-n1-0.7,5.8043625,5.4348,6.0,0.222494127932,174.76,0.0,0,"(600, 720]",109.98,674.121,123.6675,-ntb -bo -np,21.5927254615
9,hyperbench-csp_random,9,658.938555556,5930.447,607.686,717.68,39.598005392,fhtd,sat-n1-0.7,5.44974444444,4.6667,6.0,0.610672956891,169.98,0.0,0,"(600, 720]",99.3,652.32,141.992222222,-ncb -ntb -np,28.131994587
3,hyperbench-csp_random,3,641.687333333,1925.062,604.887,674.274,34.8848847258,fhtd,sat-pre-clique6-lb-n1-0.7,5.8889,5.6667,6.0,0.192430844721,186.52,0.0,0,"(600, 720]",119.5,645.901,147.826666667,-ck=6 -ntb -bo,34.6917992231
12,hyperbench-csp_random,12,639.514166667,7674.17,602.703,686.436,27.528074043,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,0.0,12.61,0.0,0,"(600, 720]",12.41,639.6975,12.5033333333,50,0.074508490466
1,hyperbench-csp_random,1,801.076,801.076,801.076,801.076,,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,,12.54,0.0,0,"(720, 840]",12.54,801.076,12.54,50,
4,hyperbench-csp_random,4,792.5725,3170.29,737.432,831.471,45.6180330169,fhtd,sat-clique4-lb-n1-0.7,5.2767,3.4401,6.0,1.23443986488,127.54,0.0,0,"(720, 840]",110.03,800.6935,117.8275,-ntb -bo -np,8.90442726962
5,hyperbench-csp_random,5,779.5946,3897.973,752.139,816.488,27.5118078432,fhtd,sat-n1-0.7,5.44286,4.7143,6.0,0.46124819566,168.43,0.0,0,"(720, 840]",119.31,776.632,150.99,-ncb -ntb -np,20.3294306364
5,hyperbench-csp_random,5,773.1772,3865.886,745.66,802.819,24.0321542459,fhtd,sat-clique4-pre-lb-n1-0.7,5.41906,3.4286,6.0,1.12202166111,185.78,0.0,0,"(720, 840]",121.27,773.142,140.096,-ntb -bo,26.3940046223
7,hyperbench-csp_random,7,771.500428571,5400.503,737.227,811.418,26.146109187,fhtd,sat-pre-clique6-lb-n1-0.7,5.36131428571,3.3262,6.0,0.926898970454,135.62,0.0,0,"(720, 840]",116.99,767.006,123.194285714,-ck=6 -ntb -bo,8.44722608739
2,hyperbench-csp_random,2,935.889,1871.778,927.006,944.772,12.5624590746,fhtd,sat-clique4-lb-n1-0.7,5.58335,5.5,5.6667,0.117874700424,161.25,0.0,0,"(840, 960]",107.99,935.889,134.62,-ntb -bo -np,37.660507166
4,hyperbench-csp_random,4,910.55725,3642.229,856.372,958.717,48.5280899094,fhtd,sat-clique4-pre-lb-n1-0.7,5.70835,5.5,6.0,0.209713208931,173.4,0.0,0,"(840, 960]",117.68,913.57,137.0075,-ntb -bo,25.2479033783
3,hyperbench-csp_random,3,900.221,2700.663,843.582,955.436,55.9405949289,fhtd,sat-pre-clique6-lb-n1-0.7,4.9037,3.3777,5.6667,1.32155476618,118.14,0.0,0,"(840, 960]",117.42,901.645,117.876666667,-ck=6 -ntb -bo,0.397030645333
5,hyperbench-csp_random,5,888.086,4440.43,859.876,953.255,37.9537146272,fhtd,sat-n1-0.7,5.6,5.5,6.0,0.22360679775,170.51,0.0,0,"(840, 960]",150.88,870.915,160.428,-ncb -ntb -np,9.13478625913
1,hyperbench-csp_random,1,1021.52,1021.52,1021.52,1021.52,,fhtd,sat-n1-0.7,5.5,5.5,5.5,,151.99,0.0,0,"(960, 1080]",151.99,1021.52,151.99,-ncb -ntb -np,
2,hyperbench-csp_random,2,1011.6705,2023.341,962.391,1060.95,69.691737247,fhtd,sat-pre-clique6-lb-n1-0.7,4.7126,3.4252,6.0,1.8206585402,134.97,0.0,0,"(960, 1080]",120.49,1011.6705,127.73,-ck=6 -ntb -bo,10.2389061916
1,hyperbench-csp_random,1,1002.37,1002.37,1002.37,1002.37,,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,,12.42,0.0,0,"(960, 1080]",12.42,1002.37,12.42,50,
3,hyperbench-csp_random,3,978.928333333,2936.785,961.712,1001.21,20.2303287747,fhtd,sat-clique4-pre-lb-n1-0.7,5.03176666667,3.4286,6.0,1.39834893476,135.28,0.0,0,"(960, 1080]",118.2,973.863,126.39,-ntb -bo,8.56148935641
1,hyperbench-csp_random,1,1172.63,1172.63,1172.63,1172.63,,fhtd,sat-clique4-pre-lb-n1-0.7,3.4286,3.4286,3.4286,,123.2,0.0,0,"(1080, 1200]",123.2,1172.63,123.2,-ntb -bo,
2,hyperbench-csp_random,2,1151.285,2302.57,1132.26,1170.31,26.9054130241,fhtd,sat-clique4-lb-n1-0.7,4.54765,3.4286,5.6667,1.58257568697,113.36,0.0,0,"(1080, 1200]",107.98,1151.285,110.67,-ntb -bo -np,3.80423448278
7,hyperbench-csp_random,7,1133.14285714,7932.0,1093.9,1181.87,32.5962695791,fhtd,sat-n1-0.7,5.78571428571,5.0,6.0,0.393397896235,176.13,0.0,0,"(1080, 1200]",112.92,1144.25,157.144285714,-ncb -ntb -np,21.6675662817
2,hyperbench-csp_random,2,1113.635,2227.27,1100.41,1126.86,18.7029743624,fhtd,sat-pre-clique6-lb-n1-0.7,5.75,5.5,6.0,0.353553390593,173.12,0.0,0,"(1080, 1200]",134.91,1113.635,154.015,-ck=6 -ntb -bo,27.0185501091
4,hyperbench-csp_random,4,1278.045,5112.18,1201.94,1317.77,52.0747376374,fhtd,sat-pre-clique6-lb-n1-0.7,4.82175,3.4286,6.0,1.05707631229,189.45,0.0,0,"(1200, 1320]",118.2,1296.235,169.6075,-ck=6 -ntb -bo,34.4513893044
2,hyperbench-csp_random,2,1266.085,2532.17,1257.56,1274.61,12.0561706192,fhtd,sat-clique4-lb-n1-0.7,4.7143,3.4286,6.0,1.81825437714,171.66,0.0,0,"(1200, 1320]",117.39,1266.085,144.525,-ntb -bo -np,38.374685015
4,hyperbench-csp_random,4,1252.5775,5010.31,1211.71,1304.91,38.64472657,fhtd,sat-n1-0.7,5.416675,4.6667,6.0,0.68717214425,174.64,0.0,0,"(1200, 1320]",101.95,1246.845,137.62,-ncb -ntb -np,34.548287946
3,hyperbench-csp_random,3,1234.73,3704.19,1209.16,1255.29,23.4695398336,fhtd,sat-clique4-pre-lb-n1-0.7,6.0,6.0,6.0,0.0,181.17,0.0,0,"(1200, 1320]",130.99,1239.74,163.053333333,-ntb -bo,27.8458297297
8,hyperbench-csp_random,8,1399.81125,11198.49,1333.91,1429.21,31.3960049494,fhtd,sat-pre-clique6-lb-n1-0.7,5.143175,3.4286,6.0,0.8722185076,190.93,0.0,0,"(1320, 1440]",119.86,1405.7,164.53,-ck=6 -ntb -bo,31.7183416969
4,hyperbench-csp_random,4,1382.565,5530.26,1343.99,1428.91,40.0234510423,fhtd,sat-n1-0.7,5.416675,4.6667,6.0,0.552755722871,175.39,0.0,0,"(1320, 1440]",107.61,1378.68,150.91,-ncb -ntb -np,30.5273462107
2,hyperbench-csp_random,2,1350.86,2701.72,1327.4,1374.32,33.1774501733,fhtd,sat-clique4-pre-lb-n1-0.7,5.83335,5.6667,6.0,0.235678690169,130.77,0.0,0,"(1320, 1440]",122.25,1350.86,126.51,-ntb -bo,6.02454977571
1,hyperbench-csp_random,1,1344.15,1344.15,1344.15,1344.15,,fhtd,sat-clique4-lb-n1-0.7,6.0,6.0,6.0,,164.11,0.0,0,"(1320, 1440]",164.11,1344.15,164.11,-ntb -bo -np,
1,hyperbench-csp_random,1,1529.28,1529.28,1529.28,1529.28,,fhtd,sat-clique4-pre-lb-n1-0.7,6.0448,6.0448,6.0448,,136.25,0.0,0,"(1440, 1560]",136.25,1529.28,136.25,-ntb -bo,
4,hyperbench-csp_random,4,1491.2675,5965.07,1473.87,1535.9,29.8599546494,fhtd,sat-pre-clique6-lb-n1-0.7,5.2081,4.9292,6.0448,0.5578,190.62,0.0,0,"(1440, 1560]",136.27,1477.65,176.9425,-ck=6 -ntb -bo,27.1153405228
1,hyperbench-csp_random,1,1457.77,1457.77,1457.77,1457.77,,fhtd,sat-clique4-lb-n1-0.7,6.0,6.0,6.0,,128.59,0.0,0,"(1440, 1560]",128.59,1457.77,128.59,-ntb -bo -np,
1,hyperbench-csp_random,1,1442.5,1442.5,1442.5,1442.5,,fhtd,sat-n1-0.7,5.0,5.0,5.0,,104.71,0.0,0,"(1440, 1560]",104.71,1442.5,104.71,-ncb -ntb -np,
5,hyperbench-csp_random,5,1610.936,8054.68,1590.47,1632.96,19.0664831576,fhtd,sat-pre-clique6-lb-n1-0.7,5.43836,4.9292,6.0,0.484305072243,190.59,0.0,0,"(1560, 1680]",122.23,1609.19,153.138,-ck=6 -ntb -bo,34.881953357
4,hyperbench-csp_random,4,1608.58,6434.32,1582.56,1635.88,21.802366844,fhtd,sat-n1-0.7,5.395825,4.75,6.0,0.698469557318,171.89,0.0,0,"(1560, 1680]",100.26,1607.94,132.98,-ncb -ntb -np,37.0738137594
2,hyperbench-csp_random,2,1590.82,3181.64,1571.32,1610.32,27.5771644663,fhtd,sat-clique4-lb-n1-0.7,5.83335,5.6667,6.0,0.235678690169,124.99,0.0,0,"(1560, 1680]",116.37,1590.82,120.68,-ntb -bo -np,6.09526045383
5,hyperbench-daimlerchrysler,5,35.37866,176.8933,18.3584,51.8942,11.9108778924,fhtd,sat-n1-0.7,2.0,2.0,2.0,0.0,83.82,0.0,0,"(0, 120]",81.06,34.8723,82.446,-ncb -ntb -np,1.06027354961
15,hyperbench-daimlerchrysler,0,29.50832,442.6248,4.5878,114.534,35.9136352398,fhtd,sat-clique4-lb-n1-0.7,,,,,102.62,192.0,192,"(0, 120]",81.68,12.971,85.968,-ntb -bo -np,6.90074136804
15,hyperbench-daimlerchrysler,15,27.72648,415.8972,3.9611,112.777,30.0267386943,fhtd,sat-clique4-pre-lb-n1-0.7,2.0,2.0,2.0,0.0,101.67,0.0,0,"(0, 120]",90.75,16.5789,95.4066666667,-ntb -bo,3.25302862547
14,hyperbench-daimlerchrysler,14,25.5752071429,358.0529,4.1673,114.557,29.8796313317,fhtd,sat-pre-clique6-lb-n1-0.7,2.0,2.0,2.0,0.0,101.43,0.0,0,"(0, 120]",90.82,13.6468,94.7828571429,-ck=6 -ntb -bo,2.81258279487
13,hyperbench-daimlerchrysler,13,15.8050076923,205.4651,3.3045,91.7538,23.7265777581,detkdecomp-prog,default-n1-1.0,2.23076923077,2.0,3.0,0.438529009654,12.7,0.0,0,"(0, 120]",12.5,7.425,12.5738461538,50,0.0617168887662
3,hyperbench-daimlerchrysler,3,162.213666667,486.641,148.745,172.167,12.1002354247,fhtd,sat-n1-0.7,2.0,2.0,2.0,0.0,103.0,0.0,0,"(120, 240]",82.81,165.729,90.3166666667,-ncb -ntb -np,11.0456975033
1,hyperbench-daimlerchrysler,1,152.603,152.603,152.603,152.603,,fhtd,sat-pre-clique6-lb-n1-0.7,2.0,2.0,2.0,,102.22,0.0,0,"(120, 240]",102.22,152.603,102.22,-ck=6 -ntb -bo,
2,hyperbench-daimlerchrysler,2,399.1525,798.305,388.693,409.612,14.7919667556,fhtd,sat-n1-0.7,2.0,2.0,2.0,0.0,105.31,0.0,0,"(360, 480]",85.01,399.1525,95.16,-ncb -ntb -np,14.3542676581
1,hyperbench-daimlerchrysler,1,594.843,594.843,594.843,594.843,,fhtd,sat-n1-0.7,2.0,2.0,2.0,,94.92,0.0,0,"(480, 600]",94.92,594.843,94.92,-ncb -ntb -np,
2,hyperbench-daimlerchrysler,2,813.7825,1627.565,801.436,826.129,17.4605877478,fhtd,sat-n1-0.7,2.0,2.0,2.0,0.0,112.83,0.0,0,"(720, 840]",87.05,813.7825,99.94,-ncb -ntb -np,18.229212819
1,hyperbench-daimlerchrysler,1,1632.38,1632.38,1632.38,1632.38,,fhtd,sat-n1-0.7,2.0,2.0,2.0,,103.3,0.0,0,"(1560, 1680]",103.3,1632.38,103.3,-ncb -ntb -np,
1,hyperbench-grid2d,1,56.359,56.359,56.359,56.359,,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,,12.41,0.0,0,"(0, 120]",12.41,56.359,12.41,50,
1,hyperbench-grid2d,1,323.296,323.296,323.296,323.296,,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,3.0,3.0,,186.02,0.0,0,"(240, 360]",186.02,323.296,186.02,-ck=6 -ntb -bo,
1,hyperbench-grid2d,1,250.098,250.098,250.098,250.098,,fhtd,sat-clique4-pre-lb-n1-0.7,3.0,3.0,3.0,,185.43,0.0,0,"(240, 360]",185.43,250.098,185.43,-ntb -bo,
3,hyperbench-grid2d,0,1157.70333333,3473.11,1132.79,1190.11,29.3855089004,fhtd,sat-clique4-lb-n1-0.7,,,,,7897.33,8256.0,8256,"(1080, 1200]",7022.59,1150.21,7473.73333333,-ntb -bo -np,438.020126288
1,hyperbench-grid2d,1,1265.63,1265.63,1265.63,1265.63,,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,,467.36,0.0,0,"(1200, 1320]",467.36,1265.63,467.36,-ntb -bo -np,
3,hyperbench-grid2d,1,1399.24,4197.72,1367.11,1438.11,35.9766688286,fhtd,sat-n1-0.7,3.0,3.0,3.0,,7718.96,364.0,578,"(1320, 1440]",482.35,1392.5,5304.98333333,-ncb -ntb -np,4176.52382687
1,hyperbench-grid2d,0,1546.17,1546.17,1546.17,1546.17,,fhtd,sat-n1-0.7,,,,,7717.05,578.0,578,"(1440, 1560]",7717.05,1546.17,7717.05,-ncb -ntb -np,
1,hyperbench-grid2d,0,1618.85,1618.85,1618.85,1618.85,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7313.45,8256.0,8256,"(1560, 1680]",7313.45,1618.85,7313.45,-ntb -bo,
2,hyperbench-iscas89,1,40.73445,81.4689,3.0883,78.3806,53.2396959011,fhtd,sat-pre-clique6-lb-n1-0.7,1.5,1.5,1.5,,105.13,96.0,192,"(0, 120]",80.33,40.73445,92.73,-ck=6 -ntb -bo,17.5362481734
2,hyperbench-iscas89,1,34.0513,68.1026,2.6887,65.4139,44.3534142713,fhtd,sat-clique4-pre-lb-n1-0.7,1.5,1.5,1.5,,105.47,96.0,192,"(0, 120]",79.79,34.0513,92.63,-ntb -bo,18.1585021409
4,hyperbench-iscas89,1,14.4587,57.8348,2.6692,39.0039,16.5817856998,fhtd,sat-clique4-lb-n1-0.7,1.5,1.5,1.5,,85.83,144.0,192,"(0, 120]",80.71,8.08085,82.7675,-ntb -bo -np,2.17774156716
1,hyperbench-iscas89,1,4.5762,4.5762,4.5762,4.5762,,fhtd,sat-n1-0.7,1.5,1.5,1.5,,78.38,0.0,0,"(0, 120]",78.38,4.5762,78.38,-ncb -ntb -np,
1,hyperbench-iscas89,1,0.8062,0.8062,0.8062,0.8062,,detkdecomp-prog,default-n1-1.0,2.0,2.0,2.0,,12.47,0.0,0,"(0, 120]",12.47,0.8062,12.47,50,
1,hyperbench-iscas89,1,265.154,265.154,265.154,265.154,,fhtd,sat-clique4-pre-lb-n1-0.7,3.0,3.0,3.0,,181.39,0.0,0,"(240, 360]",181.39,265.154,181.39,-ntb -bo,
1,hyperbench-iscas89,1,256.289,256.289,256.289,256.289,,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,3.0,3.0,,183.47,0.0,0,"(240, 360]",183.47,256.289,183.47,-ck=6 -ntb -bo,
1,hyperbench-iscas89,1,781.4,781.4,781.4,781.4,,fhtd,sat-n1-0.7,3.0,3.0,3.0,,338.47,0.0,0,"(720, 840]",338.47,781.4,338.47,-ncb -ntb -np,
1,hyperbench-iscas89,1,930.845,930.845,930.845,930.845,,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,,332.84,0.0,0,"(840, 960]",332.84,930.845,332.84,-ntb -bo -np,
1,hyperbench-iscas89,1,912.663,912.663,912.663,912.663,,fhtd,sat-clique4-pre-lb-n1-0.7,2.5,2.5,2.5,,364.04,0.0,0,"(840, 960]",364.04,912.663,364.04,-ntb -bo,
1,hyperbench-iscas89,1,999.917,999.917,999.917,999.917,,fhtd,sat-pre-clique6-lb-n1-0.7,2.5,2.5,2.5,,389.75,0.0,0,"(960, 1080]",389.75,999.917,389.75,-ck=6 -ntb -bo,
1,hyperbench-iscas89,1,1170.2,1170.2,1170.2,1170.2,,fhtd,sat-pre-clique6-lb-n1-0.7,4.5,4.5,4.5,,401.78,0.0,0,"(1080, 1200]",401.78,1170.2,401.78,-ck=6 -ntb -bo,
2,hyperbench-iscas89,2,1275.575,2551.15,1245.89,1305.26,41.980929599,fhtd,sat-clique4-pre-lb-n1-0.7,3.75,3.0,4.5,1.06066017178,526.36,0.0,0,"(1200, 1320]",402.07,1275.575,464.215,-ntb -bo,87.8863018337
1,hyperbench-iscas89,1,1530.99,1530.99,1530.99,1530.99,,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,3.0,3.0,,516.75,0.0,0,"(1440, 1560]",516.75,1530.99,516.75,-ck=6 -ntb -bo,
1,hyperbench-iscas89,1,1652.45,1652.45,1652.45,1652.45,,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,3.0,3.0,,512.36,0.0,0,"(1560, 1680]",512.36,1652.45,512.36,-ck=6 -ntb -bo,
2,hyperbench-maxsat,2,71.1044,142.2088,59.5329,82.6759,16.364572237,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,0.0,100.27,0.0,0,"(0, 120]",96.46,71.1044,98.365,-ntb -bo -np,2.69407683632
2,hyperbench-maxsat,2,59.46655,118.9331,49.9118,69.0213,13.5124570351,fhtd,sat-n1-0.7,3.0,3.0,3.0,0.0,99.0,0.0,0,"(0, 120]",93.05,59.46655,96.025,-ncb -ntb -np,4.20728534806
3,hyperbench-maxsat,3,39.0775666667,117.2327,19.4351,62.0341,21.4919980145,fhtd,sat-pre-clique6-lb-n1-0.7,3.0,3.0,3.0,0.0,110.02,0.0,0,"(0, 120]",95.38,35.7635,102.423333333,-ck=6 -ntb -bo,7.33566856758
3,hyperbench-maxsat,3,35.7176333333,107.1529,21.8677,47.4788,12.9326841933,fhtd,sat-clique4-pre-lb-n1-0.7,3.0,3.0,3.0,0.0,109.43,0.0,0,"(0, 120]",96.11,37.8064,102.483333333,-ntb -bo,6.67848286165
12,hyperbench-maxsat,12,8.19943333333,98.3932,0.8568,48.3462,15.7967325431,detkdecomp-prog,default-n1-1.0,2.83333333333,2.0,8.0,1.74945879077,12.63,0.0,0,"(0, 120]",12.41,1.70235,12.5566666667,50,0.0553227445144
1,hyperbench-maxsat,1,214.361,214.361,214.361,214.361,,fhtd,sat-n1-0.7,3.0,3.0,3.0,,135.25,0.0,0,"(120, 240]",135.25,214.361,135.25,-ncb -ntb -np,
1,hyperbench-maxsat,1,192.664,192.664,192.664,192.664,,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,,133.95,0.0,0,"(120, 240]",133.95,192.664,133.95,-ntb -bo -np,
1,hyperbench-maxsat,1,729.719,729.719,729.719,729.719,,fhtd,sat-clique4-pre-lb-n1-0.7,7.0,7.0,7.0,,192.04,0.0,0,"(720, 840]",192.04,729.719,192.04,-ntb -bo,
1,hyperbench-maxsat,1,722.131,722.131,722.131,722.131,,fhtd,sat-pre-clique6-lb-n1-0.7,7.0,7.0,7.0,,192.87,0.0,0,"(720, 840]",192.87,722.131,192.87,-ck=6 -ntb -bo,
1,hyperbench-maxsat,1,862.144,862.144,862.144,862.144,,fhtd,sat-clique4-lb-n1-0.7,7.0,7.0,7.0,,185.93,0.0,0,"(840, 960]",185.93,862.144,185.93,-ntb -bo -np,
1,hyperbench-maxsat,1,1484.47,1484.47,1484.47,1484.47,,fhtd,sat-clique4-pre-lb-n1-0.7,6.0,6.0,6.0,,321.3,0.0,0,"(1440, 1560]",321.3,1484.47,321.3,-ntb -bo,
1,hyperbench-other,1,3.4157,3.4157,3.4157,3.4157,,fhtd,sat-clique4-lb-n1-0.7,1.0,1.0,1.0,,80.62,0.0,0,"(0, 120]",80.62,3.4157,80.62,-ntb -bo -np,
1,hyperbench-other,1,2.98,2.98,2.98,2.98,,fhtd,sat-clique4-pre-lb-n1-0.7,1.0,1.0,1.0,,77.79,0.0,0,"(0, 120]",77.79,2.98,77.79,-ntb -bo,
1,hyperbench-other,1,2.4623,2.4623,2.4623,2.4623,,fhtd,sat-pre-clique6-lb-n1-0.7,1.0,1.0,1.0,,77.95,0.0,0,"(0, 120]",77.95,2.4623,77.95,-ck=6 -ntb -bo,
1,hyperbench-other,1,2.3578,2.3578,2.3578,2.3578,,fhtd,sat-n1-0.7,1.0,1.0,1.0,,78.13,0.0,0,"(0, 120]",78.13,2.3578,78.13,-ncb -ntb -np,
1,hyperbench-other,1,0.4749,0.4749,0.4749,0.4749,,detkdecomp-prog,default-n1-1.0,3.0,3.0,3.0,,12.43,0.0,0,"(0, 120]",12.43,0.4749,12.43,50,