instance,benchmark_name,solved,time,time,time,time,time,solver,solver_config,objective,objective,objective,objective,memusage,error,error,mem_range,memusage,memusage,solver_args,memusage
count,,sum,mean,sum,amin,amax,std,,,mean,amin,amax,std,amax,mean,amax,,amin,mean,,std
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, 250]",12.36,12.511474359,50,0.0831695081158
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, 250]",69.41,78.4820512821,-ntb -bo,2.48438964217
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, 250]",69.14,78.5,-ck=6 -ntb -bo,2.3794390773
156,hyperbench-cq,156,19.0084320513,2965.3154,8.6687,127.741,20.5507898579,fhtd,sat-clique4-lb-n1-0.7,1.05235064103,1.0,2.0,0.192889018901,111.11,0.0,0,"(0, 250]",69.45,82.4514102564,-ntb -bo -np,5.62371286478
156,hyperbench-cq,156,20.3710115385,3177.8778,8.2604,127.364,20.4002845021,fhtd,sat-n1-0.7,1.05235064103,1.0,2.0,0.192889018901,109.18,0.0,0,"(0, 250]",69.34,80.0473717949,-ncb -ntb -np,5.74443822034
479,hyperbench-csp_application,436,930.182991023,445557.6527,1.9135,7202.19,2189.21075213,fhtd,sat-clique4-pre-lb-n1-0.7,4.63646788991,2.0,7.0,1.02624206836,249.59,6.36534446764,192,"(0, 250]",79.71,129.24308977,-ntb -bo,46.8677391437
478,hyperbench-csp_application,434,935.641540795,447236.6565,2.2681,7202.33,2198.11646141,fhtd,sat-pre-clique6-lb-n1-0.7,4.62903225806,2.0,7.0,1.0214491738,248.92,6.51464435146,192,"(0, 250]",80.34,129.307698745,-ck=6 -ntb -bo,46.8223242699
479,hyperbench-csp_application,433,943.417099582,451896.7907,3.2254,7202.13,2206.13827791,fhtd,sat-clique4-lb-n1-0.7,4.62933025404,2.0,7.0,1.02656554536,241.91,7.0375782881,192,"(0, 250]",81.1,121.579457203,-ntb -bo -np,44.7555288854
474,hyperbench-csp_application,404,1259.11043586,596818.3466,3.1941,7202.15,2531.52992689,fhtd,sat-n1-0.7,4.48886138614,2.0,7.0,0.909284719074,249.4,9.59915611814,65,"(0, 250]",78.38,123.781012658,-ncb -ntb -np,49.7585178938
1090,hyperbench-csp_application,431,4594.4285089,5007927.0747,0.5298,7206.08,3315.33024677,detkdecomp-prog,default-n1-1.0,3.60556844548,2.0,5.0,0.626816682023,71.57,39.2981651376,65,"(0, 250]",12.34,22.8473577982,50,16.4102180981
44,hyperbench-csp_application,22,3606.78643182,158698.603,482.716,7202.22,3179.70564289,fhtd,sat-clique4-pre-lb-n1-0.7,3.31818181818,2.0,5.0,1.08611863056,490.96,41.1590909091,192,"(250, 500]",262.67,344.172272727,-ntb -bo,68.9502862656
46,hyperbench-csp_application,23,3616.0633913,166338.916,497.015,7202.14,3186.42770567,fhtd,sat-pre-clique6-lb-n1-0.7,3.30434782609,2.0,5.0,1.06321906614,478.88,40.7826086957,192,"(250, 500]",259.4,348.698043478,-ck=6 -ntb -bo,71.4063193475
50,hyperbench-csp_application,26,3632.80012,181640.006,529.053,7202.1,3094.33246605,fhtd,sat-clique4-lb-n1-0.7,3.34615384615,2.0,5.0,1.09333646028,499.77,38.82,192,"(250, 500]",255.68,361.7244,-ntb -bo -np,81.373548933
47,hyperbench-csp_application,26,3759.90812766,176715.682,504.629,7202.1,3134.58556564,fhtd,sat-n1-0.7,3.15384615385,2.0,5.0,1.04660623703,499.31,29.0425531915,65,"(250, 500]",260.03,349.122765957,-ncb -ntb -np,70.7609606106
136,hyperbench-csp_application,105,3585.48779412,487626.34,1418.86,7202.26,2224.0254199,fhtd,sat-pre-clique6-lb-n1-0.7,3.46666666667,2.0,4.0,0.589436932535,748.77,14.8161764706,65,"(500, 750]",504.11,618.450735294,-ck=6 -ntb -bo,61.7971873462
133,hyperbench-csp_application,100,4034.83924812,536633.62,1352.0,7202.29,2261.30627413,fhtd,sat-clique4-pre-lb-n1-0.7,3.48,2.0,4.0,0.594248528085,747.13,16.1278195489,65,"(500, 750]",502.56,617.649172932,-ntb -bo,61.2411898555
131,hyperbench-csp_application,99,4051.85633588,530793.18,1357.89,7202.3,2227.93116241,fhtd,sat-clique4-lb-n1-0.7,3.49494949495,2.0,4.0,0.578063928633,749.61,15.8778625954,65,"(500, 750]",501.37,614.191603053,-ntb -bo -np,59.2579412636
134,hyperbench-csp_application,79,4966.25402985,665478.04,1281.09,7202.17,2273.0981694,fhtd,sat-n1-0.7,3.43037974684,2.0,4.0,0.592334458185,748.99,26.6791044776,65,"(500, 750]",511.66,610.065373134,-ncb -ntb -np,54.819601355
28,hyperbench-csp_application,8,6075.82464286,170123.09,2193.33,7202.12,1949.85444825,fhtd,sat-n1-0.7,3.375,2.0,4.0,0.744023809143,998.49,101.285714286,577,"(750, 1000]",751.2,852.919285714,-ncb -ntb -np,94.1395554258
25,hyperbench-csp_application,10,6084.0212,152100.53,2152.26,7202.24,1616.09116923,fhtd,sat-pre-clique6-lb-n1-0.7,3.3,2.0,4.0,0.674948557711,996.74,120.92,577,"(750, 1000]",750.23,870.9852,-ck=6 -ntb -bo,93.1380469661
27,hyperbench-csp_application,11,6148.44777778,166008.09,2105.94,7202.19,1612.50154892,fhtd,sat-clique4-pre-lb-n1-0.7,3.36363636364,2.0,4.0,0.674199862463,988.04,57.4814814815,577,"(750, 1000]",750.54,844.740740741,-ntb -bo,80.7383933991
22,hyperbench-csp_application,7,6222.17227273,136887.79,2236.28,7202.35,1726.80911137,fhtd,sat-clique4-lb-n1-0.7,3.42857142857,2.0,4.0,0.786795792469,998.36,67.5909090909,577,"(750, 1000]",759.83,849.64,-ntb -bo -np,78.8822566204
84,hyperbench-csp_application,1,7153.79261905,600918.58,3145.31,7202.24,442.630731723,fhtd,sat-pre-clique6-lb-n1-0.7,2.0,2.0,2.0,,1157.09,442.130952381,577,"(1000, 1250]",1004.93,1091.2502381,-ck=6 -ntb -bo,39.1229475685
81,hyperbench-csp_application,1,7156.42790123,579670.66,3503.55,7202.28,410.948774307,fhtd,sat-clique4-lb-n1-0.7,2.0,2.0,2.0,,1249.23,438.716049383,577,"(1000, 1250]",1003.91,1084.33679012,-ntb -bo -np,47.4278021794
83,hyperbench-csp_application,1,7158.85385542,594184.87,3613.61,7202.62,393.886703256,fhtd,sat-n1-0.7,2.0,2.0,2.0,,1144.4,452.072289157,577,"(1000, 1250]",1003.29,1082.16012048,-ncb -ntb -np,37.3706081356
86,hyperbench-csp_application,1,7159.10569767,615683.09,3505.39,7202.43,398.625492053,fhtd,sat-clique4-pre-lb-n1-0.7,2.0,2.0,2.0,,1166.33,444.523255814,577,"(1000, 1250]",1004.52,1097.27186047,-ntb -bo,38.1071445675
193,hyperbench-csp_application,0,7202.03139896,1389992.06,7201.66,7202.38,0.12263008144,fhtd,sat-n1-0.7,,,,,1499.89,555.777202073,577,"(1250, 1500]",1316.07,1433.84518135,-ncb -ntb -np,27.5285699148
188,hyperbench-csp_application,0,7202.05829787,1353986.96,7201.65,7202.88,0.140948948151,fhtd,sat-clique4-lb-n1-0.7,,,,,1499.62,558.276595745,577,"(1250, 1500]",1250.02,1439.76771277,-ntb -bo -np,32.0198061797
178,hyperbench-csp_application,0,7202.06977528,1281968.42,7201.75,7202.41,0.115611638302,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1492.89,561.179775281,577,"(1250, 1500]",1260.39,1447.77758427,-ck=6 -ntb -bo,29.2706493109
181,hyperbench-csp_application,0,7202.08248619,1303576.93,7201.71,7202.57,0.135850841724,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1499.61,563.209944751,577,"(1250, 1500]",1271.14,1449.08088398,-ntb -bo,27.8344104441
7,hyperbench-csp_application,1,7155.99428571,50091.96,6879.2,7202.27,122.054825913,fhtd,sat-clique4-pre-lb-n1-0.7,2.0,2.0,2.0,,1708.63,119.714285714,513,"(1500, 1750]",1500.36,1657.75285714,-ntb -bo,71.9472250367
9,hyperbench-csp_application,1,7169.09333333,64521.84,6905.06,7202.11,99.0125009784,fhtd,sat-pre-clique6-lb-n1-0.7,2.0,2.0,2.0,,1707.28,228.444444444,577,"(1500, 1750]",1507.79,1624.32333333,-ck=6 -ntb -bo,84.0683486813
59,hyperbench-csp_application,0,7202.12474576,424925.36,7202.05,7202.21,0.0387011508429,fhtd,sat-clique4-lb-n1-0.7,,,,,1749.09,515.169491525,577,"(1500, 1750]",1504.52,1628.86372881,-ntb -bo -np,81.693383472
65,hyperbench-csp_application,0,7202.12938462,468138.41,7202.05,7202.49,0.0837570318517,fhtd,sat-n1-0.7,,,,,1748.75,521.861538462,577,"(1500, 1750]",1510.52,1635.384,-ncb -ntb -np,69.9572078086
23,hyperbench-csp_application,0,7202.10608696,165648.44,7202.05,7202.36,0.0628663177945,fhtd,sat-n1-0.7,,,,,1966.6,549.173913043,577,"(1750, 2000]",1752.39,1807.82434783,-ncb -ntb -np,40.7692873292
37,hyperbench-csp_application,0,7202.12459459,266478.61,7202.06,7202.2,0.0367116840763,fhtd,sat-clique4-lb-n1-0.7,,,,,1994.11,537.216216216,577,"(1750, 2000]",1753.63,1825.67189189,-ntb -bo -np,50.7076763221
1,hyperbench-csp_application,0,7202.08,7202.08,7202.08,7202.08,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,2054.71,65.0,65,"(2000, 2250]",2054.71,2054.71,-ntb -bo,
1,hyperbench-csp_application,0,7202.1,7202.1,7202.1,7202.1,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,2037.87,65.0,65,"(2000, 2250]",2037.87,2037.87,-ck=6 -ntb -bo,
4,hyperbench-csp_application,0,7202.1025,28808.41,7202.07,7202.12,0.0236290781314,fhtd,sat-clique4-lb-n1-0.7,,,,,2201.48,577.0,577,"(2000, 2250]",2001.67,2102.51,-ntb -bo -np,86.753361126
3,hyperbench-csp_application,0,7202.12,21606.36,7202.09,7202.16,0.0360555127545,fhtd,sat-n1-0.7,,,,,2062.57,406.333333333,577,"(2000, 2250]",2043.77,2053.81666667,-ncb -ntb -np,9.46649530361
9,hyperbench-csp_application,0,7202.14333333,64819.29,7202.06,7202.2,0.0476969600711,fhtd,sat-n1-0.7,,,,,2483.8,569.888888889,577,"(2250, 2500]",2382.25,2447.04777778,-ncb -ntb -np,36.0621878766
17,hyperbench-csp_application,0,7202.13588235,122436.31,7202.07,7202.28,0.0607308430216,fhtd,sat-n1-0.7,,,,,2612.38,577.0,577,"(2500, 2750]",2506.63,2539.33705882,-ncb -ntb -np,29.3789386221
18,hyperbench-csp_application,0,7202.17277778,129639.11,7202.07,7202.3,0.0584913825283,fhtd,sat-clique4-lb-n1-0.7,,,,,2743.27,569.888888889,577,"(2500, 2750]",2566.67,2670.83666667,-ntb -bo -np,50.8581342907
10,hyperbench-csp_application,0,7202.206,72022.06,7202.14,7202.26,0.0447710223742,fhtd,sat-clique4-lb-n1-0.7,,,,,2893.86,570.6,577,"(2750, 3000]",2759.84,2799.613,-ntb -bo -np,39.3050881778
13,hyperbench-csp_application,0,7202.11538462,93627.5,7202.06,7202.14,0.0312557686984,fhtd,sat-n1-0.7,,,,,3256.9,562.230769231,577,"(3250, 3500]",3254.01,3255.67230769,-ncb -ntb -np,0.834427486825
29,hyperbench-csp_application,0,7202.11689655,208861.39,7202.06,7202.2,0.0349595121202,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,3410.11,570.379310345,577,"(3250, 3500]",3254.83,3358.27068966,-ck=6 -ntb -bo,35.0814758741
29,hyperbench-csp_application,0,7202.12413793,208861.6,7202.06,7202.27,0.0526115984891,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,3406.11,574.793103448,577,"(3250, 3500]",3281.41,3354.25068966,-ntb -bo,32.1355978551
10,hyperbench-csp_application,0,7202.143,72021.43,7202.11,7202.19,0.02406010991,fhtd,sat-clique4-lb-n1-0.7,,,,,3459.87,570.6,577,"(3250, 3500]",3327.27,3432.022,-ntb -bo -np,55.1960660434
1,hyperbench-csp_application,0,7202.07,7202.07,7202.07,7202.07,,fhtd,sat-clique4-lb-n1-0.7,,,,,3582.88,577.0,577,"(3500, 3750]",3582.88,3582.88,-ntb -bo -np,
1,hyperbench-csp_application,0,7202.22,7202.22,7202.22,7202.22,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,6966.2,577.0,577,"(6750, 7000]",6966.2,6966.2,-ntb -bo,
1,hyperbench-csp_application,0,7202.23,7202.23,7202.23,7202.23,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,6969.25,577.0,577,"(6750, 7000]",6969.25,6969.25,-ck=6 -ntb -bo,
38,hyperbench-csp_application,0,555.847,21122.186,189.173,7202.1,1113.27982783,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7241.73,1588.5,8258,"(7000, 7250]",7132.95,7164.85736842,-ck=6 -ntb -bo,15.0737435377
38,hyperbench-csp_application,0,588.868842105,22377.016,191.062,7202.26,1105.39684493,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7240.44,2396.92105263,8258,"(7000, 7250]",7137.69,7166.69578947,-ntb -bo,13.1531631447
62,hyperbench-csp_application,0,1098.83429032,68127.726,195.499,1387.4,167.755795684,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7467.65,2485.61290323,8258,"(7250, 7500]",7366.41,7431.7333871,-ntb -bo,19.179216547
62,hyperbench-csp_application,0,1101.90504839,68318.113,183.672,1419.77,174.668568883,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7465.59,2634.25806452,8258,"(7250, 7500]",7306.43,7425.73435484,-ck=6 -ntb -bo,30.8911844617
2,hyperbench-csp_application,0,895.609,1791.218,791.738,999.48,146.895776937,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7673.85,322.0,578,"(7500, 7750]",7545.15,7609.5,-ntb -bo,91.0046427387
2,hyperbench-csp_application,0,903.703,1807.406,836.236,971.17,95.4127464126,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7674.3,578.0,578,"(7500, 7750]",7533.24,7603.77,-ck=6 -ntb -bo,99.7444825542
24,hyperbench-csp_other,5,376.297445833,9031.1387,3.004,7202.05,1466.85940438,fhtd,sat-clique4-lb-n1-0.7,3.5,1.5,7.0,2.06155281281,194.26,146.708333333,192,"(0, 250]",80.73,97.0133333333,-ntb -bo -np,30.6518487515
24,hyperbench-csp_other,22,381.207354167,9148.9765,4.1923,7202.11,1460.96786444,fhtd,sat-clique4-pre-lb-n1-0.7,2.43181818182,1.5,7.0,1.1158538749,212.9,10.7083333333,192,"(0, 250]",80.58,112.385,-ntb -bo,37.7461376083
23,hyperbench-csp_other,21,388.658713043,8939.1504,2.0536,7202.11,1492.56659927,fhtd,sat-pre-clique6-lb-n1-0.7,2.45238095238,1.5,7.0,1.1391308299,218.1,11.1739130435,192,"(0, 250]",80.17,113.361304348,-ck=6 -ntb -bo,38.8840470098
21,hyperbench-csp_other,19,1107.49182857,23257.3284,2.4381,7202.05,2162.50783763,fhtd,sat-n1-0.7,2.13157894737,1.5,3.0,0.402840789586,229.41,6.19047619048,65,"(0, 250]",78.35,106.445238095,-ncb -ntb -np,41.5358709574
82,hyperbench-csp_other,27,4833.61653902,396356.5562,0.566,7200.45,3398.4128479,detkdecomp-prog,default-n1-1.0,2.55555555556,2.0,8.0,1.25064086136,50.32,43.5975609756,65,"(0, 250]",12.32,18.0234146341,50,9.2611749274
2,hyperbench-csp_other,2,1141.786,2283.572,826.262,1457.31,446.218320054,fhtd,sat-n1-0.7,3.0,3.0,3.0,0.0,482.64,0.0,0,"(250, 500]",338.61,410.625,-ncb -ntb -np,101.844589694
3,hyperbench-csp_other,3,1340.17266667,4020.518,853.178,2036.03,618.467803221,fhtd,sat-clique4-pre-lb-n1-0.7,4.33333333333,2.5,6.0,1.75594229214,402.41,0.0,0,"(250, 500]",319.08,361.51,-ntb -bo,41.6860636184
3,hyperbench-csp_other,3,1373.14266667,4119.428,867.578,2200.09,722.054133262,fhtd,sat-pre-clique6-lb-n1-0.7,4.33333333333,2.5,6.0,1.75594229214,398.13,0.0,0,"(250, 500]",330.44,371.746666667,-ck=6 -ntb -bo,36.2286272626
3,hyperbench-csp_other,3,1618.897,4856.691,898.261,2706.35,958.234048444,fhtd,sat-clique4-lb-n1-0.7,4.0,3.0,6.0,1.73205080757,469.01,0.0,0,"(250, 500]",332.24,413.28,-ntb -bo -np,71.8119439926
7,hyperbench-csp_other,3,4948.15142857,34637.06,1231.98,7202.13,2839.46553007,fhtd,sat-pre-clique6-lb-n1-0.7,3.66666666667,3.0,5.0,1.15470053838,731.44,37.1428571429,65,"(500, 750]",509.23,585.134285714,-ck=6 -ntb -bo,94.2389701516
7,hyperbench-csp_other,3,4993.67571429,34955.73,1314.31,7202.09,2779.01946726,fhtd,sat-clique4-pre-lb-n1-0.7,3.66666666667,3.0,5.0,1.15470053838,741.5,37.1428571429,65,"(500, 750]",511.02,589.897142857,-ntb -bo,92.0273377344
1,hyperbench-csp_other,0,7202.05,7202.05,7202.05,7202.05,,fhtd,sat-n1-0.7,,,,,518.95,65.0,65,"(500, 750]",518.95,518.95,-ncb -ntb -np,
8,hyperbench-csp_other,2,6000.885,48007.08,2340.03,7202.13,2224.43733686,fhtd,sat-pre-clique6-lb-n1-0.7,3.625,3.25,4.0,0.53033008589,987.91,48.75,65,"(750, 1000]",884.78,929.04125,-ck=6 -ntb -bo,48.2242977991
8,hyperbench-csp_other,2,6043.8125,48350.5,2387.65,7202.15,2146.9022052,fhtd,sat-clique4-pre-lb-n1-0.7,3.625,3.25,4.0,0.53033008589,991.18,48.75,65,"(750, 1000]",843.04,914.1,-ntb -bo,54.8778716788
2,hyperbench-csp_other,0,7202.075,14404.15,7202.07,7202.08,0.00707106781202,fhtd,sat-clique4-lb-n1-0.7,,,,,882.93,65.0,65,"(750, 1000]",792.25,837.59,-ntb -bo -np,64.120442918
3,hyperbench-csp_other,0,7202.09333333,21606.28,7202.06,7202.12,0.0305505046328,fhtd,sat-n1-0.7,,,,,872.84,65.0,65,"(750, 1000]",801.86,839.376666667,-ncb -ntb -np,35.6631775552
10,hyperbench-csp_other,1,6842.545,68425.45,3606.81,7202.14,1136.9213916,fhtd,sat-n1-0.7,2.5,2.5,2.5,,1190.09,410.5,577,"(1000, 1250]",1009.84,1096.4,-ncb -ntb -np,54.0982891494
10,hyperbench-csp_other,1,6875.153,68751.53,3932.89,7202.16,1033.80584201,fhtd,sat-clique4-lb-n1-0.7,2.5,2.5,2.5,,1159.88,365.7,577,"(1000, 1250]",1001.8,1067.603,-ntb -bo -np,48.9053978048
6,hyperbench-csp_other,1,7158.77333333,42952.64,6942.1,7202.18,106.147828365,fhtd,sat-pre-clique6-lb-n1-0.7,3.75,3.75,3.75,,1170.73,395.5,577,"(1000, 1250]",1083.71,1131.10666667,-ck=6 -ntb -bo,34.4055778424
5,hyperbench-csp_other,0,7202.058,36010.29,7201.88,7202.12,0.10009995005,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1156.36,372.2,577,"(1000, 1250]",1013.61,1092.152,-ntb -bo,53.1851188774
16,hyperbench-csp_other,1,7091.306875,113460.91,5429.84,7202.18,443.05784427,fhtd,sat-clique4-lb-n1-0.7,4.5,4.5,4.5,,1467.01,504.9375,577,"(1250, 1500]",1408.4,1441.67875,-ntb -bo -np,17.9481055175
15,hyperbench-csp_other,0,7202.07466667,108031.12,7201.8,7202.2,0.0937219799396,fhtd,sat-n1-0.7,,,,,1489.04,495.933333333,577,"(1250, 1500]",1399.46,1446.85466667,-ncb -ntb -np,25.7232498687
12,hyperbench-csp_other,0,7202.075,86424.9,7201.78,7202.18,0.106983431173,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1493.48,401.0,577,"(1250, 1500]",1387.7,1454.09583333,-ntb -bo,28.2720576665
12,hyperbench-csp_other,0,7202.14,86425.68,7202.08,7202.24,0.0470975776256,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1497.98,395.666666667,577,"(1250, 1500]",1389.88,1460.96666667,-ck=6 -ntb -bo,29.871689648
9,hyperbench-csp_other,1,6902.13333333,62119.2,4502.09,7202.3,900.01625252,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,,1653.51,278.222222222,577,"(1500, 1750]",1506.51,1559.51111111,-ntb -bo -np,52.1132136421
11,hyperbench-csp_other,2,7125.61,78381.71,6546.43,7202.11,199.9851654,fhtd,sat-n1-0.7,3.125,3.0,3.25,0.176776695297,1731.94,326.636363636,577,"(1500, 1750]",1518.23,1584.33909091,-ncb -ntb -np,68.5855976798
9,hyperbench-csp_other,0,7202.11777778,64819.06,7202.07,7202.17,0.0294863433548,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1740.92,456.111111111,577,"(1500, 1750]",1555.09,1615.00666667,-ntb -bo,56.5692579941
7,hyperbench-csp_other,0,7202.12714286,50414.89,7202.09,7202.18,0.0359231985001,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1738.52,430.714285714,577,"(1500, 1750]",1513.91,1599.50428571,-ck=6 -ntb -bo,89.5540091895
7,hyperbench-csp_other,0,7202.10142857,50414.71,7202.06,7202.16,0.0348466026218,fhtd,sat-n1-0.7,,,,,1983.16,284.428571429,577,"(1750, 2000]",1750.57,1866.09714286,-ncb -ntb -np,88.0534882357
4,hyperbench-csp_other,0,7202.115,28808.46,7202.08,7202.16,0.0331662479036,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1898.07,177.0,513,"(1750, 2000]",1820.05,1841.33,-ntb -bo,37.9169047612
6,hyperbench-csp_other,0,7202.12,43212.72,7202.08,7202.15,0.0252982212816,fhtd,sat-clique4-lb-n1-0.7,,,,,1945.15,321.0,577,"(1750, 2000]",1781.79,1860.35833333,-ntb -bo -np,69.1205684053
4,hyperbench-csp_other,0,7202.135,28808.54,7202.1,7202.23,0.0635085296108,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1872.11,321.0,577,"(1750, 2000]",1753.28,1819.2175,-ck=6 -ntb -bo,49.1836743747
3,hyperbench-csp_other,0,7202.11333333,21606.34,7202.08,7202.14,0.0305505046333,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,2213.8,235.666666667,577,"(2000, 2250]",2042.18,2115.30666667,-ntb -bo,88.5774064496
4,hyperbench-csp_other,0,7202.1275,28808.51,7202.09,7202.17,0.0349999999997,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,2215.45,193.0,577,"(2000, 2250]",2046.33,2105.84,-ck=6 -ntb -bo,75.4830356217
3,hyperbench-csp_other,0,7202.13,21606.39,7202.11,7202.15,0.0199999999999,fhtd,sat-n1-0.7,,,,,2129.35,577.0,577,"(2000, 2250]",2060.05,2101.51666667,-ncb -ntb -np,36.6063291431
4,hyperbench-csp_other,0,7202.1825,28808.73,7202.13,7202.31,0.0853912563829,fhtd,sat-clique4-lb-n1-0.7,,,,,2230.27,449.0,577,"(2000, 2250]",2011.31,2131.93,-ntb -bo -np,94.7589545461
1,hyperbench-csp_other,0,7202.08,7202.08,7202.08,7202.08,,fhtd,sat-clique4-lb-n1-0.7,,,,,2291.75,65.0,65,"(2250, 2500]",2291.75,2291.75,-ntb -bo -np,
1,hyperbench-csp_other,0,7202.13,7202.13,7202.13,7202.13,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,2332.01,65.0,65,"(2250, 2500]",2332.01,2332.01,-ntb -bo,
1,hyperbench-csp_other,0,7202.15,7202.15,7202.15,7202.15,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,2383.58,65.0,65,"(2250, 2500]",2383.58,2383.58,-ck=6 -ntb -bo,
1,hyperbench-csp_other,0,7202.1,7202.1,7202.1,7202.1,,fhtd,sat-n1-0.7,,,,,2511.17,65.0,65,"(2500, 2750]",2511.17,2511.17,-ncb -ntb -np,
2,hyperbench-csp_other,0,7202.115,14404.23,7202.11,7202.12,0.00707106781202,fhtd,sat-n1-0.7,,,,,3435.06,577.0,577,"(3250, 3500]",3356.59,3395.825,-ncb -ntb -np,55.4866691197
1,hyperbench-csp_other,0,7202.12,7202.12,7202.12,7202.12,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,3433.31,577.0,577,"(3250, 3500]",3433.31,3433.31,-ntb -bo,
1,hyperbench-csp_other,0,7202.2,7202.2,7202.2,7202.2,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,3433.34,577.0,577,"(3250, 3500]",3433.34,3433.34,-ck=6 -ntb -bo,
1,hyperbench-csp_other,0,7202.28,7202.28,7202.28,7202.28,,fhtd,sat-clique4-lb-n1-0.7,,,,,3428.61,577.0,577,"(3250, 3500]",3428.61,3428.61,-ntb -bo -np,
1,hyperbench-csp_other,0,7202.15,7202.15,7202.15,7202.15,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,4432.7,577.0,577,"(4250, 4500]",4432.7,4432.7,-ck=6 -ntb -bo,
1,hyperbench-csp_other,0,7202.21,7202.21,7202.21,7202.21,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,4386.33,577.0,577,"(4250, 4500]",4386.33,4386.33,-ntb -bo,
1,hyperbench-csp_other,0,7202.22,7202.22,7202.22,7202.22,,fhtd,sat-n1-0.7,,,,,4410.43,577.0,577,"(4250, 4500]",4410.43,4410.43,-ncb -ntb -np,
1,hyperbench-csp_other,0,7202.26,7202.26,7202.26,7202.26,,fhtd,sat-clique4-lb-n1-0.7,,,,,4675.79,577.0,577,"(4500, 4750]",4675.79,4675.79,-ntb -bo -np,
1,hyperbench-csp_other,0,7202.26,7202.26,7202.26,7202.26,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,5473.3,577.0,577,"(5250, 5500]",5473.3,5473.3,-ntb -bo,
1,hyperbench-csp_other,0,7202.36,7202.36,7202.36,7202.36,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,5582.71,577.0,577,"(5500, 5750]",5582.71,5582.71,-ck=6 -ntb -bo,
1,hyperbench-csp_other,0,1683.55,1683.55,1683.55,1683.55,,fhtd,sat-clique4-lb-n1-0.7,,,,,6615.23,8256.0,8256,"(6500, 6750]",6615.23,6615.23,-ntb -bo -np,
1,hyperbench-csp_other,0,1809.16,1809.16,1809.16,1809.16,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,6709.93,8256.0,8256,"(6500, 6750]",6709.93,6709.93,-ntb -bo,
1,hyperbench-csp_other,0,2053.77,2053.77,2053.77,2053.77,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,6709.38,8256.0,8256,"(6500, 6750]",6709.38,6709.38,-ck=6 -ntb -bo,
1,hyperbench-csp_other,0,1182.25,1182.25,1182.25,1182.25,,fhtd,sat-clique4-lb-n1-0.7,,,,,7019.56,8256.0,8256,"(7000, 7250]",7019.56,7019.56,-ntb -bo -np,
1,hyperbench-csp_other,0,1485.07,1485.07,1485.07,1485.07,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7061.3,8256.0,8256,"(7000, 7250]",7061.3,7061.3,-ck=6 -ntb -bo,
1,hyperbench-csp_other,0,1590.05,1590.05,1590.05,1590.05,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7061.07,8256.0,8256,"(7000, 7250]",7061.07,7061.07,-ntb -bo,
1,hyperbench-csp_other,0,7202.17,7202.17,7202.17,7202.17,,fhtd,sat-n1-0.7,,,,,7154.41,577.0,577,"(7000, 7250]",7154.41,7154.41,-ncb -ntb -np,
1,hyperbench-csp_other,0,1537.35,1537.35,1537.35,1537.35,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7314.92,8256.0,8256,"(7250, 7500]",7314.92,7314.92,-ck=6 -ntb -bo,
1,hyperbench-csp_other,0,1586.75,1586.75,1586.75,1586.75,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7313.73,8256.0,8256,"(7250, 7500]",7313.73,7313.73,-ntb -bo,
1,hyperbench-csp_other,0,7202.25,7202.25,7202.25,7202.25,,fhtd,sat-clique4-lb-n1-0.7,,,,,7369.43,577.0,577,"(7250, 7500]",7369.43,7369.43,-ntb -bo -np,
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,"(7500, 7750]",7713.72,7720.12,-ncb -ntb -np,6.48148131217
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,"(7500, 7750]",7501.9,7501.9,-ntb -bo -np,
1,hyperbench-csp_other,0,1152.53,1152.53,1152.53,1152.53,,fhtd,sat-clique4-lb-n1-0.7,,,,,7899.07,8256.0,8256,"(7750, 8000]",7899.07,7899.07,-ntb -bo -np,
1,hyperbench-csp_other,0,2547.07,2547.07,2547.07,2547.07,,fhtd,sat-n1-0.7,,,,,7816.18,578.0,578,"(7750, 8000]",7816.18,7816.18,-ncb -ntb -np,
712,hyperbench-csp_random,558,1885.02030758,1342134.459,1.7818,7202.27,2947.07110696,fhtd,sat-pre-clique6-lb-n1-0.7,4.26617741935,1.6219,6.35,1.44838613891,219.2,14.058988764,65,"(0, 250]",79.74,130.839297753,-ck=6 -ntb -bo,36.1782543697
711,hyperbench-csp_random,546,1996.88647736,1419786.2854,1.8537,7202.37,3050.8547817,fhtd,sat-clique4-pre-lb-n1-0.7,4.25178736264,1.6219,6.35,1.45664759903,219.97,15.0843881857,65,"(0, 250]",79.92,132.812995781,-ntb -bo,38.9307339417
711,hyperbench-csp_random,536,2035.66873305,1447360.4692,5.6206,7202.38,3084.52325967,fhtd,sat-clique4-lb-n1-0.7,4.24214048507,1.6219,6.35,1.47579470988,211.29,15.9985935302,65,"(0, 250]",81.75,123.102053446,-ntb -bo -np,33.2020424113
712,hyperbench-csp_random,383,3701.36592725,2635372.5402,5.3012,7202.12,3391.42109916,fhtd,sat-n1-0.7,3.87430574413,1.6219,6.0,1.46880423958,218.0,30.0351123596,65,"(0, 250]",79.84,130.216025281,-ncb -ntb -np,37.6130280391
862,hyperbench-csp_random,196,5590.7198761,4819200.5332,0.4046,7200.6,2970.26976638,detkdecomp-prog,default-n1-1.0,2.96428571429,2.0,4.0,0.659253657264,43.62,50.2204176334,65,"(0, 250]",12.33,16.6373781903,50,5.76044849552
50,hyperbench-csp_random,0,7202.0674,360103.37,7202.04,7202.15,0.020879635621,fhtd,sat-n1-0.7,,,,,475.98,65.0,65,"(250, 500]",418.27,453.5456,-ncb -ntb -np,12.1028197355
50,hyperbench-csp_random,0,7202.07,360103.5,7202.04,7202.16,0.0219461307081,fhtd,sat-clique4-lb-n1-0.7,,,,,444.35,65.0,65,"(250, 500]",372.79,416.8428,-ntb -bo -np,13.298991375
50,hyperbench-csp_random,0,7202.0782,360103.91,7202.04,7202.37,0.0496391057162,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,455.9,65.0,65,"(250, 500]",331.22,403.0262,-ck=6 -ntb -bo,27.1672044854
50,hyperbench-csp_random,0,7202.083,360104.15,7202.04,7202.21,0.0294334253972,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,494.49,65.0,65,"(250, 500]",383.78,427.7582,-ntb -bo,23.0409445393
100,hyperbench-csp_random,100,4258.0087,425800.87,2782.65,5818.78,600.790442534,fhtd,sat-pre-clique6-lb-n1-0.7,7.83,7.0,9.0,0.403394686042,952.72,0.0,0,"(750, 1000]",816.06,906.7312,-ck=6 -ntb -bo,23.4233151256
100,hyperbench-csp_random,100,4264.9929,426499.29,2888.35,6208.53,643.940194123,fhtd,sat-clique4-pre-lb-n1-0.7,7.83,7.0,9.0,0.403394686042,952.77,0.0,0,"(750, 1000]",825.54,906.454,-ntb -bo,23.3089291427
2,hyperbench-csp_random,0,7201.945,14403.89,7201.69,7202.2,0.360624458405,fhtd,sat-clique4-lb-n1-0.7,,,,,998.64,577.0,577,"(750, 1000]",982.16,990.4,-ntb -bo -np,11.653119754
8,hyperbench-csp_random,0,7202.06,57616.48,7201.89,7202.16,0.091651513899,fhtd,sat-n1-0.7,,,,,974.14,569.0,577,"(750, 1000]",943.59,953.5525,-ncb -ntb -np,9.79065698948
90,hyperbench-csp_random,1,7199.92122222,647992.91,7004.96,7202.26,20.7816602287,fhtd,sat-clique4-lb-n1-0.7,8.0,8.0,8.0,,1999.09,64.2777777778,65,"(1750, 2000]",1872.7,1951.68622222,-ntb -bo -np,32.3212265654
87,hyperbench-csp_random,0,7202.11609195,626584.1,7202.04,7202.49,0.0595985859408,fhtd,sat-n1-0.7,,,,,1995.77,65.0,65,"(1750, 2000]",1857.21,1935.72172414,-ncb -ntb -np,35.7359349208
5,hyperbench-csp_random,0,7202.1,36010.5,7202.06,7202.12,0.0234520787989,fhtd,sat-n1-0.7,,,,,2016.34,65.0,65,"(2000, 2250]",2000.37,2005.902,-ncb -ntb -np,6.52031210909
8,hyperbench-csp_random,0,7202.13125,57617.05,7202.08,7202.27,0.0626640703617,fhtd,sat-clique4-lb-n1-0.7,,,,,2011.06,65.0,65,"(2000, 2250]",2003.6,2007.1125,-ntb -bo -np,2.93371412572
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, 250]",90.75,95.4066666667,-ntb -bo,3.25302862547
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, 250]",81.68,85.968,-ntb -bo -np,6.90074136804
15,hyperbench-daimlerchrysler,15,34.0437266667,510.6559,4.1673,152.603,43.6435428091,fhtd,sat-pre-clique6-lb-n1-0.7,2.0,2.0,2.0,0.0,102.22,0.0,0,"(0, 250]",90.82,95.2786666667,-ck=6 -ntb -bo,3.32159356477
15,hyperbench-daimlerchrysler,15,601.87382,9028.1073,18.3584,3711.48,966.936119299,fhtd,sat-n1-0.7,2.0,2.0,2.0,0.0,112.83,0.0,0,"(0, 250]",81.06,92.2406666667,-ncb -ntb -np,11.7520888518
15,hyperbench-daimlerchrysler,13,973.709673333,14605.6451,3.3045,7200.09,2527.99944734,detkdecomp-prog,default-n1-1.0,2.23076923077,2.0,3.0,0.438529009654,40.31,8.66666666667,65,"(0, 250]",12.5,16.268,50,9.74902134282
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,"(0, 250]",185.43,185.43,-ntb -bo,
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,"(0, 250]",186.02,186.02,-ck=6 -ntb -bo,
12,hyperbench-grid2d,1,6604.78991667,79257.479,56.359,7200.12,2062.22091957,detkdecomp-prog,default-n1-1.0,4.0,4.0,4.0,,39.39,59.5833333333,65,"(0, 250]",12.41,18.2125,50,9.21619338201
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,"(250, 500]",467.36,467.36,-ntb -bo -np,
1,hyperbench-grid2d,1,1392.5,1392.5,1392.5,1392.5,,fhtd,sat-n1-0.7,3.0,3.0,3.0,,482.35,0.0,0,"(250, 500]",482.35,482.35,-ncb -ntb -np,
1,hyperbench-grid2d,0,7202.11,7202.11,7202.11,7202.11,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1433.52,577.0,577,"(1250, 1500]",1433.52,1433.52,-ck=6 -ntb -bo,
2,hyperbench-grid2d,0,7202.12,14404.24,7202.09,7202.15,0.0424264068708,fhtd,sat-clique4-lb-n1-0.7,,,,,1487.42,577.0,577,"(1250, 1500]",1463.71,1475.565,-ntb -bo -np,16.7655017819
1,hyperbench-grid2d,0,7202.15,7202.15,7202.15,7202.15,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1432.84,577.0,577,"(1250, 1500]",1432.84,1432.84,-ntb -bo,
1,hyperbench-grid2d,0,7202.18,7202.18,7202.18,7202.18,,fhtd,sat-n1-0.7,,,,,1474.82,577.0,577,"(1250, 1500]",1474.82,1474.82,-ncb -ntb -np,
3,hyperbench-grid2d,0,7202.07,21606.21,7202.04,7202.1,0.0300000000001,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1742.14,406.333333333,577,"(1500, 1750]",1531.41,1671.14666667,-ck=6 -ntb -bo,121.020732246
2,hyperbench-grid2d,0,7202.175,14404.35,7202.11,7202.24,0.091923881554,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1749.86,321.0,577,"(1500, 1750]",1519.91,1634.885,-ntb -bo,162.599204334
2,hyperbench-grid2d,0,7202.195,14404.39,7202.17,7202.22,0.0353553390591,fhtd,sat-n1-0.7,,,,,1697.03,545.0,577,"(1500, 1750]",1565.5,1631.265,-ncb -ntb -np,93.0057549295
1,hyperbench-grid2d,0,7202.11,7202.11,7202.11,7202.11,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1847.97,577.0,577,"(1750, 2000]",1847.97,1847.97,-ntb -bo,
1,hyperbench-grid2d,0,7202.13,7202.13,7202.13,7202.13,,fhtd,sat-clique4-lb-n1-0.7,,,,,1849.85,577.0,577,"(1750, 2000]",1849.85,1849.85,-ntb -bo -np,
1,hyperbench-grid2d,0,7202.18,7202.18,7202.18,7202.18,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,2169.05,577.0,577,"(2000, 2250]",2169.05,2169.05,-ntb -bo,
1,hyperbench-grid2d,0,7202.23,7202.23,7202.23,7202.23,,fhtd,sat-clique4-lb-n1-0.7,,,,,2188.01,513.0,513,"(2000, 2250]",2188.01,2188.01,-ntb -bo -np,
1,hyperbench-grid2d,0,7202.28,7202.28,7202.28,7202.28,,fhtd,sat-n1-0.7,,,,,2136.78,577.0,577,"(2000, 2250]",2136.78,2136.78,-ncb -ntb -np,
1,hyperbench-grid2d,0,7202.13,7202.13,7202.13,7202.13,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,2340.77,577.0,577,"(2250, 2500]",2340.77,2340.77,-ck=6 -ntb -bo,
1,hyperbench-grid2d,0,7202.09,7202.09,7202.09,7202.09,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,3443.52,577.0,577,"(3250, 3500]",3443.52,3443.52,-ck=6 -ntb -bo,
1,hyperbench-grid2d,0,7202.13,7202.13,7202.13,7202.13,,fhtd,sat-n1-0.7,,,,,3357.44,577.0,577,"(3250, 3500]",3357.44,3357.44,-ncb -ntb -np,
1,hyperbench-grid2d,0,7202.15,7202.15,7202.15,7202.15,,fhtd,sat-clique4-lb-n1-0.7,,,,,3430.39,577.0,577,"(3250, 3500]",3430.39,3430.39,-ntb -bo -np,
1,hyperbench-grid2d,0,7202.24,7202.24,7202.24,7202.24,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,3434.2,577.0,577,"(3250, 3500]",3434.2,3434.2,-ntb -bo,
1,hyperbench-grid2d,0,7202.12,7202.12,7202.12,7202.12,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,4353.52,577.0,577,"(4250, 4500]",4353.52,4353.52,-ck=6 -ntb -bo,
1,hyperbench-grid2d,0,7202.19,7202.19,7202.19,7202.19,,fhtd,sat-n1-0.7,,,,,4451.75,577.0,577,"(4250, 4500]",4451.75,4451.75,-ncb -ntb -np,
1,hyperbench-grid2d,0,7202.2,7202.2,7202.2,7202.2,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,4424.93,577.0,577,"(4250, 4500]",4424.93,4424.93,-ntb -bo,
1,hyperbench-grid2d,0,7202.11,7202.11,7202.11,7202.11,,fhtd,sat-clique4-lb-n1-0.7,,,,,4717.39,577.0,577,"(4500, 4750]",4717.39,4717.39,-ntb -bo -np,
1,hyperbench-grid2d,0,7202.12,7202.12,7202.12,7202.12,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,5453.89,577.0,577,"(5250, 5500]",5453.89,5453.89,-ck=6 -ntb -bo,
1,hyperbench-grid2d,0,7202.14,7202.14,7202.14,7202.14,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,5595.86,577.0,577,"(5500, 5750]",5595.86,5595.86,-ntb -bo,
1,hyperbench-grid2d,0,1939.14,1939.14,1939.14,1939.14,,fhtd,sat-clique4-lb-n1-0.7,,,,,6615.84,8256.0,8256,"(6500, 6750]",6615.84,6615.84,-ntb -bo -np,
1,hyperbench-grid2d,0,1998.45,1998.45,1998.45,1998.45,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,6708.28,8256.0,8256,"(6500, 6750]",6708.28,6708.28,-ntb -bo,
1,hyperbench-grid2d,0,2067.02,2067.02,2067.02,2067.02,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,6709.66,8256.0,8256,"(6500, 6750]",6709.66,6709.66,-ck=6 -ntb -bo,
1,hyperbench-grid2d,0,1132.79,1132.79,1132.79,1132.79,,fhtd,sat-clique4-lb-n1-0.7,,,,,7022.59,8256.0,8256,"(7000, 7250]",7022.59,7022.59,-ntb -bo -np,
1,hyperbench-grid2d,0,1724.85,1724.85,1724.85,1724.85,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,7062.76,8256.0,8256,"(7000, 7250]",7062.76,7062.76,-ntb -bo,
1,hyperbench-grid2d,0,1752.95,1752.95,1752.95,1752.95,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7061.47,8256.0,8256,"(7000, 7250]",7061.47,7061.47,-ck=6 -ntb -bo,
1,hyperbench-grid2d,0,7202.18,7202.18,7202.18,7202.18,,fhtd,sat-n1-0.7,,,,,7153.1,577.0,577,"(7000, 7250]",7153.1,7153.1,-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,"(7250, 7500]",7313.45,7313.45,-ntb -bo,
1,hyperbench-grid2d,0,1711.72,1711.72,1711.72,1711.72,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,7314.73,8256.0,8256,"(7250, 7500]",7314.73,7314.73,-ck=6 -ntb -bo,
1,hyperbench-grid2d,0,7202.27,7202.27,7202.27,7202.27,,fhtd,sat-clique4-lb-n1-0.7,,,,,7372.56,577.0,577,"(7250, 7500]",7372.56,7372.56,-ntb -bo -np,
1,hyperbench-grid2d,0,1190.11,1190.11,1190.11,1190.11,,fhtd,sat-clique4-lb-n1-0.7,,,,,7501.28,8256.0,8256,"(7500, 7750]",7501.28,7501.28,-ntb -bo -np,
3,hyperbench-grid2d,0,1450.46333333,4351.39,1367.11,1546.17,90.1669259392,fhtd,sat-n1-0.7,,,,,7718.96,556.666666667,578,"(7500, 7750]",7713.64,7716.55,-ncb -ntb -np,2.69501391462
1,hyperbench-grid2d,0,1150.21,1150.21,1150.21,1150.21,,fhtd,sat-clique4-lb-n1-0.7,,,,,7897.33,8256.0,8256,"(7750, 8000]",7897.33,7897.33,-ntb -bo -np,
1,hyperbench-grid2d,0,2954.89,2954.89,2954.89,2954.89,,fhtd,sat-n1-0.7,,,,,7815.41,578.0,578,"(7750, 8000]",7815.41,7815.41,-ncb -ntb -np,
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, 250]",78.38,78.38,-ncb -ntb -np,
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, 250]",80.71,82.7675,-ntb -bo -np,2.17774156716
3,hyperbench-iscas89,2,111.085533333,333.2566,2.6887,265.154,137.063605653,fhtd,sat-clique4-pre-lb-n1-0.7,2.25,1.5,3.0,1.06066017178,181.39,64.0,192,"(0, 250]",79.79,122.216666667,-ntb -bo,52.8297088136
3,hyperbench-iscas89,2,112.585966667,337.7579,3.0883,256.289,130.01982138,fhtd,sat-pre-clique6-lb-n1-0.7,2.25,1.5,3.0,1.06066017178,183.47,64.0,192,"(0, 250]",80.33,122.976666667,-ck=6 -ntb -bo,53.8362566802
24,hyperbench-iscas89,1,6900.12025833,165602.8862,0.8062,7200.11,1469.54774073,detkdecomp-prog,default-n1-1.0,2.0,2.0,2.0,,45.28,62.2916666667,65,"(0, 250]",12.47,26.02375,50,11.8524735311
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,"(250, 500]",338.47,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,"(250, 500]",332.84,332.84,-ntb -bo -np,
2,hyperbench-iscas89,2,1079.2765,2158.553,912.663,1245.89,235.627071374,fhtd,sat-clique4-pre-lb-n1-0.7,3.5,2.5,4.5,1.41421356237,402.07,0.0,0,"(250, 500]",364.04,383.055,-ntb -bo,26.8912708885
2,hyperbench-iscas89,2,1085.0585,2170.117,999.917,1170.2,120.408264021,fhtd,sat-pre-clique6-lb-n1-0.7,3.5,2.5,4.5,1.41421356237,401.78,0.0,0,"(250, 500]",389.75,395.765,-ck=6 -ntb -bo,8.50649457767
3,hyperbench-iscas89,3,1817.74333333,5453.23,1530.99,2269.79,396.166347048,fhtd,sat-pre-clique6-lb-n1-0.7,3.66666666667,3.0,5.0,1.15470053838,554.74,0.0,0,"(500, 750]",512.36,527.95,-ck=6 -ntb -bo,23.3044223271
3,hyperbench-iscas89,3,2008.56666667,6025.7,1305.26,2591.65,651.567375974,fhtd,sat-clique4-pre-lb-n1-0.7,3.66666666667,3.0,5.0,1.15470053838,552.09,0.0,0,"(500, 750]",522.89,533.78,-ntb -bo,15.9515610521
4,hyperbench-iscas89,1,5952.3225,23809.29,2203.05,7202.1,2499.51500005,fhtd,sat-clique4-pre-lb-n1-0.7,4.0,4.0,4.0,,948.16,48.75,65,"(750, 1000]",862.15,896.99,-ntb -bo,37.3309978436
4,hyperbench-iscas89,1,6048.125,24192.5,2586.17,7202.13,2307.97000006,fhtd,sat-pre-clique6-lb-n1-0.7,4.0,4.0,4.0,,987.94,48.75,65,"(750, 1000]",884.63,921.6175,-ck=6 -ntb -bo,45.5011548388
2,hyperbench-iscas89,1,5357.345,10714.69,3512.86,7201.83,2608.49570259,fhtd,sat-n1-0.7,2.5,2.5,2.5,,1139.39,288.5,577,"(1000, 1250]",1033.25,1086.32,-ncb -ntb -np,75.0523137551
5,hyperbench-iscas89,1,6398.59,31992.95,3184.51,7202.16,1796.72534153,fhtd,sat-clique4-lb-n1-0.7,2.5,2.5,2.5,,1198.87,448.8,577,"(1000, 1250]",1002.25,1083.106,-ntb -bo -np,72.6630351692
2,hyperbench-iscas89,0,7202.07,14404.14,7202.07,7202.07,0.0,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1080.93,321.0,577,"(1000, 1250]",1055.06,1067.995,-ntb -bo,18.2928524293
2,hyperbench-iscas89,0,7202.25,14404.5,7202.11,7202.39,0.197989898733,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1099.64,321.0,577,"(1000, 1250]",1098.82,1099.23,-ck=6 -ntb -bo,0.579827560573
6,hyperbench-iscas89,1,7001.725,42010.35,5999.74,7202.18,490.870397305,fhtd,sat-clique4-lb-n1-0.7,4.5,4.5,4.5,,1468.2,384.833333333,577,"(1250, 1500]",1419.73,1447.90666667,-ntb -bo -np,21.5494665054
3,hyperbench-iscas89,0,7202.10666667,21606.32,7202.08,7202.13,0.0251661147843,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1499.13,406.333333333,577,"(1250, 1500]",1419.22,1470.46333333,-ck=6 -ntb -bo,44.482372164
4,hyperbench-iscas89,0,7202.12,28808.48,7202.09,7202.14,0.0244948974277,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1489.51,449.0,577,"(1250, 1500]",1422.67,1453.5875,-ntb -bo,33.0423812449
8,hyperbench-iscas89,0,7202.12,57616.96,7202.04,7202.28,0.0801783725736,fhtd,sat-n1-0.7,,,,,1494.58,433.0,577,"(1250, 1500]",1413.09,1448.63375,-ncb -ntb -np,24.7860784298
4,hyperbench-iscas89,1,6645.985,26583.94,4977.49,7202.17,1112.33000036,fhtd,sat-clique4-lb-n1-0.7,3.0,3.0,3.0,,1714.34,432.75,577,"(1500, 1750]",1540.86,1607.81,-ntb -bo -np,80.7819942809
5,hyperbench-iscas89,1,6765.21,33826.05,5017.65,7202.15,976.915740456,fhtd,sat-n1-0.7,3.0,3.0,3.0,,1665.23,461.6,577,"(1500, 1750]",1520.36,1594.038,-ncb -ntb -np,63.6222183675
5,hyperbench-iscas89,0,7202.146,36010.73,7202.08,7202.24,0.064652919501,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1722.82,577.0,577,"(1500, 1750]",1528.45,1607.034,-ntb -bo,75.1922251965
6,hyperbench-iscas89,0,7202.16166667,43212.97,7202.11,7202.2,0.042622372842,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1714.46,555.666666667,577,"(1500, 1750]",1531.24,1621.70166667,-ck=6 -ntb -bo,70.5917543107
1,hyperbench-iscas89,0,7202.11,7202.11,7202.11,7202.11,,fhtd,sat-clique4-lb-n1-0.7,,,,,1766.75,577.0,577,"(1750, 2000]",1766.75,1766.75,-ntb -bo -np,
1,hyperbench-iscas89,0,7202.15,7202.15,7202.15,7202.15,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1961.0,65.0,65,"(1750, 2000]",1961.0,1961.0,-ntb -bo,
3,hyperbench-iscas89,0,7202.15666667,21606.47,7202.14,7202.17,0.0152752523164,fhtd,sat-n1-0.7,,,,,1974.3,577.0,577,"(1750, 2000]",1827.19,1881.68333333,-ncb -ntb -np,80.6249305943
1,hyperbench-iscas89,0,7202.12,7202.12,7202.12,7202.12,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,2043.65,65.0,65,"(2000, 2250]",2043.65,2043.65,-ck=6 -ntb -bo,
2,hyperbench-iscas89,0,7202.16,14404.32,7202.12,7202.2,0.0565685424949,fhtd,sat-n1-0.7,,,,,2208.45,577.0,577,"(2000, 2250]",2097.01,2152.73,-ncb -ntb -np,78.7999796954
3,hyperbench-iscas89,0,7202.16,21606.48,7202.15,7202.17,0.0100000000002,fhtd,sat-clique4-lb-n1-0.7,,,,,2214.08,555.666666667,577,"(2000, 2250]",2060.34,2158.45,-ntb -bo -np,85.2197729403
1,hyperbench-iscas89,0,7202.07,7202.07,7202.07,7202.07,,fhtd,sat-n1-0.7,,,,,2509.38,65.0,65,"(2500, 2750]",2509.38,2509.38,-ncb -ntb -np,
1,hyperbench-iscas89,0,7202.11,7202.11,7202.11,7202.11,,fhtd,sat-n1-0.7,,,,,3433.62,577.0,577,"(3250, 3500]",3433.62,3433.62,-ncb -ntb -np,
5,hyperbench-maxsat,4,1607.78238,8038.9119,21.8677,7202.04,3141.70379054,fhtd,sat-clique4-pre-lb-n1-0.7,4.0,3.0,7.0,2.0,218.88,13.0,65,"(0, 250]",96.11,143.674,-ntb -bo,57.3899593135
5,hyperbench-maxsat,4,1608.28674,8041.4337,19.4351,7202.07,3141.01334192,fhtd,sat-pre-clique6-lb-n1-0.7,4.0,3.0,7.0,2.0,216.09,13.0,65,"(0, 250]",95.38,143.246,-ck=6 -ntb -bo,56.7359765052
5,hyperbench-maxsat,4,1679.81336,8399.0668,59.5329,7202.05,3104.49072895,fhtd,sat-clique4-lb-n1-0.7,4.0,3.0,7.0,2.0,195.01,13.0,65,"(0, 250]",96.46,142.324,-ntb -bo -np,46.4205426509
5,hyperbench-maxsat,3,2947.48682,14737.4341,49.9118,7202.07,3884.40592515,fhtd,sat-n1-0.7,3.0,3.0,3.0,0.0,229.29,26.0,65,"(0, 250]",93.05,154.714,-ncb -ntb -np,64.6606149832
31,hyperbench-maxsat,12,4416.13139355,136900.0732,0.8568,7200.12,3560.98784416,detkdecomp-prog,default-n1-1.0,2.83333333333,2.0,8.0,1.74945879077,31.68,39.8387096774,65,"(0, 250]",12.41,17.4203225806,50,6.52310380308
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,"(250, 500]",321.3,321.3,-ntb -bo,
1,hyperbench-maxsat,1,2249.42,2249.42,2249.42,2249.42,,fhtd,sat-pre-clique6-lb-n1-0.7,6.0,6.0,6.0,,332.7,0.0,0,"(250, 500]",332.7,332.7,-ck=6 -ntb -bo,
1,hyperbench-maxsat,1,2417.48,2417.48,2417.48,2417.48,,fhtd,sat-clique4-lb-n1-0.7,6.0,6.0,6.0,,438.57,0.0,0,"(250, 500]",438.57,438.57,-ntb -bo -np,
4,hyperbench-maxsat,0,7202.0675,28808.27,7202.06,7202.09,0.0149999999999,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,736.59,65.0,65,"(500, 750]",504.17,628.3475,-ck=6 -ntb -bo,108.998629464
1,hyperbench-maxsat,0,7202.07,7202.07,7202.07,7202.07,,fhtd,sat-n1-0.7,,,,,521.82,65.0,65,"(500, 750]",521.82,521.82,-ncb -ntb -np,
4,hyperbench-maxsat,0,7202.075,28808.3,7202.05,7202.09,0.0191485421553,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,727.67,65.0,65,"(500, 750]",502.61,620.7875,-ntb -bo,98.1195306331
4,hyperbench-maxsat,1,5988.8375,23955.35,2348.6,7202.54,2426.82500867,fhtd,sat-pre-clique6-lb-n1-0.7,3.25,3.25,3.25,,985.81,48.75,65,"(750, 1000]",844.25,929.415,-ck=6 -ntb -bo,67.7994810698
4,hyperbench-maxsat,1,6129.355,24517.42,2911.11,7202.11,2145.49666667,fhtd,sat-clique4-pre-lb-n1-0.7,3.25,3.25,3.25,,985.48,48.75,65,"(750, 1000]",849.71,928.19,-ntb -bo,65.3149390773
3,hyperbench-maxsat,0,7202.05666667,21606.17,7202.04,7202.07,0.0152752523166,fhtd,sat-n1-0.7,,,,,883.49,65.0,65,"(750, 1000]",798.8,843.07,-ncb -ntb -np,42.4760626706
2,hyperbench-maxsat,0,7202.1,14404.2,7202.1,7202.1,0.0,fhtd,sat-clique4-lb-n1-0.7,,,,,883.46,65.0,65,"(750, 1000]",794.5,838.98,-ntb -bo -np,62.9042192544
2,hyperbench-maxsat,0,7202.07,14404.14,7202.06,7202.08,0.0141421356237,fhtd,sat-n1-0.7,,,,,1183.46,65.0,65,"(1000, 1250]",1148.29,1165.875,-ncb -ntb -np,24.8689454943
6,hyperbench-maxsat,0,7202.1,43212.6,7202.05,7202.15,0.0399999999999,fhtd,sat-clique4-lb-n1-0.7,,,,,1233.33,225.0,577,"(1000, 1250]",1009.01,1099.19833333,-ntb -bo -np,78.1993376997
4,hyperbench-maxsat,0,7202.1275,28808.51,7202.08,7202.2,0.055,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1123.63,433.0,577,"(1000, 1250]",1056.82,1096.8,-ck=6 -ntb -bo,28.466306399
3,hyperbench-maxsat,0,7202.13,21606.39,7202.11,7202.15,0.0199999999999,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1106.09,406.333333333,577,"(1000, 1250]",1050.16,1072.76333333,-ntb -bo,29.4666529035
11,hyperbench-maxsat,0,7201.93454545,79221.28,7201.64,7202.09,0.144593474013,fhtd,sat-n1-0.7,,,,,1456.63,571.181818182,577,"(1250, 1500]",1431.06,1443.35818182,-ncb -ntb -np,8.4963437056
6,hyperbench-maxsat,0,7202.125,43212.75,7202.08,7202.18,0.0383405790253,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1458.55,321.0,577,"(1250, 1500]",1386.99,1437.77166667,-ck=6 -ntb -bo,25.8344858023
7,hyperbench-maxsat,0,7202.15,50415.05,7202.09,7202.22,0.0461880215349,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1463.14,357.571428571,577,"(1250, 1500]",1390.13,1443.16714286,-ntb -bo,24.6465607569
9,hyperbench-maxsat,0,7202.15333333,64819.38,7202.07,7202.2,0.0489897948556,fhtd,sat-clique4-lb-n1-0.7,,,,,1460.86,569.888888889,577,"(1250, 1500]",1427.06,1443.79555556,-ntb -bo -np,13.1167003388
4,hyperbench-maxsat,1,6734.9075,26939.63,5333.35,7202.1,934.371666679,fhtd,sat-n1-0.7,3.25,3.25,3.25,,1624.82,48.75,65,"(1500, 1750]",1531.05,1558.085,-ncb -ntb -np,44.9385969963
4,hyperbench-maxsat,0,7202.1075,28808.43,7202.07,7202.14,0.0287228132327,fhtd,sat-clique4-lb-n1-0.7,,,,,1555.11,65.0,65,"(1500, 1750]",1500.83,1525.19,-ntb -bo -np,26.6987203189
1,hyperbench-maxsat,0,7202.12,7202.12,7202.12,7202.12,,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1538.5,65.0,65,"(1500, 1750]",1538.5,1538.5,-ntb -bo,
1,hyperbench-maxsat,0,7202.15,7202.15,7202.15,7202.15,,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1542.47,65.0,65,"(1500, 1750]",1542.47,1542.47,-ck=6 -ntb -bo,
4,hyperbench-maxsat,0,7202.09,28808.36,7202.08,7202.1,0.00816496580946,fhtd,sat-n1-0.7,,,,,1985.2,65.0,65,"(1750, 2000]",1773.73,1899.2875,-ncb -ntb -np,96.5462349948
2,hyperbench-maxsat,0,7202.105,14404.21,7202.1,7202.11,0.00707106781106,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,1824.51,65.0,65,"(1750, 2000]",1823.58,1824.045,-ck=6 -ntb -bo,0.657609306504
3,hyperbench-maxsat,0,7202.10666667,21606.32,7202.08,7202.13,0.0251661147845,fhtd,sat-clique4-lb-n1-0.7,,,,,1943.04,65.0,65,"(1750, 2000]",1786.33,1869.53,-ntb -bo -np,78.8030970204
2,hyperbench-maxsat,0,7202.15,14404.3,7202.15,7202.15,0.0,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,1828.42,65.0,65,"(1750, 2000]",1823.16,1825.79,-ntb -bo,3.71938166904
1,hyperbench-maxsat,0,7202.06,7202.06,7202.06,7202.06,,fhtd,sat-n1-0.7,,,,,2065.52,65.0,65,"(2000, 2250]",2065.52,2065.52,-ncb -ntb -np,
2,hyperbench-maxsat,0,7202.11,14404.22,7202.09,7202.13,0.0282842712478,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,2086.54,65.0,65,"(2000, 2250]",2068.17,2077.355,-ntb -bo,12.9895515704
2,hyperbench-maxsat,0,7202.125,14404.25,7202.1,7202.15,0.0353553390588,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,2095.78,65.0,65,"(2000, 2250]",2016.3,2056.04,-ck=6 -ntb -bo,56.2008469687
1,hyperbench-maxsat,0,7202.13,7202.13,7202.13,7202.13,,fhtd,sat-clique4-lb-n1-0.7,,,,,2021.68,65.0,65,"(2000, 2250]",2021.68,2021.68,-ntb -bo -np,
2,hyperbench-maxsat,0,7202.17,14404.34,7202.16,7202.18,0.014142135624,fhtd,sat-clique4-pre-lb-n1-0.7,,,,,2413.37,65.0,65,"(2250, 2500]",2294.8,2354.085,-ntb -bo,83.8416510453
2,hyperbench-maxsat,0,7202.22,14404.44,7202.1,7202.34,0.169705627485,fhtd,sat-pre-clique6-lb-n1-0.7,,,,,2402.93,65.0,65,"(2250, 2500]",2400.02,2401.475,-ck=6 -ntb -bo,2.05768073325
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, 250]",12.43,12.43,50,
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, 250]",78.13,78.13,-ncb -ntb -np,
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, 250]",77.95,77.95,-ck=6 -ntb -bo,
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, 250]",77.79,77.79,-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, 250]",80.62,80.62,-ntb -bo -np,