SAT 2007 Competition Phase 1: benchmarks results per solver
Result page for solver minisat
SAT 2007 (with assertions)
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (49 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.086985
0.0943639
332817
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
UNSAT
0.32295
0.323841
332733
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.383941
0.385558
332523
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.749885
0.752826
332691
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
UNSAT
1.40679
1.40918
332901
crafted/spence/
medium/s57-100.cnf
UNSAT
2.04369
2.04428
316265
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
UNSAT
2.25666
2.25878
332859
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
2.25766
2.2595
338655
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
UNSAT
3.01354
3.01571
332775
crafted/spence/
medium/s61-100.cnf
UNSAT
3.47547
3.4799
316105
crafted/spence/
medium/s65-100.cnf
UNSAT
10.3484
10.3524
316425
crafted/spence/
medium/s69-100.cnf
UNSAT
12.975
12.9815
316185
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
12.987
12.9936
332397
crafted/spence/
medium/s73-100.cnf
UNSAT
41.0318
41.0443
316305
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
49.3935
49.4232
332985
crafted/spence/
medium/s77-100.cnf
UNSAT
67.6297
67.6492
316065
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
67.7847
67.8061
338235
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
71.8721
71.899
338025
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
72.47
72.4964
338109
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
78.626
78.6575
332355
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
80.9317
80.9543
338151
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
91.3981
91.4253
333195
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
97.8021
97.8296
338193
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
100.671
100.696
338319
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
100.683
100.689
332943
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
102.629
102.636
333615
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
105.882
105.913
338361
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
UNSAT
109.25
109.29
338277
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
111.174
111.184
333237
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
129.974
130.063
333657
crafted/spence/
medium/s81-100.cnf
UNSAT
136.512
136.562
316145
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
159.67
159.73
332229
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
164.981
165.077
333321
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
180.197
180.258
332481
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
257.58
257.652
338067
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
267.636
267.706
335043
crafted/spence/
medium/s85-100.cnf
UNSAT
295.808
295.905
316385
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
309.55
309.768
339789
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
386.537
386.667
339453
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
454.968
455.09
335085
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
463.613
463.788
334707
crafted/spence/
medium/s89-100.cnf
UNSAT
471.043
471.29
316345
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
542.13
542.273
339705
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
587.083
587.266
333279
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
UNSAT
619.226
619.383
339327
crafted/spence/
medium/s93-100.cnf
UNSAT
750.612
750.85
316225
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
831.947
832.289
339579
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
858.825
859.116
337983
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
1136.78
1137.07
339621
Solver found a solution (SATISFIABLE) (22 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf
SAT
0.042993
0.044392
332565
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
SAT
0.662899
0.666761
332649
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
1.92271
1.92712
333153
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.9957
1.99783
338445
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
2.58361
2.58656
332313
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
2.6166
2.61856
333069
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
2.98854
2.9927
333027
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
3.84042
3.84328
333111
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
14.9947
15.0004
332607
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
22.1976
22.2345
333573
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
37.6283
37.6435
332439
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
81.4556
81.4855
333531
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
SAT
102.959
102.993
333489
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
108.374
108.415
336009
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
SAT
175.09
175.165
338907
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
178.364
178.421
339369
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
190.382
190.395
333363
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
280.418
280.5
333447
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
312.536
312.628
339075
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
SAT
426.827
426.977
333405
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
SAT
467.728
467.867
333741
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
745.787
746.071
335967
Solver timed out (no solution given) (130 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.01
1200.41
334035
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
1200.01
1200.31
336513
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.01
1200.31
339159
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
? (TO)
1200.02
1200.41
336723
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.02
1200.34
337563
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
1200.02
1200.41
337857
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.02
1200.41
338865
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.02
1200.41
339117
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.02
1200.41
339243
crafted/spence/
hard/s97-100.cnf
? (TO)
1200.03
1200.11
316625
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
1200.03
1200.51
333951
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.03
1200.41
334287
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.03
1200.41
335211
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.03
1200.52
335673
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
1200.03
1200.49
335925
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.03
1200.41
336681
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
? (TO)
1200.03
1200.51
337269
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.03
1201.01
337605
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.03
1200.51
337815
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.03
1200.11
337899
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
? (TO)
1200.03
1200.41
339201
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
1200.04
1200.61
334077
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.04
1200.43
334875
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
? (TO)
1200.04
1200.11
335253
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.04
1200.41
339411
crafted/spence/
hard/s109-100.cnf
? (TO)
1200.05
1200.41
316545
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.05
1200.71
333867
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
1200.05
1200.91
334119
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.05
1200.41
334455
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
? (TO)
1200.05
1200.51
335337
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
1200.05
1200.51
335463
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.05
1200.51
337143
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.05
1200.51
339747
crafted/spence/
hard/s113-100.cnf
? (TO)
1200.06
1200.41
316465
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
? (TO)
1200.06
1200.41
332145
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.06
1200.51
333699
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.06
1200.51
334245
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.06
1200.51
334497
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.06
1200.44
334917
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
1200.06
1200.41
335757
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.06
1200.51
335883
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
1200.06
1200.52
336261
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
1200.06
1200.52
336429
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.06
1200.51
339033
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
? (TO)
1200.07
1200.51
332103
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
1200.07
1200.42
332187
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.07
1200.41
334203
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.07
1200.41
334329
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
? (TO)
1200.07
1200.43
334623
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.07
1200.45
334959
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.07
1200.61
335169
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
1200.07
1200.41
335379
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
1200.07
1200.53
336219
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.07
1200.41
337185
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.07
1200.51
336975
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.07
1200.15
338403
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.07
1200.51
338823
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.07
1200.51
338739
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
? (TO)
1200.07
1200.41
339495
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.08
1200.51
335295
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
1200.08
1200.55
335505
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
1200.08
1200.42
335631
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.08
1200.51
335421
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
1200.08
1200.51
335799
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.08
1200.64
336135
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.08
1200.41
336849
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
? (TO)
1200.08
1200.61
337017
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
1200.08
1200.41
336891
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.08
1200.51
336933
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.08
1200.41
337437
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
1200.08
1200.51
337689
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
1200.08
1200.45
338571
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.08
1200.53
338991
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.08
1200.41
339663
crafted/spence/
hard/s101-100.cnf
? (TO)
1200.09
1200.61
316505
crafted/spence/
hard/s117-100.cnf
? (TO)
1200.09
1200.41
316585
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
1200.09
1200.51
332271
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.09
1200.51
333993
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.09
1200.41
334161
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.09
1200.53
334371
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
1200.09
1200.44
334665
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.09
1200.61
336051
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
1200.09
1200.51
336345
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
1200.09
1200.41
336303
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.09
1200.41
336639
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.09
1200.41
337227
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.09
1200.51
337353
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.09
1200.61
337647
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
1200.09
1200.41
337773
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
1200.09
1200.51
337941
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.09
1200.48
338487
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.09
1200.51
338781
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.09
1200.41
338697
crafted/spence/
hard/s105-100.cnf
? (TO)
1200.1
1200.51
316665
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.1
1200.51
333783
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
1200.1
1200.51
334539
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.1
1200.71
334581
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.1
1200.51
335127
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
1200.1
1200.45
335715
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
1200.1
1200.42
335547
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
1200.1
1200.61
335841
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.1
1200.51
336387
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.1
1200.41
336807
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.1
1200.51
337101
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.1
1200.51
337059
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
? (TO)
1200.1
1200.51
337311
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.1
1200.41
337731
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
1200.1
1200.51
338529
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
1200.11
1200.41
333825
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.11
1200.51
333909
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.11
1200.52
334413
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.11
1200.53
334833
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.11
1200.54
335001
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
1200.11
1200.61
337479
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.11
1200.53
338613
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.11
1200.51
338949
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.11
1200.41
339285
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
1200.12
1200.45
336555
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.12
1200.61
336765
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
1200.12
1200.43
337395
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
? (TO)
1200.12
1200.42
339537
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
? (TO)
1200.12
1200.52
339831
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.13
1200.43
334749
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
1200.13
1200.44
334791
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.13
1200.53
337521
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.14
1200.5
336177
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.14
1200.49
336093
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.14
1200.45
336471
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
1200.15
1200.51
335589
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
1200.16
1200.68
336597
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (59 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.353946
0.355924
320958
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
0.355945
0.357074
320712
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
0.638902
0.641267
320835
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
1.05784
1.05947
321081
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
1.11883
1.13871
320917
industrial/babic/dspam/
dspam_dump_vc962.cnf
UNSAT
1.41178
1.41428
318211
industrial/babic/dspam/
dspam_dump_vc950.cnf
UNSAT
1.46978
1.47447
318416
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
1.57676
1.57861
318498
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
1.61076
1.6133
318744
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
1.63775
1.63886
318826
industrial/babic/
dspam/dspam_dump_vc1093.cnf
UNSAT
1.71474
1.71631
318170
industrial/babic/
dspam/dspam_dump_vc1080.cnf
UNSAT
1.81672
1.81877
318539
industrial/babic/
dspam/dspam_dump_vc1081.cnf
UNSAT
1.83572
1.83788
318457
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
1.88771
1.88898
318867
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
2.07968
2.08013
318662
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
2.09168
2.09437
318949
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
3.05753
3.05965
318621
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
3.06753
3.07013
318580
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
3.06953
3.07151
318908
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
3.34749
3.35133
318785
industrial/babic/dspam/
dspam_dump_vc972.cnf
UNSAT
3.48747
3.49024
318293
industrial/babic/dspam/
dspam_dump_vc973.cnf
UNSAT
3.54846
3.55199
318375
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
3.61445
3.61728
319031
industrial/babic/
dspam/dspam_dump_vc1104.cnf
UNSAT
3.79042
3.79305
318334
industrial/babic/
dspam/dspam_dump_vc1103.cnf
UNSAT
3.84641
3.85303
318252
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
5.00324
5.00734
318703
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
24.9402
24.9688
319195
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
25.1172
25.1251
312505
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
37.2933
37.3041
312545
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
64.1602
64.1831
315385
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
76.9613
76.9821
312585
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
90.5492
90.5769
315585
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
100.475
100.555
312665
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
100.848
100.874
329871
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
112.59
112.624
315305
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
118.104
118.14
319113
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
124.104
124.165
314665
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
127.988
128.037
320302
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
129.071
129.106
314465
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
140.777
140.838
316025
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
156.392
156.435
315665
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
171.223
171.346
314545
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
186.323
186.371
312625
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
217.892
217.951
314625
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
224.019
224.137
315625
industrial/narain/
clauses-10.cnf
UNSAT
237.239
237.316
320630
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
279.438
279.543
315985
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
395.527
395.631
330627
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
479.292
479.468
314585
industrial/manolios/
manol-pipe-c7nidw.cnf
UNSAT
527.267
527.434
320179
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
529.103
529.278
315425
industrial/manolios/
manol-pipe-c7bidw_i.cnf
UNSAT
592.731
592.896
320425
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
668.899
669.117
315545
industrial/fuhs/medium/
AProVE07-02.cnf
UNSAT
685.827
686.046
314345
industrial/manolios/
manol-pipe-c10nidw_s.cnf
UNSAT
827.527
827.835
320220
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
846.681
846.893
319236
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
878.794
879.031
314505
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
895.658
895.966
315465
industrial/manolios/
manol-pipe-g10bidw.cnf
UNSAT
939.899
940.138
320261
Solver found a solution (SATISFIABLE) (37 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
5.9491
5.99646
320507
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
9.08562
9.09566
320999
industrial/babic/
xinetd/itox_vc909.cnf
SAT
9.14061
9.1499
320876
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
11.2153
11.2316
321040
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
11.6582
11.6675
320794
industrial/babic/
xinetd/itox_vc1130.cnf
SAT
11.9392
11.9494
320753
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
26.018
26.0931
331593
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
34.6477
34.7743
331215
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
SAT
42.0796
42.1026
331425
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
SAT
43.1344
43.1635
331383
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
SAT
44.2463
44.284
331551
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
SAT
52.9499
52.9772
331299
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
53.2539
53.2811
331257
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
SAT
54.1988
54.2182
331467
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
SAT
57.3663
57.3945
331509
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
60.6108
60.6934
319564
industrial/narain/
clauses-4.cnf
SAT
67.1608
67.1937
320589
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
81.8116
81.8352
315345
industrial/fuhs/medium/
AProVE07-11.cnf
SAT
111.511
111.659
314425
industrial/grieu/
vmpc_25.cnf
SAT
121.94
122.069
319687
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
SAT
128.757
128.793
312985
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
SAT
129.842
129.889
331341
industrial/grieu/
vmpc_24.cnf
SAT
169.199
169.255
319851
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
230.986
231.15
315265
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
329.48
329.616
330501
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
SAT
388.74
388.854
330123
industrial/grieu/
vmpc_26.cnf
SAT
419.113
419.143
320056
industrial/
crypto/mizh-md5-47-5.cnf
SAT
436.984
437.102
319646
industrial/
crypto/mizh-md5-48-2.cnf
SAT
505.691
505.896
319359
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
535.245
535.434
315825
industrial/
crypto/mizh-md5-47-4.cnf
SAT
591.071
591.251
319400
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
651.5
651.677
319482
industrial/grieu/
vmpc_27.cnf
SAT
711.871
712.083
319728
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
SAT
719.708
719.924
330795
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
SAT
818.46
818.793
330543
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
889.95
890.263
319318
industrial/
crypto/mizh-md5-47-3.cnf
SAT
902.916
903.333
319441
Solver timed out (no solution given) (136 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.01
1200.51
314785
industrial/grieu/
vmpc_31.cnf
? (TO)
1200.03
1200.52
319892
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.05
1200.43
314025
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.05
1200.33
315785
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.05
1200.54
329325
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
? (TO)
1200.05
1200.42
330333
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
? (TO)
1200.05
1200.44
313305
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
? (TO)
1200.05
1200.34
313985
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.06
1200.41
314865
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
1200.06
1200.41
314825
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.06
1200.44
315185
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.06
1200.45
315705
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
1200.06
1200.84
328989
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
? (TO)
1200.06
1200.34
313865
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
? (TO)
1200.07
1200.43
315505
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.07
1200.41
318990
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.07
1200.42
319769
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
? (TO)
1200.07
1200.52
329577
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.07
1200.44
329997
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
1200.07
1200.63
313945
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.07
1200.44
313505
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
? (TO)
1200.08
1200.53
313745
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
? (TO)
1200.08
1200.51
315225
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.08
1200.41
319072
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.08
1200.33
320015
industrial/
manolios/manol-pipe-f9b.cnf
? (TO)
1200.08
1200.55
320138
industrial/narain/
clauses-6.cnf
? (TO)
1200.08
1200.78
320671
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.08
1200.43
328737
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.08
1200.53
328863
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.08
1200.93
329283
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
1200.08
1200.44
329199
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.08
1200.44
329157
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.08
1200.54
329787
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
1200.08
1200.44
330711
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
? (TO)
1200.09
1200.56
313145
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.09
1200.6
314385
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.09
1200.51
314945
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.09
1200.58
315105
industrial/crypto/
mizh-sha0-35-3.cnf
? (TO)
1200.09
1200.44
319277
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.09
1200.52
319933
industrial/manolios/
manol-pipe-g10nid.cnf
? (TO)
1200.09
1200.55
320384
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.09
1200.64
328653
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.09
1200.53
329367
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.09
1200.54
329913
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.09
1200.44
329829
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.09
1200.43
329745
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
1200.09
1200.45
330417
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
1200.09
1200.54
330375
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.1
1200.54
312465
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.1
1200.51
314745
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.1
1200.54
315145
industrial/
crypto/mizh-md5-48-5.cnf
? (TO)
1200.1
1200.45
319523
industrial/
manolios/manol-pipe-f9n.cnf
? (TO)
1200.1
1200.54
320343
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
1200.1
1200.43
328695
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.1
1200.55
328611
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
1200.1
1200.53
328821
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.1
1200.44
328905
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.1
1200.54
329241
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.1
1200.53
329535
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.1
1200.54
329703
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.1
1200.54
330039
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
? (TO)
1200.1
1200.45
330459
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.1
1200.45
314105
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.1
1200.52
314265
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.11
1200.42
315025
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
? (TO)
1200.11
1200.53
315945
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.11
1200.51
319154
industrial/crypto/
mizh-sha0-36-2.cnf
? (TO)
1200.11
1200.44
319605
industrial/grieu/
vmpc_33.cnf
? (TO)
1200.11
1200.43
319810
industrial/grieu/
vmpc_28.cnf
? (TO)
1200.11
1200.42
319974
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.11
1200.43
328779
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
1200.11
1200.54
329073
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.11
1200.63
328947
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.11
1200.44
329031
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.11
1200.44
329619
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
1200.11
1200.55
330207
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
? (TO)
1200.11
1200.56
330669
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.11
1200.57
330837
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
1200.11
1200.84
313825
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
1200.11
1200.54
314145
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.12
1200.51
313705
industrial/fuhs/medium/
AProVE07-16.cnf
? (TO)
1200.12
1200.43
314705
industrial/palacios/medium/
safe-30-h30-sat.cnf
? (TO)
1200.12
1200.44
315905
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
? (TO)
1200.12
1200.63
315865
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.12
1200.44
329451
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
? (TO)
1200.12
1200.55
330165
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
1200.12
1200.44
330585
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
? (TO)
1200.12
1200.54
313225
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
? (TO)
1200.12
1201.14
313185
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.12
1200.45
313385
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
? (TO)
1200.12
1201.08
313345
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.13
1200.53
314905
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.13
1200.44
314985
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.13
1200.54
315745
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
1200.13
1200.56
320466
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.13
1200.45
329115
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.13
1200.43
329409
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.13
1200.54
329493
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.13
1200.64
329661
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.13
1200.65
329955
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
? (TO)
1200.13
1200.65
330249
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.14
1200.51
312865
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (TO)
1200.14
1200.6
313625
industrial/narain/
clauses-8.cnf
? (TO)
1200.14
1200.47
320548
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
? (TO)
1200.14
1200.55
330081
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
? (TO)
1200.14
1200.56
330753
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (TO)
1200.15
1200.7
312825
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.15
1200.59
314305
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
1200.15
1200.48
315065
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
? (TO)
1200.15
1200.55
330291
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (TO)
1200.15
1200.7
313465
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.15
1200.44
313665
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
? (TO)
1200.16
1200.67
313025
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (TO)
1200.16
1200.5
313545
industrial/manolios/
manol-pipe-f7idw.cnf
? (TO)
1200.16
1200.65
320097
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
1200.16
1200.58
313905
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.17
1200.74
331005
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
1200.17
1200.5
312745
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.17
1200.48
313785
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (TO)
1200.17
1200.51
314065
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
? (TO)
1200.18
1200.61
313105
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.18
1200.61
313585
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
1200.18
1200.52
313065
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.18
1200.61
313425
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.18
1200.51
314225
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.19
1200.6
312705
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (TO)
1200.19
1200.5
312785
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
1200.19
1200.61
313265
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.19
1200.61
312905
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.2
1200.67
331047
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (TO)
1200.21
1200.51
312945
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.21
1200.64
331173
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.22
1200.53
314185
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.22
1200.67
331089
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.23
1200.57
330921
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.28
1200.58
330963
Solver exceeded the memory limit (no solution given) (2 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (MO)
903.086
903.401
331131
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (MO)
1050.98
1051.59
330879
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (42 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf
UNSAT
0.244962
0.245739
308447
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.429934
0.431743
308283
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
0.791878
0.793658
310825
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
3.2965
3.29801
312219
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
8.49071
8.49523
310620
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
14.8957
14.9016
311153
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
31.4012
31.4328
310866
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
39.1281
39.1425
310743
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
48.1367
48.1488
311030
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
50.0434
50.0606
307996
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
52.905
52.9207
310702
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
62.5755
62.6483
310456
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
UNSAT
76.2624
76.3316
292047
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
UNSAT
85.426
85.4499
292211
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
UNSAT
110.681
110.713
292252
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
UNSAT
112.967
113.009
291924
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
113.139
113.23
310948
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
UNSAT
113.139
113.172
292293
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
UNSAT
210.617
210.683
296475
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
UNSAT
211.453
211.515
296762
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
UNSAT
212.011
212.075
296803
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
UNSAT
215.533
215.625
296557
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
UNSAT
215.662
215.715
296434
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
284.78
284.863
308857
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
UNSAT
296.48
296.673
298812
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
UNSAT
318.047
318.133
308160
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
UNSAT
457.149
457.273
308078
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
UNSAT
487.901
488.071
298730
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
UNSAT
492.259
492.39
298566
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
UNSAT
520.124
520.218
291801
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
UNSAT
539.37
539.526
291883
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
UNSAT
700.712
701.054
312301
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
UNSAT
705.022
705.372
291719
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
UNSAT
727.385
727.684
291555
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
UNSAT
763.251
763.545
298771
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
UNSAT
788.536
788.715
291842
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
UNSAT
861.343
861.69
298525
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
UNSAT
951.411
951.697
294671
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
UNSAT
974.066
974.497
294630
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
UNSAT
977.065
977.317
294548
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
UNSAT
999.563
999.884
294589
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
UNSAT
1001.29
1001.64
294507
Solver found a solution (SATISFIABLE) (58 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
SAT
0.740886
0.743075
310784
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
1.58376
1.58618
308980
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
2.23766
2.23817
310579
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
2.68059
2.68252
292170
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
4.80727
4.81081
307955
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
5.34219
5.35448
299960
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
8.23175
8.2339
296639
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
11.2953
11.3003
307914
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
SAT
11.5202
11.5257
310989
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
14.2968
14.3029
312260
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
18.4392
18.4463
310538
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
19.839
19.845
308242
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
SAT
21.6277
21.6353
296598
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
23.5534
23.5635
291965
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf
SAT
23.5874
23.6025
292129
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
SAT
24.3013
24.3096
298484
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
SAT
24.7602
24.7689
298607
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
29.9214
29.9336
311112
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
31.0373
31.054
312383
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
32.1481
32.1592
310661
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
SAT
34.7787
34.7893
291596
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
SAT
36.9504
36.9624
296721
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
39.272
39.2852
296516
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
40.4778
40.4905
308939
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
SAT
41.5077
41.5238
308529
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
41.9106
41.9233
310907
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
SAT
53.3489
53.3662
298689
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
53.4079
53.422
310415
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
SAT
70.6583
70.6815
292088
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
SAT
77.2892
77.3111
292006
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
SAT
80.8407
80.8642
311522
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
SAT
82.9984
83.024
294425
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
SAT
84.6931
84.7164
310497
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
116.004
116.038
311071
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
SAT
119.114
119.159
300001
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
SAT
137.038
137.089
298853
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
SAT
148.815
148.856
294384
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
155.459
155.549
291760
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
SAT
161.028
161.129
296680
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
SAT
180.146
180.199
297787
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
SAT
207.236
207.297
291678
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
220.798
220.874
308119
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
SAT
305.059
305.139
294753
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
SAT
307.853
307.945
291514
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
SAT
438.619
438.752
299714
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
SAT
479.715
479.842
294712
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
SAT
480.8
481.116
311481
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
SAT
495.774
495.904
299755
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
SAT
510.733
510.873
291637
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
SAT
536.49
536.648
292539
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
SAT
620.394
620.658
294466
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
SAT
660.909
661.09
312096
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
SAT
701.042
701.228
298648
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
SAT
781.42
781.737
309431
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
SAT
849.417
849.703
312424
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
SAT
972.899
972.937
298402
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
SAT
999.804
1000.49
309636
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
SAT
1150.6
1150.96
309759
Solver timed out (no solution given) (411 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
? (TO)
1200.01
1200.51
292334
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.46
295245
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.31
295368
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
? (TO)
1200.01
1200.32
298156
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.27
298894
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
1200.01
1200.47
299386
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
1200.01
1200.41
299181
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
1200.01
1200.41
309841
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
1200.01
1200.32
310128
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
1200.01
1200.45
311645
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.58
293974
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
1200.01
1200.36
302789
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
1200.01
1200.56
302912
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.37
292457
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.37
292949
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.38
293031
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
1200.02
1200.41
294876
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.45
296844
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
1200.02
1200.5
299427
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
1200.02
1200.59
300329
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
1200.02
1200.34
300698
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
1200.02
1200.57
302297
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
1200.02
1200.36
302338
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
1200.02
1200.45
303363
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
1200.02
1200.56
303814
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
1200.02
1200.48
304183
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
1200.02
1200.36
304716
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
1200.02
1200.47
305659
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
1200.02
1200.34
307545
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
1200.02
1200.46
307586
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
1200.02
1200.47
308037
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
1200.02
1200.83
309185
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
? (TO)
1200.02
1200.48
309595
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
? (TO)
1200.02
1200.36
309554
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
1200.02
1200.47
309923
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
? (TO)
1200.02
1200.32
312342
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
? (TO)
1200.02
1200.36
296352
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.42
297254
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
1200.02
1200.56
304101
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
1200.02
1200.47
304593
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
? (TO)
1200.03
1200.44
292703
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
? (TO)
1200.03
1200.42
292826
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
1200.03
1200.37
293523
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
1200.03
1200.32
294343
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.35
294261
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.33
295163
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
? (TO)
1200.03
1200.4
295778
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
1200.03
1200.36
297090
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.42
297500
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.43
297664
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.44
297910
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
? (TO)
1200.03
1200.5
298238
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.38
299345
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.35
299919
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
1200.03
1200.07
301108
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
1200.03
1200.65
301272
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
1200.03
1200.34
301313
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
1200.03
1200.49
301354
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
1200.03
1200.4
301559
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
1200.03
1200.4
302010
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
1200.03
1200.49
302256
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
1200.03
1200.58
302625
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
1200.03
1200.43
302502
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
1200.03
1200.52
303650
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
1200.03
1200.53
304429
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
1200.03
1200.46
305741
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
1200.03
1200.48
306397
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
1200.03
1200.38
309964
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
1200.03
1200.54
310005
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
1200.03
1200.49
311194
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
1200.03
1200.49
311891
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.46
298361
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
1200.03
1200.35
300534
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
1200.03
1200.52
303978
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.5
293646
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
1200.03
1200.51
304634
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
1200.03
1200.85
306192
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
? (TO)
1200.03
1200.4
312055
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
? (TO)
1200.03
1200.34
298033
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
? (TO)
1200.03
1200.48
300083
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
1200.03
1200.42
298976
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.52
293441
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
? (TO)
1200.04
1200.36
295573
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.45
296188
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.55
297213
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.46
297623
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.38
297951
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
1200.04
1200.47
299099
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.36
299673
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
1200.04
1200.45
299550
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.38
299591
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
1200.04
1200.48
300616
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
1200.04
1200.35
301436
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
1200.04
1200.39
302215
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
1200.04
1200.38
302666
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
1200.04
1200.39
303240
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
1200.04
1200.53
303527
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
1200.04
1200.35
303896
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
1200.04
1200.45
304798
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
1200.04
1200.34
304839
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
1200.04
1200.49
305700
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
1200.04
1200.47
306807
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
1200.04
1200.46
307832
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
? (TO)
1200.04
1200.38
309062
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
1200.04
1200.37
309882
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
? (TO)
1200.04
1200.45
311563
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.52
294835
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.31
294794
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.82
299058
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
1200.04
1200.61
303076
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
1200.04
1200.13
295614
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.39
300042
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.52
292662
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
1200.05
1200.55
293236
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
1200.05
1200.51
293195
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.46
295983
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.37
295819
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
? (TO)
1200.05
1200.48
295942
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
1200.05
1200.34
297336
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
1200.05
1200.47
297582
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
1200.05
1200.46
299222
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
1200.05
1200.52
300452
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
1200.05
1200.45
300985
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
1200.05
1200.48
301641
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
1200.05
1200.4
302174
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
1200.05
1200.49
302461
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
1200.05
1200.48
304470
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
1200.05
1200.55
305003
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
1200.05
1200.37
305577
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
1200.05
1200.38
305782
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
1200.05
1200.34
305946
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
1200.05
1200.52
306561
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
1200.05
1200.57
306725
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
1200.05
1200.38
307012
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
? (TO)
1200.05
1200.38
308324
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
? (TO)
1200.05
1200.43
308201
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
1200.05
1200.44
308488
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
? (TO)
1200.05
1200.38
308570
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
1200.05
1200.44
308816
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
? (TO)
1200.05
1200.43
308898
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
1200.05
1200.37
309144
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
1200.05
1200.15
309226
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
? (TO)
1200.05
1200.46
309718
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
1200.05
1200.46
310046
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
? (TO)
1200.05
1200.45
310292
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
1200.05
1200.44
311768
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.46
293892
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
1200.05
1200.37
294097
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.51
299017
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.34
293933
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
1200.05
1200.51
300657
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
1200.05
1200.37
301600
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
1200.05
1200.37
309349
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.55
295696
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
? (TO)
1200.06
1200.4
292744
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
1200.06
1200.38
292785
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
? (TO)
1200.06
1200.37
292908
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
1200.06
1200.35
293564
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.51
295532
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
? (TO)
1200.06
1200.37
296229
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
1200.06
1200.45
297295
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
1200.06
1200.46
297172
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.51
297746
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
1200.06
1200.41
299304
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.37
299796
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
1200.06
1200.38
302051
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
1200.06
1200.53
302133
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
1200.06
1200.45
302584
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
1200.06
1200.38
302707
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
1200.06
1200.47
303158
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
1200.06
1200.39
303322
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
1200.06
1200.51
303937
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
1200.06
1200.37
304388
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
1200.06
1200.42
304921
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
1200.06
1200.37
305249
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
1200.06
1200.52
305495
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
1200.06
1200.46
306233
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
? (TO)
1200.06
1200.44
309103
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
1200.06
1200.45
309472
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
1200.06
1200.59
310169
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
1200.06
1200.39
310333
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
1200.06
1200.37
312178
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
? (TO)
1200.06
1200.49
296311
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
1200.06
1200.6
306069
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
1200.06
1200.41
307381
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
? (TO)
1200.06
1200.41
308775
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
1200.06
1200.39
309308
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
? (TO)
1200.06
1200.38
292498
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.44
293113
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.38
293359
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
1200.07
1200.39
293482
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
295204
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.38
296065
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
1200.07
1200.49
295901
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
? (TO)
1200.07
1200.47
296024
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
1200.07
1200.5
297008
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
1200.07
1200.38
296967
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
? (TO)
1200.07
1200.21
297869
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.36
299509
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.62
299878
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
1200.07
1200.9
300944
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
1200.07
1200.4
301149
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
1200.07
1200.51
301682
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
1200.07
1200.51
301723
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
1200.07
1200.63
301764
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
1200.07
1200.59
302830
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
1200.07
1200.41
303691
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
1200.07
1200.4
304880
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
1200.07
1200.51
304962
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
1200.07
1200.11
305372
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
1200.07
1200.56
307053
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
? (TO)
1200.07
1200.51
307504
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
? (TO)
1200.07
1200.49
309390
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
? (TO)
1200.07
1200.39
311399
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.47
298074
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
1200.07
1200.4
300575
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
1200.07
1200.52
303404
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
1200.07
1200.61
305331
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.48
299837
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.52
292375
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.53
292416
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.95
293277
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.42
293687
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
1200.08
1200.51
294015
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.38
294302
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.45
295040
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
? (TO)
1200.08
1200.57
295081
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.5
295450
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.36
296393
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.59
299468
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
1200.08
1200.43
300247
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
1200.08
1200.53
300821
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
1200.08
1200.45
301518
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
1200.08
1200.51
302092
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
1200.08
1200.48
303035
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
1200.08
1200.41
303773
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
1200.08
1200.44
303732
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
1200.08
1200.4
303855
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
1200.08
1200.4
304224
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
1200.08
1200.4
304347
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
1200.08
1200.47
304757
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
1200.08
1200.36
304675
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
1200.08
1200.42
305126
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
1200.08
1200.48
307217
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
1200.08
1200.52
307627
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
1200.08
1200.53
307668
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
1200.08
1200.4
307873
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
1200.08
1200.61
309267
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
1200.08
1200.15
311317
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
1200.08
1200.39
311686
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
1200.08
1200.45
311973
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.45
295655
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
297377
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
1200.08
1200.45
298115
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
1200.08
1200.33
293154
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
1200.08
1200.8
302994
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
1200.08
1200.39
308693
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
1200.08
1200.34
312137
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.37
297131
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
? (TO)
1200.08
1200.49
297992
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.38
292990
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
1200.09
1200.61
293810
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
? (TO)
1200.09
1200.43
294138
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.44
294179
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.46
294917
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
? (TO)
1200.09
1200.46
294958
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
1200.09
1200.46
295737
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.49
296147
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.48
296106
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.52
297049
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
1200.09
1200.39
297418
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.54
297828
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
? (TO)
1200.09
1200.52
297705
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.54
298197
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.6
298320
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.37
298443
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
1200.09
1200.39
299263
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
1200.09
1200.52
300739
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
1200.09
1200.59
300862
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
1200.09
1200.4
300903
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
1200.09
1200.4
301190
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
1200.09
1200.4
303117
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
1200.09
1200.52
303281
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
1200.09
1200.41
304142
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
1200.09
1200.37
304552
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
1200.09
1200.49
305085
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
1200.09
1200.51
306643
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
1200.09
1200.42
306971
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
1200.09
1200.42
309021
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
1200.09
1200.42
309513
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
1200.09
1200.81
309800
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
1200.09
1200.42
310251
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
1200.09
1200.49
311440
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
? (TO)
1200.09
1200.55
311809
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.53
298935
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
1200.09
1200.52
300493
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
1200.09
1200.46
302379
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
1200.09
1200.52
304060
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
1200.09
1200.53
304019
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
1200.09
1200.47
305905
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
1200.09
1200.44
306848
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
? (TO)
1200.09
1200.47
311358
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
1200.09
1200.55
312014
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.95
293318
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
? (TO)
1200.09
1200.54
296270
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
1200.09
1200.39
300411
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
1200.1
1200.42
293728
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.54
294220
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
? (TO)
1200.1
1200.54
295286
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
1200.1
1200.5
295122
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.61
295860
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.56
297541
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
? (TO)
1200.1
1200.61
298279
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
1200.1
1200.54
299632
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
1200.1
1200.43
300206
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
1200.1
1200.55
300288
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
1200.1
1200.55
301026
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
1200.1
1200.47
301395
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
1200.1
1200.51
301477
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
1200.1
1200.41
304306
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
1200.1
1200.38
305454
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
1200.1
1200.55
305536
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
1200.1
1200.53
305823
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
1200.1
1200.59
306274
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
1200.1
1200.51
306479
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
1200.1
1200.45
306356
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
1200.1
1200.84
306315
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
1200.1
1200.55
308365
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
1200.1
1200.31
308611
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
1200.1
1200.42
310087
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
? (TO)
1200.1
1200.6
310374
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
1200.1
1200.54
311235
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
1200.1
1200.41
311604
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
1200.1
1200.55
311932
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
1200.1
1200.51
311850
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
1200.1
1200.52
308734
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.36
295409
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.43
299140
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
1200.1
1200.4
300370
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
? (TO)
1200.11
1200.45
292621
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.53
292867
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
? (TO)
1200.11
1200.52
293769
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.63
293605
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
1200.11
1200.61
293851
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
? (TO)
1200.11
1200.44
295327
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
1200.11
1200.48
296885
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.37
296926
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
1200.11
1200.43
300124
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
1200.11
1200.54
300780
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
1200.11
1200.53
301067
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
1200.11
1200.48
301231
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
1200.11
1200.5
301887
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
1200.11
1200.55
301928
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
1200.11
1200.55
301969
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
1200.11
1200.58
302420
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
1200.11
1200.49
302748
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
1200.11
1200.44
302543
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
1200.11
1200.49
302871
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
1200.11
1200.53
303199
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
1200.11
1200.44
303445
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
1200.11
1200.5
303486
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
1200.11
1200.47
303609
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
1200.11
1200.44
303568
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
1200.11
1200.51
304511
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
1200.11
1200.5
305618
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
1200.11
1200.54
306520
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
1200.11
1200.39
306438
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
1200.11
1200.58
306766
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
1200.11
1200.55
307709
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
1200.11
1200.64
307750
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
? (TO)
1200.11
1200.44
307791
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
? (TO)
1200.11
1200.46
308406
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
1200.11
1200.57
309677
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
1200.11
1201
310210
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
1200.11
1200.42
311276
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.66
292580
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.54
293400
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
1200.11
1200.43
294056
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
1200.11
1200.47
301846
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
1200.11
1200.52
304265
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
1200.11
1200.44
305987
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
1200.11
1200.25
306602
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
1200.11
1200.43
308652
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
1200.11
1200.57
311727
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
? (TO)
1200.11
1200.5
293072
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
1200.11
1200.43
294999
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
? (TO)
1200.11
1200.5
295491
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.59
297459
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
1200.12
1200.59
300165
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
1200.12
1200.57
301805
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
1200.12
1200.55
302953
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
1200.12
1200.64
305864
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
1200.12
1200.66
306028
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
1200.12
1200.5
306151
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
1200.12
1200.48
306110
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
1200.12
1200.69
307135
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
1200.12
1200.45
305290
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
1200.12
1200.47
306684
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
1200.12
1200.44
307463
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
1200.13
1200.45
305044
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
1200.13
1200.46
305208
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
1200.13
1200.52
305167
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
1200.13
1200.66
306889
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
1200.13
1200.53
306930
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
1200.13
1200.7
307094
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
1200.13
1200.55
305413
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
1200.14
1200.52
307258
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
1200.15
1200.53
307176
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
1200.15
1200.56
307340
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
1200.15
1200.56
307422
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
1200.16
1200.52
307299