SAT 2007 Competition Phase 2: benchmarks results per solver
Result page for solver MXC
2007-02-08
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (57 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/spence/
medium/s57-100.cnf
UNSAT
1.55876
1.57108
370018
crafted/spence/
medium/s61-100.cnf
UNSAT
2.02369
2.03899
370001
crafted/spence/
medium/s65-100.cnf
UNSAT
8.36873
8.38597
370035
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
10.2934
10.3109
370056
crafted/spence/
medium/s69-100.cnf
UNSAT
12.3051
12.3215
370010
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
23.7114
23.732
370052
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
44.0693
44.0968
370098
crafted/spence/
medium/s73-100.cnf
UNSAT
46.288
46.3207
370023
crafted/spence/
medium/s77-100.cnf
UNSAT
68.8405
68.8712
369996
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
110.451
110.502
370118
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
122.128
122.174
370154
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
129.087
129.148
370045
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
129.321
129.385
370063
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
131.919
131.967
370115
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
140.69
140.743
370149
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
154.108
154.166
370177
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
UNSAT
155.625
155.681
370190
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
207.157
207.236
370123
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
210.436
210.568
370227
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
210.734
210.797
370193
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
240.691
240.768
370095
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
264.224
264.32
370184
crafted/spence/
medium/s81-100.cnf
UNSAT
295.961
296.048
370006
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
324.898
325.036
370181
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
339.256
339.597
370236
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
420.614
420.732
370167
crafted/spence/
medium/s85-100.cnf
UNSAT
438.29
438.423
370031
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
451.325
451.613
370225
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
552.751
553.052
370234
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
613.236
613.583
370186
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
636.115
636.478
370231
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
745.056
745.393
370175
crafted/spence/
medium/s89-100.cnf
UNSAT
765.238
765.455
370027
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
786.482
786.887
370229
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
900.358
900.917
370179
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
UNSAT
1134.94
1135.42
370219
crafted/spence/
medium/s93-100.cnf
UNSAT
1174.95
1175.25
370014
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
UNSAT
1201.77
1202.24
370168
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
1217.82
1218.38
369087
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
UNSAT
1232.54
1232.85
369188
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
1433.38
1433.78
369189
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
1488.11
1488.5
369062
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
UNSAT
1723.62
1724.1
369099
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
UNSAT
1734.2
1734.8
369190
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
UNSAT
2032.11
2032.8
369146
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
UNSAT
2356.92
2357.69
369097
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
UNSAT
2374.41
2375.15
369125
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
2510.49
2511.22
369085
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
UNSAT
2941.12
2941.95
369150
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
3135.42
3136.39
369163
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
UNSAT
3350.81
3351.91
369145
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
UNSAT
4294.21
4295.79
369141
crafted/spence/
hard/s101-100.cnf
UNSAT
4343.19
4344.44
369045
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
UNSAT
4481.56
4483
369098
crafted/spence/
hard/s97-100.cnf
UNSAT
4556.23
4557.67
369048
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
4668.75
4670.25
369066
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
UNSAT
4734.73
4736.13
369185
Solver found a solution (SATISFIABLE) (20 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
5.66414
5.68444
370072
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
16.5045
16.5253
370141
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
28.5107
28.5336
370108
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf
SAT
31.3792
31.4056
370069
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
43.7993
43.8265
370049
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
SAT
68.8835
68.9191
370137
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
90.3263
90.3645
370102
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
116.228
116.288
370112
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
141.789
141.84
370105
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
153.433
153.499
370127
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
185.809
185.893
370059
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
199.689
199.756
370144
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
359.585
359.733
370133
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
SAT
607.777
607.945
370161
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
SAT
882.428
882.837
370216
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
SAT
1222.04
1222.37
369063
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
SAT
1634.1
1634.63
369055
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
SAT
1646.96
1648.14
369177
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
3064.59
3065.76
369181
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
3548.59
3549.61
369064
Solver timed out (no solution given) (124 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
5000.01
5001.41
369070
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.01
5002.01
369173
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
5000.01
5002.01
369183
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
? (TO)
5000.02
5001.52
369060
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.02
5001.52
369082
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.02
5001.91
369067
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.02
5001.92
369092
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.02
5001.51
369084
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
5000.02
5001.41
369111
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
? (TO)
5000.02
5001.51
369115
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.02
5001.41
369138
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
? (TO)
5000.03
5001.92
369050
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
5000.03
5001.41
369069
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.03
5001.41
369075
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.03
5001.51
369094
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
? (TO)
5000.03
5001.61
369101
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.03
5001.41
369090
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
5000.03
5001.92
369106
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.03
5001.51
369143
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.03
5001.51
369153
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
5000.03
5001.41
369168
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
5000.04
5001.41
369089
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.04
5001.62
369108
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
5000.04
5001.51
369121
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
5000.04
5001.52
369139
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.04
5001.51
369159
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000.04
5001.61
369174
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
? (TO)
5000.04
5002.01
369191
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
5000.04
5001.91
369178
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
? (TO)
5000.05
5001.62
369057
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
? (TO)
5000.05
5002.11
369056
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.05
5001.53
369079
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
5000.05
5001.41
369100
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
5000.05
5001.41
369116
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.05
5002.11
369117
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
5000.05
5002.01
369105
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.05
5001.52
369132
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
? (TO)
5000.05
5001.62
369140
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
5000.05
5001.41
369156
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.05
5001.41
369157
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
? (TO)
5000.05
5001.61
369164
crafted/spence/
hard/s113-100.cnf
? (TO)
5000.06
5001.51
369044
crafted/spence/
hard/s105-100.cnf
? (TO)
5000.06
5003.31
369049
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000.06
5001.21
369068
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.06
5001.41
369081
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.06
5001.71
369155
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.06
5001.91
369180
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
? (TO)
5000.06
5001.71
369184
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
5000.07
5001.63
369052
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
? (TO)
5000.07
5001.63
369059
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
? (TO)
5000.07
5001.41
369051
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.07
5001.81
369065
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
5000.07
5001.51
369073
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.07
5001.52
369076
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
? (TO)
5000.07
5001.41
369095
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.07
5001.81
369113
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.07
5002.11
369144
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
5000.07
5002.01
369169
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.07
5002.11
369175
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.07
5001.61
369182
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.08
5001.53
369080
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
5000.08
5004.01
369110
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
5000.08
5001.41
369151
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
5000.08
5001.71
369158
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
? (TO)
5000.09
5001.52
369058
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.09
5002.91
369074
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
5000.09
5001.51
369096
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.09
5001.51
369078
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
5000.09
5002.02
369086
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.09
5001.62
369088
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
5000.09
5001.91
369112
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
5000.09
5001.91
369114
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
5000.09
5002.02
369122
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
5000.09
5001.72
369104
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
5000.09
5001.41
369124
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
5000.09
5001.47
369134
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.09
5002.02
369131
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
5000.09
5002.01
369128
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
5000.09
5001.63
369179
crafted/spence/
hard/s109-100.cnf
? (TO)
5000.1
5002.01
369046
crafted/spence/
hard/s117-100.cnf
? (TO)
5000.1
5001.61
369047
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
? (TO)
5000.1
5002.01
369054
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
? (TO)
5000.1
5002.02
369061
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
5000.1
5001.91
369072
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000.1
5001.72
369091
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.1
5002.11
369077
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
5000.1
5002.02
369102
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.1
5001.81
369119
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
5000.1
5001.62
369107
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
5000.1
5001.5
369129
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.1
5001.51
369136
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
5000.1
5001.41
369123
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.1
5001.94
369152
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.1
5001.61
369148
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.1
5001.51
369142
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.1
5001.94
369170
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
5000.1
5001.41
369160
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.1
5001.61
369161
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
? (TO)
5000.1
5001.43
369186
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
5000.11
5001.42
369053
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.11
5001.41
369071
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.11
5001.41
369093
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
5000.11
5001.41
369083
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
5000.11
4999.92
369109
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
5000.11
5001.51
369103
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
5000.11
5000.01
369137
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
? (TO)
5000.11
5001.81
369133
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
? (TO)
5000.11
5001.51
369147
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
5000.11
5003.62
369149
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.11
5001.71
369154
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.11
5001.71
369172
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
5000.11
5002.01
369162
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
? (TO)
5000.11
5001.8
369171
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
5000.11
5001.61
369176
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.11
5001.82
369187
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.12
5001.61
369135
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
5000.13
5001.62
369126
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.13
5001.89
369127
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.14
5001.85
369165
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
? (TO)
5000.15
5001.47
369166
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.17
5001.52
369167
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.18
5001.89
369118
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
5000.19
5001.56
369130
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
5000.29
5001.61
369120
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (69 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
0.194969
0.207916
367677
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.19497
0.207122
367682
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
0.231963
0.246991
367679
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
0.262959
0.276854
367685
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
0.341947
0.354802
367681
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
0.976851
0.990572
367644
industrial/babic/dspam/
dspam_dump_vc950.cnf
UNSAT
2.13867
2.1532
367643
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
2.23466
2.24989
367645
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
3.18451
3.19938
367649
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
3.2985
3.31335
367655
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
4.56631
4.58246
367647
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
4.70228
4.72453
367651
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
6.07508
6.10462
367653
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
6.29404
6.30791
367646
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
8.00078
8.01995
367652
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
9.70153
9.72366
367654
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
24.4833
24.5045
367615
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
33.7129
33.7503
367650
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
37.8302
37.8543
367657
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
44.5132
44.5511
367648
industrial/babic/dspam/
dspam_dump_vc972.cnf
UNSAT
49.7434
49.7938
367642
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
50.9642
50.989
367616
industrial/narain/
clauses-10.cnf
UNSAT
98.1241
98.1648
367676
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
133.6
133.654
367633
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
137.703
137.754
367619
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
141.492
141.544
367656
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
171.713
171.773
367617
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
199.363
199.456
367638
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
219.631
219.71
367686
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
260.17
260.252
367624
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
260.687
260.801
367641
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
280.079
280.171
367629
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
297.04
297.133
367626
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
317.644
317.743
367618
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
323.718
323.841
367636
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
328.513
328.615
367628
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
357.869
358.017
367637
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
428.188
428.309
367634
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
449.639
449.775
367640
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
491.725
491.727
367627
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
509.223
509.384
367635
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
565.335
565.474
367688
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
580.691
580.844
367631
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
622.684
622.929
367658
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
734.952
735.17
367674
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
1020.98
1021.37
367625
industrial/fuhs/medium/
AProVE07-02.cnf
UNSAT
1054.66
1054.92
367622
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
1465.53
1465.99
367490
industrial/fuhs/hard/
AProVE07-03.cnf
UNSAT
1757.45
1758
367509
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
1958.74
1959.52
367521
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
2214.74
2215.47
367543
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
2232.91
2233.79
367508
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
2501.15
2501.86
367495
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
2594.77
2595.52
367520
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
2625.63
2627.18
367506
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
3240.96
3241.91
367537
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
3257.28
3258.27
367523
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
4120.9
4122.45
367465
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
UNSAT
4528.25
4529.68
367496
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
UNSAT
4636.82
4638.4
367579
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
UNSAT
4782.04
4783.32
367493
industrial/
manolios/manol-pipe-f9b.cnf
UNSAT
5154.95
5156.33
367544
industrial/babic/dspam/
dspam_dump_vc962.cnf
UNSAT
5437.4
5439.47
367529
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
6269.45
6271.24
367512
industrial/manolios/
manol-pipe-g10nid.cnf
UNSAT
7679.76
7682.55
367549
industrial/manolios/
manol-pipe-c7bidw_i.cnf
UNSAT
8416.75
8419.89
367550
industrial/
manolios/manol-pipe-f9n.cnf
UNSAT
8744.51
8748.53
367548
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
UNSAT
9704.1
9706.83
367519
industrial/manolios/
manol-pipe-g10bidw.cnf
UNSAT
9862.01
9865.22
367547
Solver found a solution (SATISFIABLE) (47 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
6.28051
3.20881
367675
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
SAT
22.1836
22.2238
367692
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
SAT
22.6336
22.6677
367693
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
SAT
32.916
33.0123
367691
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
SAT
39.486
39.5292
367694
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
47.2348
47.2647
367690
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
SAT
55.0316
55.0839
367696
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
SAT
62.3755
62.4158
367695
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
63.6393
63.6767
367678
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
SAT
70.6413
70.6828
367697
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
80.6587
80.7092
367683
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
92.9169
92.96
367666
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
94.1047
94.1901
367698
industrial/grieu/
vmpc_24.cnf
SAT
103.542
103.588
367671
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
104.665
104.742
367632
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
108.684
108.746
367689
industrial/
crypto/mizh-md5-47-4.cnf
SAT
116.919
116.965
367662
industrial/grieu/
vmpc_27.cnf
SAT
118.085
118.132
367670
industrial/babic/
xinetd/itox_vc909.cnf
SAT
120.831
120.892
367680
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
123.426
123.475
367684
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
129.64
129.699
367660
industrial/
crypto/mizh-md5-47-5.cnf
SAT
144.751
144.93
367668
industrial/grieu/
vmpc_25.cnf
SAT
155.348
155.405
367669
industrial/
crypto/mizh-md5-48-2.cnf
SAT
161.061
161.134
367661
industrial/
crypto/mizh-md5-47-3.cnf
SAT
173.559
173.625
367663
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
175.752
175.813
367630
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
SAT
187.231
187.308
367620
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
199.955
200.084
367664
industrial/grieu/
vmpc_26.cnf
SAT
214.658
214.746
367673
industrial/fuhs/medium/
AProVE07-11.cnf
SAT
259.841
259.948
367623
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
261.775
261.862
367659
industrial/
crypto/mizh-md5-48-5.cnf
SAT
403.38
403.536
367665
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
SAT
655.969
656.172
367687
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
929.642
930.014
367667
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
930.273
930.621
367639
industrial/grieu/
vmpc_28.cnf
SAT
947.951
948.224
367672
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
999.612
999.938
367621
industrial/narain/
clauses-4.cnf
SAT
1205.01
1205.41
367553
industrial/grieu/
vmpc_30.cnf
SAT
1584.54
1585.16
367538
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
SAT
1608.71
1609.34
367473
industrial/palacios/medium/
safe-30-h30-sat.cnf
SAT
1847.65
1848.15
367526
industrial/grieu/
vmpc_29.cnf
SAT
4268.62
4270.19
367541
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
SAT
4276.02
4277.3
367477
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
SAT
5675.93
5677.95
367593
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
SAT
5891.67
5893.07
367479
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
SAT
7785.18
7787.32
367527
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
SAT
9930.14
9933.82
367525
Solver timed out (no solution given) (118 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000
10003.9
367535
industrial/grieu/
vmpc_31.cnf
? (TO)
10000
10002.8
367540
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.1
10002.9
367488
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
? (TO)
10000.1
10003.8
367524
industrial/babic/dspam/
dspam_dump_vc973.cnf
? (TO)
10000.1
10003
367532
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
10000.1
10003.9
367558
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.1
10002.9
367566
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.1
10004.2
367572
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.1
10002.4
367585
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
? (TO)
10000.1
10002.8
367476
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10003
367484
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
10000.1
10003.7
367492
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
10000.1
10003.9
367494
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10002.8
367497
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
10003
367499
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
10000.1
10003.1
367500
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10003.4
367503
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.1
10002.6
367516
industrial/fuhs/medium/
AProVE07-09.cnf
? (TO)
10000.1
10003.8
367505
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10002.6
367517
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10002.9
367507
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
10003
367510
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
10003.5
367511
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10002.9
367513
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
10004.1
367514
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
10000.1
10002.8
367515
industrial/babic/
dspam/dspam_dump_vc1081.cnf
? (TO)
10000.1
10003.1
367533
industrial/babic/
dspam/dspam_dump_vc1093.cnf
? (TO)
10000.1
10002.9
367528
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
10003
367536
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.1
9999.94
367557
industrial/babic/
xinetd/itox_vc1130.cnf
? (TO)
10000.1
10004.2
367555
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.1
10003.1
367539
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.1
10003.9
367571
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10004.1
367542
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
10000.1
10005.7
367565
industrial/manolios/
manol-pipe-c7nidw.cnf
? (TO)
10000.1
10002.6
367545
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
10000.1
10004
367551
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.1
10003
367556
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.1
10003.4
367559
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.1
10003.7
367560
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.1
10003.1
367562
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
10002.9
367564
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
10000.1
10003.2
367567
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.1
10003.2
367568
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.1
10003.2
367569
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.1
10002.7
367573
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.1
10003
367574
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.1
10003.9
367575
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.1
9999.84
367576
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.1
10003
367577
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.1
10003.1
367578
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.1
10002.8
367580
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.1
10003
367581
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
10005.2
367582
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.1
10002.7
367583
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.1
10003
367584
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.1
10002.9
367586
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.1
10003.7
367587
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.1
10003.5
367588
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.1
10003.1
367589
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
10000.1
10003.3
367601
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
? (TO)
10000.1
10003.8
367590
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
? (TO)
10000.1
10003.3
367591
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
? (TO)
10000.1
10003.4
367592
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
? (TO)
10000.1
10002.9
367594
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
? (TO)
10000.1
10002.8
367595
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
? (TO)
10000.1
10003.8
367596
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
10000.1
10002.7
367597
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
10000.1
10003.2
367598
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
? (TO)
10000.1
10002.7
367599
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
? (TO)
10000.1
10003
367600
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
10000.1
10003.9
367606
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
10000.1
10002.8
367603
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
? (TO)
10000.1
10003.9
367604
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
? (TO)
10000.1
10004.2
367605
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
10000.1
10006.6
367610
industrial/babic/
dspam/dspam_dump_vc1080.cnf
? (TO)
10000.2
10003.8
367534
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (TO)
10000.2
10003.1
367472
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.2
10002.9
367481
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (TO)
10000.2
10003.2
367486
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (TO)
10000.2
10003.9
367467
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
? (TO)
10000.2
10003.1
367475
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (TO)
10000.2
10003.7
367474
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (TO)
10000.2
10003.3
367478
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (TO)
10000.2
10008.3
367487
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
? (TO)
10000.2
10003.6
367480
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (TO)
10000.2
10004.2
367489
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.2
10003.1
367491
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (TO)
10000.2
10003.6
367502
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.2
10003.6
367518
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
10000.2
10002.9
367522
industrial/babic/
dspam/dspam_dump_vc1104.cnf
? (TO)
10000.2
10003.1
367531
industrial/babic/
dspam/dspam_dump_vc1103.cnf
? (TO)
10000.2
10004.3
367530
industrial/manolios/
manol-pipe-c10nidw_s.cnf
? (TO)
10000.2
10004
367546
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
10000.2
10003.8
367561
industrial/narain/
clauses-6.cnf
? (TO)
10000.2
10003
367554
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.2
10002.9
367563
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
10000.2
10004.4
367570
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
? (TO)
10000.2
10002.8
367602
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (TO)
10000.2
10004.5
367607
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (TO)
10000.2
10003.3
367612
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (TO)
10000.3
10004.2
367485
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (TO)
10000.3
10002.6
367466
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (TO)
10000.3
10002.6
367468
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (TO)
10000.3
10003.9
367471
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (TO)
10000.3
10002.9
367483
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (TO)
10000.3
10003
367470
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (TO)
10000.3
10003.2
367482
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (TO)
10000.3
10003.3
367498
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (TO)
10000.3
10004.4
367501
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (TO)
10000.3
10004
367504
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (TO)
10000.3
10003.3
367469
industrial/narain/
clauses-8.cnf
? (TO)
10000.3
10003.2
367552
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (TO)
10000.3
10004.1
367609
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (TO)
10000.3
10004.7
367608
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (TO)
10000.3
10000.4
367611
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (TO)
10000.3
10003.3
367613
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
10000.3
10003.7
367614
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (53 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.171973
0.185658
426918
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.405937
0.418896
426905
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
0.787879
0.802048
427029
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
4.65529
4.6714
427098
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
14.6388
14.6589
426999
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
17.8743
17.8945
427075
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
36.6204
36.6442
427035
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
37.1044
37.2291
427057
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
44.1173
44.1444
427017
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
50.2424
50.2693
426875
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
60.9287
60.9577
427011
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
66.9498
66.9903
426975
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
74.9146
74.95
427047
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
UNSAT
96.5833
96.6176
426564
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
UNSAT
101.837
101.843
426558
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
UNSAT
107.243
107.354
426534
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
UNSAT
119.373
119.431
426570
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
UNSAT
136.777
136.783
426516
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
UNSAT
184.24
184.317
426698
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
UNSAT
203.659
203.748
426752
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
UNSAT
209.432
209.518
426746
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
UNSAT
209.653
209.722
426704
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
UNSAT
215.621
215.621
426716
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
278.604
278.694
426930
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
UNSAT
295.914
296.024
426819
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
UNSAT
348.925
349.068
426891
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
UNSAT
404.442
404.567
426881
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
UNSAT
515.783
515.909
427110
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
UNSAT
552.602
552.585
426809
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
UNSAT
611.887
612.169
426501
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
UNSAT
629.374
629.63
426787
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
UNSAT
715.163
715.559
426511
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
UNSAT
789.086
789.401
426468
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
UNSAT
901.203
901.576
426490
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
UNSAT
932.473
932.813
426814
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
UNSAT
974.814
975.064
426643
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
UNSAT
990.614
990.996
426646
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
UNSAT
994.595
994.928
426637
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
UNSAT
995.821
996.199
426640
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
UNSAT
1050.57
1050.94
426634
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
UNSAT
1087.67
1088.09
426506
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
UNSAT
1125.1
1125.61
426783
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
UNSAT
1253.37
1253.75
424762
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
UNSAT
1481.07
1481.59
424757
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
UNSAT
2367.79
2368.49
424777
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
UNSAT
2612.91
2613.64
424739
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
UNSAT
3505.03
3506.34
424523
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
UNSAT
3793.04
3794.18
424519
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
UNSAT
4146.63
4147.83
424727
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
UNSAT
4272.74
4273.94
424728
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
UNSAT
4922.69
4924.12
424522
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
UNSAT
4953.98
4955.63
424520
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
UNSAT
4954.77
4956.2
424376
Solver found a solution (SATISFIABLE) (82 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf
SAT
0.06299
0.076499
426546
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
SAT
1.3108
1.32599
427023
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
2.70159
2.71549
426552
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
2.70359
2.71897
426870
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
3.2915
3.30673
426848
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
4.31134
4.32562
427069
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
5.10422
5.11897
426886
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
SAT
6.15806
6.17425
426473
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
7.65583
7.67341
426941
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
8.16976
8.18734
426993
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
SAT
9.08962
9.10229
426528
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
9.41357
9.43145
426522
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
SAT
10.0825
10.0996
426924
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
SAT
15.4826
15.5018
426896
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
15.7096
15.7271
426969
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
19.961
19.9802
427041
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
SAT
23.9484
23.9682
426824
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
SAT
24.1943
24.2276
426540
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
28.2817
28.3024
426987
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
29.1796
29.2018
427104
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
SAT
30.6653
30.6872
426740
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
37.0444
37.0675
426865
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
SAT
40.9318
40.9564
426854
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
43.5654
43.5957
426728
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
44.6162
44.6461
427005
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
51.0802
51.1067
427115
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
SAT
62.5315
62.5601
426792
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
70.0863
70.1187
426900
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
79.007
79.0459
426710
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
SAT
88.8925
88.9322
426778
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
SAT
89.2694
89.31
426722
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
SAT
97.4162
97.4536
426949
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
SAT
102.093
102.145
426679
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
105.621
105.662
427063
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
115.777
115.816
426495
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
SAT
123.907
123.956
426734
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
SAT
127.709
127.757
427084
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
SAT
131.204
131.248
426960
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
SAT
135.745
135.796
426803
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
SAT
141.009
141.059
426485
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
SAT
143.62
143.667
426576
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
SAT
206.836
206.908
426687
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
SAT
207.163
207.223
427053
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
SAT
210.843
210.91
426588
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
SAT
225.01
225.073
426981
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
SAT
227.972
228.188
426624
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
SAT
268.827
268.936
426630
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
SAT
276.194
276.307
426649
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
SAT
278.01
278.093
426683
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
SAT
325.836
325.969
426479
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
SAT
377.035
377.148
426672
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
SAT
396.14
396.272
427082
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
SAT
449.927
450.283
426462
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
SAT
461.755
461.939
426838
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
SAT
491.898
492.043
426911
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
SAT
501.815
501.964
426798
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
SAT
607.191
607.361
426619
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
SAT
644.314
644.506
426761
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
743.284
743.495
426936
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
SAT
773.872
774.339
426928
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
SAT
820.415
820.646
426601
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
SAT
941.605
941.886
427092
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
SAT
977.611
977.861
426655
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
SAT
1363.28
1363.65
424742
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
SAT
1449.42
1449.97
424740
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
SAT
1450.23
1450.65
424483
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
SAT
1504.63
1505.12
424518
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
SAT
1563.64
1564.03
424433
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
SAT
1840.97
1841.38
424492
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
SAT
1866.09
1866.66
424738
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
SAT
1934.55
1935.1
424717
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
SAT
2311.35
2312.01
424381
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
SAT
2478
2478.9
424430
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
SAT
2580.62
2581.56
424493
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
SAT
2719.36
2720.22
424435
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
SAT
2953.37
2954.39
424524
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
SAT
3329.6
3330.5
424765
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
SAT
3381.42
3382.87
424487
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
SAT
3461.29
3462.34
424379
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
SAT
3765.01
3766.49
424705
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
SAT
4952.55
4954.07
424387
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
SAT
4959.87
4961.06
424712
Solver timed out (no solution given) (376 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.61
424404
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.78
424405
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.41
424424
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
? (TO)
5000.01
5001.71
424436
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
5000.01
5001.31
424507
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
? (TO)
5000.02
5001.51
424408
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
5000.02
5001.71
424403
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.51
424418
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.51
424419
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
5000.02
5001.71
424440
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.51
424441
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
5000.02
5001.61
424477
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
5000.02
5001.41
424473
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.51
424501
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
5000.02
5002.01
424534
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
5000.02
5001.51
424603
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
5000.02
5001.62
424620
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
5000.02
5001.91
424622
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
5000.02
5002.01
424734
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
5000.02
5001.51
424779
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
5000.02
5001.21
424774
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
? (TO)
5000.02
5001.41
424780
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
5000.02
5001.72
424617
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.61
424377
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
5000.03
5001.61
424401
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
5000.03
5002.71
424407
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.71
424398
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
5000.03
5001.41
424425
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.51
424439
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
5000.03
5002.11
424446
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
5000.03
5001.71
424463
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
5000.03
5001.51
424465
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
5000.03
5002.11
424472
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.71
424479
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
? (TO)
5000.03
5001.51
424496
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.51
424491
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.71
424484
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
5000.03
5002.11
424515
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
5000.03
5001.41
424549
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
5000.03
5001.62
424550
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
5000.03
5001.41
424552
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
5000.03
5001.52
424561
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
5000.03
5001.21
424544
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
5000.03
5001.52
424571
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
5000.03
5002.02
424572
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
5000.03
5001.51
424580
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
5000.03
5001.52
424579
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
5000.03
5001.52
424582
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
5000.03
5001.41
424598
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
5000.03
5001.61
424630
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
5000.03
5001.41
424641
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
5000.03
5001.52
424677
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
5000.03
5003.71
424747
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
5000.03
5001.51
424763
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
5000.03
5001.51
424775
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.51
424495
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
5000.04
5001.61
424394
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.21
424445
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.61
424426
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
424442
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
? (TO)
5000.04
4999.91
424456
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
424451
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.31
424458
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.61
424502
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
5000.04
5001.61
424506
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.61
424509
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
424521
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
5000.04
5002.11
424536
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
5000.04
5001.82
424568
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
5000.04
5001.72
424584
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
5000.04
5001.62
424583
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
5000.04
5001.61
424610
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
5000.04
5001.62
424593
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
5000.04
5002.01
424609
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
5000.04
5001.72
424611
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
5000.04
5002.01
424618
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
5000.04
5001.72
424655
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
5000.04
5001.43
424673
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
5000.04
5001.71
424713
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
? (TO)
5000.04
5001.51
424764
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
5000.04
5001.41
424766
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
5000.04
5001.61
424416
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
5000.04
5001.62
424555
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.61
424378
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.71
424388
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
424380
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
5000.05
5001.51
424414
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
424392
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
5000.05
5002.11
424406
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
424413
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.61
424452
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
? (TO)
5000.05
5001.51
424457
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
5000.05
5001.51
424462
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.61
424474
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
424497
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.61
424512
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
5000.05
5001.51
424553
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
5000.05
5001.51
424554
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
5000.05
5001.52
424559
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
5000.05
5001.92
424574
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
5000.05
5002.11
424576
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
5000.05
5001.54
424566
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
5000.05
5001.62
424577
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
5000.05
5001.52
424578
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
5000.05
5001.41
424587
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
5000.05
5001.61
424597
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
5000.05
5001.81
424607
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
5000.05
5001.41
424614
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
5000.05
5001.51
424621
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
5000.05
5001.91
424659
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
5000.05
5001.74
424667
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
5000.05
5002.02
424676
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
5000.05
5001.72
424661
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
5000.05
5001.53
424672
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
5000.05
5001.53
424674
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
5000.05
5001.44
424685
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
5000.05
5001.61
424708
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
5000.05
5000.41
424756
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
5000.05
5002.51
424754
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
5000.05
5001.51
424772
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
5000.05
5002.11
424776
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
? (TO)
5000.06
5001.71
424385
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
5000.06
5002.28
424386
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
5000.06
5002.11
424410
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
424417
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.81
424411
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.51
424423
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.61
424432
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.61
424464
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.61
424475
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
5000.06
5001.51
424526
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
5000.06
5002.21
424530
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
5000.06
5001.62
424537
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
5000.06
5001.51
424539
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
5000.06
5001.62
424540
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
5000.06
5001.62
424548
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
5000.06
5001.62
424562
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
5000.06
5001.51
424616
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
5000.06
5001.41
424627
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
5000.06
5001.31
424625
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
5000.06
5001.71
424644
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
5000.06
5001.41
424633
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
5000.06
5001.65
424651
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
5000.06
5001.51
424657
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
5000.06
5001.52
424675
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
5000.06
5001.52
424664
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
5000.06
5002.02
424682
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
5000.06
5001.34
424688
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
5000.06
5002.01
424710
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
5000.06
5001.41
424716
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
5000.06
5001.41
424743
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
5000.06
5001.61
424737
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
5000.06
5002.01
424753
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
5000.06
5001.51
424749
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
5000.06
5002.11
424758
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
? (TO)
5000.06
5001.41
424771
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
424490
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
424510
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
5000.06
5001.62
424558
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
5000.06
5001.51
424761
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
? (TO)
5000.06
5001.51
424781
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.51
424390
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.51
424396
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.61
424397
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.91
424421
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
424427
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.61
424434
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.91
424437
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
5000.07
5002.01
424466
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
424467
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
424471
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
5000.07
4999.91
424482
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.61
424499
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
424514
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
5000.07
5002.01
424508
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
5000.07
5001.62
424531
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
5000.07
5001.51
424541
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
5000.07
5001.51
424546
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
5000.07
5001.62
424573
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
5000.07
5001.51
424591
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
5000.07
5001.61
424601
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
5000.07
5001.61
424600
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
5000.07
5001.61
424628
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
5000.07
5001.51
424632
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
5000.07
5001.71
424634
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
5000.07
5002.01
424629
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
5000.07
5001.51
424640
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
5000.07
5001.71
424642
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
5000.07
5001.51
424643
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
5000.07
5001.52
424681
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
5000.07
5001.42
424684
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
5000.07
5001.75
424690
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
5000.07
5001.57
424702
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
5000.07
5001.61
424706
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
5000.07
5001.51
424709
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
5000.07
5002.01
424718
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
5000.07
5002.01
424726
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
5000.07
5001.71
424722
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
? (TO)
5000.07
5002.01
424735
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
5000.07
5001.51
424750
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
5000.07
5001.91
424767
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
5000.07
5002.01
424773
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
5000.07
5001.91
424431
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
5000.07
5002.01
424450
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
? (TO)
5000.08
5001.71
424383
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
5000.08
5001.71
424402
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
5000.08
5002.01
424399
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
5000.08
5001.91
424422
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.71
424438
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
5000.08
5002.01
424460
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.41
424453
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
? (TO)
5000.08
5001.41
424454
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
? (TO)
5000.08
5002.01
424455
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
? (TO)
5000.08
5002.11
424480
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
? (TO)
5000.08
5001.51
424486
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
5000.08
5001.61
424489
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
5000.08
5001.91
424533
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
5000.08
5001.51
424528
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
5000.08
5001.52
424560
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
5000.08
5002.01
424589
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
5000.08
5001.51
424602
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
5000.08
5001.61
424595
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
5000.08
5001.41
424588
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
5000.08
5001.41
424599
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
5000.08
5002.01
424606
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
5000.08
5001.51
424596
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
5000.08
5001.51
424612
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
5000.08
5001.81
424623
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
5000.08
5001.61
424615
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
5000.08
5001.41
424635
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
5000.08
5001.51
424639
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
5000.08
5001.55
424649
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
5000.08
5001.45
424653
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
5000.08
5001.52
424656
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
5000.08
5001.52
424663
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
5000.08
5003.26
424699
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
5000.08
5002.21
424729
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
5000.08
5001.91
424720
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
5000.08
5001.81
424733
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
5000.08
5001.71
424741
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
5000.08
5002.01
424746
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
5000.08
5001.51
424748
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.71
424488
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
5000.08
5001.71
424511
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
5000.08
5002.02
424563
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
5000.08
5002.11
424638
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
5000.08
5002.11
424714
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.51
424382
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.61
424420
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.01
424400
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
5000.09
5001.71
424443
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
5000.09
5001.61
424470
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.71
424461
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.61
424476
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.51
424478
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.01
424494
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.01
424481
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
5000.09
5001.51
424516
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
5000.09
5001.81
424543
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
5000.09
5001.41
424525
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
5000.09
5002.02
424556
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
5000.09
5001.91
424581
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
5000.09
5001.62
424569
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
5000.09
5001.41
424586
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
5000.09
5001.41
424604
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
5000.09
5001.61
424613
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
5000.09
5001.51
424624
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
5000.09
5001.61
424626
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
5000.09
5002.11
424637
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
5000.09
5002.12
424662
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
5000.09
5002.13
424671
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
5000.09
5001.44
424669
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
5000.09
5001.74
424670
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
5000.09
5002.24
424689
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
5000.09
5001.51
424730
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
5000.09
5002.11
424707
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
5000.09
4999.91
424724
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
5000.09
5001.71
424715
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
? (TO)
5000.09
5001.61
424725
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
5000.09
5001.91
424731
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
5000.09
5001.41
424751
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
5000.09
5001.71
424769
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
5000.09
5001.61
424503
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
5000.09
5001.62
424557
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
5000.09
5001.62
424564
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
5000.09
5001.41
424575
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
5000.1
5001.81
424395
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
5000.1
5001.61
424409
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.71
424412
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
? (TO)
5000.1
5002.01
424444
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
5000.1
5001.71
424447
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.61
424459
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.81
424485
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.71
424469
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
5000.1
5001.91
424500
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
5000.1
5001.61
424505
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.51
424498
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
5000.1
5001.51
424529
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
5000.1
5001.37
424538
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
5000.1
5001.62
424551
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
5000.1
5002.01
424545
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
5000.1
5002.01
424585
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
5000.1
5001.52
424570
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
5000.1
5001.91
424590
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
5000.1
5001.81
424592
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
5000.1
5001.51
424605
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
5000.1
5001.62
424594
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
5000.1
5001.72
424608
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
5000.1
5001.51
424631
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
5000.1
5001.61
424636
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
5000.1
5001.65
424645
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
5000.1
5001.55
424652
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
5000.1
5001.43
424683
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
5000.1
5001.92
424678
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
5000.1
5001.26
424700
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
5000.1
5001.67
424701
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
? (TO)
5000.1
5001.91
424723
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
? (TO)
5000.1
5002.21
424755
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
5000.1
5001.61
424736
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
5000.1
5002.41
424760
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
5000.1
5001.61
424770
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
5000.1
5001.51
424778
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
5000.1
5002.11
424619
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
5000.11
5002.11
424389
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
424384
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
424391
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
5000.11
5002.11
424393
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
5000.11
5002.01
424415
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
5000.11
5002.01
424428
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.71
424429
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
424448
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.41
424449
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.71
424468
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
5000.11
5002.11
424504
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
5000.11
5001.62
424527
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.51
424517
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.61
424513
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
5000.11
5001.91
424535
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
5000.11
5001.61
424547
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
5000.11
5001.55
424647
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
5000.11
5002.11
424658
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
5000.11
5001.55
424650
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
5000.11
5001.53
424665
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
5000.11
5002.04
424668
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
5000.11
5001.62
424680
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
5000.11
5001.66
424698
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
5000.11
5001.51
424721
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
5000.11
5001.61
424711
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
5000.11
5002.01
424732
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
5000.11
5001.61
424719
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
5000.11
5001.61
424744
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
5000.11
5002.21
424745
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
5000.11
5002.11
424759
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
5000.11
5001.61
424752
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
5000.11
5001.61
424768
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
5000.11
5002.01
424532
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
5000.11
5001.92
424565
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
5000.11
5002.12
424567
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
5000.12
5001.72
424542
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
5000.12
5001.72
424660
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
5000.12
5001.55
424646
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
5000.12
5001.73
424679
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
5000.12
5001.93
424666
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
5000.12
5001.85
424686
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
5000.12
5001.94
424693
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
5000.12
5001.44
424694
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
5000.12
5001.54
424692
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
5000.13
5001.57
424696
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
5000.13
5001.74
424687
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
5000.13
5002.07
424704
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
5000.14
5002.06
424648
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
5000.14
5001.46
424703
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
5000.14
5001.56
424695
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
5000.15
5001.65
424691
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
5000.16
5001.76
424654
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
5000.16
5001.67
424697