SAT 2007 Competition Phase 1: benchmarks results per solver
Result page for solver minimarch
2007-04-26 (fixed)
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (47 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.100984
0.102363
428679
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.401938
0.402623
428665
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
UNSAT
0.425934
0.426146
428675
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.774881
0.777316
428673
crafted/spence/
medium/s57-100.cnf
UNSAT
1.63875
1.64141
428335
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
UNSAT
1.73074
1.73309
428683
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
2.43963
2.4424
428957
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
UNSAT
2.90756
2.90973
428681
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
UNSAT
3.41348
3.41679
428677
crafted/spence/
medium/s61-100.cnf
UNSAT
3.44448
3.44791
428327
crafted/spence/
medium/s65-100.cnf
UNSAT
11.7532
11.7954
428343
crafted/spence/
medium/s69-100.cnf
UNSAT
16.4845
16.4956
428331
crafted/spence/
medium/s73-100.cnf
UNSAT
47.4338
47.5168
428337
crafted/spence/
medium/s77-100.cnf
UNSAT
57.9412
57.9586
428325
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
78.613
78.6433
428687
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
82.1515
82.175
428657
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
85.545
85.5752
428659
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
122.825
122.876
428943
crafted/spence/
medium/s81-100.cnf
UNSAT
140.687
140.73
428329
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
161.826
161.864
428717
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
177.458
177.531
428651
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
193.181
193.236
428663
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
193.896
193.952
428719
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
198.438
198.507
428933
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
209.462
209.514
428703
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
230.362
230.422
428699
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
270.197
270.263
428697
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
280.664
280.771
428785
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
UNSAT
284.212
284.429
428939
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
301.007
301.111
428927
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
308.842
308.928
428929
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
319.929
320.171
428941
crafted/spence/
medium/s85-100.cnf
UNSAT
320.432
320.602
428341
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
323.087
323.254
428769
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
332.557
332.648
428685
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
375.954
376.067
428931
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
432.052
432.185
429011
crafted/spence/
medium/s89-100.cnf
UNSAT
448.688
448.814
428339
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
476.911
477.029
428995
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
492.584
492.861
428935
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
500.162
500.426
428937
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
589.454
589.672
429007
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
678.034
678.226
429001
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
751.995
752.201
428701
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
UNSAT
1094.14
1094.83
428889
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
UNSAT
1144
1144.33
428997
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
UNSAT
1190.23
1190.7
428989
Solver found a solution (SATISFIABLE) (20 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf
SAT
0.063989
0.065885
428667
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
SAT
0.792878
0.796385
428671
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
2.32565
2.33101
428947
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
2.82157
2.82381
428693
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
4.07338
4.07605
428691
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
4.11237
4.11348
428689
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
5.38318
5.38521
428695
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
10.7794
10.7834
428669
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
16.3375
16.3443
428661
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
22.1106
22.1187
428655
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
38.4212
38.4385
428991
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
40.8308
40.8462
428715
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
SAT
42.9385
42.9489
428711
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
73.5488
73.5651
428713
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
141.192
141.234
428705
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
SAT
197.213
197.27
428723
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
272.82
272.89
428709
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
SAT
634.851
635.007
428707
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
837.012
837.289
428831
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
SAT
1145.73
1146.03
428877
Solver timed out (no solution given) (134 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/spence/
hard/s109-100.cnf
? (TO)
1200.01
1200.41
428349
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
1200.01
1200.31
428873
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
? (TO)
1200.02
1200.32
428645
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
1200.02
1200.41
428845
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.02
1200.31
428881
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.02
1200.31
428967
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.02
1200.31
428979
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
1200.03
1200.32
428649
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
1200.03
1200.61
428915
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
? (TO)
1200.03
1200.31
428893
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.03
1200.41
428849
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.03
1200.41
428895
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.04
1200.61
428751
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
1200.04
1200.51
428761
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.04
1200.51
428833
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.04
1200.34
428973
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
? (TO)
1200.05
1200.41
428799
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.05
1200.51
428789
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.05
1200.51
428735
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.05
1200.51
428837
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
? (TO)
1200.05
1200.41
428891
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
1200.05
1200.61
428801
crafted/spence/
hard/s101-100.cnf
? (TO)
1200.06
1200.51
428347
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.06
1200.51
428803
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.06
1200.51
428759
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
1200.06
1200.51
428741
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.06
1200.51
428737
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.06
1200.41
428977
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.06
1200.41
428861
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.06
1200.41
428963
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.06
1200.41
428975
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.06
1200.51
428985
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.06
1200.41
428913
crafted/spence/
hard/s97-100.cnf
? (TO)
1200.07
1200.61
428353
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
? (TO)
1200.07
1200.41
428795
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.07
1200.54
428775
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
1200.07
1200.51
428733
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.07
1200.11
428745
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.07
1200.41
428883
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.07
1200.51
428885
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
1200.07
1200.51
428855
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.07
1200.41
428863
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
1200.07
1200.41
428819
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.07
1200.51
428921
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.07
1200.43
428903
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.07
1200.41
428965
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.07
1200.51
429005
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
? (TO)
1200.07
1200.51
429003
crafted/spence/
hard/s117-100.cnf
? (TO)
1200.08
1200.51
428351
crafted/spence/
hard/s113-100.cnf
? (TO)
1200.08
1200.51
428345
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.08
1200.53
428755
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.08
1200.52
428747
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
1200.08
1200.52
428653
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
1200.08
1200.51
428739
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.08
1200.41
428729
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.08
1200.52
428815
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.08
1200.41
428875
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
1200.08
1200.61
428827
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
1200.08
1200.61
428829
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
1200.08
1200.41
428911
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.08
1200.41
428899
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.08
1200.41
428959
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
? (TO)
1200.08
1200.51
428865
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.08
1200.01
428869
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.08
1200.01
428907
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.08
1200.51
428887
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
1200.08
1200.51
428951
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
? (TO)
1200.08
1200.51
428983
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.08
1200.51
428993
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
? (TO)
1200.08
1200.41
428879
crafted/spence/
medium/s93-100.cnf
? (TO)
1200.09
1200.41
428333
crafted/spence/
hard/s105-100.cnf
? (TO)
1200.09
1200.51
428355
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.09
1200.41
428725
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.09
1200.53
428753
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.09
1200.41
428797
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
? (TO)
1200.09
1200.43
428765
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.09
1200.51
428721
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
? (TO)
1200.09
1200.42
428647
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
1200.09
1200.45
428767
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
1200.09
1200.45
428817
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
1200.09
1200.41
428787
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.09
1200.51
428757
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
1200.09
1200.61
428805
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.09
1200.41
428791
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.09
1200.51
428825
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
1200.09
1200.61
428923
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
? (TO)
1200.09
1200.51
428925
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.09
1200.41
428961
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.09
1200.51
428917
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.09
1200.43
428955
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
1200.09
1200.51
428919
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.09
1200.51
428971
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
? (TO)
1200.09
1200.42
428999
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.09
1200.61
428987
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.09
1200.51
429009
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.1
1200.51
428749
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.1
1200.44
428771
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.1
1200.51
428763
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.1
1200.51
428793
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
1200.1
1200.42
428809
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
1200.1
1200.51
428847
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
1200.1
1200.52
428843
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
1200.1
1200.51
428901
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
1200.1
1200.14
428841
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.1
1200.61
428981
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
1200.1
1200.54
428897
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.11
1200.41
428731
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.11
1200.53
428777
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.11
1200.45
428779
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.11
1200.54
428783
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
1200.11
1200.41
428821
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
1200.11
1200.41
428823
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
1200.11
1200.43
428851
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
1200.11
1200.49
428859
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.11
1200.41
428871
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
1200.11
1200.39
428857
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.11
1200.41
428905
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.11
1200.41
428909
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
1200.11
1200.41
428727
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
1200.12
1200.54
428773
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.12
1200.56
428853
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
1200.12
1200.53
428953
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.12
1200.51
428743
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.13
1200.45
428781
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.13
1200.59
428835
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
1200.13
1200.58
428807
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
? (TO)
1200.13
1200.42
429013
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
1200.14
1200.64
428813
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.15
1200.49
428867
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.16
1200.58
428945
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.19
1200.6
428839
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
1200.21
1200.54
428969
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
1200.23
1200.57
428811
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.23
1200.7
428949
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (61 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.744886
0.74656
428493
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
0.748885
0.750701
428481
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
0.938856
0.941821
428487
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
1.23081
1.23279
428499
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
1.52277
1.52434
428491
industrial/babic/dspam/
dspam_dump_vc962.cnf
UNSAT
1.61375
1.63365
428359
industrial/babic/
dspam/dspam_dump_vc1093.cnf
UNSAT
1.74073
1.74237
428357
industrial/babic/dspam/
dspam_dump_vc950.cnf
UNSAT
1.76573
1.76769
428369
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
1.84172
1.84328
428373
industrial/babic/
dspam/dspam_dump_vc1080.cnf
UNSAT
1.9687
1.97131
428375
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
1.9857
1.98756
428385
industrial/babic/
dspam/dspam_dump_vc1081.cnf
UNSAT
1.9897
1.99177
428371
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
1.9907
1.99265
428391
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
2.02869
2.02997
428389
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
2.23566
2.2358
428395
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
2.27765
2.2815
428381
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
2.92755
2.93184
428399
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
3.01754
3.02079
428377
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
3.08153
3.0845
428379
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
3.14152
3.14446
428393
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
3.32349
3.32649
428387
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
4.29635
4.29863
428383
industrial/babic/dspam/
dspam_dump_vc972.cnf
UNSAT
4.6243
4.62771
428363
industrial/babic/dspam/
dspam_dump_vc973.cnf
UNSAT
4.63129
4.63469
428367
industrial/babic/
dspam/dspam_dump_vc1104.cnf
UNSAT
4.74028
4.74285
428365
industrial/babic/
dspam/dspam_dump_vc1103.cnf
UNSAT
4.81827
4.82058
428361
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
24.6932
24.7005
428407
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
33.2079
33.2226
428147
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
38.6981
38.7084
428149
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
43.0145
43.0269
428305
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
66.9868
67.0051
428249
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
70.6733
70.692
428291
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
72.542
72.5743
428301
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
77.9301
77.9655
428303
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
96.2194
96.2766
428151
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
99.0109
99.0384
428245
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
101.742
101.778
428561
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
104.328
104.363
428155
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
105.714
105.743
428403
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
109.519
109.563
428323
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
138.878
138.914
428287
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
147.316
147.41
428293
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
200.272
200.347
428299
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
212.621
212.677
428253
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
256.325
256.414
428461
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
277.157
277.263
428321
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
292.291
292.381
428153
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
419.326
419.435
428247
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
419.647
419.78
428251
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
457.82
457.947
428295
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
509.05
509.324
428255
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
532.447
532.595
428597
industrial/manolios/
manol-pipe-c7bidw_i.cnf
UNSAT
541.368
541.535
428467
industrial/manolios/
manol-pipe-c10nidw_s.cnf
UNSAT
548.298
548.5
428457
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
557.604
557.866
428257
industrial/narain/
clauses-10.cnf
UNSAT
631.979
632.141
428477
industrial/fuhs/medium/
AProVE07-02.cnf
UNSAT
821.799
822.116
428239
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
870.276
870.527
428409
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
1067.12
1067.43
428297
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
UNSAT
1109.89
1110.17
428547
industrial/manolios/
manol-pipe-c7nidw.cnf
UNSAT
1143.3
1143.57
428455
Solver found a solution (SATISFIABLE) (27 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
5.2532
5.25974
428471
industrial/babic/
xinetd/itox_vc909.cnf
SAT
5.63714
5.64518
428489
industrial/grieu/
vmpc_25.cnf
SAT
5.8961
5.90014
428431
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
6.16206
6.16774
428495
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
6.31404
6.32165
428485
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
8.87365
8.8782
428497
industrial/babic/
xinetd/itox_vc1130.cnf
SAT
11.0273
11.0356
428483
industrial/grieu/
vmpc_27.cnf
SAT
23.5304
23.571
428433
industrial/grieu/
vmpc_24.cnf
SAT
31.9431
31.9521
428439
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
61.3617
61.382
428413
industrial/narain/
clauses-4.cnf
SAT
62.6995
62.7185
428475
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
76.1964
76.2375
428313
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
125.941
125.977
428289
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
165.491
165.557
428425
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
180.828
180.88
428285
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
192.149
192.225
428183
industrial/fuhs/medium/
AProVE07-11.cnf
SAT
231.266
231.352
428243
industrial/
crypto/mizh-md5-48-2.cnf
SAT
234.631
234.699
428415
industrial/
crypto/mizh-md5-48-5.cnf
SAT
276.077
276.185
428423
industrial/narain/
clauses-6.cnf
SAT
340.08
340.229
428479
industrial/
crypto/mizh-md5-47-3.cnf
SAT
446.048
446.247
428419
industrial/grieu/
vmpc_29.cnf
SAT
469.205
469.343
428443
industrial/grieu/
vmpc_26.cnf
SAT
503.751
503.891
428449
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
561.531
561.714
428411
industrial/
crypto/mizh-md5-47-4.cnf
SAT
625.196
625.367
428417
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
SAT
915.897
916.241
428171
industrial/grieu/
vmpc_31.cnf
SAT
1156.16
1156.44
428441
Solver timed out (no solution given) (146 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.02
1200.41
428265
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.02
1200.41
428401
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.04
1200.33
428223
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.04
1200.43
428509
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
1200.05
1200.51
428263
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.05
1200.51
428259
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.05
1200.62
428267
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.05
1200.63
428515
industrial/crypto/
mizh-sha0-35-5.cnf
? (TO)
1200.05
1200.44
428421
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.05
1200.33
428501
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.05
1200.44
428545
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
1200.06
1200.36
428217
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
? (TO)
1200.06
1200.35
428573
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.06
1200.44
428541
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.06
1200.53
428535
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
? (TO)
1200.06
1200.45
428575
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.07
1200.87
428193
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
1200.07
1200.53
428523
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.07
1200.63
428521
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.07
1200.53
428525
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
? (TO)
1200.07
1200.46
428593
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.07
1200.45
428607
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.07
1200.46
428617
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
? (TO)
1200.08
1200.42
428209
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (TO)
1200.08
1200.48
428199
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.08
1200.45
428309
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.08
1200.41
428397
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
1200.08
1200.56
428577
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.08
1200.52
428447
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.08
1200.53
428531
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
? (TO)
1200.08
1200.42
428583
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.08
1200.53
428539
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.08
1200.43
428517
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
1200.08
1200.48
428621
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.08
1200.41
428435
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
? (TO)
1200.09
1200.55
428179
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (TO)
1200.09
1200.37
428203
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
? (TO)
1200.09
1200.04
428221
industrial/palacios/medium/
safe-30-h30-sat.cnf
? (TO)
1200.09
1200.53
428317
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
1200.09
1200.52
428219
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
? (TO)
1200.09
1200.41
428283
industrial/
manolios/manol-pipe-f9n.cnf
? (TO)
1200.09
1200.44
428463
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
1200.09
1200.53
428511
industrial/
manolios/manol-pipe-f9b.cnf
? (TO)
1200.09
1200.04
428453
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
1200.09
1200.63
428519
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.09
1200.55
428553
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
? (TO)
1200.09
1200.55
428579
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
? (TO)
1200.09
1200.45
428581
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
? (TO)
1200.09
1200.45
428571
industrial/crypto/
mizh-sha0-36-2.cnf
? (TO)
1200.09
1200.54
428427
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
1200.09
1200.44
428585
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.09
1200.44
428567
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.09
1200.43
428503
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
1200.1
1200.68
428159
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
1200.1
1200.54
428213
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.1
1200.53
428273
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.1
1200.44
428197
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
? (TO)
1200.1
1200.44
428215
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.1
1200.45
428227
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.1
1200.54
428271
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.1
1200.63
428235
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.1
1200.51
428269
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.1
1200.41
428405
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
1200.1
1200.55
428587
industrial/grieu/
vmpc_28.cnf
? (TO)
1200.1
1200.51
428445
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.1
1200.45
428551
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.1
1200.43
428555
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.1
1200.43
428557
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.1
1200.44
428559
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.1
1200.53
428537
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.1
1200.45
428565
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.1
1200.44
428563
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
? (TO)
1200.1
1200.56
428603
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
? (TO)
1200.1
1200.56
428605
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
? (TO)
1200.1
1200.43
428319
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.11
1200.54
428145
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
1200.11
1200.43
428229
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.11
1200.51
428261
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
? (TO)
1200.11
1200.42
428315
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.11
1200.52
428241
industrial/manolios/
manol-pipe-f7idw.cnf
? (TO)
1200.11
1200.55
428451
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.11
1200.63
428527
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.11
1200.45
428569
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
? (TO)
1200.11
1200.56
428599
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
1200.11
1200.63
428595
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
? (TO)
1200.12
1200.44
428181
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.12
1200.57
428157
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
? (TO)
1200.12
1200.54
428189
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.12
1200.42
428311
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.12
1200.54
428281
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.12
1200.54
428205
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.12
1200.63
428533
industrial/grieu/
vmpc_33.cnf
? (TO)
1200.12
1200.42
428437
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
1200.12
1200.46
428469
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.12
1200.44
428549
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
1200.12
1200.53
428529
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
1200.12
1200.53
428601
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.12
1200.41
428609
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.12
1200.58
428623
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
? (TO)
1200.13
1200.54
428187
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.13
1200.68
428165
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
? (TO)
1200.13
1200.48
428177
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
? (TO)
1200.13
1200.46
428173
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.13
1200.48
428207
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.13
1200.44
428279
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.13
1200.45
428307
industrial/
crypto/mizh-md5-47-5.cnf
? (TO)
1200.13
1200.65
428429
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
1200.13
1200.53
428505
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
? (TO)
1200.13
1200.45
428589
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.13
1200.54
428543
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
? (TO)
1200.13
1200.45
428591
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.13
1200.53
428513
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.14
1200.64
428191
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (TO)
1200.14
1200.48
428169
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
1200.14
1200.48
428185
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.14
1200.45
428211
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.14
1200.67
428237
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.14
1200.48
428231
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.14
1200.58
428277
industrial/manolios/
manol-pipe-g10bidw.cnf
? (TO)
1200.14
1200.45
428459
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.14
1200.54
428507
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
1200.14
1200.46
428611
industrial/manolios/
manol-pipe-g10nid.cnf
? (TO)
1200.14
1200.45
428465
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.15
1200.58
428167
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (TO)
1200.15
1200.58
428163
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (TO)
1200.15
1200.58
428161
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (TO)
1200.15
1200.68
428195
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.16
1200.67
428233
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.16
1200.59
428201
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
1200.16
1200.58
428275
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
? (TO)
1200.16
1200.65
428637
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.16
1200.56
428613
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
? (TO)
1200.16
1200.55
428625
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
? (TO)
1200.16
1200.55
428629
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.16
1200.67
428615
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (TO)
1200.17
1200.58
428225
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.17
1201.09
428619
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
1200.18
1200.5
428175
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
? (TO)
1200.18
1200.55
428631
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
? (TO)
1200.2
1200.76
428627
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
? (TO)
1200.21
1200.65
428633
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
? (TO)
1200.22
1200.65
428641
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
? (TO)
1200.22
1200.16
428643
industrial/narain/
clauses-8.cnf
? (TO)
1200.23
1200.64
428473
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
? (TO)
1200.23
1200.75
428635
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
? (TO)
1200.23
1200.55
428639
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (43 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.211967
0.213891
427949
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
0.539917
0.542316
428065
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.571912
0.573331
427941
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
3.75143
3.75423
428133
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
11.2673
11.2718
428055
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
15.5016
15.5078
428081
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
28.4427
28.4522
428075
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
41.0708
41.0938
428067
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
42.3256
42.3371
427927
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
44.2903
44.3054
428047
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
46.4429
46.4588
428061
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
UNSAT
80.6287
80.6593
427159
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
UNSAT
81.1117
81.1428
427161
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
UNSAT
87.6687
87.7546
427157
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
91.3911
91.574
428071
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
99.1109
99.1419
428059
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
UNSAT
99.4289
99.4661
427149
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
UNSAT
115.705
115.742
427143
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
UNSAT
206.352
206.414
427379
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
UNSAT
206.814
206.871
427365
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
UNSAT
207.379
207.437
427363
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
UNSAT
207.749
207.798
427369
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
UNSAT
209.784
209.844
427381
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
271.89
271.969
427969
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
UNSAT
276.581
276.653
427935
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
UNSAT
291.788
291.872
427479
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
UNSAT
463.57
463.698
427467
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
UNSAT
467.19
467.334
427137
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
UNSAT
471.641
471.919
427931
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
UNSAT
606.71
606.86
427475
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
UNSAT
613.364
613.544
428137
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
UNSAT
719.033
719.294
427477
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
UNSAT
722.833
723.195
427141
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
UNSAT
744.427
744.688
427139
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
UNSAT
745.796
746.09
427133
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
UNSAT
761.741
761.975
427125
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
UNSAT
923.007
923.245
427271
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
UNSAT
968.304
968.575
427273
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
UNSAT
1054.98
1055.29
427269
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
UNSAT
1158.36
1158.82
428091
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
UNSAT
1160.24
1160.64
427277
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
UNSAT
1165.23
1165.74
427275
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
UNSAT
1182.54
1182.86
427465
Solver found a solution (SATISFIABLE) (82 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.046992
0.0476261
427153
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
0.320951
0.322807
428053
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
0.341947
0.343165
427975
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
SAT
0.988848
0.991415
427147
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
1.48077
1.48289
427535
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
2.39664
2.39666
428077
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
2.40263
2.40404
427925
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
SAT
3.19751
3.20109
427953
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
3.36149
3.36134
428045
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
3.73743
3.74086
427923
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
3.87541
3.87828
427155
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
SAT
5.42017
5.4232
427151
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
SAT
6.04908
6.0538
427123
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
SAT
6.602
6.60433
427281
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
7.62284
7.62648
428135
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
SAT
9.38757
9.39285
427471
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
SAT
9.63453
9.63797
427943
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
SAT
12.7061
12.7117
427127
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
13.286
13.2961
428069
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
13.4919
13.4981
428079
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
SAT
14.5218
14.5264
427473
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
20.3709
20.3789
427939
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
SAT
22.7545
22.7628
428063
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
SAT
24.4503
24.4563
428049
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
SAT
25.1372
25.1474
427371
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
33.3809
33.3922
428141
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
36.3825
36.3976
427145
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
38.1282
38.1383
427373
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
SAT
39.7939
39.811
428099
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
40.6198
40.6313
428057
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
SAT
46.059
46.0776
427163
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
SAT
46.4389
46.4553
427359
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
46.6969
46.7274
427933
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
SAT
49.4105
49.4255
427265
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
SAT
54.4807
54.4996
427267
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
SAT
61.2037
61.2266
427291
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
64.3202
64.3416
427135
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
SAT
64.5652
64.5812
427537
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
65.871
65.8927
427367
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
SAT
67.9767
67.9964
427937
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
SAT
70.4173
70.4369
427375
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
SAT
78.99
79.009
427441
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
SAT
98.47
98.5009
427481
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
SAT
100.107
100.137
427469
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
SAT
102.251
102.281
427523
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
SAT
105.793
105.833
427129
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
SAT
131.474
131.512
427377
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
SAT
131.688
131.726
427463
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
134.887
134.926
428051
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
SAT
142.892
142.929
427187
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
SAT
158.227
158.286
427321
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
SAT
163.893
163.935
427181
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
SAT
167.78
167.831
427997
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
SAT
175.398
175.464
427297
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
SAT
183.324
183.381
428073
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
SAT
197.528
197.585
427251
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
SAT
209.048
209.106
427447
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
SAT
275.969
276.044
427183
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
SAT
316.185
316.274
427263
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
SAT
329.858
329.94
427173
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
SAT
358.491
358.584
427971
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
372.354
372.458
427973
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
SAT
385.057
385.186
428007
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
SAT
406.377
406.495
428127
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
SAT
435.088
435.239
427331
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
SAT
524.911
525.106
427131
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
SAT
588.466
588.671
427355
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
SAT
597.337
597.502
428013
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
SAT
605.138
605.303
427947
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
SAT
626.034
626.206
427279
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
SAT
635.383
635.604
427955
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
SAT
663.559
663.789
428113
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
SAT
693.233
693.423
427171
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
SAT
802.716
803.01
428011
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
SAT
840.729
840.974
427233
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
SAT
872.425
872.66
427307
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
SAT
878.235
878.468
428143
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
SAT
878.271
878.492
427177
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
SAT
982.012
982.288
428139
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
SAT
994.117
994.4
427525
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
SAT
1029.42
1029.81
427309
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
SAT
1161.88
1162.16
427433
Solver timed out (no solution given) (386 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
? (TO)
1200.01
1200.31
427191
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.31
427193
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.31
427345
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
? (TO)
1200.01
1200.41
427539
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
1200.01
1200.31
427743
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
? (TO)
1200.01
1200.31
427981
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
1200.01
1200.31
427967
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
1200.01
1200.31
428087
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
1200.01
1200.31
428107
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
? (TO)
1200.02
1200.51
427317
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
1200.02
1200.41
427287
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.31
427325
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.41
427383
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.41
427403
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.31
427485
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.41
427495
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.41
427521
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.41
427511
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
1200.02
1200.41
427651
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
1200.02
1200.31
427545
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
1200.02
1200.51
427585
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
1200.02
1200.31
427617
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
1200.02
1200.41
427663
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
1200.02
1200.41
427655
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
1200.02
1200.41
427673
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
1200.02
1200.31
427807
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
1200.02
1200.51
427769
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
1200.02
1200.41
427811
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
1200.02
1200.32
427861
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
? (TO)
1200.02
1200.81
428101
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
1200.02
1200.31
428041
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.51
427213
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
1200.03
1200.64
427293
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.41
427347
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
1200.03
1200.31
427323
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.41
427397
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
1200.03
1200.41
427515
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
1200.03
1200.41
427507
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
1200.03
1200.61
427501
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
? (TO)
1200.03
1200.51
427541
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
1200.03
1200.41
427543
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
1200.03
1200.41
427559
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
1200.03
1200.41
427637
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
1200.03
1200.31
427643
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
1200.03
1200.31
427699
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
1200.03
1200.41
427685
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
1200.03
1200.41
427765
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
1200.03
1200.31
427815
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
1200.03
1200.33
427835
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
1200.03
1200.41
428015
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
1200.04
1200.51
427299
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.61
427295
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.41
427319
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
1200.04
1200.51
427389
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.51
427421
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
1200.04
1200.61
427595
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
1200.04
1200.51
427749
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
1200.04
1200.51
427951
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
1200.04
1200.33
427875
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
1200.04
1200.43
427829
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
1200.04
1200.42
427855
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
1200.04
1200.51
428031
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
1200.04
1200.41
428089
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
1200.04
1200.41
428123
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
1200.04
1200.51
428121
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
1200.05
1200.51
427203
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
1200.05
1200.41
427223
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.51
427305
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.51
427257
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.41
427195
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.41
427217
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
1200.05
1200.51
427399
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.51
427449
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
1200.05
1200.51
427577
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
1200.05
1200.41
427607
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
1200.05
1200.61
427601
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
1200.05
1200.61
427583
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
1200.05
1200.51
427591
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
1200.05
1200.41
427703
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
1200.05
1200.34
427787
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
1200.05
1200.35
427793
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
1200.05
1200.51
427771
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
1200.05
1200.51
427715
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
1200.05
1200.51
427753
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
1200.05
1200.42
427843
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
1200.05
1200.41
427745
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
1200.05
1200.44
427791
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
? (TO)
1200.05
1200.51
427917
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
1200.05
1200.51
427905
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
1200.05
1200.51
427909
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
1200.05
1200.51
428027
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
1200.05
1200.41
428105
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
1200.05
1200.41
428117
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
? (TO)
1200.05
1200.41
428125
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
? (TO)
1200.05
1200.41
427439
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
? (TO)
1200.05
1200.51
427357
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
1200.06
1200.51
427207
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.41
427175
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.51
427225
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.41
427243
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
1200.06
1200.41
427419
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.41
427443
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
1200.06
1200.41
427487
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
1200.06
1200.41
427493
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.41
427341
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
1200.06
1200.11
427395
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.51
427533
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
1200.06
1200.41
427553
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
1200.06
1200.51
427567
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
1200.06
1200.52
427623
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
1200.06
1200.51
427609
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
1200.06
1200.51
427631
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
1200.06
1200.51
427657
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
1200.06
1200.51
427679
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
1200.06
1200.41
427693
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
1200.06
1200.41
427809
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
1200.06
1200.41
427813
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
1200.06
1200.35
427799
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
1200.06
1200.41
427725
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
1200.06
1200.41
427729
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
1200.06
1200.52
427847
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
1200.06
1200.51
427907
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
1200.06
1200.61
427921
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
1200.06
1200.51
427963
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
1200.06
1200.35
427899
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
1200.06
1200.41
427977
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
1200.06
1200.51
428033
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
1200.06
1200.51
428023
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
1200.06
1200.51
427993
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
1200.06
1200.51
428029
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
427235
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
427261
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.51
427201
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427227
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.61
427211
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
1200.07
1200.61
427407
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427301
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
427445
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.51
427489
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427315
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.51
427351
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
? (TO)
1200.07
1200.41
427339
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.51
427401
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
427385
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.51
427431
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
427391
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427423
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.61
427529
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427483
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
? (TO)
1200.07
1200.41
427451
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427491
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
1200.07
1200.41
427519
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
1200.07
1200.51
427619
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.51
427513
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427527
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
1200.07
1200.51
427597
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
1200.07
1200.51
427547
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
1200.07
1200.51
427653
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
1200.07
1200.41
427645
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
1200.07
1200.51
427659
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
1200.07
1200.51
427681
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
1200.07
1200.41
427701
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
1200.07
1200.51
427707
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
1200.07
1200.51
427737
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
1200.07
1200.61
427687
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
1200.07
1200.51
427739
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
1200.07
1200.51
427751
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
1200.07
1200.51
427767
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
1200.07
1200.51
427755
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
1200.07
1200.41
427779
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
1200.07
1200.51
427759
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
1200.07
1200.51
427757
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
1200.07
1200.51
427773
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
1200.07
1200.51
427761
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
1200.07
1200.51
427919
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
1200.07
1200.51
427913
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
1200.07
1200.53
427841
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
1200.07
1200.41
427945
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
? (TO)
1200.07
1200.51
428039
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
? (TO)
1200.07
1200.41
427995
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
1200.07
1200.51
428017
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
1200.07
1200.51
428001
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
1200.07
1200.51
427989
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
1200.07
1200.41
428131
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
1200.07
1200.41
428095
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
? (TO)
1200.07
1200.51
428043
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
? (TO)
1200.07
1200.51
428097
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
427427
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
1200.07
1200.41
427569
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
427185
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427169
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.01
427241
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427253
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.51
427197
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
427219
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
427231
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.51
427289
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.51
427283
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
427303
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427259
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427311
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
427459
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427517
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
427329
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.51
427335
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427435
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
1200.08
1200.51
427497
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427461
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.51
427387
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.01
427349
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
? (TO)
1200.08
1200.01
427429
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427361
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
427453
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
1200.08
1200.41
427557
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
1200.08
1200.41
427565
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
1200.08
1200.41
427563
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
1200.08
1200.51
427599
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
1200.08
1200.51
427581
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
1200.08
1200.41
427621
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
1200.08
1200.41
427647
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
1200.08
1200.41
427661
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
1200.08
1200.41
427665
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
1200.08
1200.41
427747
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
1200.08
1200.51
427641
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
1200.08
1200.41
427719
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
1200.08
1200.41
427733
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
1200.08
1200.51
427705
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
1200.08
1200.51
427713
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
1200.08
1200.61
427691
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
1200.08
1200.41
427717
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
1200.08
1200.41
427709
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
1200.08
1200.41
427781
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
1200.08
1200.53
427825
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
1200.08
1200.41
427803
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
1200.08
1200.51
427817
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
1200.08
1200.51
427819
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
1200.08
1200.43
427831
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
1200.08
1200.53
427833
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
1200.08
1200.62
427851
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
1200.08
1200.52
427859
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
1200.08
1200.41
427983
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
1200.08
1200.63
427845
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
? (TO)
1200.08
1200.41
427903
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
1200.08
1200.41
427999
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
1200.08
1200.61
428021
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
? (TO)
1200.08
1200.41
428003
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
? (TO)
1200.08
1200.41
428093
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
1200.08
1200.41
428111
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
1200.08
1200.41
428085
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
1200.08
1200.61
427409
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.41
427455
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
1200.08
1200.41
427629
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
1200.08
1200.41
428083
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.41
427189
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
1200.09
1200.41
427237
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
1200.09
1200.51
427205
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
1200.09
1200.51
427249
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.41
427229
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.51
427285
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.51
427165
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.51
427179
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.41
427313
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.41
427255
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
1200.09
1200.51
427411
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
1200.09
1200.51
427503
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.61
427393
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
1200.09
1200.61
427405
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.61
427413
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.51
427415
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
? (TO)
1200.09
1200.51
427425
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.41
427457
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.51
427505
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
1200.09
1200.41
427549
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
1200.09
1200.51
427589
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
1200.09
1200.41
427633
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
1200.09
1200.51
427649
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
1200.09
1200.41
427611
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
1200.09
1200.41
427625
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
1200.09
1200.42
427635
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
1200.09
1200.41
427731
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
1200.09
1200.51
427763
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
1200.09
1200.41
427613
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
1200.09
1200.51
427675
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
1200.09
1200.41
427741
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
1200.09
1200.45
427785
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
1200.09
1200.41
427735
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
1200.09
1200.43
427867
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
1200.09
1200.51
427915
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
1200.09
1200.52
427849
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
1200.09
1200.41
427957
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
1200.09
1200.61
427911
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
1200.09
1200.41
427959
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
1200.09
1200.51
428019
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
1200.09
1200.41
428115
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
1200.09
1200.41
428129
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
1200.09
1200.51
428103
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
1200.09
1200.51
428025
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
1200.09
1200.41
428109
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
1200.09
1200.41
428119
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
1200.09
1200.51
427603
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
1200.09
1200.41
427961
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.51
427215
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
1200.1
1200.51
427247
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
1200.1
1200.41
427245
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
1200.1
1200.41
427221
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.41
427333
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
? (TO)
1200.1
1200.41
427353
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
1200.1
1200.51
427337
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
1200.1
1200.51
427509
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
? (TO)
1200.1
1200.41
427343
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.51
427417
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.51
427437
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
1200.1
1200.51
427579
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.51
427531
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
1200.1
1200.51
427561
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
1200.1
1200.41
427571
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
1200.1
1200.41
427573
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
1200.1
1200.51
427575
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
1200.1
1200.52
427627
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
1200.1
1200.61
427593
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
1200.1
1200.51
427587
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
1200.1
1200.41
427615
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
1200.1
1200.41
427695
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
1200.1
1200.51
427677
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
1200.1
1200.51
427683
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
1200.1
1200.61
427689
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
1200.1
1200.51
427711
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
1200.1
1200.41
427821
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
1200.1
1200.61
427777
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
1200.1
1200.51
427727
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
1200.1
1200.51
427671
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
1200.1
1200.41
427805
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
1200.1
1200.45
427795
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
1200.1
1200.51
427775
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
1200.1
1200.43
427871
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
1200.1
1200.52
427857
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
1200.1
1200.04
427863
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
1200.1
1200.45
427893
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
1200.1
1200.43
427877
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
? (TO)
1200.1
1200.51
427965
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
1200.1
1200.51
427987
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
? (TO)
1200.1
1200.41
427979
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
1200.1
1200.51
427985
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
1200.1
1200.51
427991
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
? (TO)
1200.1
1200.41
428005
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
1200.1
1200.41
428037
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
1200.1
1200.52
427639
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
1200.1
1200.51
427669
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.41
427167
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.51
427209
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
? (TO)
1200.11
1200.51
427199
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.41
427239
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.41
427327
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
1200.11
1200.61
427499
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
1200.11
1200.41
427555
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
1200.11
1200.41
427551
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
1200.11
1200.61
427605
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
1200.11
1200.41
427721
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
1200.11
1200.41
427723
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
1200.11
1200.44
427783
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
1200.11
1200.81
427697
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
1200.11
1200.52
427853
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
1200.11
1200.53
427839
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
1200.11
1200.55
427887
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
1200.11
1200.43
427865
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
1200.11
1200.54
427873
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
1200.11
1200.43
427881
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
1200.11
1200.51
427929
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
1200.11
1200.41
428009
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
1200.11
1200.51
428035
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
1200.11
1200.61
427667
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
1200.12
1200.44
427789
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
1200.12
1200.53
427837
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
1200.12
1200.46
427895
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
1200.12
1200.43
427869
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
1200.12
1200.45
427891
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
1200.12
1200.06
427897
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
1200.12
1200.45
427885
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
1200.12
1200.63
427823
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
1200.13
1200.54
427801
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
1200.13
1200.54
427797
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
1200.13
1200.45
427889
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
1200.13
1200.42
427827
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
1200.14
1200.44
427879
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
1200.14
1200.55
427883
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
1200.15
1200.56
427901