,size_largest_hyperedge_range,solver,solver_config,solver_args,objective,objective,objective,objective,instance,solved,wall,wall,wall,wall,time,time,time,time,time
,,,,,mean,amax,amin,std,count,sum,mean,amax,amin,std,mean,amax,amin,std,sum
0,"(0, 2]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,4.84778225806,7.0,1.0,1.07849273843,496,496,332.374315121,6889.1046,0.0321,982.208997898,334.865947581,6891.29,3.2254,982.095499812,166093.51
1,"(0, 2]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,4.85240963855,7.0,1.0,1.07785660738,498,498,348.615611647,7135.7651,0.0234,1030.86663972,350.981188353,7138.12,1.9847,1030.80212125,174788.6318
2,"(0, 2]",fhtd,sat-n1-0.7,-ncb -ntb -np,4.73605150215,7.0,1.0,1.01285748742,466,466,379.576631116,6813.8726,0.0321,801.438678423,383.025455579,6816.03,8.2604,801.228184964,178489.8623
3,"(0, 2]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,4.84808853119,7.0,1.0,1.07461610184,497,497,337.968831187,7153.8899,0.0232,1002.65220253,341.255085714,7157.39,3.6626,1002.6411919,169603.7776
4,"(2, 4]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,4.19474152047,8.0,1.0,1.76373812766,342,342,515.581016667,7141.9543,0.2105,1297.7864775,518.978164035,7144.41,2.6692,1297.31806428,177490.5321
5,"(2, 4]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,4.85013690987,9.0,1.0,2.21408420067,466,466,1273.13276545,6876.3813,0.052,1878.23247951,1275.88166695,6879.2,1.9972,1877.87636503,594560.8568
6,"(2, 4]",fhtd,sat-n1-0.7,-ncb -ntb -np,3.25483770492,6.0,1.0,1.61980452849,244,244,883.740228279,7014.3857,0.1666,1528.75098598,888.23939918,7016.64,2.3578,1527.54737409,216730.4134
7,"(2, 4]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,4.8525027957,9.0,1.0,2.21289842027,465,465,1292.0221514,7184.6505,0.0543,1907.80052735,1295.06758473,7189.9,2.0536,1907.28383646,602206.4269
8,"(4, 6]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,2.80518132296,5.5,1.0,0.977091196746,257,257,1326.60697938,6586.7534,0.4243,1816.63234651,1329.83219572,6588.78,5.6206,1816.07104382,341766.8743
9,"(4, 6]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,2.7990095941,5.5,1.0,0.984794918592,271,271,1264.97623838,6936.3369,0.0893,1797.19322044,1267.74692546,6938.28,1.8537,1796.8080989,343559.4168
10,"(4, 6]",fhtd,sat-n1-0.7,-ncb -ntb -np,2.66773927126,5.5,1.0,0.931366680886,247,247,1186.67858381,7110.8913,0.4232,1814.67198736,1190.74342024,7119.16,5.3012,1814.51390729,294113.6248
11,"(4, 6]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,2.80119711191,5.5,1.0,0.974700896927,277,277,1103.22450072,6819.3133,0.0777,1520.23075205,1106.67235921,6826.62,1.7818,1520.26004096,306548.2435
12,"(6, 8]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,3.09633111111,6.0,1.0,0.896286336877,90,90,544.253058889,6926.5947,1.2428,1285.73453272,547.068072222,6929.09,10.1725,1285.50791249,49236.1265
13,"(6, 8]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,3.30094313725,6.0,1.0,1.01298486765,102,102,1009.22082549,7086.004,0.1389,2121.19236477,1011.86558333,7087.95,2.4388,2121.01270468,103210.2895
14,"(6, 8]",fhtd,sat-n1-0.7,-ncb -ntb -np,2.77236153846,5.0,1.0,0.946744482611,52,52,870.773886538,7012.0246,1.3155,1874.21841836,874.847659615,7013.93,9.1485,1874.0303184,45492.0783
15,"(6, 8]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,3.48094955752,6.0,1.0,1.10798836162,113,113,863.809877876,5098.4548,0.1403,1425.42283754,866.633316814,5100.51,2.4717,1425.21667534,97929.5648
16,"(8, 10]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,2.025332,3.5,1.0,0.554716374015,25,25,21.09958,31.7897,4.4217,7.08687876654,24.277472,34.0341,13.3342,5.29759187143,606.9368
17,"(8, 10]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,2.025332,3.5,1.0,0.554716374015,25,25,12.093628,22.1554,0.1931,7.35215673575,15.28084,24.5326,2.5004,6.10715578802,382.021
18,"(8, 10]",fhtd,sat-n1-0.7,-ncb -ntb -np,2.025332,3.5,1.0,0.554716374015,25,25,19.96492,29.2372,4.6816,7.00767712156,23.320284,31.5487,14.4887,4.92348767632,583.0071
19,"(8, 10]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,2.025332,3.5,1.0,0.554716374015,25,25,12.266784,22.0785,0.2249,7.36168569038,15.1935,24.6585,3.1469,6.46433404729,379.8375
20,"(10, 12]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,1.64444666667,4.0,1.0,0.766010830646,15,15,141.751533333,1460.8458,9.6423,366.564551231,151.131586667,1462.7,20.1196,364.456627009,2266.9738
21,"(10, 12]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,1.64444666667,4.0,1.0,0.766010830646,15,15,57.39732,846.5348,0.1322,218.313583362,64.7407866667,848.231,2.129,216.762852913,971.1118
22,"(10, 12]",fhtd,sat-n1-0.7,-ncb -ntb -np,1.64444666667,4.0,1.0,0.766010830646,15,15,147.18472,1535.4634,8.8869,385.621283326,157.215986667,1537.45,21.4414,383.353367174,2358.2398
23,"(10, 12]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,1.64444666667,4.0,1.0,0.766010830646,15,15,56.8275533333,840.216,0.1497,216.72245179,62.7185933333,842.319,3.8839,215.688627346,940.7789
24,"(12, 14]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,1.0,1.0,1.0,0.0,3,3,6.34063333333,6.9849,5.7982,0.599868104948,15.3824333333,16.8541,14.5534,1.27790387875,46.1473
25,"(12, 14]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,1.0,1.0,1.0,0.0,3,3,0.1757,0.1981,0.1589,0.0201910871426,9.4968,9.9857,8.6907,0.703362019162,28.4904
26,"(12, 14]",fhtd,sat-n1-0.7,-ncb -ntb -np,1.0,1.0,1.0,0.0,3,3,7.1536,7.3597,7.0084,0.183397191909,17.3343333333,19.7493,15.2193,2.27984539023,52.003
27,"(12, 14]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,1.0,1.0,1.0,0.0,3,3,0.1421,0.149,0.1345,0.00727530068107,3.98853333333,4.3303,3.8139,0.296002370486,11.9656
28,"(14, 16]",fhtd,sat-clique4-lb-n1-0.7,-ntb -bo -np,1.35482692308,1.8095,1.0,0.361113132083,52,52,33.5804596154,111.611,11.4059,19.6645334751,39.849375,122.157,20.6778,17.9118143936,2072.1675
29,"(14, 16]",fhtd,sat-clique4-pre-lb-n1-0.7,-ntb -bo,1.35482692308,1.8095,1.0,0.361113132083,52,52,99.5627269231,241.743,0.2257,107.326911638,104.435607692,243.809,2.195,104.843128618,5430.6516
30,"(14, 16]",fhtd,sat-n1-0.7,-ncb -ntb -np,1.35482692308,1.8095,1.0,0.361113132083,52,52,34.3896730769,116.7941,11.2885,20.5927450717,41.3217038462,127.364,21.0199,18.4935629415,2148.7286
31,"(14, 16]",fhtd,sat-pre-clique6-lb-n1-0.7,-ck=6 -ntb -bo,1.35482692308,1.8095,1.0,0.361113132083,52,52,106.839161538,251.7044,0.2019,112.28922993,111.394634615,253.533,3.8096,109.993857284,5792.521