SAT 2007 Competition Phase 2: benchmarks results per solver
Result page for solver minisat
SAT 2007
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (72 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf
UNSAT
0.077987
0.079876
422241
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
UNSAT
0.251961
0.253122
422239
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.265959
0.265973
422234
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.533918
0.535961
422238
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
UNSAT
1.08183
1.11296
422243
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
UNSAT
1.9357
1.93821
422242
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
1.9397
1.94298
422279
crafted/spence/
medium/s57-100.cnf
UNSAT
1.9407
1.94295
422223
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
UNSAT
2.37164
2.37357
422240
crafted/spence/
medium/s61-100.cnf
UNSAT
3.2695
3.27261
422219
crafted/spence/
medium/s65-100.cnf
UNSAT
9.26259
9.2717
422227
crafted/spence/
medium/s69-100.cnf
UNSAT
12.3131
12.3169
422221
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
12.3851
12.3916
422231
crafted/spence/
medium/s73-100.cnf
UNSAT
39.1101
39.1242
422224
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
53.3769
53.392
422245
crafted/spence/
medium/s77-100.cnf
UNSAT
64.4652
64.4875
422218
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
66.4519
66.4722
422274
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
70.7312
70.7502
422269
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
71.0892
71.1102
422271
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
75.9025
75.9346
422230
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
79.2799
79.3017
422272
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
89.4084
89.4414
422250
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
96.3744
96.4104
422273
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
96.7433
96.7671
422260
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
98.331
98.3608
422244
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
98.802
98.8298
422276
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
103.742
103.771
422277
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
UNSAT
106.434
106.475
422275
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
109.248
109.29
422251
crafted/spence/
medium/s81-100.cnf
UNSAT
130.29
130.331
422220
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
131.413
131.536
422261
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
157.657
157.702
422228
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
159.077
159.123
422253
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
177.994
178.064
422233
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
251.379
251.441
422264
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
252.809
252.883
422270
crafted/spence/
medium/s85-100.cnf
UNSAT
282.946
283.03
422226
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
296.588
296.817
422288
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
366.767
367.013
422284
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
UNSAT
441.784
441.949
422265
crafted/spence/
medium/s89-100.cnf
UNSAT
450.472
450.614
422225
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
453.899
454.035
422263
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
519.471
519.822
422287
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
UNSAT
558.566
558.698
422252
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
UNSAT
585.835
586.287
422282
crafted/spence/
medium/s93-100.cnf
UNSAT
718.281
718.463
422222
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
801.463
801.867
422285
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
847.019
847.427
422268
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
1119.8
1120.4
422286
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
UNSAT
1230.59
1230.88
422213
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
1664.72
1665.18
422214
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
1677.11
1677.61
422100
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
UNSAT
1723.3
1723.88
422133
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
UNSAT
1749.07
1749.74
422215
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
UNSAT
1762.76
1763.48
422211
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
UNSAT
1834.24
1834.88
422119
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
UNSAT
1917.65
1917.59
422172
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
UNSAT
2019.84
2020.56
422177
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
UNSAT
2160.79
2161.62
422209
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
UNSAT
2185.47
2186.26
422176
crafted/spence/
hard/s97-100.cnf
UNSAT
2293.38
2294.65
422092
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
2314.56
2315.49
422217
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
UNSAT
2438.57
2439.2
422129
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
UNSAT
2546.42
2547.11
422203
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
UNSAT
2617.65
2618.43
422204
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
UNSAT
2674.65
2675.41
422135
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
UNSAT
3134.33
3135.29
422131
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
UNSAT
3556.74
3557.69
422156
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
UNSAT
3779.93
3781.1
422181
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
UNSAT
4172.98
4174.37
422130
crafted/spence/
hard/s101-100.cnf
UNSAT
4703.7
4706.1
422089
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
UNSAT
4795.28
4796.51
422178
Solver found a solution (SATISFIABLE) (26 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0070.sat05-1334.reshuffled-07.cnf
SAT
0.039993
0.0435189
422235
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
SAT
0.601907
0.655655
422237
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.77473
1.77755
422278
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
1.91271
1.91482
422249
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
2.50762
2.51112
422229
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
2.52861
2.53135
422247
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
2.92655
2.92816
422246
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
3.72043
3.72352
422248
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
7.63584
7.64093
422236
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
21.6577
21.6675
422259
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
36.5034
36.5143
422232
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
78.717
78.7632
422258
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
SAT
99.4169
99.4548
422257
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
SAT
105.149
105.178
422267
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
SAT
169.974
170.025
422280
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
173.067
173.114
422283
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
183.869
183.939
422254
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
270.391
270.491
422256
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
SAT
302.197
302.285
422281
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
SAT
412.236
412.349
422255
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
SAT
451.609
451.778
422262
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
723.628
724.031
422266
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
SAT
2584.87
2585.67
422216
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
2669.1
2670.19
422098
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
SAT
2724.53
2725.41
422152
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
SAT
3261.29
3262.32
422170
Solver timed out (no solution given) (102 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/spence/
hard/s113-100.cnf
? (TO)
5000.02
5001.81
422088
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
5000.02
5001.51
422154
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.02
5001.21
422148
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.02
5001.41
422179
crafted/spence/
hard/s105-100.cnf
? (TO)
5000.03
5001.51
422093
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
5000.03
5001.51
422147
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
5000.03
5001.41
422155
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
5000.03
5003.91
422159
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.04
5001.51
422099
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
5000.04
5001.51
422143
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
5000.04
5001.43
422138
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.04
5001.61
422184
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.04
5001.74
422198
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.04
5002.21
422202
crafted/spence/
hard/s109-100.cnf
? (TO)
5000.05
5001.71
422090
crafted/spence/
hard/s117-100.cnf
? (TO)
5000.05
5001.71
422091
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.05
5001.72
422109
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.05
5001.51
422115
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.05
5001.64
422113
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
5000.05
5001.41
422193
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
? (TO)
5000.05
5001.51
422171
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
5000.05
5001.51
422191
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.05
5001.51
422188
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
5000.06
5001.62
422107
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
5000.06
5000.01
422103
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.06
5001.61
422111
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
5000.06
5001.68
422132
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.06
5001.43
422141
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.06
5002.11
422118
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
5000.06
5001.61
422128
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
5000.06
5001.61
422134
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
? (TO)
5000.06
5001.41
422164
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.06
5001.71
422167
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.06
5001.51
422186
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000.06
5000.11
422201
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.06
5001.51
422192
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.06
5001.54
422183
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
? (TO)
5000.06
5002.01
422210
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.07
5001.91
422105
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000.07
5001.51
422102
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
? (TO)
5000.07
5001.63
422094
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.07
5001.72
422110
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
5000.07
5001.52
422144
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
5000.07
5001.71
422136
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
5000.07
5001.63
422157
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.07
5001.52
422163
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.07
5001.51
422199
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.07
5001.51
422174
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.07
5001.51
422190
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
5000.08
5002.01
422104
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.08
5002.01
422101
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.08
5001.64
422114
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.08
5002.01
422146
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
5000.08
5001.65
422205
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
5000.08
5002.01
422187
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
5000.08
5001.62
422168
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
5000.08
5001.41
422189
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.08
5002.01
422169
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
5000.08
5003.81
422196
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.08
5001.51
422173
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
5000.08
5001.52
422182
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
5000.09
5001.63
422096
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
5000.09
5001.78
422137
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.09
5001.62
422116
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.09
5001.97
422127
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.09
5002.01
422200
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.09
5001.71
422206
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.09
5001.81
422212
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
5000.1
5001.52
422097
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
5000.1
5001.61
422145
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
5000.1
5002.01
422106
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
5000.1
5001.72
422153
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
5000.1
5002.03
422140
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
? (TO)
5000.11
5001.72
422095
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.11
5002.01
422108
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.11
5001.91
422112
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
5000.11
5001.41
422117
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.11
5001.68
422125
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.11
5001.91
422150
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.11
5001.41
422175
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.11
5001.61
422185
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.11
5002.11
422166
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.11
5002.01
422207
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
5000.11
5002.01
422208
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
5000.12
5002.07
422122
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.12
5001.72
422162
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.13
5001.77
422123
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000.13
5001.66
422124
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.13
5001.67
422158
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
5000.13
5002.07
422142
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
5000.13
5002.05
422180
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.14
5001.35
422194
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.15
5002.17
422121
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
5000.16
5001.77
422120
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
5000.16
5001.68
422160
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
5000.17
5001.52
422161
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.18
5001.7
422126
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
5000.18
5001.81
422197
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.19
5001.83
422195
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.21
5001.78
422149
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
5000.25
5001.73
422139
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (TO)
5000.35
5001.95
422151
Solver exceeded the memory limit (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (MO)
4082.12
4083.79
422165
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (79 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.32395
0.325821
422068
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
0.326949
0.329219
422062
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
0.395939
0.39802
422065
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
0.6499
0.650514
422071
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
0.700892
0.703206
422067
industrial/babic/dspam/
dspam_dump_vc962.cnf
UNSAT
0.970852
0.973068
422020
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
1.02684
1.02733
422033
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
1.05984
1.06242
422035
industrial/babic/dspam/
dspam_dump_vc950.cnf
UNSAT
1.07883
1.08085
422025
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
1.08183
1.08385
422027
industrial/babic/
dspam/dspam_dump_vc1093.cnf
UNSAT
1.08583
1.08736
422019
industrial/babic/
dspam/dspam_dump_vc1081.cnf
UNSAT
1.20382
1.20557
422026
industrial/babic/
dspam/dspam_dump_vc1080.cnf
UNSAT
1.21081
1.21278
422028
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
1.21581
1.21637
422036
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
1.24781
1.24888
422031
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
1.25681
1.25948
422038
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
1.76373
1.76533
422030
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
1.77073
1.77181
422034
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
1.78173
1.78429
422029
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
1.79772
1.8469
422037
industrial/babic/dspam/
dspam_dump_vc972.cnf
UNSAT
2.58561
2.58765
422022
industrial/babic/dspam/
dspam_dump_vc973.cnf
UNSAT
2.5866
2.58936
422024
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
2.6406
2.6421
422032
industrial/babic/
dspam/dspam_dump_vc1104.cnf
UNSAT
2.71359
2.71659
422023
industrial/babic/
dspam/dspam_dump_vc1103.cnf
UNSAT
2.73958
2.74126
422021
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
3.48947
3.4929
422039
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
24.2383
24.2454
422041
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
24.3863
24.4014
421991
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
36.2855
36.3538
421992
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
61.0057
61.0276
422009
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
74.9146
75.0453
421993
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
85.666
85.6898
422013
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
97.9341
98.0945
421995
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
98.742
98.7706
422072
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
106.139
106.181
422007
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
114.886
114.951
422040
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
116.4
116.589
422004
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
124.636
124.671
421999
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
125.113
125.147
422057
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
133.414
133.451
422018
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
148.116
148.168
422015
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
165.758
165.812
422001
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
180.834
180.991
421994
industrial/narain/
clauses-10.cnf
UNSAT
205.153
205.213
422061
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
211.977
212.039
422014
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
213.945
214
422003
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
263.082
263.173
422017
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
384.609
384.741
422076
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
448.958
449.099
422002
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
499.664
499.845
422010
industrial/manolios/
manol-pipe-c7nidw.cnf
UNSAT
513.6
513.757
422054
industrial/manolios/
manol-pipe-c7bidw_i.cnf
UNSAT
577.046
577.235
422058
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
633.978
634.134
422012
industrial/fuhs/medium/
AProVE07-02.cnf
UNSAT
662.346
662.657
421997
industrial/manolios/
manol-pipe-c10nidw_s.cnf
UNSAT
803.404
803.697
422055
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
822.258
822.472
422042
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
853.415
853.691
422011
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
868.01
868.263
422000
industrial/manolios/
manol-pipe-g10bidw.cnf
UNSAT
907.74
908.053
422056
industrial/fuhs/hard/
AProVE07-03.cnf
UNSAT
1184.2
1184.64
422005
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
1262.11
1262.55
421909
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
1743.72
1744.25
421896
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
1847.13
1847.87
421898
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
UNSAT
2091.64
2092.5
421958
industrial/palacios/medium/
cube-11-h13-unsat.cnf
UNSAT
2498.65
2499.68
421911
industrial/manolios/
manol-pipe-g10nid.cnf
UNSAT
2851.57
2853.93
421931
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
UNSAT
3093.74
3094.84
421908
industrial/
manolios/manol-pipe-f9b.cnf
UNSAT
3187.58
3187.6
421929
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
3379.84
3380.89
421912
industrial/fuhs/hard/
AProVE07-27.cnf
UNSAT
3688.57
3689.66
421901
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
3704.85
3704.86
421880
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
3805.13
3806.28
421895
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
UNSAT
4699.29
4700.77
421854
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
UNSAT
4949.23
4950.64
421886
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
UNSAT
5096.5
5098.06
421885
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
UNSAT
5408.92
5410.5
421918
industrial/
manolios/manol-pipe-f9n.cnf
UNSAT
6931.1
6935.09
421930
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
UNSAT
7242.54
7244.72
421974
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
UNSAT
8203.46
8206.47
421883
Solver found a solution (SATISFIABLE) (53 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/narain/
clauses-2.cnf
SAT
3.62345
3.62995
422059
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
4.30035
4.35614
422069
industrial/babic/
xinetd/itox_vc909.cnf
SAT
4.5773
4.59806
422066
industrial/babic/
xinetd/itox_vc1130.cnf
SAT
5.66714
5.67193
422063
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
5.68114
5.7429
422070
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
5.83311
5.84233
422064
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
SAT
23.6814
23.7849
422087
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
SAT
32.1841
32.2079
422078
industrial/narain/
clauses-4.cnf
SAT
39.746
39.7643
422060
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
SAT
40.2499
40.3297
422082
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
SAT
40.5418
40.6195
422083
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
SAT
41.4847
41.5473
422086
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
SAT
50.1524
50.1741
422079
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
SAT
51.4132
51.437
422080
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
SAT
52.645
52.6782
422084
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
SAT
55.6935
55.7171
422085
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
58.966
58.9834
422048
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
74.7786
74.8547
422008
industrial/fuhs/medium/
AProVE07-11.cnf
SAT
109.125
109.21
421998
industrial/grieu/
vmpc_25.cnf
SAT
117.424
117.457
422050
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
SAT
124.745
124.785
422081
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
SAT
125.605
125.806
421996
industrial/grieu/
vmpc_24.cnf
SAT
163.396
163.443
422052
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
220.837
220.927
422006
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
321.759
321.862
422074
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
SAT
379.486
379.599
422073
industrial/grieu/
vmpc_26.cnf
SAT
404.311
404.411
422053
industrial/
crypto/mizh-md5-47-5.cnf
SAT
426.06
426.177
422049
industrial/
crypto/mizh-md5-48-2.cnf
SAT
492.614
492.797
422044
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
518.84
519.109
422016
industrial/
crypto/mizh-md5-47-4.cnf
SAT
577.493
577.661
422045
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
632.973
633.186
422047
industrial/grieu/
vmpc_27.cnf
SAT
688.638
688.79
422051
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
SAT
702.079
702.392
422077
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
SAT
795.766
796.078
422075
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
864.638
864.903
422043
industrial/
crypto/mizh-md5-47-3.cnf
SAT
880.747
880.985
422046
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
SAT
1350.22
1350.7
421865
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
1637.21
1637.67
421919
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
SAT
2425.37
2426.15
421981
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
SAT
2872.24
2873.09
421915
industrial/grieu/
vmpc_28.cnf
SAT
3003.85
3004.8
421926
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
SAT
3678.16
3679.29
421978
industrial/narain/
clauses-8.cnf
SAT
3709.38
3710.87
421933
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
SAT
3794.72
3795.87
421972
industrial/narain/
clauses-6.cnf
SAT
4036.08
4037.62
421934
industrial/
crypto/mizh-md5-48-5.cnf
SAT
4759.37
4761.1
421920
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
SAT
6106.76
6109.22
421913
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
6804.33
6807.1
421867
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
SAT
7504.01
7506.36
421979
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
SAT
7786.09
7789.9
421977
industrial/crypto/
mizh-sha0-36-2.cnf
SAT
8531.55
8535.17
421921
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
SAT
8785.39
8788.15
421869
Solver timed out (no solution given) (74 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000
10003.2
421916
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000
10003.6
421917
industrial/grieu/
vmpc_29.cnf
? (TO)
10000.1
10003.2
421925
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.1
10003
421874
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
10002.9
421927
industrial/grieu/
vmpc_30.cnf
? (TO)
10000.1
10003.9
421922
industrial/grieu/
vmpc_33.cnf
? (TO)
10000.1
10003.6
421923
industrial/manolios/
manol-pipe-f10ni.cnf
? (TO)
10000.1
10003.1
421932
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.1
10003.2
421935
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
10000.1
10003.6
421937
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.1
10003.9
421938
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.1
10003.1
421939
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
10000.1
10003.3
421940
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.1
10002.9
421942
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.1
10003.8
421893
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.1
10003.9
421945
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.1
10002.8
421899
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.1
10003.1
421900
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.1
10003.9
421902
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
10003.5
421907
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.1
10004.3
421952
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.1
10003
421947
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
10003.9
421961
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.1
10003.9
421957
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.1
10003.4
421965
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.1
10003.2
421959
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.1
10003
421962
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.1
10003.8
421964
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.1
10006.6
421966
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
10000.1
10003.2
421980
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.1
10003.6
421948
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
10000.1
10003.2
421949
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.1
10003.3
421950
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.1
10002.9
421951
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.1
10004.2
421953
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.1
10003.3
421968
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
? (TO)
10000.1
10003.8
421970
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.1
10003.2
421887
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
10003.1
421897
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.1
10003
421903
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.1
10002.7
421906
industrial/palacios/medium/
safe-30-h30-sat.cnf
? (TO)
10000.1
10003.1
421914
industrial/grieu/
vmpc_31.cnf
? (TO)
10000.1
10004.3
421924
industrial/manolios/
manol-pipe-f7idw.cnf
? (TO)
10000.1
10003.4
421928
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
10004.4
421943
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.1
10002.9
421960
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.2
10004.1
421936
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.2
10002.8
421941
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.2
10003.4
421881
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.2
10004.1
421889
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
10000.2
10003
421944
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
10000.2
10004.3
421910
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.2
10003.9
421963
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.2
10003.2
421954
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.2
10000.2
421955
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.2
10004.1
421956
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
10000.2
10003.7
421976
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
10000.2
10003.2
421982
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.2
10003.4
421967
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
? (TO)
10000.2
10004.1
421969
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
? (TO)
10000.2
10003
421971
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
? (TO)
10000.2
10003
421973
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.2
10005.9
421871
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
? (TO)
10000.2
10002.9
421866
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.2
10003
421878
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
10000.2
10004.3
421882
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
10000.2
10003
421890
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
10000.2
10003.1
421904
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.2
10003.3
421905
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
10000.2
10003.5
421975
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
10000.2
10003.1
421946
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
? (TO)
10000.3
10003.4
421862
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (TO)
10000.3
10004.3
421884
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
? (TO)
10000.3
10003.2
421870
Solver exceeded the memory limit (no solution given) (28 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
? (MO)
889.175
889.402
421989
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
? (MO)
1060.61
1060.99
421983
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (MO)
2014.43
2015.09
421984
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (MO)
2125.59
2126.19
421987
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (MO)
2333.6
2334.49
421985
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
? (MO)
2405.85
2406.79
421988
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (MO)
2558.26
2559.19
421990
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (MO)
3757.13
3758.29
421891
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (MO)
3855.01
3856.19
421872
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
? (MO)
3893.83
3895.09
421863
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (MO)
3908.54
3910.08
421879
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (MO)
4003.87
4005.59
421856
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (MO)
4019.53
4020.89
421859
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (MO)
4032.91
4034.41
421875
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (MO)
4090.48
4091.69
421894
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (MO)
4128.52
4129.59
421857
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (MO)
4142.64
4143.8
421873
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (MO)
4184.01
4185.09
421877
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (MO)
4196.1
4197.49
421858
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (MO)
4204.43
4205.69
421860
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
? (MO)
4234.29
4235.89
421868
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (MO)
4291.37
4292.89
421861
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (MO)
4441.36
4442.79
421876
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (MO)
4452.06
4453.79
421855
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
? (MO)
4492.89
4494.19
421864
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (MO)
4527.85
4529.19
421888
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (MO)
5572.1
5573.89
421892
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (MO)
6550.33
6552.29
421986
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (57 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.237963
0.237379
426920
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.424934
0.426779
426907
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
0.723889
0.72574
427031
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
3.23051
3.23151
427100
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
8.25274
8.2582
427001
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
14.6088
14.6151
427077
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
32.877
32.8878
427037
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
38.1382
38.1501
427019
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
46.7079
46.728
427059
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
48.9846
49.0014
426877
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
51.5702
51.5859
427013
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
61.1207
61.1374
426977
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
UNSAT
78.3691
78.4035
426536
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
UNSAT
81.9065
81.93
426560
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
UNSAT
105.952
105.981
426566
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
UNSAT
108.46
108.499
426518
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
UNSAT
108.579
108.609
426572
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
110.41
110.443
427049
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
UNSAT
197.84
197.918
426706
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
UNSAT
200.362
200.413
426754
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
UNSAT
201.409
201.465
426748
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
UNSAT
205.8
205.879
426700
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
UNSAT
206.527
206.579
426718
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
275.466
275.536
426932
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
UNSAT
289.019
289.094
426821
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
UNSAT
320.364
320.465
426893
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
UNSAT
444.858
444.978
426883
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
UNSAT
476.226
476.339
426811
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
UNSAT
478.396
478.559
426789
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
UNSAT
498.66
498.933
426503
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
UNSAT
517.682
517.917
426513
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
UNSAT
668.686
668.941
427112
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
UNSAT
676.249
676.516
426492
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
UNSAT
698.499
698.769
426470
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
UNSAT
742.093
742.347
426816
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
UNSAT
755.742
756.045
426508
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
UNSAT
836.506
836.731
426784
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
UNSAT
896.228
896.482
426647
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
UNSAT
907.679
907.916
426638
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
UNSAT
919.608
919.837
426635
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
UNSAT
922.369
922.668
426644
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
UNSAT
938.428
938.729
426641
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
UNSAT
1692.12
1692.66
425173
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
UNSAT
1861.02
1861.55
425168
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
UNSAT
2329.93
2330.6
424932
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
UNSAT
2442.35
2443.15
425188
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
UNSAT
3461.57
3462.49
424783
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
UNSAT
3594.22
3595.1
424784
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
UNSAT
3736.85
3737.94
425139
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
UNSAT
3822.29
3823.33
424928
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
UNSAT
4134.99
4136.28
425151
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
UNSAT
4295.7
4297.28
424929
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
UNSAT
4595.3
4597.1
424846
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
UNSAT
4633.61
4635.07
424844
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
UNSAT
4660.23
4661.89
424848
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
UNSAT
4676.49
4677.74
424787
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
UNSAT
4958.16
4959.72
424931
Solver found a solution (SATISFIABLE) (83 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
SAT
0.733887
0.734571
427025
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
1.52677
1.52958
426943
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
2.15767
2.16071
426995
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
2.57861
2.5797
426554
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
4.72428
4.72798
426872
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
5.2542
5.25827
426850
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
7.77182
7.77499
426730
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
SAT
11.2553
11.2606
427055
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
11.3093
11.3146
426867
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
14.0639
14.0693
427106
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
18.0073
18.0134
426989
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
19.556
19.5653
426902
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
SAT
20.7348
20.7547
426724
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
22.6356
22.6445
426524
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
SAT
23.6384
23.6477
426780
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
SAT
24.0343
24.0436
426794
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf
SAT
24.1883
24.1972
426548
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
29.3915
29.4016
427071
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
30.4664
30.4765
427117
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
31.3812
31.3901
427007
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
SAT
33.4529
33.4639
426475
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
SAT
34.7757
34.7845
426742
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
37.2583
37.2994
426712
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
40.7878
40.7993
426938
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
40.9578
40.969
427043
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
SAT
41.4337
41.4464
426925
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
SAT
52.0101
52.0303
426805
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
52.0501
52.0667
426971
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
SAT
67.7227
67.739
426542
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
SAT
74.0567
74.1663
426530
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
SAT
79.7699
79.7909
427086
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
SAT
80.0268
80.0459
426626
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
SAT
82.5764
82.6083
426983
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
114.332
114.363
427065
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
SAT
116.234
116.276
426856
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
SAT
133.265
133.301
426826
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
SAT
141.69
141.735
426621
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
149.446
149.487
426497
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
SAT
160.709
160.744
426736
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
SAT
175.679
175.728
426762
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
SAT
199.13
199.185
426487
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
215.495
215.551
426888
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
SAT
285.368
285.447
426657
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
SAT
295.825
295.914
426464
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
SAT
429.503
429.624
426835
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
SAT
462.756
462.879
426651
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
SAT
481.647
481.813
426840
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
SAT
489.539
489.675
426481
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
SAT
501.36
501.506
427083
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
SAT
514.687
514.812
426589
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
SAT
589.45
589.578
426632
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
SAT
650.11
650.279
427094
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
SAT
683.523
683.759
426799
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
SAT
768.136
768.4
426950
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
SAT
826.513
826.737
427120
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
SAT
948.31
948.614
426776
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
SAT
1037.75
1038.02
426955
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
SAT
1114.86
1115.17
426961
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
SAT
1176.67
1176.97
426669
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
SAT
1347.31
1347.64
425121
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
SAT
1394.98
1395.36
424790
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
SAT
1583.88
1584.51
424788
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
SAT
1593.54
1593.45
425182
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
SAT
1843.74
1844.19
425191
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
SAT
1850.43
1850.88
425137
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
SAT
2055.29
2055.93
424782
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
SAT
2207.44
2208.34
424847
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
SAT
2444.56
2445.22
424865
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
SAT
2787.67
2788.45
425130
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
SAT
2977.62
2978.81
424786
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
SAT
3265.07
3266.35
425135
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
SAT
3321.51
3322.39
424901
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
SAT
3395.72
3397.03
424891
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
SAT
3417.81
3418.84
424933
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
SAT
3443.66
3444.95
425114
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
SAT
3711.52
3712.64
424894
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
SAT
4087.21
4088.91
424849
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
SAT
4110.13
4111.35
424867
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
SAT
4229.15
4229.02
425125
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
SAT
4253.86
4255.11
425126
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
SAT
4254.57
4255.73
424843
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
SAT
4687.62
4689.06
424841
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
SAT
4855.36
4856.76
425147
Solver timed out (no solution given) (371 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
5000.01
5001.61
424803
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
5000.01
5002.01
424826
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
5000.01
5002.21
425122
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
5000.01
5001.41
425154
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
5000.01
5001.81
425149
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.91
424800
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
5000.02
5001.51
424801
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
5000.02
5002.11
424818
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
? (TO)
5000.02
5001.41
424816
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
5000.02
5001.61
424817
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
5000.02
5001.61
424810
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.61
424856
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.41
424845
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
5000.02
5002.01
424840
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.41
424859
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.71
424864
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
5000.02
5002.01
424899
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.61
424908
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
5000.02
5001.91
424930
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
5000.02
5001.62
424936
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
5000.02
5002.12
424970
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
5000.02
5001.51
425040
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
5000.02
5001.41
425117
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
5000.02
5002.01
425157
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
5000.02
5001.91
425181
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.61
424827
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
5000.03
5001.71
424823
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.51
424814
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
5000.03
5001.91
424836
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
5000.03
5003.81
424851
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
5000.03
5001.61
424871
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.51
424863
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
5000.03
5003.51
424878
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
? (TO)
5000.03
5001.51
424866
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
5000.03
5002.01
424887
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
5000.03
5001.91
424900
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
? (TO)
5000.03
5001.61
424903
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
5000.03
5002.11
424913
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
5000.03
5001.51
424923
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
5000.03
5001.52
424934
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
5000.03
5001.51
424961
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
5000.03
5001.41
424962
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
5000.03
5001.42
424967
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
5000.03
5001.62
424980
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
5000.03
5002.01
425004
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
5000.03
5001.51
425025
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
5000.03
5001.31
425031
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
5000.03
5001.62
425071
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
5000.03
5001.64
425133
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
5000.03
5001.41
425144
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
5000.03
5001.91
425131
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
5000.03
5001.61
425124
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
5000.03
5001.71
425160
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
5000.03
5001.71
425163
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
5000.03
5001.61
425183
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
5000.03
5001.51
425179
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
5000.03
5001.52
424981
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
424812
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
5000.04
5001.51
424822
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
? (TO)
5000.04
5001.51
424835
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
5000.04
5002.11
424839
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
? (TO)
5000.04
5001.61
424860
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.51
424870
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
5000.04
5001.41
424889
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
5000.04
5002.01
424955
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
5000.04
5001.81
424947
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
5000.04
5001.52
424942
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
5000.04
5000.02
424986
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
5000.04
5001.21
425008
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
5000.04
5002.11
425032
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
5000.04
5001.32
425084
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
5000.04
5001.51
425116
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
5000.04
5001.41
425120
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
5000.04
5001.61
425138
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
5000.04
5001.91
425146
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
? (TO)
5000.04
5001.61
425150
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
5000.04
5001.91
425171
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
5000.04
5001.81
424888
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
5000.04
5001.61
424918
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
5000.04
5001.91
425038
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
5000.05
5001.51
424792
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.61
424796
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
5000.05
5002.11
424807
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.41
424806
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.91
424819
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
5000.05
5002.01
424828
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
? (TO)
5000.05
5001.51
424854
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
5000.05
5001.71
424833
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
5000.05
5002.81
424855
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
424902
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
424914
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.51
424907
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.61
424922
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
5000.05
5001.71
424927
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
5000.05
5002.02
424968
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
5000.05
5001.52
424976
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
5000.05
5001.72
424977
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
5000.05
5002.02
424993
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
5000.05
5001.51
425014
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
5000.05
5001.51
425021
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
5000.05
5002.01
425042
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
5000.05
5001.61
425049
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
5000.05
5002.02
425067
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
5000.05
5001.62
425069
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
5000.05
5001.53
425081
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
5000.05
5001.64
425082
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
5000.05
5001.62
425072
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
5000.05
5001.52
425089
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
5000.05
5001.44
425101
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
5000.05
5001.84
425094
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
5000.05
5001.61
425142
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
? (TO)
5000.05
5002.01
425166
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
5000.05
5001.91
425172
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
5000.05
5001.81
425175
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
5000.05
5001.51
425184
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
5000.05
5002.01
424957
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
5000.05
5001.72
424991
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
5000.05
5002.01
425039
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
5000.06
5002.11
424798
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.51
424804
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.51
424808
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
424825
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
5000.06
5002.01
424809
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
424824
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
5000.06
5001.51
424850
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.61
424861
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
424873
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
5000.06
5001.51
424893
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
? (TO)
5000.06
5001.61
424897
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
5000.06
5002.01
424926
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
5000.06
5001.62
424935
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
5000.06
5001.62
424966
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
5000.06
5001.31
424997
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
5000.06
5001.51
425000
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
5000.06
5002.21
425002
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
5000.06
5001.51
425019
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
5000.06
5001.72
425010
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
5000.06
5002.11
425029
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
5000.06
5001.62
425027
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
5000.06
5001.41
425041
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
5000.06
5001.66
425056
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
5000.06
5002.11
425051
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
5000.06
5001.31
425046
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
5000.06
5001.56
425060
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
5000.06
5001.42
425066
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
5000.06
5001.62
425073
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
5000.06
5001.63
425091
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
5000.06
5001.82
425087
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
5000.06
5001.54
425099
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
5000.06
5001.51
425132
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
5000.06
5001.61
425148
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
? (TO)
5000.06
5001.51
425153
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
5000.06
5002.31
425165
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
5000.06
5002.01
425152
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
5000.06
5001.51
425185
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
5000.06
5002.01
425169
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
5000.06
5001.51
424853
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
5000.06
5001.52
424972
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
5000.06
5001.52
424984
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
5000.06
5002.11
425017
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
5000.06
5001.91
425190
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
424802
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.41
424821
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.51
424813
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
? (TO)
5000.07
5001.61
424838
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
5000.07
5001.61
424830
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
424874
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.51
424875
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.61
424879
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
5000.07
5001.51
424884
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.61
424909
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
5000.07
5001.51
424905
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
5000.07
5002.11
424944
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
5000.07
5001.62
424956
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
5000.07
5001.51
425016
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
5000.07
5001.51
425005
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
5000.07
5001.61
425011
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
5000.07
5002.11
425023
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
5000.07
5002.01
425034
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
5000.07
5002.11
425047
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
5000.07
5001.46
425061
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
5000.07
5002.12
425086
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
5000.07
5001.62
425070
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
5000.07
5001.22
425085
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
5000.07
5002.12
425088
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
5000.07
5001.63
425093
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
5000.07
5001.36
425108
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
5000.07
5001.77
425113
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
5000.07
5001.51
425141
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
5000.07
5001.41
425155
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
? (TO)
5000.07
5001.41
425176
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
5000.07
5002.41
425164
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
5000.07
5002.01
425167
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
5000.07
5001.41
425178
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
5000.07
5001.81
425186
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
5000.07
5002.01
424911
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
5000.07
5001.42
424975
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.57
424785
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
? (TO)
5000.08
5002.11
424793
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.61
424789
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.41
424834
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
? (TO)
5000.08
5001.81
424858
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
5000.08
5001.91
424882
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
5000.08
5003.21
424862
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
5000.08
5001.81
424876
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.41
424877
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.61
424886
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
? (TO)
5000.08
5001.61
424898
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
5000.08
5001.62
424940
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
5000.08
5001.51
424945
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
5000.08
5001.51
424959
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
5000.08
5002.01
424951
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
5000.08
5002.01
424954
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
5000.08
5001.51
425013
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
5000.08
5001.61
425012
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
5000.08
4999.91
425024
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
5000.08
5002.01
425028
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
5000.08
5001.41
425035
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
5000.08
5001.61
425044
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
5000.08
5002.25
425063
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
5000.08
5001.52
425090
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
5000.08
5001.52
425092
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
5000.08
5001.55
425096
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
5000.08
5001.96
425107
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
5000.08
5002.21
425115
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
5000.08
5001.41
425145
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
? (TO)
5000.08
5001.51
425140
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
5000.08
5001.41
425161
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
5000.08
5001.61
425158
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
5000.08
5002.01
425187
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
5000.08
5001.61
424892
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
5000.08
5001.61
425043
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.61
424797
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.01
424794
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
? (TO)
5000.09
5001.61
424795
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
5000.09
5001.61
424815
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.61
424829
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.91
424831
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.41
424852
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
5000.09
5002.11
424890
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
5000.09
5002.01
424910
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
5000.09
5001.91
424916
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
5000.09
5001.91
424925
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
5000.09
5001.41
424946
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
5000.09
5002.02
424952
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
5000.09
5000.02
424950
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
5000.09
5001.41
424948
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
5000.09
5001.42
424964
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
5000.09
5001.72
424953
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
5000.09
5001.92
424982
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
5000.09
5001.52
424989
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
5000.09
5001.91
424998
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
5000.09
5001.62
424999
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
5000.09
5001.62
425006
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
5000.09
5002.02
424996
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
5000.09
5002.11
425018
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
5000.09
5001.51
425015
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
5000.09
5002.11
425022
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
5000.09
5001.62
425036
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
5000.09
5001.71
425048
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
5000.09
5001.41
425045
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
5000.09
5001.77
425105
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
5000.09
5001.51
425127
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
5000.09
5001.91
425129
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
5000.09
5001.81
425119
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
5000.09
5001.72
425123
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
5000.09
5001.51
425136
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
5000.09
5003.71
425134
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
5000.09
5001.61
425159
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
5000.09
5002.01
425162
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
? (TO)
5000.09
5001.61
425174
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
5000.09
5002.12
425180
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
5000.09
5001.71
425177
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
5000.09
5001.81
424917
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
5000.09
5001.71
425037
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
? (TO)
5000.1
5001.71
424799
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.41
424832
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.41
424842
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
5000.1
5001.71
424857
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
5000.1
5002.01
424837
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
? (TO)
5000.1
5002.11
424868
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.71
424869
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
5000.1
5001.51
424881
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.71
424880
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
5000.1
5001.61
424883
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
? (TO)
5000.1
5001.51
424904
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.51
424896
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
5000.1
5001.71
424924
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
5000.1
5001.52
424938
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
5000.1
5001.61
424920
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
5000.1
5001.52
424943
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
5000.1
5002.02
424939
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
5000.1
5001.52
424941
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
5000.1
5001.91
424949
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
5000.1
5002.01
424958
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
5000.1
5001.82
424969
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
5000.1
5001.72
424983
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
5000.1
5001.42
424973
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
5000.1
5001.92
424974
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
5000.1
5001.62
424990
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
5000.1
5002.11
424995
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
5000.1
5002.22
424992
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
5000.1
5001.81
424994
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
5000.1
5002.02
425007
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
5000.1
5002.01
425009
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
5000.1
5001.72
425003
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
5000.1
5001.72
425020
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
5000.1
5002.01
425033
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
5000.1
5001.72
425064
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
5000.1
5001.51
425053
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
5000.1
5001.46
425062
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
5000.1
5001.53
425076
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
5000.1
5001.53
425079
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
5000.1
5001.43
425078
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
5000.1
5001.54
425095
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
5000.1
5002.16
425110
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
5000.1
5002.04
425100
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
? (TO)
5000.1
5001.41
425128
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
5000.1
5001.61
425143
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
5000.1
5001.41
424805
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
5000.1
5002.01
424921
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
5000.1
5001.81
425050
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
5000.1
5000.02
425065
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
424791
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
424811
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.71
424820
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.91
424885
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.51
424872
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
5000.11
5002.01
424906
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.61
424895
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
5000.11
5001.91
424912
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
5000.11
5001.61
424915
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
5000.11
5002.11
424919
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
5000.11
5001.62
424937
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
5000.11
5002.01
424960
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
5000.11
5002.12
424965
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
5000.11
5001.52
424987
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
5000.11
5002.02
424971
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
5000.11
5001.62
424979
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
5000.11
5002.01
425001
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
5000.11
5001.62
425026
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
5000.11
5001.91
425052
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
5000.11
5001.82
425068
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
5000.11
5001.83
425083
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
5000.11
5002.04
425098
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
5000.11
5001.67
425106
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
5000.11
5002.31
425118
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
5000.11
5001.61
425156
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
5000.11
5001.91
425189
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
5000.11
5001.72
424988
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
5000.12
5002.11
424963
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
5000.12
5001.82
424985
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
5000.12
5002.12
424978
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
5000.12
5001.62
425030
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
5000.12
5001.76
425054
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
5000.12
5001.45
425059
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
5000.12
5001.54
425097
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
5000.12
5001.54
425102
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
5000.12
5002.21
425170
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
5000.13
5002.25
425055
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
5000.13
5001.94
425080
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
5000.13
5001.64
425074
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
5000.13
5001.74
425075
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
5000.13
5001.93
425077
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
5000.13
5001.67
425104
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
5000.14
5002.05
425103
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
5000.14
5001.47
425109
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
5000.15
5001.96
425058
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
5000.16
5001.96
425057
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
5000.16
5001.67
425112
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
5000.17
5001.86
425111