SAT 2007 Competition Phase 1: benchmarks results per solver
Result page for solver Spear
2007-02-12
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (20 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/spence/
medium/s57-100.cnf
UNSAT
7.29089
7.29442
316288
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
9.8875
9.89243
332379
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
17.4233
17.4294
332547
crafted/spence/
medium/s61-100.cnf
UNSAT
26.7079
26.7164
316128
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
27.3908
27.4898
332421
crafted/spence/
medium/s69-100.cnf
UNSAT
127.885
127.895
316208
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
187.068
187.079
333009
crafted/spence/
medium/s65-100.cnf
UNSAT
219.032
219.099
316448
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
230.209
230.274
332253
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
320.088
320.181
333261
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
328.706
328.832
333345
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
396.296
396.408
339477
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
589.075
589.255
334731
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
639.81
640.004
332967
crafted/spence/
medium/s73-100.cnf
UNSAT
695.458
695.758
316328
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
898.421
898.784
332505
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
956.855
957.115
338049
crafted/spence/
medium/s77-100.cnf
UNSAT
1057.89
1058.29
316088
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
1148.39
1148.76
338133
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
1151.72
1152.21
334647
Solver found a solution (SATISFIABLE) (11 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
5.06323
5.06478
332337
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf
SAT
8.43772
8.44296
332589
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
11.9662
11.973
333051
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
43.0385
43.0535
333177
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
50.9343
50.9516
332463
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
SAT
151.418
151.462
338931
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
175.8
175.854
333135
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
178.447
178.501
333093
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
189.391
189.544
332631
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
551.378
551.525
333555
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
911.201
911.585
333471
Solver timed out (no solution given) (170 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
? (TO)
1200.02
1200.32
333429
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
1200.03
1200.43
336075
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
1200.03
1200.93
336831
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
1200.03
1200.42
338889
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
1200.04
1200.33
336453
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
? (TO)
1200.04
1200.52
336747
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
1200.04
1200.52
336873
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
1200.04
1200.33
337167
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
1200.04
1200.43
337377
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
1200.04
1200.52
337629
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
? (TO)
1200.04
1200.42
338301
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
? (TO)
1200.04
1200.42
339351
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
? (TO)
1200.04
1200.42
339645
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
? (TO)
1200.04
1200.42
333513
crafted/spence/
hard/s109-100.cnf
? (TO)
1200.05
1200.32
316568
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
1200.05
1200.13
334311
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
1200.05
1200.13
334395
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
1200.05
1200.45
334899
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
1200.05
1200.42
335445
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
1200.05
1200.53
337125
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
? (TO)
1200.05
1200.52
338007
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
1200.05
1200.34
338763
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
? (TO)
1200.05
1200.42
339519
crafted/spence/
medium/s81-100.cnf
? (TO)
1200.06
1200.42
316168
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
? (TO)
1200.06
1200.52
333387
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
? (TO)
1200.06
1200.51
333639
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
? (TO)
1200.06
1200.62
333723
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
1200.06
1200.52
334185
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
1200.06
1200.53
334353
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
1200.06
1200.55
334857
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
1200.06
1200.55
334983
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
? (TO)
1200.06
1200.52
339393
crafted/spence/
medium/s85-100.cnf
? (TO)
1200.07
1200.42
316408
crafted/spence/
hard/s105-100.cnf
? (TO)
1200.07
1200.54
316688
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
? (TO)
1200.07
1200.64
332715
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
? (TO)
1200.07
1200.42
333597
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
? (TO)
1200.07
1200.42
333765
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
1200.07
1200.52
333975
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
1200.07
1200.52
334017
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
1200.07
1200.53
336411
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
1200.07
1200.42
337713
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
1200.07
1200.54
338847
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
1200.07
1200.42
339099
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
1200.07
1200.42
339141
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
1200.07
1200.42
339687
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
? (TO)
1200.07
1200.42
339729
crafted/spence/
hard/s117-100.cnf
? (TO)
1200.08
1200.42
316608
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
? (TO)
1200.08
1200.42
333681
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
1200.08
1200.42
333807
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
1200.08
1200.52
333849
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
1200.08
1200.42
334059
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
1200.08
1201.03
334605
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
? (TO)
1200.08
1200.42
335277
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
1200.08
1200.55
335865
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
1200.08
1200.55
336663
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
1200.08
1200.62
336957
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
1200.08
1200.42
337083
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
1200.08
1200.42
339267
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
1200.08
1200.42
339309
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
? (TO)
1200.08
1200.64
339561
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
1200.08
1200.62
339603
crafted/spence/
hard/s97-100.cnf
? (TO)
1200.09
1200.52
316648
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
1200.09
1200.42
334269
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
1200.09
1200.42
335193
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
? (TO)
1200.09
1200.43
335361
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
1200.09
1200.43
335403
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
1200.09
1200.42
335991
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
1200.09
1200.42
337209
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
1200.09
1200.52
337503
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
1200.09
1200.42
337965
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
? (TO)
1200.09
1200.42
338259
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
1200.09
1200.42
338973
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
1200.09
1200.55
339057
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
1200.09
1200.62
339183
crafted/spence/
medium/s93-100.cnf
? (TO)
1200.1
1200.42
316248
crafted/spence/
medium/s89-100.cnf
? (TO)
1200.1
1200.42
316368
crafted/spence/
hard/s113-100.cnf
? (TO)
1200.1
1200.52
316488
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
1200.1
1200.66
332295
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
? (TO)
1200.1
1200.53
332757
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
? (TO)
1200.1
1200.56
332925
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
1200.1
1200.52
333891
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
1200.1
1200.43
333933
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
1200.1
1200.52
334143
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
1200.1
1200.52
334521
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
1200.1
1200.54
334773
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
1200.1
1200.45
335781
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
1200.1
1200.62
336033
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
1200.1
1200.44
336369
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
1200.1
1200.43
336285
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
1200.1
1200.53
336537
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
1200.1
1200.54
336789
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
1200.1
1200.52
337671
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
1200.1
1200.52
337881
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
1200.1
1200.52
337587
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
1200.1
1200.53
337839
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
1200.1
1200.52
337923
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
? (TO)
1200.1
1200.42
338175
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
? (TO)
1200.1
1200.52
338217
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
? (TO)
1200.1
1200.42
338091
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
? (TO)
1200.1
1200.52
338385
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
1200.1
1200.55
338805
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
1200.1
1200.53
338595
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
? (TO)
1200.1
1200.62
339225
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
1200.1
1200.52
339435
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
? (TO)
1200.11
1200.63
332169
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
1200.11
1200.5
332211
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
? (TO)
1200.11
1200.42
333219
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
1200.11
1200.43
334227
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
1200.11
1200.43
334437
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
1200.11
1200.52
334479
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
? (TO)
1200.11
1200.42
335067
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
1200.11
1200.52
335109
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
1200.11
1200.42
335319
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
1200.11
1200.53
335949
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
? (TO)
1200.11
1200.52
337041
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
1200.11
1200.52
336915
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
1200.11
1200.52
337251
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
? (TO)
1200.11
1200.42
337335
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
1200.11
1200.52
337797
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
? (TO)
1200.11
1200.52
338343
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
1200.11
1200.43
338553
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
1200.11
1200.45
338721
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
? (TO)
1200.11
1200.42
339813
crafted/spence/
hard/s101-100.cnf
? (TO)
1200.12
1200.62
316528
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
? (TO)
1200.12
1200.47
332799
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
? (TO)
1200.12
1200.48
332883
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
1200.12
1200.62
333303
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
1200.12
1200.43
334101
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
1200.12
1200.55
334815
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
1200.12
1200.63
335235
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
1200.12
1200.43
336327
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
? (TO)
1200.12
1200.52
337293
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
1200.12
1200.62
337461
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
1200.12
1200.62
339771
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
1200.13
1200.43
334563
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
1200.13
1200.44
334689
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
1200.13
1200.43
335151
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
1200.13
1200.61
336621
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
1200.13
1200.5
336999
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
1200.13
1200.52
337755
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
1200.13
1200.57
339015
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
1200.14
1200.46
335025
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
1200.14
1200.45
334941
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
1200.14
1200.64
335487
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
1200.14
1200.59
336579
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
1200.14
1200.56
336705
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
? (TO)
1200.14
1200.44
339855
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
? (TO)
1200.15
1200.45
332127
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
1200.15
1200.47
336159
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
1200.15
1200.5
336117
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
1200.16
1200.61
335697
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
1200.16
1200.46
335907
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
1200.16
1200.66
336243
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
1200.16
1200.47
337545
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
1200.17
1200.52
335613
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
1200.17
1200.6
336201
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
1200.17
1200.48
337419
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
1200.18
1200.59
335655
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
1200.18
1200.6
336495
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
1200.19
1200.7
335823
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
1200.19
1200.61
338427
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
1200.2
1200.5
335529
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
1200.2
1200.62
335571
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
1200.2
1200.71
338637
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
1200.21
1200.65
335739
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
? (TO)
1200.21
1200.55
338679
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
? (TO)
1200.24
1200.67
338469
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
1200.27
1200.6
338511
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
? (TO)
1200.29
1200.61
332841
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
? (TO)
1200.32
1200.66
332673
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (44 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.759883
0.761695
320982
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
0.766883
0.76819
320736
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
0.832872
0.835257
320859
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
0.899862
0.901495
321105
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
1.21881
1.22069
320941
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
1.60076
1.60138
318850
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
2.37864
2.3802
318604
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
7.50586
7.50938
319055
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
8.62069
8.62433
318891
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
9.12261
9.12722
318973
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
9.48756
9.49987
318768
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
10.2494
10.2556
318809
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
11.3983
11.4029
318686
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
12.0972
12.1036
318932
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
16.7185
16.7261
318645
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
37.3483
37.3593
318727
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
39.1311
39.1426
312528
industrial/manolios/
manol-pipe-c10nidw_s.cnf
UNSAT
54.9786
55.0092
320244
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
58.4751
58.492
319219
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
79.223
79.2627
312568
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
139.805
139.845
314488
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
152.56
152.6
314568
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
163.799
163.842
315408
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
174.558
174.622
315608
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
177.21
177.274
312648
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
192.938
192.998
315328
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
204.508
204.569
314688
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
206.13
206.224
312688
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
208.702
208.779
315648
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
230.367
230.436
316048
industrial/narain/
clauses-10.cnf
UNSAT
234.924
235.019
320654
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
245.738
245.822
315688
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
284.5
284.593
312608
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
323.134
323.221
329895
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
329.846
329.971
319137
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
384.003
384.12
330651
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
386.549
386.688
314648
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
404.067
404.24
315448
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
423.421
423.57
316008
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
484.334
484.492
314608
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
606.849
606.89
315568
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
692.562
692.76
315488
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
727.299
727.571
314728
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
754.345
754.546
320326
Solver found a solution (SATISFIABLE) (38 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
5.79912
5.8032
320531
industrial/babic/
xinetd/itox_vc909.cnf
SAT
10.1555
10.163
320900
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
13.4989
13.5084
320818
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
14.1648
14.1797
321023
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
17.4923
17.5047
321064
industrial/babic/
xinetd/itox_vc1130.cnf
SAT
50.1724
50.1979
320777
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
59.096
59.1689
331239
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
SAT
66.046
66.1336
331323
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
67.0568
67.1288
331281
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
73.1739
73.2439
313248
industrial/narain/
clauses-4.cnf
SAT
76.2784
76.328
320613
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
SAT
78.3261
78.3567
331407
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
SAT
78.851
78.8841
331365
industrial/
crypto/mizh-md5-48-2.cnf
SAT
83.6883
83.7572
319383
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
SAT
88.7455
88.7793
331575
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
SAT
97.2702
97.3031
331491
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
99.3699
99.4445
331617
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
SAT
100.142
100.198
331449
industrial/
crypto/mizh-md5-47-5.cnf
SAT
110.43
110.476
319670
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
111.138
111.178
319588
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
SAT
125.147
125.248
313168
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
SAT
142.417
142.462
331533
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
148.263
148.364
319342
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
174.274
174.343
319629
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
SAT
192.238
192.302
330147
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
205.989
206.046
315288
industrial/grieu/
vmpc_24.cnf
SAT
213.245
213.298
319875
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
SAT
217.035
217.1
313008
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
227.218
227.29
319506
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
SAT
245.773
245.858
313328
industrial/
crypto/mizh-md5-47-3.cnf
SAT
265.091
265.165
319465
industrial/grieu/
vmpc_26.cnf
SAT
269.7
269.801
320080
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
274.256
274.375
319301
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
337.306
337.554
315368
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
438.199
438.451
315848
industrial/
crypto/mizh-md5-47-4.cnf
SAT
581.547
581.842
319424
industrial/grieu/
vmpc_25.cnf
SAT
600.107
600.279
319711
industrial/narain/
clauses-6.cnf
SAT
901.792
902.192
320695
Solver timed out (no solution given) (150 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/fuhs/medium/
AProVE07-02.cnf
? (TO)
1200.04
1200.33
314368
industrial/fuhs/medium/
AProVE07-21.cnf
? (TO)
1200.04
1200.62
314528
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
1200.05
1200.43
314848
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
1200.05
1200.43
315048
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
1200.05
1200.33
315768
industrial/grieu/
vmpc_29.cnf
? (TO)
1200.05
1200.43
319957
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.05
1200.45
329853
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
1200.06
1200.54
315128
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
1200.06
1200.42
319096
industrial/
manolios/manol-pipe-f9b.cnf
? (TO)
1200.06
1200.55
320162
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.06
1200.46
329643
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
? (TO)
1200.06
1200.35
329601
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.06
1200.55
329811
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (TO)
1200.06
1200.36
313648
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
1200.06
1200.43
313968
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
? (TO)
1200.07
1200.53
315248
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
? (TO)
1200.07
1200.52
319260
industrial/manolios/
manol-pipe-f7idw.cnf
? (TO)
1200.07
1200.55
320121
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
? (TO)
1200.07
1200.56
330189
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
? (TO)
1200.07
1200.36
330315
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
1200.07
1200.45
313928
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
? (TO)
1200.08
1200.54
313888
industrial/fuhs/medium/
AProVE07-11.cnf
? (TO)
1200.08
1200.56
314448
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
1200.08
1200.43
314808
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
1200.08
1200.44
315008
industrial/babic/dspam/
dspam_dump_vc950.cnf
? (TO)
1200.08
1200.44
318440
industrial/babic/dspam/
dspam_dump_vc949.cnf
? (TO)
1200.08
1200.45
318522
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
1200.08
1200.63
319178
industrial/grieu/
vmpc_27.cnf
? (TO)
1200.08
1200.43
319752
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.08
1200.45
329769
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
1200.08
1200.44
313848
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
1200.09
1200.45
312488
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
1200.09
1200.63
314768
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
1200.09
1200.65
315088
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
? (TO)
1200.09
1200.43
315888
industrial/babic/
dspam/dspam_dump_vc1080.cnf
? (TO)
1200.09
1200.44
318563
industrial/grieu/
vmpc_33.cnf
? (TO)
1200.09
1200.54
319834
industrial/grieu/
vmpc_28.cnf
? (TO)
1200.09
1200.43
319998
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.09
1200.66
328677
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.09
1200.57
328635
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
1200.09
1200.66
329097
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
1200.09
1200.47
329139
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.09
1200.17
329307
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.09
1200.45
329559
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (TO)
1200.09
1200.67
312808
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
1200.09
1200.54
314168
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
1200.1
1200.43
314288
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
1200.1
1200.93
314968
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
? (TO)
1200.1
1200.43
315968
industrial/palacios/medium/
safe-30-h30-sat.cnf
? (TO)
1200.1
1200.53
315928
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
1200.1
1200.46
320490
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
1200.1
1200.59
328803
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.1
1200.58
328761
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.1
1200.45
330063
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
? (TO)
1200.1
1200.56
330273
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
1200.1
1200.57
330231
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
1200.1
1200.55
330441
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
? (TO)
1200.1
1200.47
330567
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
1200.1
1200.58
313728
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
? (TO)
1200.11
1200.45
313048
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
1200.11
1200.58
314208
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
1200.11
1200.44
314888
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
1200.11
1200.54
315168
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
1200.11
1200.54
315728
industrial/babic/
dspam/dspam_dump_vc1103.cnf
? (TO)
1200.11
1200.47
318276
industrial/babic/
dspam/dspam_dump_vc1093.cnf
? (TO)
1200.11
1200.45
318194
industrial/babic/
dspam/dspam_dump_vc1081.cnf
? (TO)
1200.11
1200.53
318481
industrial/manolios/
manol-pipe-c7nidw.cnf
? (TO)
1200.11
1200.48
320203
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.11
1200.47
329349
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
? (TO)
1200.11
1200.66
330819
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
? (TO)
1200.11
1200.42
313768
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
1200.11
1200.53
313688
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
1200.11
1200.55
313808
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
1200.11
1200.43
314048
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (TO)
1200.11
1200.45
312848
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
1200.12
1200.56
313448
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
1200.12
1200.44
315208
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
? (TO)
1200.12
1200.53
315528
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
1200.12
1200.63
315808
industrial/babic/dspam/
dspam_dump_vc973.cnf
? (TO)
1200.12
1200.25
318399
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
1200.12
1200.42
319014
industrial/grieu/
vmpc_31.cnf
? (TO)
1200.12
1200.63
319916
industrial/
manolios/manol-pipe-f9n.cnf
? (TO)
1200.12
1200.65
320367
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
1200.12
1200.56
328887
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.12
1200.47
329265
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
1200.12
1200.47
329181
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
1200.12
1200.45
329433
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.12
1200.45
329727
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
? (TO)
1200.12
1200.46
330483
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
? (TO)
1200.12
1200.46
330777
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
1200.12
1200.45
313288
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
1200.12
1200.44
313408
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
1200.12
1200.54
314128
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (TO)
1200.12
1200.08
314088
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
? (TO)
1200.12
1200.54
314008
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
1200.13
1200.53
312728
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
1200.13
1200.54
314408
industrial/babic/
dspam/dspam_dump_vc1104.cnf
? (TO)
1200.13
1200.64
318358
industrial/
crypto/mizh-md5-48-5.cnf
? (TO)
1200.13
1200.46
319547
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
1200.13
1200.49
328845
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
1200.13
1200.56
329391
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
1200.13
1200.55
329475
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
1200.13
1200.55
329517
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
1200.13
1200.45
330021
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
1200.13
1200.65
329937
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
? (TO)
1200.13
1200.55
330525
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
? (TO)
1200.13
1200.53
313208
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (TO)
1200.13
1200.56
313488
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
1200.13
1200.54
313528
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
? (TO)
1200.13
1200.46
313368
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
1200.13
1200.57
314248
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
1200.14
1200.46
312888
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
1200.14
1200.48
312928
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
1200.14
1200.55
314928
industrial/babic/dspam/
dspam_dump_vc962.cnf
? (TO)
1200.14
1200.47
318235
industrial/grieu/
vmpc_30.cnf
? (TO)
1200.14
1200.44
319793
industrial/grieu/
vmpc_34.cnf
? (TO)
1200.14
1200.54
320039
industrial/manolios/
manol-pipe-g10nid.cnf
? (TO)
1200.14
1200.58
320408
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
1200.14
1200.57
328971
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.14
1200.46
329685
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
1200.14
1200.45
329979
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
? (TO)
1200.14
1200.55
330105
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
1200.14
1200.55
330399
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
? (TO)
1200.14
1200.44
330357
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
1200.14
1200.45
312768
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
1200.15
1200.47
313088
industrial/manolios/
manol-pipe-c7bidw_i.cnf
? (TO)
1200.15
1200.45
320449
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
1200.15
1200.48
328719
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
1200.15
1200.59
328929
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
1200.15
1200.56
329013
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
1200.15
1200.69
329223
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
1200.15
1200.45
330609
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
1200.15
1200.45
330735
industrial/babic/dspam/
dspam_dump_vc972.cnf
? (TO)
1200.15
1200.67
318317
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
1200.16
1200.48
313608
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (TO)
1200.16
1200.46
313568
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
1200.16
1200.56
314328
industrial/narain/
clauses-8.cnf
? (TO)
1200.16
1200.61
320572
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
? (TO)
1200.16
1200.66
330693
industrial/manolios/
manol-pipe-g10bidw.cnf
? (TO)
1200.17
1200.58
320285
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
1200.17
1200.47
329055
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (TO)
1200.17
1200.59
312968
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
? (TO)
1200.17
1200.59
313128
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
1200.19
1200.51
330861
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
1200.22
1200.55
330903
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
1200.24
1200.66
331029
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
1200.25
1200.72
331197
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
1200.3
1200.65
331113
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
1200.34
1200.68
331071
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
1200.34
1200.85
330987
Solver exceeded the memory limit (no solution given) (2 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (MO)
1052.37
1052.7
330945
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (MO)
1143.92
1144.2
331155
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (14 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.232964
0.233759
308471
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.448931
0.45063
308307
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
1.14882
1.15067
310849
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
5.11822
5.12161
312243
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
25.9221
25.9425
310644
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
47.0388
47.0528
311177
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
97.5612
97.5995
308020
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
138.171
138.216
310890
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
190.216
190.267
311054
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
271.91
272.012
310767
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
291.527
291.613
310972
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
366.709
366.936
310726
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
406.785
406.925
310480
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
708.213
708.464
308881
Solver found a solution (SATISFIABLE) (24 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
3.16552
3.16722
310603
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
3.17252
3.17409
292194
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
10.9113
10.9163
307979
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
15.2997
15.305
309004
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
21.2698
21.3036
312407
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
22.7715
22.7741
299984
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
27.2938
27.3047
312284
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
42.0196
42.0344
310931
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
76.9493
76.9814
291989
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
79.2799
79.3032
310562
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
91.968
91.9958
310439
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf
SAT
141.97
142.017
292153
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
SAT
142.321
142.364
298016
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
181.492
181.556
296540
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
188.402
188.456
308266
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
208.467
208.536
310685
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
230.066
230.144
296663
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
341.718
341.94
308143
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
351.023
351.122
311136
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
353.579
353.712
308963
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
431.153
431.316
307938
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
517.663
517.806
311095
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
SAT
546.528
546.703
308430
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
1167.47
1167.78
291784
Solver timed out (no solution given) (473 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.4
296130
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.48
296499
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
1200.02
1200.28
296991
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
1200.02
1200.31
309168
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
1200.02
1200.45
311792
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
1200.02
1200.28
299902
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
? (TO)
1200.03
1200.34
292112
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.34
292071
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
? (TO)
1200.03
1200.54
292358
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.9
293301
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.45
293383
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
? (TO)
1200.03
1200.44
293793
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
1200.03
1200.37
294121
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
? (TO)
1200.03
1200.45
294449
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.35
295392
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.73
295433
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
? (TO)
1200.03
1200.48
295515
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
? (TO)
1200.03
1200.45
296048
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
? (TO)
1200.03
1200.34
296622
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
? (TO)
1200.03
1200.43
296745
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
1200.03
1200.32
297606
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
1200.03
1200.34
299328
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.45
299492
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
? (TO)
1200.03
1200.45
308553
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
1200.03
1200.48
310275
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
? (TO)
1200.03
1200.34
311587
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.55
294859
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
? (TO)
1200.03
1200.45
298426
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
1200.03
1200.37
304412
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
? (TO)
1200.03
1200.49
292399
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
1200.03
1200.38
304740
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.45
292235
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
? (TO)
1200.04
1200.37
292727
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
1200.04
1200.48
293588
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.45
293465
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
? (TO)
1200.04
1200.37
294162
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.37
294695
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
1200.04
1200.34
295023
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
? (TO)
1200.04
1200.46
295228
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
? (TO)
1200.04
1200.51
296253
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.54
296089
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
1200.04
1200.45
297360
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.45
297688
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
? (TO)
1200.04
1200.45
298262
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
1200.04
1200.37
299123
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.36
299533
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
1200.04
1200.39
303182
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
1200.04
1200.39
303715
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
1200.04
1200.37
304576
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
? (TO)
1200.04
1200.48
312079
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
1200.04
1200.6
312038
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
? (TO)
1200.04
1200.33
291538
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
1200.04
1200.37
297114
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
1200.04
1200.47
307692
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
1200.04
1200.36
298918
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.39
291825
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.39
292440
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
? (TO)
1200.05
1200.59
292563
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
1200.05
1200.39
295146
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.49
295064
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.41
295556
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.51
295884
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.47
295843
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
? (TO)
1200.05
1200.41
296335
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.47
297155
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
1200.05
1200.47
298139
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
1200.05
1200.46
302895
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
1200.05
1200.39
304166
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
1200.05
1200.51
304289
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
1200.05
1200.45
304699
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
1200.05
1200.33
304658
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
1200.05
1200.44
309988
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
? (TO)
1200.05
1200.48
310398
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.48
296581
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.37
296458
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
1200.05
1200.39
302936
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
? (TO)
1200.05
1200.59
308594
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
1200.05
1200.43
310111
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
? (TO)
1200.05
1200.45
300107
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
1200.05
1200.37
298221
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
? (TO)
1200.06
1200.49
291620
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.51
292481
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
1200.06
1200.37
293547
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
1200.06
1200.39
294080
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
1200.06
1200.48
294367
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
? (TO)
1200.06
1200.41
294982
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.66
295474
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.53
296827
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.47
296786
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
? (TO)
1200.06
1200.1
297729
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.42
298959
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
1200.06
1200.52
299451
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
1200.06
1200.51
299656
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
1200.06
1200.49
303387
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
1200.06
1200.62
303961
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
1200.06
1200.77
304330
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
1200.06
1200.38
304535
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
1200.06
1200.37
305027
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
1200.06
1200.47
304986
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
1200.06
1200.49
307774
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
1200.06
1200.48
310029
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
1200.06
1200.49
309824
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
1200.06
1200.34
310070
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
1200.06
1200.39
310234
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
? (TO)
1200.06
1200.45
310316
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
1200.06
1200.39
311300
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
? (TO)
1200.06
1200.46
292522
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
? (TO)
1200.06
1200.49
297893
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.48
300066
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
1200.06
1200.66
303059
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
1200.06
1200.38
307733
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
1200.06
1200.57
308758
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
1200.06
1200.38
310152
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
? (TO)
1200.06
1200.39
312325
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
? (TO)
1200.06
1200.4
312366
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
1200.06
1200.35
297196
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
1200.06
1200.39
297975
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
? (TO)
1200.06
1200.52
308102
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.4
291743
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
291579
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.49
291948
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.39
292686
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.34
293670
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
294408
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.46
294613
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.34
295187
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
? (TO)
1200.07
1200.51
295310
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.62
295720
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
1200.07
1200.47
295761
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.4
296417
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.48
298467
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.42
298795
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
1200.07
1200.47
299205
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
1200.07
1200.4
301050
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
1200.07
1200.63
301214
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
1200.07
1200.61
302608
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
1200.07
1200.43
303592
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
1200.07
1200.46
304494
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
? (TO)
1200.07
1200.62
307815
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
? (TO)
1200.07
1200.38
308184
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
1200.07
1200.51
308389
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
? (TO)
1200.07
1200.33
308225
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
1200.07
1200.41
308635
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
1200.07
1200.45
309537
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
1200.07
1200.45
311751
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
1200.07
1200.45
311915
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
1200.07
1200.57
311997
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
1200.07
1200.4
302485
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
1200.07
1200.5
303510
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
1200.07
1200.46
304904
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
1200.07
1200.38
309332
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.39
292276
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
1200.07
1200.41
298385
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
? (TO)
1200.08
1200.53
291661
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.42
291907
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.16
293916
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.47
294531
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.5
294654
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.5
294818
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.54
295679
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
1200.08
1200.5
295638
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
? (TO)
1200.08
1200.41
295802
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.4
296950
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.5
297524
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.53
297852
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
? (TO)
1200.08
1200.61
298508
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.56
299041
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.43
299082
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
1200.08
1200.36
299287
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.44
299164
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
1200.08
1200.39
301255
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
1200.08
1200.47
301706
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
1200.08
1200.51
301952
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
1200.08
1200.42
302731
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
1200.08
1200.41
303100
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
1200.08
1200.41
303428
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
1200.08
1200.53
303879
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
1200.08
1200.52
304822
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
1200.08
1200.37
305601
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
1200.08
1200.42
305642
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
? (TO)
1200.08
1200.52
309086
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
? (TO)
1200.08
1200.63
309414
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
1200.08
1200.39
309947
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
1200.08
1200.39
311218
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
? (TO)
1200.08
1200.4
311013
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
1200.08
1200.39
311874
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.38
294941
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
? (TO)
1200.08
1200.46
292645
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
? (TO)
1200.08
1200.13
298713
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
1200.08
1200.47
304207
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
1200.08
1200.44
304084
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
? (TO)
1200.08
1200.5
309455
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
? (TO)
1200.08
1200.5
312448
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
1200.08
1200.39
296909
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
1200.08
1200.45
293957
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
1200.08
1200.53
297319
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
1200.08
1200.5
299000
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
? (TO)
1200.09
1200.52
291702
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
? (TO)
1200.09
1200.52
292030
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.43
292891
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.43
293137
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
1200.09
1200.58
293260
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.42
294326
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.52
296007
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
? (TO)
1200.09
1200.42
296704
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.36
297278
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.41
297565
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.6
298098
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.49
298549
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.45
298590
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
1200.09
1200.49
299246
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.4
299697
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.53
299615
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
1200.09
1200.52
300681
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
1200.09
1200.44
300845
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
1200.09
1200.41
301993
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
1200.09
1200.61
302444
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
1200.09
1200.4
303264
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
1200.09
1200.55
303223
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
1200.09
1200.42
303920
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
1200.09
1200.51
306421
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
1200.09
1200.45
306503
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
? (TO)
1200.09
1200.17
307528
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
1200.09
1200.42
307610
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
1200.09
1200.55
308512
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
1200.09
1200.35
308676
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
? (TO)
1200.09
1200.42
308922
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
1200.09
1200.41
309701
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
? (TO)
1200.09
1200.5
311423
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
1200.09
1200.59
311628
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
1200.09
1200.41
312161
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
? (TO)
1200.09
1200.58
298057
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
1200.09
1200.55
304617
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
1200.09
1200.43
309906
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
1200.09
1200.58
293014
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
? (TO)
1200.1
1200.19
292768
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
? (TO)
1200.1
1200.46
293096
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
1200.1
1200.63
293219
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.55
293055
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
1200.1
1200.57
293506
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.4
293711
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.62
293998
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.42
294285
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.4
294572
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
? (TO)
1200.1
1200.43
295105
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
? (TO)
1200.1
1200.4
295966
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.41
296212
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.54
297647
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.52
297483
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
? (TO)
1200.1
1200.5
297811
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.44
298754
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
1200.1
1200.41
300189
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
1200.1
1200.53
300763
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
1200.1
1200.53
301419
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
1200.1
1200.52
301829
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
1200.1
1200.46
302075
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
1200.1
1200.48
302362
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
1200.1
1200.52
302567
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
1200.1
1200.45
304371
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
1200.1
1200.44
304863
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
1200.1
1200.43
306298
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
1200.1
1200.42
306462
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
1200.1
1200.54
307569
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
1200.1
1200.47
308061
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
? (TO)
1200.1
1200.44
308348
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
1200.1
1200.49
308840
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
1200.1
1200.56
309045
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
1200.1
1200.41
309373
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
1200.1
1200.41
309496
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
? (TO)
1200.1
1200.44
309742
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
? (TO)
1200.1
1200.42
309783
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
1200.1
1200.5
310193
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
1200.1
1200.44
310357
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
? (TO)
1200.1
1200.5
310521
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
? (TO)
1200.1
1200.43
311505
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
1200.1
1200.53
311956
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.56
292604
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
? (TO)
1200.1
1200.45
295597
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
? (TO)
1200.1
1200.56
298303
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
1200.1
1200.42
300312
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.61
292317
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
? (TO)
1200.1
1200.5
292850
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
? (TO)
1200.1
1200.55
298877
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
1200.1
1200.54
302321
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
? (TO)
1200.1
1200.39
311382
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
1200.1
1200.49
311341
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
1200.1
1200.49
293342
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
? (TO)
1200.1
1200.52
298631
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.48
291866
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
1200.11
1200.4
293178
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
1200.11
1200.59
293834
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.53
295269
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
? (TO)
1200.11
1200.51
295351
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
1200.11
1200.52
295925
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.42
296171
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
1200.11
1200.67
297032
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.61
297073
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.6
297237
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.4
297770
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.41
298344
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
? (TO)
1200.11
1200.43
298672
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.61
299861
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.88
299943
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
1200.11
1200.56
300148
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
1200.11
1200.44
300230
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
1200.11
1200.15
300968
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
1200.11
1200.26
301132
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
1200.11
1200.39
301091
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
1200.11
1200.59
301337
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
1200.11
1200.56
301542
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
1200.11
1200.4
301747
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
1200.11
1200.44
302649
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
1200.11
1200.41
303469
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
1200.11
1200.44
303551
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
1200.11
1200.47
303756
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
1200.11
1200.42
304043
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
1200.11
1200.51
304453
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
1200.11
1200.5
306093
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
1200.11
1200.51
306995
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
1200.11
1200.56
307651
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
1200.11
1200.55
307897
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
? (TO)
1200.11
1200.41
309127
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
? (TO)
1200.11
1200.5
309578
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
? (TO)
1200.11
1200.69
309619
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
? (TO)
1200.11
1200.48
310808
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
1200.11
1200.42
311464
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
1200.11
1200.57
311669
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
? (TO)
1200.11
1200.5
312120
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
1200.11
1200.49
294900
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
? (TO)
1200.11
1200.42
294777
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
? (TO)
1200.11
1200.4
298180
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
? (TO)
1200.11
1200.38
300025
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
1200.11
1200.46
300640
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
1200.11
1200.44
301173
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
1200.11
1200.47
301624
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
1200.11
1200.44
302813
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
1200.11
1200.66
304125
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
1200.11
1200.53
306011
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
1200.11
1200.45
309291
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
? (TO)
1200.11
1200.41
296376
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
1200.11
1200.4
297934
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
1200.11
1200.46
300353
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
1200.12
1200.61
292809
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
? (TO)
1200.12
1200.47
292932
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.44
292973
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.58
293424
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
1200.12
1200.47
293752
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.6
293629
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.9
294203
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
? (TO)
1200.12
1200.41
294490
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.43
294244
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
? (TO)
1200.12
1200.42
294736
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
? (TO)
1200.12
1200.57
296294
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.6
296868
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
1200.12
1200.49
297401
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
1200.12
1200.53
297442
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
? (TO)
1200.12
1200.51
298836
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
1200.12
1200.38
299574
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
1200.12
1200.27
300599
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
1200.12
1200.43
302854
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
1200.12
1200.54
303305
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
1200.12
1200.65
303346
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
1200.12
1200.61
303674
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
1200.12
1200.62
304248
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
1200.12
1200.55
305724
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
1200.12
1200.47
305847
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
1200.12
1200.98
306175
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
1200.12
1200.42
307036
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
1200.12
1200.43
307856
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
? (TO)
1200.12
1200.41
308799
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
1200.12
1200.54
309250
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
1200.12
1200.53
311259
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
? (TO)
1200.12
1200.46
311546
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
1200.12
1200.72
312202
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
1200.12
1200.46
294039
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
? (TO)
1200.12
1200.42
299779
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
1200.12
1200.43
301378
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
1200.12
1200.62
304781
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
1200.12
1200.56
307405
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
1200.12
1200.9
308717
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
1200.12
1200.55
311710
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
? (TO)
1200.12
1200.53
311833
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
1200.12
1200.52
293875
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
? (TO)
1200.12
1200.43
299738
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
1200.13
1200.44
299369
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
1200.13
1200.64
299410
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
1200.13
1200.45
300476
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
1200.13
1200.44
301460
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
1200.13
1200.48
301788
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
1200.13
1200.57
301870
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
1200.13
1200.46
302157
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
1200.13
1200.18
303018
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
1200.13
1200.54
303141
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
1200.13
1200.43
304002
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
1200.13
1200.44
304945
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
1200.13
1200.46
305068
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
1200.13
1200.57
305888
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
1200.13
1200.51
305806
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
1200.13
1200.66
306380
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
1200.13
1200.48
306544
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
1200.13
1200.48
306831
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
1200.13
1200.52
309209
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
? (TO)
1200.13
1200.64
309660
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
1200.13
1200.53
309865
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
? (TO)
1200.13
1200.17
299820
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
1200.13
1200.54
300517
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
1200.13
1200.46
302198
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
1200.13
1200.46
302403
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
1200.13
1200.56
302977
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
1200.13
1200.48
303633
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
1200.13
1200.41
306134
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
1200.14
1200.18
300435
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
1200.14
1200.57
300804
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
1200.14
1200.59
300886
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
1200.14
1200.58
301009
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
1200.14
1200.64
302772
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
1200.14
1200.49
302690
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
1200.14
1200.6
303838
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
1200.14
1200.29
303797
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
1200.14
1200.46
305560
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
1200.14
1200.49
305929
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
1200.14
1200.67
306913
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
1200.14
1200.56
306954
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
1200.14
1200.45
307118
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
1200.14
1200.5
306790
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
1200.14
1200.5
307323
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
1200.14
1200.54
307487
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
1200.15
1200.19
301296
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
1200.15
1200.52
301665
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
1200.15
1200.48
301911
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
1200.15
1200.48
302239
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
1200.15
1200.53
305191
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
1200.15
1200.64
305683
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
1200.15
1200.68
306216
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
1200.15
1200.66
306585
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
1200.15
1200.51
300394
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
1200.16
1200.57
300271
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
1200.16
1200.58
300722
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
1200.16
1200.61
300927
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
1200.16
1200.61
301501
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
1200.16
1200.47
302034
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
1200.16
1200.7
302116
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
1200.16
1200.63
302280
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
1200.16
1200.51
306626
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
1200.16
1200.6
300558
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
1200.16
1200.56
306667
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
1200.17
1200.61
301583
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
1200.17
1200.66
305396
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
1200.17
1200.6
305478
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
1200.17
1200.48
305765
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
1200.17
1200.59
307241
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
1200.17
1200.49
302526
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
1200.17
1200.55
305519
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
1200.18
1200.94
305232
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
1200.18
1200.46
306339
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
1200.19
1200.47
305273
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
1200.19
1200.47
305970
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
1200.19
1200.68
306749
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
1200.19
1200.63
307282
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
1200.19
1200.72
306052
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
1200.19
1200.92
306708
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
1200.21
1200.36
305150
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
1200.21
1200.57
305437
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
1200.21
1200.56
307159
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
1200.21
1200.86
307077
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
1200.21
1200.52
306257
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
1200.21
1200.53
306872
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
1200.22
1200.64
305109
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
1200.22
1200.69
305355
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
1200.22
1200.61
305314
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
1200.22
1200.68
307200
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
1200.22
1200.65
307364
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
1200.22
1200.54
307446