SAT 2007 Competition Phase 2: benchmarks results per solver
Result page for solver picosat
535
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (38 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
UNSAT
0.366943
0.369433
456065
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.439933
0.445165
456050
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.607906
0.609788
456062
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
UNSAT
1.08183
1.08299
456077
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
UNSAT
1.37179
1.372
456068
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
UNSAT
1.71574
1.7206
456074
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
4.74528
4.74771
456071
crafted/spence/
medium/s57-100.cnf
UNSAT
8.5557
8.56008
455843
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
17.8123
17.8267
456038
crafted/spence/
medium/s61-100.cnf
UNSAT
18.1802
18.1863
455831
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
33.8259
33.8403
456041
crafted/spence/
medium/s65-100.cnf
UNSAT
45.747
45.7612
455855
crafted/spence/
medium/s69-100.cnf
UNSAT
172.967
173.022
455837
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
UNSAT
185.889
185.943
456023
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
216.748
216.837
456083
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
299.635
299.753
456107
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
317.243
317.335
456080
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
UNSAT
434.94
435.056
456461
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
455.894
456.058
456101
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
472.321
472.546
456098
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
590.572
590.798
456047
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
641.456
641.595
456545
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
UNSAT
787.731
788.041
456020
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
936.181
936.443
456464
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
1080.59
1081.05
456029
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
1144.68
1144.98
456206
crafted/spence/
medium/s77-100.cnf
UNSAT
1290.68
1291.16
455828
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
1426.04
1426.56
456443
crafted/spence/
medium/s73-100.cnf
UNSAT
1470.21
1470.62
455846
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
1607.03
1607.57
456452
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
1791.12
1791.6
456449
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
1843.12
1843.76
456551
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
2196.54
2197.41
456128
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
3457.88
3458.92
456200
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
3763.01
3764.51
456446
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
3797.19
3798.29
456572
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
3820.87
3821.95
456131
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
4379.58
4380.83
456563
Solver found a solution (SATISFIABLE) (22 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf
SAT
1.10583
1.13885
456053
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
1.14982
1.15186
456035
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
3.41648
3.43117
456056
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
3.69244
3.75946
456044
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
SAT
8.36973
8.37524
456113
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
13.7579
13.7629
456122
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
43.7064
43.7252
456095
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
65.4031
65.4228
456314
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
SAT
75.9685
75.9904
456119
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
SAT
81.4226
81.7169
456059
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
SAT
145.681
145.769
456137
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
162.717
162.763
456110
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
194.762
194.834
456092
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
245.263
245.335
456089
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
335.166
335.259
456125
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
356.678
356.805
456116
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
371.304
371.439
456299
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
507.366
507.518
456086
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
881.204
881.467
456539
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
1001.26
1001.52
456134
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
1477.92
1478.31
456518
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
2550.64
2551.7
456473
Solver didn't decide (UNKNOWN) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
?
2905.97
2906.88
456488
Solver timed out (no solution given) (140 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
5000.01
5001.51
456425
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.01
5001.41
456491
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
5000.02
5001.71
456257
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
5000.02
5001.61
456296
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.02
5002.01
456302
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
5000.02
5001.61
456482
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.02
5001.31
456500
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.02
5001.61
456410
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.02
5001.51
456359
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.02
5001.81
456197
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.02
5002.01
456428
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
5000.02
5001.81
456437
crafted/spence/
hard/s101-100.cnf
? (TO)
5000.03
5001.71
455861
crafted/spence/
hard/s117-100.cnf
? (TO)
5000.03
5002.01
455867
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.03
5002.02
456185
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
5000.03
5001.62
456203
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000.03
5001.62
456218
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
5000.03
5001.91
456362
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.03
5000.01
456380
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
? (TO)
5000.03
5001.51
456392
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
5000.03
5002.02
456398
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
? (TO)
5000.03
5001.61
456467
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.03
5001.91
456494
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
? (TO)
5000.03
5001.91
456557
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.03
5000.01
456521
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.03
5001.51
456209
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
5000.03
5001.61
456242
crafted/spence/
medium/s93-100.cnf
? (TO)
5000.04
5001.51
455840
crafted/spence/
hard/s105-100.cnf
? (TO)
5000.04
5002.01
455873
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.04
5001.43
456182
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000.04
5001.51
456149
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
5000.04
5001.61
456164
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
5000.04
5002.11
456155
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
5000.04
5001.91
456287
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
5000.04
5001.62
456272
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
5000.04
5001.42
456263
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
5000.04
5001.71
456419
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
? (TO)
5000.04
5001.31
456440
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
5000.04
5001.62
456512
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
5000.04
5002.11
456509
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
? (TO)
5000.04
5001.91
456245
crafted/spence/
medium/s81-100.cnf
? (TO)
5000.05
5001.71
455834
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
5000.05
5001.41
456104
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
5000.05
5001.81
456233
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
5000.05
5002.01
456335
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.05
5001.51
456215
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.05
5001.51
456275
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.05
5001.51
456377
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
5000.05
5002.01
456401
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
? (TO)
5000.05
5002.11
456554
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.05
5002.01
456140
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
5000.05
5001.51
456326
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
? (TO)
5000.05
5002.11
456548
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.05
5001.84
456470
crafted/spence/
hard/s113-100.cnf
? (TO)
5000.06
5001.61
455858
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.06
5001.91
456188
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
5000.06
5001.62
456212
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.06
5001.61
456290
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.06
5002.01
456347
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
? (TO)
5000.06
5001.51
456389
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.06
5002.22
456407
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.06
5001.53
456305
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.06
5001.41
456308
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
5000.06
5001.62
456404
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.06
5002.11
456413
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.06
5001.51
456416
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
5000.06
5001.44
456506
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
? (TO)
5000.06
5002.01
456251
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
5000.06
5001.52
456278
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
5000.06
5001.53
456341
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
5000.07
5002.01
456152
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.07
5001.71
456170
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
5000.07
5001.51
456161
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
5000.07
5002.11
456236
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.07
5002.11
456365
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
? (TO)
5000.07
5001.61
456350
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.07
5001.91
456395
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
5000.07
5001.61
456293
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
5000.07
5001.41
456503
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.07
5002.02
456332
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
5000.07
5001.51
456530
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.07
5001.65
456476
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.08
5001.81
456158
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
5000.08
5001.51
456032
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.08
5001.72
456221
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
5000.08
5001.72
456284
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
5000.08
5001.61
456317
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.08
5001.41
456383
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
? (TO)
5000.08
5001.51
456386
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
5000.08
5002.01
456431
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.08
5001.61
456434
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
? (TO)
5000.08
5001.71
456536
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
? (TO)
5000.08
5002.01
456455
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.08
5001.41
456515
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.08
5001.81
456542
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.08
5001.46
456146
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
? (TO)
5000.08
5001.91
456458
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
? (TO)
5000.08
5001.41
456527
crafted/spence/
hard/s97-100.cnf
? (TO)
5000.09
4999.91
455870
crafted/spence/
hard/s109-100.cnf
? (TO)
5000.09
5001.61
455864
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.09
5001.51
456191
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
? (TO)
5000.09
5001.61
456143
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
5000.09
5001.81
456194
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
5000.09
5001.72
456329
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
? (TO)
5000.09
5001.51
456371
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
5000.09
5001.91
456374
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
5000.09
5001.91
456254
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
5000.09
5001.51
456281
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
5000.09
5001.61
456368
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
5000.09
5001.41
456524
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
? (TO)
5000.09
5001.61
456569
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
5000.09
5001.71
456479
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
? (TO)
5000.09
5001.61
456230
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
5000.09
5001.41
456323
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
5000.09
5002.01
456248
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
5000.09
5001.42
456338
crafted/spence/
medium/s89-100.cnf
? (TO)
5000.1
5001.91
455849
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.1
5002.31
456176
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.1
5001.81
456173
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.1
5002.11
456224
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.1
5001.72
456227
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
5000.1
5001.41
456320
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
5000.1
5001.41
456260
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.1
5001.51
456344
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
? (TO)
5000.1
5002.01
456533
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
5000.1
5003.61
456560
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
5000.1
5001.91
456566
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
5000.1
5001.51
456266
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
5000.1
5001.73
456269
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.1
5001.91
456422
crafted/spence/
medium/s85-100.cnf
? (TO)
5000.11
5002.11
455852
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.11
5001.61
456179
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.11
5002.11
456167
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.11
5002.01
456356
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000.11
5002.01
456497
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
5000.11
5002.11
456239
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
5000.12
5001.52
456026
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
5000.12
5001.84
456353
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.12
5001.63
456485
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
5000.14
5001.65
456311
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (67 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
2.17067
2.17794
356562
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
2.22966
2.2326
356586
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
2.77958
2.78381
356574
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
2.81557
2.81806
356598
industrial/babic/dspam/
dspam_dump_vc962.cnf
UNSAT
3.53446
3.53521
356391
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
3.58345
3.58628
356582
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
4.11137
4.11424
356451
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
5.57515
5.57747
356431
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
6.17306
6.17559
356462
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
6.19706
6.20673
356427
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
6.25705
6.2714
356439
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
7.2139
7.2157
356447
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
7.50386
7.50774
356443
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
8.16176
8.17286
356455
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
16.3735
16.3813
356459
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
20.2129
20.2191
356435
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
34.4118
34.4218
356423
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
75.9145
75.9344
356243
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
84.8761
84.9005
356350
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
85.316
85.3456
356327
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
88.5805
88.5793
356469
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
119.169
119.224
356293
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
121.14
121.17
356298
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
134.451
134.489
356247
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
144.22
144.279
356319
industrial/narain/
clauses-10.cnf
UNSAT
156.148
156.222
356556
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
169.807
169.858
356346
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
200.094
200.165
356331
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
200.444
200.495
356259
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
212.311
212.368
356354
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
214.67
214.73
356615
industrial/manolios/
manol-pipe-c10nidw_s.cnf
UNSAT
216.819
216.877
356530
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
247.704
247.776
356374
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
288.172
288.3
356302
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
293.862
293.943
356255
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
312.336
312.411
356342
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
318.103
318.171
356465
industrial/babic/dspam/
dspam_dump_vc972.cnf
UNSAT
321.13
321.212
356398
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
364.509
364.609
356370
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
378.716
378.825
356335
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
383.447
383.56
356602
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
427.776
427.889
356251
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
465.737
465.868
356305
industrial/babic/
dspam/dspam_dump_vc1104.cnf
UNSAT
472.117
472.28
356402
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
599.285
599.464
356523
industrial/manolios/
manol-pipe-g10nid.cnf
UNSAT
602.671
602.862
356542
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
609.087
609.237
356416
industrial/manolios/
manol-pipe-g10bidw.cnf
UNSAT
661.212
661.436
356533
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
736.222
736.425
356537
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
772.237
772.434
356308
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
805.683
805.939
356338
industrial/babic/dspam/
dspam_dump_vc973.cnf
UNSAT
996.932
997.215
356406
industrial/babic/dspam/
dspam_dump_vc950.cnf
UNSAT
1269.07
1269.41
355915
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
1274.51
1274.85
355896
industrial/babic/
dspam/dspam_dump_vc1093.cnf
UNSAT
1739.67
1740.14
355913
industrial/
manolios/manol-pipe-f9b.cnf
UNSAT
2112.77
2113.63
355927
industrial/manolios/
manol-pipe-c7bidw_i.cnf
UNSAT
2294.91
2295.57
355930
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
2297.73
2298.51
355895
industrial/
manolios/manol-pipe-f9n.cnf
UNSAT
2506.74
2507.52
355929
industrial/babic/
dspam/dspam_dump_vc1103.cnf
UNSAT
2941.37
2942.29
355914
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
3146.46
3147.37
355878
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
3440.58
3441.32
355921
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
3522.63
3523.58
355883
industrial/manolios/
manol-pipe-c7nidw.cnf
UNSAT
3762.17
3763.2
355928
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
4853.11
4855.06
355912
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
5634.52
5636.6
355894
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
UNSAT
8979.94
8982.73
355973
Solver found a solution (SATISFIABLE) (72 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
4.20736
4.21554
356548
industrial/babic/
xinetd/itox_vc909.cnf
SAT
6.47102
6.5711
356578
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
9.68153
9.74975
356594
industrial/grieu/
vmpc_25.cnf
SAT
11.6102
11.6156
356504
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
11.6502
11.713
356590
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
SAT
21.6767
21.7036
356263
industrial/palacios/medium/
safe-30-h30-sat.cnf
SAT
21.7417
21.7635
356364
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
21.9677
22.045
356570
industrial/babic/
xinetd/itox_vc1130.cnf
SAT
23.6354
23.6586
356566
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
27.8788
27.9114
356277
industrial/grieu/
vmpc_27.cnf
SAT
42.5005
42.5176
356508
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
SAT
49.2165
49.2502
356281
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
57.1363
57.1598
356315
industrial/narain/
clauses-4.cnf
SAT
61.6096
61.6524
356552
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
SAT
68.9055
68.9428
356271
industrial/grieu/
vmpc_24.cnf
SAT
72.353
72.3736
356513
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
SAT
75.3835
75.4447
356274
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
SAT
98.9979
99.0361
356361
industrial/grieu/
vmpc_26.cnf
SAT
100.966
101.002
356521
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
SAT
120.098
120.232
356283
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
147.353
147.405
356323
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
SAT
158.714
158.873
356649
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
179.428
179.483
356477
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
181.585
181.671
356609
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
SAT
191.059
191.159
356265
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
SAT
209.836
209.973
356641
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
212.115
212.176
356495
industrial/grieu/
vmpc_31.cnf
SAT
238.324
238.418
356514
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
268.522
268.62
356489
industrial/grieu/
vmpc_28.cnf
SAT
280.65
280.718
356517
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
326.636
326.734
356473
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
374.891
374.996
356497
industrial/grieu/
vmpc_30.cnf
SAT
458.614
458.746
356509
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
500.427
500.691
356625
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
SAT
520.252
520.47
356268
industrial/fuhs/medium/
AProVE07-11.cnf
SAT
570.092
570.311
356289
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
SAT
661.423
661.679
356633
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
662.343
662.546
356359
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
668.12
668.312
356278
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
693.827
694.021
356267
industrial/
crypto/mizh-md5-47-4.cnf
SAT
694.14
694.354
356483
industrial/
crypto/mizh-md5-47-5.cnf
SAT
739.193
739.405
356500
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
SAT
795.146
795.518
356653
industrial/narain/
clauses-6.cnf
SAT
798.344
798.758
356558
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
SAT
852.976
853.254
356645
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
SAT
904.854
906.014
356366
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
SAT
920.645
921.12
356629
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
975.351
975.638
356621
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
SAT
990.216
990.582
356637
industrial/
crypto/mizh-md5-48-2.cnf
SAT
992.856
993.179
356480
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
1056.36
1056.77
356657
industrial/palacios/hard/
safe-50-h50-sat.cnf
SAT
1214.55
1214.95
355905
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
SAT
1280.28
1280.66
355977
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
SAT
1421.6
1422.03
355971
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
SAT
1460.38
1460.84
355864
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
SAT
1843.31
1844.1
355866
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
SAT
2614.3
2615.16
355981
industrial/
crypto/mizh-md5-47-3.cnf
SAT
2749.42
2750.18
355922
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
SAT
3174.75
3175.71
355982
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
SAT
3287.48
3288.55
355970
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
SAT
3766.93
3768.46
355862
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
SAT
3998.22
3999.56
355972
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
SAT
4153.88
4155.11
355969
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
SAT
4715.44
4716.98
355868
industrial/narain/
clauses-8.cnf
SAT
5483.93
5485.83
355932
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
SAT
5840.1
5841.82
355976
industrial/
crypto/mizh-md5-48-5.cnf
SAT
6172.18
6174.06
355923
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
SAT
6199.83
6199.78
355967
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
SAT
6453.63
6456.07
355979
industrial/palacios/medium/
cube-11-h14-sat.cnf
SAT
7463.73
7465.97
355910
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
SAT
8828.96
8831.59
355975
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
SAT
9383.38
9386.13
355968
Solver timed out (no solution given) (95 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
10000
10004
355947
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
10000
10003.2
355951
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
? (TO)
10000
10004.2
355884
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
10000
10002.8
355880
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
? (TO)
10000
10003.9
355881
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000
10003.8
355887
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
10000
10003.8
355888
industrial/fuhs/medium/
AProVE07-02.cnf
? (TO)
10000
10003.8
355893
industrial/fuhs/hard/
AProVE07-03.cnf
? (TO)
10000
10003.8
355899
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000
10002.9
355903
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000
10003.1
355904
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
? (TO)
10000
9999.91
355909
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000
10002.8
355919
industrial/grieu/
vmpc_29.cnf
? (TO)
10000
10004
355925
industrial/grieu/
vmpc_34.cnf
? (TO)
10000
10003.2
355926
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
10000
10003.3
355936
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
10000
10003.2
355960
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
10000
10003
355964
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
10000
10002.7
355978
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
10000
10002.8
355980
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
10000
10002.8
355938
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.1
10003.2
355945
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.1
10002.9
355948
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.1
10003.1
355949
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.1
10002.8
355950
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.1
10003.1
355952
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.1
10002.7
355953
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.1
10003.6
355954
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
? (TO)
10000.1
10003.1
355956
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.1
10002.9
355957
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.1
10003.1
355958
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.1
10003.9
355870
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10002.9
355891
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
10000.1
10003.1
355991
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
10000.1
10002.8
355990
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
10000.1
10000.1
355987
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.1
10003.4
355985
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
10000.1
10003.7
355984
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
10000.1
10003.1
355983
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.1
10002.8
355874
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.1
10002.6
355869
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
10000.1
10003.8
355974
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
10000.1
10003.7
355867
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
10000.1
10004.1
355861
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10003.5
355872
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
10000.1
10003
355863
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (TO)
10000.1
10003.5
355865
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.1
10003.8
355876
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.1
10003
355879
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
10000.1
10003.1
355882
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.8
355885
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (TO)
10000.1
10004.1
355886
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000.1
10003.1
355889
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000.1
10003
355890
industrial/fuhs/hard/
AProVE07-08.cnf
? (TO)
10000.1
10002.9
355898
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10003.9
355897
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
10003.9
355900
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
10003.7
355901
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
10000.1
10002.8
355902
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.1
10004.1
355906
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10003.1
355907
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
10003.1
355908
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
10000.1
10002.9
355911
industrial/babic/
dspam/dspam_dump_vc1080.cnf
? (TO)
10000.1
10003
355917
industrial/babic/
dspam/dspam_dump_vc1081.cnf
? (TO)
10000.1
10002.9
355916
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000.1
10004
355918
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
10000.1
10003.5
355920
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.1
10002.8
355924
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.1
10002.7
355934
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.1
10002.9
355933
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
10000.1
10003
355931
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
10000.1
10003
355935
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.1
10003.8
355937
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.1
10004.2
355939
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.1
10003
355940
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
10003.7
355941
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
10000.1
10004.2
355942
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.1
10002.5
355943
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
10000.1
10005.8
355944
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.1
10003.2
355946
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.1
10003
355955
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
10002.8
355959
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.1
10003.1
355961
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.1
10002.7
355962
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.1
10003.6
355963
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.1
10002.8
355966
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.1
10003.9
355988
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.1
10002.8
355989
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.1
10003.8
355965
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (TO)
10000.2
10002.9
355875
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (TO)
10000.2
10003
355871
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (TO)
10000.2
10003.1
355873
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.2
10003.3
355877
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.2
10003.1
355892
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
10000.2
10003.1
355986