SAT 2007 Competition Phase 1: benchmarks results per solver
Result page for solver MXC
2007-02-08
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (38 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/spence/
medium/s57-100.cnf
UNSAT
1.54476
1.5582
316263
crafted/spence/
medium/s61-100.cnf
UNSAT
2.02469
2.03728
316103
crafted/spence/
medium/s65-100.cnf
UNSAT
8.39572
8.4118
316423
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
10.2134
10.2308
332395
crafted/spence/
medium/s69-100.cnf
UNSAT
12.2761
12.2938
316183
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
23.9894
24.0118
332353
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
43.1534
43.1822
332983
crafted/spence/
medium/s73-100.cnf
UNSAT
46.286
46.3133
316303
crafted/spence/
medium/s77-100.cnf
UNSAT
68.9305
68.966
316063
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
109.61
109.654
333235
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
122.129
122.232
333655
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
128.637
128.686
332479
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
130.548
130.61
332227
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
131.847
131.92
333613
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
133.596
133.645
333193
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
151.319
151.431
338023
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
UNSAT
153.52
153.571
338275
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
207.38
207.513
333319
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
210.112
210.178
338317
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
210.366
210.439
339535
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
242.038
242.127
332941
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
265.206
265.314
338149
crafted/spence/
medium/s81-100.cnf
UNSAT
294.779
294.965
316143
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
320.93
321.025
338107
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
338.451
338.563
339829
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
416.484
416.636
335083
crafted/spence/
medium/s85-100.cnf
UNSAT
437.989
438.132
316383
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
448.156
448.321
339451
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
548.476
548.637
339787
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
612.81
612.967
338191
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
630.415
630.639
339703
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
740.816
741.068
337981
crafted/spence/
medium/s89-100.cnf
UNSAT
762.224
762.533
316343
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
776.607
776.901
339577
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
912.663
912.94
338065
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
UNSAT
1124.4
1124.71
339325
crafted/spence/
medium/s93-100.cnf
UNSAT
1189.4
1189.78
316223
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
UNSAT
1192.99
1193.45
335419
Solver found a solution (SATISFIABLE) (15 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
5.66914
5.68427
332605
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
16.4405
16.4759
333529
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
28.5627
28.5849
333109
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf
SAT
31.3362
31.3598
332563
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
43.8093
43.834
332311
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
SAT
69.0515
69.0832
333487
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
89.3024
89.3483
333025
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
115.947
115.991
333151
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
144.078
144.131
333067
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
154.655
154.706
333361
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
187.414
187.489
332437
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
197.365
197.458
333571
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
360.098
360.201
333445
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
SAT
604.349
604.562
333739
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
SAT
875.823
876.053
339241
Solver timed out (no solution given) (148 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
? (TO)
1200.01
1200.51
337309
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.01
1200.31
337351
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.01
1200.41
339031
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.02
1200.31
337225
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.02
1200.41
337435
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
1200.02
1200.41
337771
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
? (TO)
1200.02
1200.41
338359
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
? (TO)
1200.02
1200.61
338233
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.02
1200.51
339745
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
? (TO)
1200.03
1200.61
332521
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.03
1200.41
333991
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
? (TO)
1200.03
1200.11
334621
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.03
1200.11
334831
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.03
1200.51
335293
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
1200.03
1200.42
335755
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
1200.03
1200.51
335839
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
? (TO)
1200.03
1200.51
337267
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.03
1200.41
339157
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.03
1200.41
339283
crafted/spence/
hard/s113-100.cnf
? (TO)
1200.04
1200.31
316463
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
1200.04
1200.42
332185
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
? (TO)
1200.04
1200.41
332689
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
1200.04
1200.61
333949
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.04
1200.41
334285
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.04
1200.12
334453
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.04
1200.51
336049
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
1200.04
1200.41
336889
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.04
1200.41
337183
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.04
1200.47
337057
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.04
1200.11
338737
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.04
1200.51
339409
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
? (TO)
1200.05
1200.51
332101
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
? (TO)
1200.05
1200.61
332899
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
1200.05
1200.51
334075
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.05
1200.43
334369
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.05
1200.51
334999
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
1200.05
1200.51
335629
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.05
1200.51
335671
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
1200.05
1200.51
336217
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
? (TO)
1200.05
1200.53
338653
crafted/spence/
hard/s101-100.cnf
? (TO)
1200.06
1200.51
316503
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
? (TO)
1200.06
1200.51
332731
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.06
1200.41
333865
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.06
1200.51
333907
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.06
1200.41
334327
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
? (TO)
1200.06
1200.51
334705
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.06
1200.22
334915
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
1200.06
1200.41
335587
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
1200.06
1200.41
335713
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
1200.06
1200.41
335545
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
1200.06
1200.51
336427
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
? (TO)
1200.06
1200.41
337015
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.06
1200.41
336847
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.06
1200.51
337141
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
1200.06
1200.41
337687
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.06
1200.41
338947
crafted/spence/
hard/s117-100.cnf
? (TO)
1200.07
1200.41
316583
crafted/spence/
hard/s109-100.cnf
? (TO)
1200.07
1200.61
316543
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
? (TO)
1200.07
1200.41
333403
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
1200.07
1200.41
334117
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.07
1200.41
334747
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
? (TO)
1200.07
1200.41
335041
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.07
1200.51
335167
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
? (TO)
1200.07
1200.41
335335
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
1200.07
1200.51
335461
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.07
1200.51
335881
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
1200.07
1200.61
336259
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.07
1200.51
336637
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.07
1200.41
336805
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.07
1200.61
336973
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.07
1200.42
337519
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.07
1200.61
337645
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.07
1200.61
338821
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
? (TO)
1200.07
1200.51
339199
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
? (TO)
1200.07
1200.41
339619
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.07
1200.51
333781
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
? (TO)
1200.08
1200.41
332143
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.08
1200.51
334243
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
1200.08
1200.51
334537
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.08
1200.51
334873
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
1200.08
1200.41
335377
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
1200.08
1200.81
335797
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
1200.08
1200.51
335923
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
1200.08
1200.61
336007
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
1200.08
1200.41
336343
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
1200.08
1200.51
336511
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.08
1200.41
336679
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
1200.08
1200.51
337477
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.08
1200.41
337729
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.08
1200.43
338401
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.08
1200.51
338695
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
? (TO)
1200.08
1200.61
339367
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
? (TO)
1200.08
1200.41
339493
crafted/spence/
hard/s97-100.cnf
? (TO)
1200.09
1200.41
316623
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
1200.09
1200.41
332269
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
? (TO)
1200.09
1200.82
332773
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
? (TO)
1200.09
1200.52
332815
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
1200.09
1200.51
333277
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.09
1200.51
334201
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.09
1200.52
334411
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.09
1200.41
334957
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.09
1200.51
336133
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.09
1200.37
336469
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.09
1200.61
336931
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
1200.09
1200.41
337393
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.09
1200.51
337561
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.09
1200.41
337603
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.09
1200.61
337813
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.09
1200.41
337897
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
1200.09
1200.51
337939
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
1200.09
1200.51
338527
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.09
1200.51
338779
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.09
1200.41
339073
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.09
1200.51
339661
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
1200.1
1200.41
333823
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.1
1200.41
334033
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.1
1200.41
334159
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.1
1200.61
334579
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.1
1200.51
335125
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.1
1200.41
335209
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
1200.1
1200.41
335965
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
1200.1
1200.51
336301
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.1
1200.51
336385
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.1
1200.64
336763
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.1
1200.51
337099
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
1200.1
1200.41
337855
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
1200.1
1200.41
338569
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.1
1200.41
339115
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.1
1200.41
333697
crafted/spence/
hard/s105-100.cnf
? (TO)
1200.11
1200.61
316663
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
? (TO)
1200.11
1200.82
332857
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.11
1200.51
334495
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
1200.11
1200.41
334789
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
? (TO)
1200.11
1200.41
335251
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
? (TO)
1200.11
1200.51
336721
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.11
1200.41
338863
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.11
1200.52
338989
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
1200.12
1200.41
334663
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
1200.12
1200.51
335503
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.12
1200.53
338611
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
? (TO)
1200.13
1200.53
338443
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
? (TO)
1200.14
1200.54
332647
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.14
1200.45
336091
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
1200.15
1200.57
336553
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.16
1200.57
338485
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.17
1200.5
336175
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
1200.18
1200.61
336595
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
1200.18
1200.51
338905
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (47 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.193969
0.207532
320956
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
0.196969
0.21114
320710
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
0.236963
0.251241
320833
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
0.262959
0.277126
321079
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
0.343946
0.3578
320915
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
0.97885
0.993553
318496
industrial/babic/dspam/
dspam_dump_vc950.cnf
UNSAT
2.02969
2.04347
318414
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
2.21966
2.23226
318578
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
3.17852
3.19493
318742
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
3.2725
3.2885
319029
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
4.51531
4.52969
318824
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
4.53031
4.54571
318660
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
6.11907
6.1346
318906
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
6.31104
6.32835
318619
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
7.96979
7.98535
318865
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
9.74252
9.76026
318947
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
24.4923
24.5124
312503
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
35.1787
35.2021
318783
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
37.9712
38.0293
319193
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
44.6272
44.6736
318701
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
50.8833
50.9098
312543
industrial/babic/dspam/
dspam_dump_vc972.cnf
UNSAT
52.2851
52.3147
318291
industrial/narain/
clauses-10.cnf
UNSAT
98.347
98.5019
320628
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
134.599
134.62
315383
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
137.673
137.787
312663
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
141.776
141.831
319111
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
171.211
171.298
312583
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
199.417
199.52
315663
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
218.499
218.59
329869
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
260.316
260.405
314463
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
261.364
261.478
316023
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
282.221
282.336
314663
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
296.164
296.368
314543
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
317.232
317.321
312623
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
321.795
321.902
314623
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
326.072
326.165
315583
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
358.163
358.375
315623
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
417.578
417.728
315423
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
452.203
452.337
315983
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
494.27
494.455
314583
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
511.436
511.585
315543
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
565.795
565.994
330625
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
581.178
581.346
315303
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
625.232
625.293
319234
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
733.757
734.011
320300
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
1025.93
1026.35
314503
industrial/fuhs/medium/
AProVE07-02.cnf
UNSAT
1048.91
1049.25
314343
Solver found a solution (SATISFIABLE) (37 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
3.18751
3.24894
320505
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
SAT
22.7625
22.7963
331381
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
SAT
23.1635
23.2392
331339
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
SAT
33.176
33.2195
331297
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
SAT
39.631
39.7497
331423
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
47.9177
47.9495
331255
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
SAT
53.1199
53.1543
331507
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
60.4748
60.5202
320792
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
SAT
62.5605
62.6471
331465
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
SAT
70.8832
70.9276
331549
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
80.6197
80.6637
320997
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
92.9429
93.0253
319562
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
94.2167
94.2593
331591
industrial/grieu/
vmpc_24.cnf
SAT
103.644
103.688
319849
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
105.54
105.59
315343
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
108.706
108.936
331213
industrial/babic/
xinetd/itox_vc909.cnf
SAT
115.385
115.52
320874
industrial/
crypto/mizh-md5-47-4.cnf
SAT
117.301
117.401
319398
industrial/grieu/
vmpc_27.cnf
SAT
117.724
117.771
319726
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
123.218
123.268
321038
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
129.985
130.065
319316
industrial/
crypto/mizh-md5-47-5.cnf
SAT
150.612
150.681
319644
industrial/grieu/
vmpc_25.cnf
SAT
156.095
156.231
319685
industrial/
crypto/mizh-md5-48-2.cnf
SAT
161.428
161.503
319357
industrial/
crypto/mizh-md5-47-3.cnf
SAT
173.306
173.493
319439
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
176.358
176.429
315263
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
SAT
187.087
187.27
313023
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
199.909
200.024
319480
industrial/grieu/
vmpc_26.cnf
SAT
214.161
214.244
320054
industrial/fuhs/medium/
AProVE07-11.cnf
SAT
258.86
258.986
314423
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
260.663
260.82
319275
industrial/
crypto/mizh-md5-48-5.cnf
SAT
403.433
403.592
319521
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
SAT
655.962
656.316
330541
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
930.166
930.568
315823
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
930.971
931.329
319603
industrial/grieu/
vmpc_28.cnf
SAT
948.859
949.132
319972
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
999.685
999.995
313223
Solver timed out (no solution given) (150 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.03
1200.33
313663
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
? (TO)
1200.03
1200.52
315863
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.03
1200.52
329491
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.03
1200.52
329617
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
? (TO)
1200.03
1200.43
330163
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.04
1200.51
314943
industrial/narain/
clauses-4.cnf
? (TO)
1200.04
1200.53
320587
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
? (TO)
1200.04
1200.34
330751
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
1200.04
1200.42
313943
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.05
1200.43
312463
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.05
1200.71
314743
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.05
1200.41
318988
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.05
1200.42
319767
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.05
1200.14
328609
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.05
1200.53
328945
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.05
1200.53
329155
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.05
1200.52
329659
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
1200.05
1200.44
330205
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
? (TO)
1200.05
1200.53
313303
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
? (TO)
1200.05
1200.62
313743
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.06
1200.41
314863
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.06
1200.42
315023
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.06
1200.53
315703
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.06
1200.41
319070
industrial/manolios/
manol-pipe-c7nidw.cnf
? (TO)
1200.06
1200.42
320177
industrial/manolios/
manol-pipe-c7bidw_i.cnf
? (TO)
1200.06
1200.82
320423
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.06
1200.53
328651
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.06
1200.53
329239
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.06
1200.52
329743
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.06
1200.52
329701
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.06
1200.42
329827
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
? (TO)
1200.06
1200.63
330079
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.06
1200.52
329995
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
? (TO)
1200.06
1200.42
330331
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
? (TO)
1200.06
1200.43
330499
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
? (TO)
1200.06
1200.85
313343
industrial/palacios/medium/
safe-30-h30-sat.cnf
? (TO)
1200.07
1200.42
315903
industrial/babic/dspam/
dspam_dump_vc973.cnf
? (TO)
1200.07
1200.55
318373
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.07
1200.62
319931
industrial/manolios/
manol-pipe-f7idw.cnf
? (TO)
1200.07
1200.54
320095
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
1200.07
1200.42
329197
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.07
1200.52
329533
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.07
1200.42
329407
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
? (TO)
1200.07
1200.42
329575
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.07
1200.42
329449
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.07
1200.52
329785
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.07
1200.53
329953
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
1200.07
1200.53
330415
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
1200.07
1200.42
330583
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
1200.07
1200.42
330709
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
? (TO)
1200.07
1200.54
312983
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.08
1200.51
314783
industrial/
manolios/manol-pipe-f9n.cnf
? (TO)
1200.08
1200.43
320341
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
1200.08
1200.44
320464
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
1200.08
1200.63
330373
industrial/babic/
dspam/dspam_dump_vc1081.cnf
? (TO)
1200.08
1200.44
318455
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
1200.08
1200.38
312743
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.08
1200.53
314103
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.08
1200.47
314183
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.09
1200.51
314383
industrial/fuhs/medium/
AProVE07-16.cnf
? (TO)
1200.09
1200.43
314703
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
? (TO)
1200.09
1200.41
315223
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.09
1200.53
315143
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.09
1200.63
315103
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
? (TO)
1200.09
1200.52
315503
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.09
1200.52
315783
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.09
1200.51
319152
industrial/grieu/
vmpc_31.cnf
? (TO)
1200.09
1200.52
319890
industrial/babic/
xinetd/itox_vc1130.cnf
? (TO)
1200.09
1200.43
320751
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
1200.09
1200.53
328819
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
1200.09
1200.53
328693
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.09
1200.53
329029
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
1200.09
1200.43
328987
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
? (TO)
1200.09
1200.54
330793
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.09
1200.63
331003
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
1200.09
1200.65
313903
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.09
1200.42
314023
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
? (TO)
1200.1
1200.39
313103
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.1
1200.43
315183
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
? (TO)
1200.1
1200.42
315463
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.1
1200.53
315743
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
? (TO)
1200.1
1200.52
315943
industrial/manolios/
manol-pipe-g10bidw.cnf
? (TO)
1200.1
1200.54
320259
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.1
1200.54
328777
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.1
1200.44
329113
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.1
1200.63
329365
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
? (TO)
1200.1
1200.55
330667
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.1
1200.54
313383
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (TO)
1200.1
1200.46
313543
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
? (TO)
1200.1
1200.42
313863
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.1
1200.42
314263
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.11
1200.43
314983
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
1200.11
1200.41
314823
industrial/babic/
dspam/dspam_dump_vc1104.cnf
? (TO)
1200.11
1200.54
318332
industrial/babic/
dspam/dspam_dump_vc1103.cnf
? (TO)
1200.11
1200.46
318250
industrial/
manolios/manol-pipe-f9b.cnf
? (TO)
1200.11
1200.53
320136
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.11
1200.43
320013
industrial/narain/
clauses-6.cnf
? (TO)
1200.11
1200.54
320669
industrial/narain/
clauses-8.cnf
? (TO)
1200.11
1200.47
320546
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.11
1200.43
328735
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.11
1200.43
328861
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.11
1200.43
328903
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.11
1200.52
329281
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
? (TO)
1200.11
1200.53
330457
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.11
1200.52
330835
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
1200.11
1200.55
313823
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.11
1200.47
313583
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
? (TO)
1200.11
1200.43
313983
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
1200.11
1200.58
314143
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.11
1200.55
314303
industrial/grieu/
vmpc_33.cnf
? (TO)
1200.11
1200.42
319808
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
? (TO)
1200.12
1200.44
313143
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
1200.12
1200.53
315063
industrial/babic/
dspam/dspam_dump_vc1093.cnf
? (TO)
1200.12
1200.44
318168
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.12
1200.42
329911
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
? (TO)
1200.12
1200.93
330121
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
? (TO)
1200.12
1200.44
330289
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
? (TO)
1200.12
1200.54
330247
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.12
1200.68
331171
industrial/babic/
dspam/dspam_dump_vc1080.cnf
? (TO)
1200.12
1200.43
318537
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (TO)
1200.12
1200.46
312783
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.12
1200.46
312863
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.12
1200.53
313503
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (TO)
1200.12
1200.64
312823
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.13
1200.71
313703
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.13
1200.52
314903
industrial/manolios/
manol-pipe-g10nid.cnf
? (TO)
1200.13
1200.53
320382
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
1200.13
1200.65
329071
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.13
1200.43
329323
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.13
1200.45
312703
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (TO)
1200.13
1200.6
314063
industrial/babic/dspam/
dspam_dump_vc962.cnf
? (TO)
1200.14
1200.53
318209
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.14
1200.43
330037
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.14
1200.52
331045
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
? (TO)
1200.14
1200.54
313183
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.14
1200.45
313783
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (TO)
1200.15
1200.49
312943
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (TO)
1200.15
1200.47
313623
industrial/manolios/
manol-pipe-c10nidw_s.cnf
? (TO)
1200.15
1200.45
320218
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
1200.15
1200.46
313263
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.15
1200.56
313423
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
1200.16
1200.57
313063
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.16
1200.6
312903
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (TO)
1200.16
1200.57
313463
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.16
1200.57
314223
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.17
1200.57
331087
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.21
1200.63
330919
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.22
1200.65
331129
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.23
1200.57
330877
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.24
1200.61
330961
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.172972
0.18668
308445
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.404937
0.418661
308281
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
0.787879
0.801028
310823
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
4.67329
4.68789
312217
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
14.6708
14.6874
310618
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
17.8683
17.8865
311151
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
34.7367
34.7602
311028
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
36.3495
36.3754
310864
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
44.4292
44.4557
310741
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
51.3362
51.3539
307994
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
61.0427
61.077
310700
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
67.0898
67.177
310454
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
74.9256
74.9785
310946
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
UNSAT
90.0803
90.1181
292250
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
UNSAT
101.715
101.758
292209
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
UNSAT
106.851
106.947
292045
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
UNSAT
119.418
119.457
292291
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
UNSAT
136.864
136.917
291922
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
UNSAT
183.951
184.018
296432
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
UNSAT
205.624
205.71
296801
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
UNSAT
206.297
206.375
296760
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
UNSAT
208.766
208.841
296473
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
UNSAT
213.094
213.188
296555
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
282.772
282.866
308855
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
UNSAT
296.494
296.71
298810
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
UNSAT
348.115
348.152
308158
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
UNSAT
405.927
406.088
308076
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
UNSAT
516.581
516.767
312299
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
UNSAT
554.091
554.294
298728
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
UNSAT
615.709
615.937
291799
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
UNSAT
635.139
635.33
298564
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
UNSAT
717.275
717.486
291881
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
UNSAT
791.041
791.271
291553
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
UNSAT
837.15
837.486
291717
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
UNSAT
952.13
952.394
298769
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
UNSAT
977.318
977.688
294628
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
UNSAT
990.273
990.635
294546
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
UNSAT
992.553
992.934
294669
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
UNSAT
1021.39
1021.75
294505
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
UNSAT
1083.94
1084.24
291840
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
UNSAT
1133.79
1134.34
298523
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
UNSAT
1179.05
1179.34
294587
Solver found a solution (SATISFIABLE) (63 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf
SAT
0.064989
0.0780949
292127
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
SAT
1.3048
1.32009
310782
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
2.71059
2.72662
307953
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
2.72858
2.7426
292168
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
3.3125
3.32573
299958
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
4.31934
4.34774
311110
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
5.16121
5.17734
308117
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
SAT
6.15006
6.16411
291594
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
7.72083
7.73839
308978
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
8.21875
8.23558
310577
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
SAT
9.08062
9.09755
292004
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
9.42657
9.44546
291963
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
SAT
9.63653
9.65318
308527
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
SAT
15.1867
15.206
308199
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
15.7626
15.7843
310413
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
20.024
20.0414
310905
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
SAT
23.9884
24.0093
298851
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
SAT
24.2313
24.2522
292086
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
28.4977
28.5203
310536
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
29.1886
29.2089
312258
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
SAT
30.6603
30.6867
296719
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
36.9674
36.9986
307912
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
SAT
40.9858
41.0108
299999
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
43.6544
43.6796
296637
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
44.6272
44.6526
310659
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
51.2022
51.4315
312381
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
SAT
62.5255
62.5563
298605
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
66.4559
66.4996
308240
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
78.712
78.7471
296514
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
SAT
88.9315
88.9752
298482
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
SAT
90.1033
90.1481
296596
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
SAT
96.2924
96.3365
309429
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
SAT
101.969
102.012
295489
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
106.089
106.132
311069
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
108.553
108.635
291758
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
SAT
124.778
124.823
296678
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
SAT
129.015
129.069
311520
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
SAT
130.985
131.033
309757
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
SAT
136.212
136.261
298687
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
SAT
140.898
140.954
291676
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
SAT
143.961
144.012
292332
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
SAT
206.505
206.586
310987
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
SAT
211.187
211.262
292537
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
SAT
212.869
212.946
296022
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
SAT
221.021
221.165
294423
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
SAT
225.165
225.239
310495
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
SAT
264.721
264.911
294464
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
SAT
276.85
276.946
294710
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
SAT
295.559
295.643
295571
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
SAT
326.007
326.132
291635
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
SAT
366.352
366.568
295325
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
SAT
394.209
394.333
311397
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
SAT
461.856
461.991
299753
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
SAT
485.75
485.952
291512
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
SAT
494.532
494.678
308322
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
SAT
500.512
500.545
298646
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
SAT
599.053
599.229
297785
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
SAT
620.052
620.221
294382
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
751.929
752.154
308937
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
SAT
802.549
802.768
308568
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
SAT
813.976
814.188
292701
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
SAT
939.335
939.603
312094
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
SAT
980.248
980.684
294751
Solver timed out (no solution given) (406 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
1200.01
1200.3
292783
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.35
294915
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
1200.01
1200.44
299630
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
1200.01
1200.4
303525
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
1200.01
1200.56
303812
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
1200.01
1200.42
304263
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
? (TO)
1200.01
1200.45
307502
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
1200.01
1200.21
307584
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
1200.01
1200.45
307625
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
1200.01
1200.46
309511
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.44
295694
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.46
299835
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
? (TO)
1200.02
1200.43
292824
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.32
294300
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.34
296063
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
? (TO)
1200.02
1200.73
297990
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
1200.02
1200.5
299179
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
1200.02
1200.49
300860
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
1200.02
1200.33
301516
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
1200.02
1200.33
301721
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
1200.02
1200.31
301844
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
1200.02
1200.36
303279
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
1200.02
1200.47
303484
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
1200.02
1200.32
304509
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
1200.02
1200.59
305698
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
1200.02
1200.3
305780
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
1200.02
1200.35
309019
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
1200.02
1200.37
310126
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
? (TO)
1200.02
1200.39
296350
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.4
299876
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
1200.02
1200.34
308650
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
1200.02
1200.28
308814
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
1200.03
1200.45
293152
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.76
293357
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
1200.03
1200.39
293480
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
1200.03
1200.39
293849
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.38
295038
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
1200.03
1200.29
295120
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
? (TO)
1200.03
1200.76
295202
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
? (TO)
1200.03
1200.38
297703
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
? (TO)
1200.03
1200.59
297867
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.36
298359
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
1200.03
1200.47
301557
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
1200.03
1200.58
301475
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
1200.03
1200.34
302664
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
1200.03
1200.31
302992
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
1200.03
1200.39
303033
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
1200.03
1200.31
303771
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
1200.03
1200.34
303935
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
1200.03
1200.52
304591
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
1200.03
1200.37
305575
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
1200.03
1200.35
306313
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
1200.03
1200.55
306559
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
1200.03
1200.31
307010
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
? (TO)
1200.03
1200.45
310290
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
? (TO)
1200.03
1200.37
311356
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
? (TO)
1200.03
1200.54
312053
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
1200.03
1200.51
300327
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
1200.03
1200.57
300655
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
1200.03
1200.44
306108
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
1200.03
1200.54
308035
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
1200.03
1200.47
311438
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
? (TO)
1200.04
1200.48
292619
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.71
293316
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
1200.04
1200.58
293808
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.36
295243
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
1200.04
1200.44
297006
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.45
297211
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
1200.04
1200.4
297334
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.38
297744
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
1200.04
1200.4
299220
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
1200.04
1200.35
300737
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
1200.04
1200.5
301967
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
1200.04
1200.47
302172
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
1200.04
1200.52
302459
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
1200.04
1200.4
302582
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
1200.04
1200.49
302705
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
1200.04
1200.35
303566
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
1200.04
1200.46
304796
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
1200.04
1200.38
305944
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
1200.04
1200.32
306477
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
1200.04
1200.48
306928
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
1200.04
1200.42
309306
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
? (TO)
1200.04
1200.52
309388
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
1200.04
1200.59
310208
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
1200.04
1200.44
311684
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
1200.04
1200.38
311889
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
? (TO)
1200.04
1200.36
298031
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.47
292578
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.32
294177
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.38
294792
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.47
294833
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.45
300040
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
1200.04
1200.61
301065
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
1200.04
1200.53
303976
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
1200.04
1200.48
306723
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
1200.04
1200.38
309224
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
1200.04
1200.47
312012
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.44
298195
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.45
292947
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.4
293685
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
1200.05
1200.46
293726
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.43
293603
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.37
294259
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.47
295161
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
1200.05
1200.37
297416
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.47
297252
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.43
297662
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.33
297539
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.39
297949
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
1200.05
1200.47
299302
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.39
299671
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
? (TO)
1200.05
1200.5
299712
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.36
299794
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
1200.05
1200.47
300450
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
1200.05
1200.49
300696
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
1200.05
1200.44
300983
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
1200.05
1200.38
301106
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
1200.05
1200.48
301762
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
1200.05
1200.51
302213
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
1200.05
1200.62
302746
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
1200.05
1200.38
303238
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
1200.05
1200.38
303320
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
1200.05
1200.46
304017
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
1200.05
1200.49
304099
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
1200.05
1200.33
304919
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
1200.05
1200.53
304960
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
1200.05
1200.57
306067
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
1200.05
1200.47
306231
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
? (TO)
1200.05
1200.42
308404
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
1200.05
1200.77
311643
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
1200.05
1200.5
312176
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.37
299056
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
? (TO)
1200.05
1200.2
300081
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
1200.05
1200.09
300573
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
1200.05
1200.47
304632
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
1200.05
1200.38
306805
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
1200.05
1200.45
311930
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.48
293972
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
1200.05
1200.47
295612
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
1200.05
1200.38
297293
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.35
293111
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
1200.06
1200.44
293193
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
1200.06
1200.51
293521
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
? (TO)
1200.06
1200.45
294136
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
? (TO)
1200.06
1200.53
296268
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.48
296104
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
? (TO)
1200.06
1200.38
296227
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
1200.06
1200.38
297580
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.46
297498
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.4
297621
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.48
299343
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
1200.06
1200.61
301352
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
1200.06
1200.34
302049
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
1200.06
1200.47
302008
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
1200.06
1200.5
302090
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
1200.06
1200.44
304222
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
1200.06
1200.51
304386
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
1200.06
1200.49
304468
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
1200.06
1200.41
305247
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
1200.06
1200.49
305739
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
1200.06
1200.44
308363
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
1200.06
1200.39
309675
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
? (TO)
1200.06
1200.38
309716
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
? (TO)
1200.06
1200.39
309593
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
? (TO)
1200.06
1200.56
309634
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
1200.06
1200.39
309962
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
1200.06
1200.39
311971
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.41
292455
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.28
293275
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
1200.06
1200.4
299097
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
1200.06
1200.41
301188
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
1200.06
1200.48
303607
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
1200.06
1200.44
305493
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
1200.06
1200.85
294013
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.44
295448
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.52
292373
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
? (TO)
1200.07
1200.37
292906
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
1200.07
1200.39
293562
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
1200.07
1200.35
294341
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
? (TO)
1200.07
1200.48
295776
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.36
296145
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
1200.07
1200.39
296965
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
1200.07
1200.5
299425
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.33
299507
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
1200.07
1200.42
299384
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
1200.07
1200.49
299261
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.61
299466
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
1200.07
1200.51
300245
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
1200.07
1200.43
300819
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
1200.07
1200.43
301024
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
1200.07
1200.4
301229
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
1200.07
1200.55
302418
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
1200.07
1200.51
302500
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
1200.07
1200.35
303730
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
1200.07
1200.53
304427
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
1200.07
1200.54
305165
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
1200.07
1200.58
305329
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
1200.07
1200.4
306190
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
1200.07
1200.5
306436
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
1200.07
1200.52
307666
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
1200.07
1200.52
307748
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
1200.07
1200.4
307871
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
1200.07
1200.39
308691
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
? (TO)
1200.07
1200.4
309060
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
1200.07
1200.5
309839
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
1200.07
1200.46
309798
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
1200.07
1200.46
309880
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
? (TO)
1200.07
1200.59
310372
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
1200.07
1200.38
311274
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
? (TO)
1200.07
1200.4
311479
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.36
292414
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.4
293931
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
1200.07
1200.37
294095
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.49
299015
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.37
299917
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
1200.07
1200.64
300532
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
1200.07
1200.35
302377
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
1200.07
1200.53
302910
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
1200.07
1200.4
303402
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
1200.07
1200.49
304755
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
1200.07
1200.36
305452
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
1200.07
1200.42
306846
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
? (TO)
1200.07
1200.52
308773
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
1200.07
1200.38
309347
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
1200.07
1200.39
310085
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.53
292660
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.43
292988
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
? (TO)
1200.08
1200.61
295079
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.52
295530
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.5
295407
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
1200.08
1200.44
295735
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.37
296186
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.64
298318
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.44
298441
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.38
298892
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
1200.08
1200.39
299548
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
1200.08
1200.44
300286
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
1200.08
1200.41
300942
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
1200.08
1200.53
301598
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
1200.08
1200.51
301885
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
1200.08
1200.5
302254
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
1200.08
1200.52
303074
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
1200.08
1200.43
303156
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
1200.08
1200.4
303115
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
1200.08
1200.57
303197
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
1200.08
1200.43
303689
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
1200.08
1200.47
303894
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
1200.08
1200.47
304140
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
1200.08
1200.53
304181
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
1200.08
1200.8
304345
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
1200.08
1200.52
304304
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
1200.08
1200.48
304714
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
1200.08
1200.5
306272
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
1200.08
1200.49
306887
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
1200.08
1200.41
309470
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
1200.08
1200.39
309921
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
1200.08
1200.41
310331
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
1200.08
1200.39
311192
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
1200.08
1200.39
311602
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
1200.08
1200.4
311766
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
1200.08
1200.42
304673
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
? (TO)
1200.08
1200.47
309552
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
? (TO)
1200.08
1200.36
292742
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.59
292865
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
? (TO)
1200.09
1200.62
293767
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.53
293890
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.5
295366
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.39
295981
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.62
296842
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
1200.09
1200.47
297170
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.48
297457
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.49
297908
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
1200.09
1200.55
298113
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.53
298072
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
? (TO)
1200.09
1200.39
298400
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.4
299138
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.56
299589
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
1200.09
1200.57
300778
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
1200.09
1200.51
301393
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
1200.09
1200.46
301680
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
1200.09
1200.45
302787
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
1200.09
1200.42
305083
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
1200.09
1200.54
305370
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
1200.09
1200.42
305411
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
1200.09
1200.47
305616
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
1200.09
1200.43
305821
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
1200.09
1200.5
306969
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
? (TO)
1200.09
1200.47
307789
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
1200.09
1200.29
307830
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
1200.09
1200.59
311848
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
1200.09
1200.41
311725
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.42
295653
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
1200.09
1200.37
297375
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
1200.09
1200.54
306026
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
1200.09
1200.42
306149
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
1200.09
1200.51
308609
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
1200.09
1200.51
308732
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
1200.09
1200.41
309142
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.39
297129
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
? (TO)
1200.09
1200.3
298277
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
? (TO)
1200.09
1200.41
298154
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.62
293398
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.41
293644
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.54
294218
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
1200.1
1200.64
294874
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.4
296391
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.5
296924
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.81
297826
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
? (TO)
1200.1
1200.43
298236
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.41
298933
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
1200.1
1200.41
300122
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
1200.1
1200.42
300204
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
1200.1
1200.4
300491
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
1200.1
1200.41
300614
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
1200.1
1200.38
301147
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
1200.1
1200.53
301270
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
1200.1
1200.46
301926
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
1200.1
1200.45
302951
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
1200.1
1200.49
303853
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
1200.1
1200.52
305001
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
1200.1
1200.45
305534
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
1200.1
1200.52
307051
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
1200.1
1200.42
307543
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
? (TO)
1200.1
1200.59
308896
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
1200.1
1200.48
309265
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
1200.1
1200.52
310003
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
1200.1
1200.58
310167
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
1200.1
1200.44
310249
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
1200.1
1200.51
311233
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
? (TO)
1200.1
1200.65
311807
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
1200.1
1200.49
312135
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
1200.1
1200.52
293234
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
? (TO)
1200.1
1200.41
294956
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
1200.1
1200.42
301434
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
1200.1
1200.55
301639
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
1200.1
1200.46
301803
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
1200.1
1200.47
302869
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
1200.1
1200.55
304058
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
1200.1
1200.55
304837
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
1200.1
1200.46
307461
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
1200.1
1200.41
309183
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
1200.1
1200.49
294054
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.42
293439
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
? (TO)
1200.11
1200.6
295284
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
1200.11
1200.53
294997
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
? (TO)
1200.11
1200.54
295940
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
1200.11
1200.63
295899
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
1200.11
1200.55
296883
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
1200.11
1200.42
297088
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
1200.11
1200.5
298974
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
1200.11
1200.41
301311
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
1200.11
1200.56
302131
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
1200.11
1200.56
302295
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
1200.11
1200.39
302541
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
1200.11
1200.6
302623
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
1200.11
1200.53
302828
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
1200.11
1200.64
303361
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
1200.11
1200.49
304550
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
1200.11
1200.44
304878
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
1200.11
1200.53
305042
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
1200.11
1200.57
306600
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
1200.11
1200.44
306682
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
1200.11
1200.52
307379
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
1200.11
1200.54
307707
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
1200.11
1200.43
308486
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
? (TO)
1200.11
1200.6
309101
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
1200.11
1200.22
310044
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
? (TO)
1200.11
1200.4
311561
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
? (TO)
1200.11
1201.08
312340
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
? (TO)
1200.11
1200.4
292496
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
? (TO)
1200.11
1200.48
293070
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
1200.11
1200.43
300901
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.66
293029
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
1200.11
1200.56
302336
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
1200.11
1200.45
303443
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
1200.11
1200.55
303648
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
1200.11
1200.4
311315
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
? (TO)
1200.11
1200.51
312422
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.59
297047
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
? (TO)
1200.11
1200.64
296309
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
1200.11
1200.44
300368
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
1200.11
1200.56
300409
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.38
295817
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
1200.12
1200.57
300163
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
1200.12
1200.62
305657
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
1200.12
1200.61
305903
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
1200.12
1200.42
306354
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
1200.12
1200.41
306641
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
1200.12
1200.54
306395
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
1200.13
1200.6
295858
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
1200.13
1200.41
305288
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
1200.13
1200.71
305862
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
1200.13
1200.5
305985
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
1200.13
1200.45
306518
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
1200.13
1200.61
307092
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
1200.13
1200.46
307297
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
1200.13
1200.55
307338
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
1200.13
1200.68
307256
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
1200.14
1200.45
305124
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
1200.14
1200.67
306764
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
1200.14
1200.45
307174
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
1200.14
1200.48
307215
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
1200.15
1200.53
307133
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
1200.15
1200.49
305206
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
1200.15
1200.66
307420