SAT 2007 Competition Phase 2: benchmarks results per solver
Result page for solver MiraXT
v3
Category "crafted instances" (CRAFTED)
Solver proved unsatisfiability (UNSATISFIABLE) (54 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.088986
0.08712
456072
crafted/Medium/contest05/pebbling/
unsat-pbl-00070.sat05-1324.reshuffled-07.cnf
UNSAT
0.25496
0.257384
456066
crafted/Medium/contest05/pebbling/
unsat-pbl-00090.sat05-1326.reshuffled-07.cnf
UNSAT
0.272958
0.274955
456051
crafted/Medium/contest05/pebbling/
unsat-pbl-00080.sat05-1325.reshuffled-07.cnf
UNSAT
0.545916
0.549334
456063
crafted/Medium/contest05/pebbling/
unsat-pbl-00200.sat05-1329.reshuffled-07.cnf
UNSAT
1.09283
1.09576
456078
crafted/Medium/contest05/pebbling/
unsat-pbl-00250.sat05-1330.reshuffled-07.cnf
UNSAT
1.9407
1.94337
456075
crafted/Difficult/contest05/sabharwal/
grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf
UNSAT
2.02369
2.02631
456489
crafted/Medium/contest05/pebbling/
unsat-pbl-00150.sat05-1328.reshuffled-07.cnf
UNSAT
2.24666
2.24996
456069
crafted/spence/
medium/s57-100.cnf
UNSAT
5.2552
2.6593
455844
crafted/spence/
medium/s61-100.cnf
UNSAT
9.8915
4.99557
455832
crafted/spence/
medium/s65-100.cnf
UNSAT
15.5186
7.8259
455856
crafted/Medium/contest05/sabharwal/
counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf
UNSAT
23.0655
11.7145
456042
crafted/Medium/contest05/sabharwal/
unsat-logistics-rotate-09t5.sat05-1139.reshuffled-07.cnf
UNSAT
27.0809
16.2036
456039
crafted/spence/
medium/s69-100.cnf
UNSAT
66.1649
33.2552
455838
crafted/Medium/contest05/others/
QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf
UNSAT
96.7323
49.7715
456108
crafted/Medium/contest05/others/
QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf
UNSAT
122.29
61.6678
456084
crafted/Difficult/contest05/QG/
QG6-dead-dnd001.sat05-2742.reshuffled-07.cnf
UNSAT
211.179
106.549
456444
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
UNSAT
221.816
111.496
456465
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf
UNSAT
222.161
111.61
456132
crafted/Medium/contest05/others/
gensys-ukn002.sat05-2744.reshuffled-07.cnf
UNSAT
235.986
118.584
456081
crafted/Difficult/contest05/QG/
QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf
UNSAT
253.748
127.562
456447
crafted/Difficult/contest05/QG/
QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf
UNSAT
277.48
139.349
456453
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-135-2.sat05-2354.reshuffled-07.cnf
UNSAT
309.364
155.249
456537
crafted/Difficult/contest05/QG/
QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf
UNSAT
324.37
162.923
456459
crafted/spence/
medium/s73-100.cnf
UNSAT
338.69
169.827
455847
crafted/Medium/contest05/jarvisalo/
mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf
UNSAT
342.482
171.861
456129
crafted/spence/
medium/s77-100.cnf
UNSAT
363.989
182.681
455829
crafted/Medium/contest05/others/
QG-gensys-brn008.sat05-2685.reshuffled-07.cnf
UNSAT
374.481
187.902
456102
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
UNSAT
383.056
192.215
456546
crafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
UNSAT
400.891
201.407
456450
crafted/Medium/contest05/sabharwal/
counting-easier-fphp-012-010.sat05-1214.reshuffled-07.cnf
UNSAT
418.643
211.262
456048
crafted/Difficult/contest05/QG/
QG6-gensys-icl006.sat05-2718.reshuffled-07.cnf
UNSAT
449.706
225.693
456462
crafted/Difficult/contest05/QG/
QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf
UNSAT
501.71
251.646
456468
crafted/Medium/contest05/others/
QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
UNSAT
502.055
252.139
456099
crafted/Difficult/contest05/QG/
QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf
UNSAT
518.327
260.221
456456
crafted/Difficult/contest-02-03-04/
contest02-Mat26.sat05-457.reshuffled-07.cnf
UNSAT
518.476
260.111
456570
crafted/Hard/contest05/QG/
QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf
UNSAT
615.398
309.079
456231
crafted/Medium/contest05/sabharwal/
counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf
UNSAT
648.008
326.489
456030
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf
UNSAT
874.542
441.081
456552
crafted/spence/
medium/s81-100.cnf
UNSAT
1559.56
782.128
455835
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf
UNSAT
1591.43
798.305
456564
crafted/Difficult/contest-02-03-04/
contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
UNSAT
1714.37
862.513
456573
crafted/Difficult/contest-02-03-04/
contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf
UNSAT
1784.63
894.872
456558
crafted/Hard/contest05/QG/
QG7a-gensys-icl001.sat05-3822.reshuffled-07.cnf
UNSAT
1877.75
946.993
456252
crafted/spence/
medium/s89-100.cnf
UNSAT
2096.95
1051.45
455850
crafted/spence/
medium/s85-100.cnf
UNSAT
2384.75
1195.64
455853
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
UNSAT
3443.39
1726.41
456555
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf
UNSAT
3466.86
1764.93
456207
crafted/Difficult/contest05/QG/
QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf
UNSAT
3763.2
1887.46
456441
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-2.sat05-2567.reshuffled-07.cnf
UNSAT
3856.38
1934.81
456528
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
UNSAT
4080.18
2047.81
456144
crafted/Difficult/contest-02-03-04/
contest03-hwb-n26-01-S1957858365.sat05-500.reshuffled-07.cnf
UNSAT
4489.33
2250.91
456549
crafted/Hard/contest03/others/
999999000001nw.sat05-447.reshuffled-07.cnf
UNSAT
4590.47
2326.52
456387
crafted/Difficult/contest05/jarvisalo/
mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf
UNSAT
4593.7
2304.36
456534
Solver found a solution (SATISFIABLE) (24 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.046992
0.049787
456054
crafted/Medium/contest05/pebbling/
sat-grid-pbl-0200.sat05-1339.reshuffled-07.cnf
SAT
0.659898
0.658169
456060
crafted/Difficult/contest05/sabharwal/
grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf
SAT
1.86871
1.89818
456474
crafted/Medium/contest05/others/
QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf
SAT
4.10337
2.17845
456090
crafted/Medium/contest05/others/
QG7a-gensys-brn100.sat05-3765.reshuffled-07.cnf
SAT
4.83626
2.54029
456093
crafted/Medium/contest05/others/
QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf
SAT
5.67714
2.95494
456087
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-10t19.sat05-1143.reshuffled-07.cnf
SAT
7.64284
4.12566
456036
crafted/Medium/contest05/pebbling/
sat-pbl-00400.sat05-1322.reshuffled-07.cnf
SAT
7.74582
7.75254
456057
crafted/Medium/contest05/others/
QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf
SAT
14.8957
7.61423
456096
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
SAT
35.2096
17.6789
456126
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf
SAT
123.191
61.8064
456123
crafted/Medium/contest05/sabharwal/
sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf
SAT
142.565
72.1736
456045
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-210-1.sat05-2158.reshuffled-07.cnf
SAT
186.05
93.358
456120
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
SAT
333.052
167.023
456117
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf
SAT
387.798
194.432
456297
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-240-3.sat05-2205.reshuffled-07.cnf
SAT
761.34
381.671
456138
crafted/Difficult/contest05/jarvisalo/
mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf
SAT
792.106
397.098
456540
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-2.sat05-2174.reshuffled-07.cnf
SAT
1032.27
517.472
456114
crafted/Hard/contest02/
ezfact64_5.sat05-452.reshuffled-07.cnf
SAT
1479.97
782.238
456351
crafted/Difficult/contest-02-03-04/
contest02-ezfact64_10.sat05-449.reshuffled-07.cnf
SAT
2303.52
1154.78
456567
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf
SAT
2483.91
1245.2
456135
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf
SAT
2602.96
1304.41
456111
crafted/Hard/contest02/
ezfact64_4.sat05-451.reshuffled-07.cnf
SAT
4037.3
2060.73
456372
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf
SAT
4891.16
2451.9
456531
Solver timed out (no solution given) (122 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest05/QG/
QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf
? (TO)
5000.04
2506.23
456243
crafted/Hard/contest05/QG/
QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf
? (TO)
5000.04
2548.73
456237
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf
? (TO)
5000.04
2544.34
456327
crafted/Hard/contest05/counting-php/
easier-fphp-020-015.sat05-1218.reshuffled-07.cnf
? (TO)
5000.05
2548.94
456282
crafted/Hard/contest05/others/
mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf
? (TO)
5000.05
2545.72
456300
crafted/Hard/contest02/
hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf
? (TO)
5000.06
2546.64
456357
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf
? (TO)
5000.06
2506.24
456150
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf
? (TO)
5000.06
2524.64
456168
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf
? (TO)
5000.06
2547.05
456330
crafted/Hard/contest04/others/
equilarge_l5.sat05-522.reshuffled-07.cnf
? (TO)
5000.06
2548.24
456195
crafted/spence/
hard/s109-100.cnf
? (TO)
5000.07
2506.43
455865
crafted/Hard/contest04/others/
equilarge_l4.sat05-521.reshuffled-07.cnf
? (TO)
5000.07
2548.64
456198
crafted/Difficult/contest05/sabharwal/
counting-easier-fphp-014-012.sat05-1215.reshuffled-07.cnf
? (TO)
5000.07
2506.44
456480
crafted/Hard/contest04/others/
equilarge_l3.sat05-520.reshuffled-07.cnf
? (TO)
5000.07
2528.14
456171
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d-0.02-s405595518.sat05-531.reshuffled-07.cnf
? (TO)
5000.08
2518.24
456162
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
? (TO)
5000.08
2509.03
456105
crafted/Difficult/contest05/others/
linvrinv5.sat05-564.reshuffled-07.cnf
? (TO)
5000.08
2506.43
456510
crafted/Difficult/contest05/sabharwal/
gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf
? (TO)
5000.08
2507.77
456486
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf
? (TO)
5000.08
2506.33
456519
crafted/Hard/contest05/others/
linvrinv6.sat05-565.reshuffled-07.cnf
? (TO)
5000.09
2546.23
456294
crafted/Hard/contest02/
ezfact64_6.sat05-453.reshuffled-07.cnf
? (TO)
5000.09
2546.36
456363
crafted/Hard/contest03/others/
color-11-3.sat05-445.reshuffled-07.cnf
? (TO)
5000.09
2537.23
456381
crafted/spence/
hard/s105-100.cnf
? (TO)
5000.1
2506.53
455874
crafted/spence/
hard/s113-100.cnf
? (TO)
5000.1
2506.83
455859
crafted/Hard/contest05/counting-php/
harder-fphp-016-015.sat05-1230.reshuffled-07.cnf
? (TO)
5000.1
2548.74
456261
crafted/Difficult/contest05/sabharwal/
counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf
? (TO)
5000.1
2506.45
456498
crafted/Hard/contest03/looksrandom/
hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf
? (TO)
5000.1
2506.73
456435
crafted/Hard/contest05/counting-php/
easier-php-035-029.sat05-1179.reshuffled-07.cnf
? (TO)
5000.1
2548.18
456267
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf
? (TO)
5000.1
2511.74
456147
crafted/Hard/contest04/others/
Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf
? (TO)
5000.1
2546.95
456192
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf
? (TO)
5000.1
2506.93
456414
crafted/Difficult/contest05/sabharwal/
counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf
? (TO)
5000.11
2506.44
456492
crafted/Hard/contest02/
hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf
? (TO)
5000.11
2538.23
456378
crafted/Hard/contest03/others/
hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf
? (TO)
5000.11
2506.83
456402
crafted/Difficult/contest05/others/
pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf
? (TO)
5000.11
2507.24
456516
crafted/Hard/contest03/others/
hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf
? (TO)
5000.11
2532.93
456384
crafted/Hard/contest03/others/
hwb-n26-03-S540351185.sat05-490.reshuffled-07.cnf
? (TO)
5000.11
2531.32
456390
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-025.sat05-1306.reshuffled-07.cnf
? (TO)
5000.12
2509.96
456024
crafted/spence/
medium/s93-100.cnf
? (TO)
5000.12
2506.83
455841
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf
? (TO)
5000.12
2506.53
456543
crafted/Hard/contest05/QG/
QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf
? (TO)
5000.13
2549.13
456249
crafted/Difficult/contest05/others/
pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf
? (TO)
5000.13
2506.63
456501
crafted/Hard/contest02/
hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf
? (TO)
5000.13
2546.43
456360
crafted/Hard/contest04/others/
Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf
? (TO)
5000.13
2547.55
456189
crafted/Hard/contest05/QG/
QG7-dead-dnd002.sat05-3108.reshuffled-07.cnf
? (TO)
5000.14
2506.43
456246
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf
? (TO)
5000.14
2507.98
456471
crafted/Hard/contest03/looksrandom/
hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf
? (TO)
5000.14
2506.85
456417
crafted/Hard/contest05/counting-php/
harder-fphp-050-049.sat05-1238.reshuffled-07.cnf
? (TO)
5000.15
2550.18
456264
crafted/Hard/contest05/others/
strips-gripper-12t22.sat05-1151.reshuffled-07.cnf
? (TO)
5000.15
2546.75
456318
crafted/Hard/contest02/
hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf
? (TO)
5000.15
2541.53
456366
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf
? (TO)
5000.15
2506.74
456423
crafted/Hard/contest05/counting-php/
harder-fphp-018-017.sat05-1231.reshuffled-07.cnf
? (TO)
5000.16
2546.24
456288
crafted/Hard/contest03/others/
bqwh.40.reg.520.sat05-433.reshuffled-07.cnf
? (TO)
5000.16
2525.54
456396
crafted/Hard/contest03/others/
mm-2x3-8-8-sb.1.sat05-475.reshuffled-07.cnf
? (TO)
5000.16
2507.63
456405
crafted/Hard/contest03/looksrandom/
hgen8-n320-03-S1572374531.sat05-485.reshuffled-07.cnf
? (TO)
5000.16
2506.85
456432
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-10-06-07.sat05-1250.reshuffled-07.cnf
? (TO)
5000.16
2547.13
456336
crafted/spence/
hard/s101-100.cnf
? (TO)
5000.17
2506.73
455862
crafted/Hard/contest05/counting-clq/
unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf
? (TO)
5000.17
2551.26
456333
crafted/Hard/contest04/others/
ramsey.sat05-511.reshuffled-07.cnf
? (TO)
5000.17
2507.13
456177
crafted/Hard/contest05/others/
linvrinv8.sat05-567.reshuffled-07.cnf
? (TO)
5000.17
2546.14
456291
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l3.used-as.sat04-895.sat05-4189.reshuffled-07.cnf
? (TO)
5000.17
2638.52
456213
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-12-07-08.sat05-1251.reshuffled-07.cnf
? (TO)
5000.17
2546.74
456324
crafted/spence/
hard/s117-100.cnf
? (TO)
5000.17
2507.13
455868
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d-0.02-s1542454144.sat05-533.reshuffled-07.cnf
? (TO)
5000.17
2515.64
456153
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf
? (TO)
5000.17
2566.35
456201
crafted/Hard/contest05/counting-php/
harder-fphp-035-034.sat05-1235.reshuffled-07.cnf
? (TO)
5000.17
2549.37
456273
crafted/Hard/contest03/others/
color-18-4.sat05-443.reshuffled-07.cnf
? (TO)
5000.17
2509.95
456408
crafted/Hard/contest03/looksrandom/
hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf
? (TO)
5000.17
2506.83
456411
crafted/Difficult/contest05/sabharwal/
logistics-unsat-logistics-rotate-11t5.sat05-1141.reshuffled-07.cnf
? (TO)
5000.17
2513.36
456483
crafted/Difficult/contest05/others/
sgp_5-5-6.sat05-2675.reshuffled-07.cnf
? (TO)
5000.17
2507.5
456513
crafted/Hard/contest03/looksrandom/
hidden-k3-s0-r5-n700-03-S1609878926.sat05-487.reshuffled-07.cnf
? (TO)
5000.18
2506.53
456420
crafted/Hard/contest03/looksrandom/
hgen8-n260-03-S722413478.sat05-482.reshuffled-07.cnf
? (TO)
5000.18
2506.93
456438
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf
? (TO)
5000.18
2578.69
456219
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf
? (TO)
5000.18
2508.33
456141
crafted/Hard/contest05/others/
strips-gripper-18t35.sat05-1147.reshuffled-07.cnf
? (TO)
5000.18
2550.16
456315
crafted/Hard/contest05/QG/
QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf
? (TO)
5000.19
2548.93
456258
crafted/Hard/contest05/counting-php/
harder-php-045-044.sat05-1195.reshuffled-07.cnf
? (TO)
5000.19
2550.14
456279
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf
? (TO)
5000.19
2506.33
456525
crafted/Difficult/contest05/sabharwal/
counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf
? (TO)
5000.19
2506.84
456495
crafted/Hard/contest05/counting-clq/
unsat-set-a-fclqcolor-10-06-07.sat05-1274.reshuffled-07.cnf
? (TO)
5000.19
2544.24
456321
crafted/Hard/contest04/others/
Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf
? (TO)
5000.19
2547.59
456186
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf
? (TO)
5000.19
2588.6
456210
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-30-20-26.sat05-1264.reshuffled-07.cnf
? (TO)
5000.2
2558.47
456342
crafted/Hard/contest04/others/
Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf
? (TO)
5000.2
2531.56
456174
crafted/Hard/contest05/QG/
QG7a-gensys-icl009.sat05-3830.reshuffled-07.cnf
? (TO)
5000.2
2549.03
456255
crafted/Hard/contest05/counting-php/
harder-fphp-070-069.sat05-1240.reshuffled-07.cnf
? (TO)
5000.2
2557.1
456270
crafted/Hard/contest05/counting-php/
easier-fphp-035-029.sat05-1221.reshuffled-07.cnf
? (TO)
5000.2
2549.46
456276
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.04-s1788334438.sat05-543.reshuffled-07.cnf
? (TO)
5000.2
2521.73
456165
crafted/Hard/contest03/looksrandom/
hgen7-n390-01-S248216171.sat05-478.reshuffled-07.cnf
? (TO)
5000.2
2506.53
456426
crafted/Hard/contest05/QG/
QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf
? (TO)
5000.21
2506.63
456240
crafted/Medium/contest05/sabharwal/
gt-ordering-sat-gt-030.sat05-1295.reshuffled-07.cnf
? (TO)
5000.21
2510.57
456033
crafted/Hard/contest05/counting-clq/
unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf
? (TO)
5000.21
2547.14
456345
crafted/Hard/contest05/others/
linvrinv9.sat05-568.reshuffled-07.cnf
? (TO)
5000.21
2546.25
456309
crafted/Hard/contest04/others/
CompositeRSA576.sat05-509.reshuffled-07.cnf
? (TO)
5000.21
2566.54
456183
crafted/Difficult/contest05/jarvisalo/
mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf
? (TO)
5000.21
2506.53
456522
crafted/spence/
hard/s97-100.cnf
? (TO)
5000.22
2506.83
455871
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf
? (TO)
5000.22
2583.14
456225
crafted/Hard/contest05/others/
eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf
? (TO)
5000.22
2546.53
456303
crafted/Hard/contest02/
ezfact64_3.sat05-450.reshuffled-07.cnf
? (TO)
5000.22
2542.35
456369
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf
? (TO)
5000.22
2516.03
456156
crafted/Hard/contest04/others/
equilarge_l2.sat05-519.reshuffled-07.cnf
? (TO)
5000.22
2545.83
456180
crafted/Difficult/contest05/others/
pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf
? (TO)
5000.22
2506.73
456504
crafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf
? (TO)
5000.22
2506.54
456159
crafted/Difficult/contest-02-03-04/
contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf
? (TO)
5000.23
2506.43
456561
crafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
? (TO)
5000.23
2539.36
456375
crafted/Hard/contest03/others/
hwb-n28-02-S818962541.sat05-492.reshuffled-07.cnf
? (TO)
5000.23
2528.93
456393
crafted/Hard/contest03/looksrandom/
hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf
? (TO)
5000.23
2506.73
456429
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-030.sat05-1307.reshuffled-07.cnf
? (TO)
5000.24
2510.47
456021
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf
? (TO)
5000.24
2616.32
456228
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-30-19-20.sat05-1256.reshuffled-07.cnf
? (TO)
5000.25
2550.77
456339
crafted/Hard/contest03/others/
bqwh.60.1080.sat05-436.reshuffled-07.cnf
? (TO)
5000.25
2523.1
456399
crafted/Hard/contest05/counting-clq/
unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf
? (TO)
5000.25
2546.45
456348
crafted/Difficult/contest05/sabharwal/
gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf
? (TO)
5000.25
2509
456477
crafted/Medium/contest05/sabharwal/
gt-ordering-unsat-gt-035.sat05-1308.reshuffled-07.cnf
? (TO)
5000.25
2508.47
456027
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-equilarge_l2.used-as.sat04-894.sat05-4188.reshuffled-07.cnf
? (TO)
5000.25
2662.03
456204
crafted/Hard/contest05/others/
sgp_5-6-8.sat05-2669.reshuffled-07.cnf
? (TO)
5000.26
2551.77
456306
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf
? (TO)
5000.26
2578.07
456216
crafted/Difficult/contest05/others/
sgp_6-6-10.sat05-2670.reshuffled-07.cnf
? (TO)
5000.26
2522.42
456507
crafted/Hard/contest05/counting-php/
harder-php-025-024.sat05-1191.reshuffled-07.cnf
? (TO)
5000.27
2545.97
456285
crafted/Hard/contest05/phnf/
phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
? (TO)
5000.28
2655.61
456222
crafted/Hard/contest02/
ezfact256_1.sat05-464.reshuffled-07.cnf
? (TO)
5000.29
2548.92
456354
crafted/Hard/contest05/QG/
QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf
? (TO)
5000.39
2546.11
456234
Solver exceeded the memory limit (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
crafted/Hard/contest05/others/
sgp_9-8-8.sat05-2674.reshuffled-07.cnf
? (MO)
3100.08
1626.93
456312
Category "industrial instances" (INDUST)
Solver proved unsatisfiability (UNSATISFIABLE) (74 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/xinetd/
xinetd_vc56687.cnf
UNSAT
0.407937
0.41072
460075
industrial/babic/xinetd/
xinetd_vc56703.cnf
UNSAT
0.408937
0.41197
460081
industrial/babic/
xinetd/itox_vc965.cnf
UNSAT
0.501923
0.504042
460078
industrial/babic/
xinetd/itox_vc979.cnf
UNSAT
0.710891
0.71297
460084
industrial/babic/
xinetd/itox_vc1216.cnf
UNSAT
0.747886
0.748706
460080
industrial/babic/dspam/
dspam_dump_vc962.cnf
UNSAT
1.05884
1.05929
460014
industrial/babic/dspam/
dspam_dump_vc949.cnf
UNSAT
1.10683
1.10692
460021
industrial/babic/hsatv17/
hsat_vc11935.cnf
UNSAT
1.12983
1.13086
460027
industrial/babic/hsatv17/
hsat_vc11944.cnf
UNSAT
1.14282
1.14585
460029
industrial/babic/dspam/
dspam_dump_vc950.cnf
UNSAT
1.16682
1.16985
460019
industrial/babic/
dspam/dspam_dump_vc1093.cnf
UNSAT
1.18982
1.19111
460013
industrial/babic/hsatv17/
hsat_vc12062.cnf
UNSAT
1.3068
1.31701
460032
industrial/babic/hsatv17/
hsat_vc12016.cnf
UNSAT
1.3098
1.3171
460030
industrial/babic/
dspam/dspam_dump_vc1080.cnf
UNSAT
1.3108
1.31302
460022
industrial/babic/
dspam/dspam_dump_vc1081.cnf
UNSAT
1.3138
1.32099
460020
industrial/babic/hsatv17/
hsat_vc12070.cnf
UNSAT
1.35979
1.36144
460025
industrial/babic/hsatv17/
hsat_vc11803.cnf
UNSAT
1.81572
1.81736
460028
industrial/babic/hsatv17/
hsat_vc11773.cnf
UNSAT
1.91971
1.9229
460024
industrial/babic/hsatv17/
hsat_vc12072.cnf
UNSAT
1.9317
1.94625
460023
industrial/babic/hsatv17/
hsat_vc11817.cnf
UNSAT
1.9667
1.9756
460031
industrial/babic/dspam/
dspam_dump_vc973.cnf
UNSAT
2.76658
2.7696
460018
industrial/babic/dspam/
dspam_dump_vc972.cnf
UNSAT
2.77758
2.78086
460016
industrial/babic/hsatv17/
hsat_vc11813.cnf
UNSAT
2.90856
2.91502
460026
industrial/babic/
dspam/dspam_dump_vc1104.cnf
UNSAT
2.93555
2.93862
460017
industrial/babic/
dspam/dspam_dump_vc1103.cnf
UNSAT
2.94755
2.9496
460015
industrial/jarvisalo/
eq.atree.braun.7.unsat.cnf
UNSAT
5.08223
2.59424
460034
industrial/jarvisalo/
eq.atree.braun.8.unsat.cnf
UNSAT
65.504
32.8938
460038
industrial/manolios/
manol-pipe-c10nidw_s.cnf
UNSAT
69.0245
45.6369
460063
industrial/anbulagan/
medium-unsat/total-5-11-u.cnf
UNSAT
100.85
70.9734
459924
industrial/fuhs/medium/
AProVE07-22.cnf
UNSAT
108.298
54.6014
459973
industrial/palacios/uts/
uts-l06-ipc5-h28-unknown.cnf
UNSAT
140.333
103.314
460002
industrial/anbulagan/
medium-unsat/total-5-13-u.cnf
UNSAT
156.56
94.3674
459928
industrial/anbulagan/
medium-unsat/dated-10-15-u.cnf
UNSAT
180.2
116.11
459925
industrial/palacios/uts/
uts-l06-ipc5-h29-unknown.cnf
UNSAT
200.972
132.555
459994
industrial/palacios/uts/
uts-l05-ipc5-h26-unsat.cnf
UNSAT
221.837
127.613
459996
industrial/fuhs/medium/
AProVE07-04.cnf
UNSAT
269.54
137.038
459978
industrial/manolios/
manol-pipe-f7idw.cnf
UNSAT
279.298
149.169
460060
industrial/fuhs/medium/
AProVE07-15.cnf
UNSAT
280.678
141.418
459975
industrial/palacios/uts/
uts-l05-ipc5-h27-unknown.cnf
UNSAT
299.999
167.999
460001
industrial/anbulagan/
medium-unsat/total-10-11-u.cnf
UNSAT
323.692
211.808
459926
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k25.cnf
UNSAT
341.111
172.114
460115
industrial/jarvisalo/
eq.atree.braun.9.unsat.cnf
UNSAT
347.101
174.292
460036
industrial/fuhs/medium/
AProVE07-20.cnf
UNSAT
412.965
207.307
459977
industrial/fuhs/medium/
AProVE07-06.cnf
UNSAT
423.39
217.52
459976
industrial/palacios/uts/
uts-l06-ipc5-h30-unknown.cnf
UNSAT
455.782
261.053
459997
industrial/palacios/medium/
blocks-4-ipc5-h21-unknown.cnf
UNSAT
591.171
415.326
460012
industrial/anbulagan/
medium-unsat/dated-5-11-u.cnf
UNSAT
650.713
339.827
459927
industrial/manolios/
manol-pipe-c6nidw_i.cnf
UNSAT
696.321
351.141
460065
industrial/fuhs/medium/
AProVE07-16.cnf
UNSAT
915.009
462.531
459979
industrial/palacios/medium/
cube-9-h10-unsat.cnf
UNSAT
922.106
494.117
460003
industrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
UNSAT
1157.34
717.32
460011
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k15.cnf
UNSAT
1248.74
627.641
460133
industrial/manolios/
manol-pipe-g10nid.cnf
UNSAT
1291.11
652.401
460067
industrial/manolios/
manol-pipe-g10bidw.cnf
UNSAT
1294.16
656.456
460064
industrial/fuhs/medium/
AProVE07-02.cnf
UNSAT
1353.37
678.715
459970
industrial/palacios/uts/
uts-l06-ipc5-h31-unknown.cnf
UNSAT
1418.37
762.891
460000
industrial/manolios/
manol-pipe-c7bidw_i.cnf
UNSAT
1424.2
716.616
460068
industrial/fuhs/medium/
AProVE07-09.cnf
UNSAT
1469.49
749.882
459971
industrial/anbulagan/
hard-unsat/dated-5-15-u.cnf
UNSAT
1620.85
829.451
459955
industrial/manolios/
manol-pipe-c7nidw.cnf
UNSAT
1737.24
876.702
460062
industrial/fuhs/medium/
AProVE07-21.cnf
UNSAT
1985.81
995.631
459974
industrial/
manolios/manol-pipe-f9b.cnf
UNSAT
2390.67
1210.88
460061
industrial/
manolios/manol-pipe-f9n.cnf
UNSAT
2504.32
1273.85
460066
industrial/palacios/uts/
uts-l06-ipc5-h32-unknown.cnf
UNSAT
2709.44
1416.52
459998
industrial/jarvisalo/
eq.atree.braun.10.unsat.cnf
UNSAT
2857.41
1432.48
460039
industrial/manolios/
manol-pipe-f10ni.cnf
UNSAT
4126.88
2089.91
460069
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k30.cnf
UNSAT
4196.41
2106.8
460108
industrial/anbulagan/
hard-unsat/dated-10-13-u.cnf
UNSAT
4276.28
2165.42
459961
industrial/fuhs/hard/
AProVE07-08.cnf
UNSAT
4499.96
2256.69
459981
industrial/palacios/uts/
uts-l06-ipc5-h33-unknown.cnf
UNSAT
6041.76
3073.29
459999
industrial/fuhs/hard/
AProVE07-03.cnf
UNSAT
7323.94
3671.74
459982
industrial/anbulagan/
hard-unsat/dated-10-11-u.cnf
UNSAT
7716.11
3901.45
459958
industrial/palacios/hard/
sortnet-6-ipc5-h11-unsat.cnf
UNSAT
8430.17
4229.46
459992
industrial/palacios/
medium/emptyroom-4-h21-unsat.cnf
UNSAT
9733.41
4884.25
460006
Solver found a solution (SATISFIABLE) (52 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/babic/
xinetd/itox_vc909.cnf
SAT
4.44732
4.20649
460079
industrial/babic/
xinetd/itox_vc1033.cnf
SAT
4.5753
4.48956
460082
industrial/babic/
xinetd/itox_vc1044.cnf
SAT
4.95725
4.82363
460077
industrial/grieu/
vmpc_27.cnf
SAT
5.42417
3.31541
460051
industrial/babic/
xinetd/itox_vc1130.cnf
SAT
6.04908
5.84287
460076
industrial/babic/
xinetd/itox_vc1138.cnf
SAT
6.35803
6.0886
460083
industrial/narain/
clauses-2.cnf
SAT
15.8936
13.7964
460070
industrial/grieu/
vmpc_24.cnf
SAT
25.6461
13.2672
460054
industrial/anbulagan/
medium-sat/partial-5-13-s.cnf
SAT
63.8883
44.685
459938
industrial/crypto/
mizh-sha0-35-3.cnf
SAT
76.4334
39.0548
460040
industrial/anbulagan/
medium-sat/dated-10-13-s.cnf
SAT
80.8057
57.4768
459942
industrial/narain/
clauses-4.cnf
SAT
84.2392
65.1527
460072
industrial/crypto/
mizh-sha0-35-2.cnf
SAT
85.9369
43.7909
460047
industrial/grieu/
vmpc_25.cnf
SAT
91.0901
46.499
460050
industrial/anbulagan/
medium-sat/total-10-15-s.cnf
SAT
109.328
68.6524
459945
industrial/anbulagan/
medium-sat/total-10-17-s.cnf
SAT
139.144
85.2003
459940
industrial/anbulagan/
medium-sat/dated-10-17-s.cnf
SAT
139.264
84.1112
459944
industrial/grieu/
vmpc_28.cnf
SAT
153.501
77.7452
460057
industrial/anbulagan/
medium-sat/total-10-19-s.cnf
SAT
170.284
107.835
459937
industrial/crypto/
mizh-sha0-35-5.cnf
SAT
174.849
88.3871
460045
industrial/anbulagan/
medium-sat/total-5-19-s.cnf
SAT
178.358
103.837
459941
industrial/anbulagan/
medium-sat/total-5-17-s.cnf
SAT
183.21
105.439
459936
industrial/crypto/
mizh-sha0-35-4.cnf
SAT
203.191
102.619
460041
industrial/
crypto/mizh-md5-47-5.cnf
SAT
278.751
140.685
460049
industrial/
crypto/mizh-md5-48-5.cnf
SAT
307.261
155.566
460046
industrial/
crypto/mizh-md5-48-2.cnf
SAT
340.678
171.746
460042
industrial/palacios/uts/
uts-l06-ipc5-h34-unknown.cnf
SAT
458.229
257.061
459993
industrial/anbulagan/
medium-sat/partial-5-15-s.cnf
SAT
464.515
247.745
459943
industrial/
crypto/mizh-md5-47-4.cnf
SAT
465.243
234.558
460043
industrial/anbulagan/
medium-sat/partial-5-11-s.cnf
SAT
478.238
252.832
459939
industrial/palacios/uts/
uts-l06-ipc5-h35-unknown.cnf
SAT
519.604
288.531
459995
industrial/
crypto/mizh-md5-47-3.cnf
SAT
549.316
276.533
460044
industrial/grieu/
vmpc_26.cnf
SAT
574.861
289.037
460059
industrial/grieu/
vmpc_30.cnf
SAT
676.412
340.141
460052
industrial/palacios/
medium/cube-9-h11-sat.cnf
SAT
721.379
376.321
460007
industrial/narain/
clauses-6.cnf
SAT
952.677
514.926
460074
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k50.cnf
SAT
1007.48
508.138
460122
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k75.cnf
SAT
1087.38
549.788
460131
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k90.cnf
SAT
1156.48
585.449
460134
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k95.cnf
SAT
1272.06
643.854
460125
industrial/grieu/
vmpc_33.cnf
SAT
1495.24
751.046
460053
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k70.cnf
SAT
1749.38
881.579
460124
industrial/grieu/
vmpc_29.cnf
SAT
2591.78
1299.72
460056
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k85.cnf
SAT
2635.01
1326.2
460137
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k45.cnf
SAT
2652.56
1332.56
460120
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k80.cnf
SAT
3083.81
1551.35
460123
industrial/grieu/
vmpc_31.cnf
SAT
3486.55
1748.87
460055
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k60.cnf
SAT
4277.31
2148.21
460121
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k65.cnf
SAT
4498.77
2258.78
460129
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k55.cnf
SAT
4529.39
2274.95
460130
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k100.cnf
SAT
4809.56
2419.96
460136
industrial/palacios/medium/
emptyroom-4-h22-sat.cnf
SAT
7017.16
3519.87
460008
Solver didn't decide (UNKNOWN) (15 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
?
6.22005
6.16553
460145
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
?
6.90095
6.82975
460144
industrial/narain/
clauses-8.cnf
?
6.98994
6.71081
460071
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq9.cnf
?
9.28759
9.24164
460139
industrial/narain/
clauses-10.cnf
?
10.6454
10.3264
460073
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug3.cnf
?
13.293
13.525
460154
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug7.cnf
?
13.324
13.2828
460152
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug9.cnf
?
13.355
13.3967
460150
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug2.cnf
?
13.359
13.5162
460155
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug10.cnf
?
13.38
13.3677
460149
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug8.cnf
?
13.443
13.3585
460156
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug6.cnf
?
13.445
13.4764
460148
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
?
13.45
13.3614
460147
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug4.cnf
?
13.459
13.3764
460151
industrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug1.cnf
?
13.462
13.6626
460153
Solver timed out (no solution given) (73 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/anbulagan/
hard-unsat/total-5-17-u.cnf
? (TO)
10000.1
5038.73
459964
industrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
? (TO)
10000.1
5013.27
460037
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq2.cnf
? (TO)
10000.1
5040.94
460142
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.1
5019.9
460117
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.1
5019.9
460111
industrial/fuhs/hard/
AProVE07-01.cnf
? (TO)
10000.1
5012.55
459980
industrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
? (TO)
10000.1
5026.84
459965
industrial/fuhs/hard/
AProVE07-27.cnf
? (TO)
10000.1
5013.03
459985
industrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
? (TO)
10000.1
5037.01
459991
industrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
? (TO)
10000.1
5012.45
460033
industrial/jarvisalo/
eq.atree.braun.13.unsat.cnf
? (TO)
10000.1
5012.39
460035
industrial/crypto/
mizh-sha0-36-2.cnf
? (TO)
10000.1
5013.65
460048
industrial/grieu/
vmpc_34.cnf
? (TO)
10000.1
5013.89
460058
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.1
5014.88
460106
industrial/anbulagan/
hard-unsat/dated-5-19-u.cnf
? (TO)
10000.2
5025.73
459962
industrial/fuhs/hard/
AProVE07-25.cnf
? (TO)
10000.2
5012.77
459983
industrial/palacios/hard/
safe-30-h29-unsat.cnf
? (TO)
10000.2
5023.87
459990
industrial/palacios/medium/
safe-30-h30-sat.cnf
? (TO)
10000.2
5024.08
460009
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.2
5015.79
460114
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.2
5014.55
460085
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.2
5018.19
460105
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.2
5015.59
460092
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k40.cnf
? (TO)
10000.2
5015.22
460128
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k25.cnf
? (TO)
10000.2
5013.83
460132
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.2
5016.73
460109
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.2
5014.01
460112
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.2
5015.2
460113
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.2
5016.5
460116
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.2
5017.8
460118
industrial/anbulagan/
hard-unsat/total-5-15-u.cnf
? (TO)
10000.2
5025.59
459949
industrial/fuhs/hard/
AProVE07-26.cnf
? (TO)
10000.2
5014.06
459984
industrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
? (TO)
10000.2
5025.64
459987
industrial/palacios/hard/
safe-50-h50-sat.cnf
? (TO)
10000.2
5047.33
459988
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k80.cnf
? (TO)
10000.2
5015.04
460086
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k15.cnf
? (TO)
10000.2
5014.25
460087
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k70.cnf
? (TO)
10000.2
5014.45
460091
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k95.cnf
? (TO)
10000.2
5015.56
460093
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k35.cnf
? (TO)
10000.2
5014.16
460095
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k60.cnf
? (TO)
10000.2
5014.4
460098
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k75.cnf
? (TO)
10000.2
5015.53
460102
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k55.cnf
? (TO)
10000.2
5015.51
460104
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k20.cnf
? (TO)
10000.2
5013.82
460126
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.2
5019.59
460119
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k35.cnf
? (TO)
10000.2
5014.71
460127
industrial/IBM_FV_2004_30/
IBM_FV_2004_rule_batch_30_SAT_dat.k30.cnf
? (TO)
10000.2
5016.63
460135
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k45.cnf
? (TO)
10000.3
5014.24
460088
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.3
5014.27
460089
industrial/palacios/medium/
cube-11-h13-unsat.cnf
? (TO)
10000.3
5033.04
460005
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k65.cnf
? (TO)
10000.3
5014.99
460100
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k30.cnf
? (TO)
10000.3
5013.89
460090
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k40.cnf
? (TO)
10000.3
5014.95
460107
industrial/IBM_FV_2002_31_1_rule_1/
SAT_dat.k85.cnf
? (TO)
10000.3
5019.5
460110
industrial/anbulagan/
medium-unsat/total-10-13-u.cnf
? (TO)
10000.3
5026.8
459923
industrial/anbulagan/
hard-unsat/total-10-17-u.cnf
? (TO)
10000.3
5027.58
459946
industrial/anbulagan/
hard-unsat/total-10-19-u.cnf
? (TO)
10000.3
5027.78
459956
industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf
? (TO)
10000.3
5024.46
459968
industrial/palacios/hard/
sortnet-8-ipc5-h18-unsat.cnf
? (TO)
10000.3
5036.71
459986
industrial/palacios/hard/
safe-50-h49-unsat.cnf
? (TO)
10000.3
5045.33
459989
industrial/palacios/medium/
cube-11-h14-sat.cnf
? (TO)
10000.3
5034.51
460004
industrial/palacios/
medium/sortnet-7-ipc5-h16-sat.cnf
? (TO)
10000.3
5025.68
460010
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k20.cnf
? (TO)
10000.3
5013.73
460094
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k10.cnf
? (TO)
10000.3
5015.65
460096
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k50.cnf
? (TO)
10000.3
5014.57
460097
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k25.cnf
? (TO)
10000.3
5014.45
460099
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k100.cnf
? (TO)
10000.3
5015.74
460101
industrial/IBM_FV_2002_13_rule_1/
SAT_dat.k90.cnf
? (TO)
10000.3
5015.05
460103
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq1.cnf
? (TO)
10000.3
5022.42
460138
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq3.cnf
? (TO)
10000.3
5032.16
460146
industrial/anbulagan/
hard-sat/partial-10-11-s.cnf
? (TO)
10000.4
5026.4
459935
industrial/anbulagan/
hard-unsat/dated-10-19-u.cnf
? (TO)
10000.4
5026.16
459953
industrial/anbulagan/
hard-unsat/total-5-19-u.cnf
? (TO)
10000.4
5025.78
459957
industrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
? (TO)
10000.4
5025.2
459960
industrial/anbulagan/
hard-unsat/partial-10-11-u.cnf
? (TO)
10000.5
5024.88
459963
Solver exceeded the memory limit (no solution given) (20 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
industrial/fuhs/medium/
AProVE07-11.cnf
? (MO)
5.79212
5.30881
459972
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.cnf
? (MO)
963.318
526.978
460141
industrial/anbulagan/
hard-unsat/partial-5-19-u.cnf
? (MO)
1135.28
585.273
459948
industrial/anbulagan/
hard-unsat/partial-10-19-u.cnf
? (MO)
1518.39
778.349
459969
industrial/anbulagan/
hard-sat/partial-5-19-s.cnf
? (MO)
1544.5
790.656
459931
industrial/anbulagan/
hard-unsat/total-10-15-u.cnf
? (MO)
2141.87
1087.99
459959
industrial/anbulagan/
hard-unsat/partial-5-17-u.cnf
? (MO)
2637.22
1338.47
459947
industrial/anbulagan/
hard-sat/partial-10-13-s.cnf
? (MO)
2799.28
1416.26
459934
industrial/anbulagan/
hard-unsat/partial-10-13-u.cnf
? (MO)
2858.57
1448.29
459954
industrial/anbulagan/
hard-unsat/partial-5-13-u.cnf
? (MO)
2917.05
1474.77
459951
industrial/anbulagan/
hard-unsat/partial-10-15-u.cnf
? (MO)
3129.55
1582.98
459950
industrial/anbulagan/
hard-unsat/partial-5-15-u.cnf
? (MO)
3266.14
1651.98
459966
industrial/anbulagan/
hard-unsat/partial-10-17-u.cnf
? (MO)
3427.16
1732.77
459952
industrial/anbulagan/
hard-sat/partial-10-19-s.cnf
? (MO)
3773.26
1910.25
459932
industrial/anbulagan/
hard-sat/partial-5-17-s.cnf
? (MO)
3912.96
1974.58
459929
industrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
? (MO)
4247.09
2141.39
459967
industrial/anbulagan/
hard-sat/partial-10-15-s.cnf
? (MO)
4821.8
2431.18
459933
industrial/anbulagan/
hard-sat/partial-10-17-s.cnf
? (MO)
4831.84
2436.56
459930
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq5.cnf
? (MO)
5952.71
3014.92
460140
industrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq4.cnf
? (MO)
8254.2
4162.64
460143
Category "random instances" (RANDOM)
Solver proved unsatisfiability (UNSATISFIABLE) (37 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.454929
0.303017
426923
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf
UNSAT
0.513921
0.300911
426910
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf
UNSAT
1.46478
0.767692
427034
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf
UNSAT
6.20606
3.16701
427103
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf
UNSAT
34.3538
17.3224
427080
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf
UNSAT
41.6247
20.9764
427004
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf
UNSAT
98.79
49.6553
427062
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf
UNSAT
102.668
51.5972
426879
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf
UNSAT
108.313
54.3921
427040
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf
UNSAT
174.275
87.5906
426980
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf
UNSAT
213.039
107.009
427022
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf
UNSAT
255.448
128.4
427016
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf
UNSAT
312.241
156.676
427052
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf
UNSAT
437.631
219.639
426539
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf
UNSAT
462.555
232.059
426563
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf
UNSAT
479.679
240.685
426703
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf
UNSAT
508.351
255.055
426709
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf
UNSAT
513.561
257.663
426757
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf
UNSAT
513.985
257.83
426575
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf
UNSAT
533.259
267.53
426569
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf
UNSAT
546.049
273.944
426721
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf
UNSAT
574.785
288.28
426751
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf
UNSAT
576.999
289.431
426934
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf
UNSAT
580.662
291.58
426521
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf
UNSAT
828.162
415.382
426885
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf
UNSAT
1183.89
593.65
426895
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf
UNSAT
1394.27
699.082
426459
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf
UNSAT
1830.32
917.811
426174
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf
UNSAT
2244.53
1125.61
426091
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf
UNSAT
2254.42
1130.45
426092
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf
UNSAT
2500.07
1253.84
426089
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf
UNSAT
2509.98
1258.6
426093
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf
UNSAT
2552.91
1279.88
426038
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf
UNSAT
2563.67
1285.81
426090
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf
UNSAT
3291.01
1649.98
426440
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf
UNSAT
3460.07
1734.78
426172
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf
UNSAT
3856.04
1933.48
426171
Solver found a solution (SATISFIABLE) (69 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf
SAT
0.276957
0.149983
426551
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf
SAT
0.817875
0.424213
426853
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
SAT
1.02184
0.553634
426946
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf
SAT
1.9837
1.01057
427074
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf
SAT
2.67759
1.35852
426998
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf
SAT
6.77597
3.44221
426874
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf
SAT
7.80881
3.94063
427068
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf
SAT
9.55255
4.824
427088
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf
SAT
14.4248
7.29433
426733
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf
SAT
20.2309
10.1788
426974
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf
SAT
23.9914
12.0655
426418
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf
SAT
38.4202
19.3185
427119
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf
SAT
38.7941
19.4867
427028
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf
SAT
39.8299
20.0403
426915
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf
SAT
41.5797
20.9181
426557
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf
SAT
43.2844
21.7652
426904
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf
SAT
44.5592
22.3776
426808
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf
SAT
44.8012
22.5042
426992
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
SAT
47.4138
23.8529
426927
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf
SAT
58.2651
29.2669
427109
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf
SAT
65.0071
32.6365
426859
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf
SAT
93.9227
47.1485
426764
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf
SAT
101.447
50.9322
426940
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf
SAT
133.524
67.0079
426715
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf
SAT
141.706
71.1518
426869
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf
SAT
153.148
76.869
426745
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf
SAT
169.925
85.2928
426654
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf
SAT
195.303
97.9455
426797
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf
SAT
199.213
99.9525
426890
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf
SAT
202.431
101.664
426545
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf
SAT
208.824
104.762
426727
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf
SAT
210.743
105.842
426533
random/OnTreshold/5SAT/v70/
unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf
SAT
242.229
121.499
426527
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf
SAT
267.331
134.074
426829
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf
SAT
293.208
147.047
427046
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf
SAT
330.581
165.802
426196
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf
SAT
424.142
212.729
426629
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf
SAT
426.558
213.918
427010
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf
SAT
427.268
214.253
426412
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf
SAT
435.246
218.406
426107
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf
SAT
441.853
221.553
426802
random/OnTreshold/7SAT/v45/
unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf
SAT
445.844
223.625
426739
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf
SAT
602.211
302.006
426899
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf
SAT
671.276
336.746
426500
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf
SAT
688.518
345.422
426484
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf
SAT
693.422
347.793
426478
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf
SAT
737.252
369.712
426958
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf
SAT
878.52
440.532
426109
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
SAT
940.413
471.513
426986
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf
SAT
1107.01
555.201
426667
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf
SAT
1136.36
569.735
426195
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf
SAT
1193.84
598.832
426088
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf
SAT
1216.19
609.865
426158
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf
SAT
1270.73
637.086
427096
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf
SAT
1315.47
659.521
426048
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf
SAT
1517.23
760.664
426036
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf
SAT
1706.42
855.666
426623
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf
SAT
1865.85
935.347
426450
random/OnTreshold/7SAT/v50/
unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf
SAT
2004.96
1005.32
426659
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf
SAT
2089.56
1047.49
426917
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf
SAT
2249.41
1127.7
426169
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf
SAT
2462.82
1234.66
426432
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf
SAT
2756.39
1381.94
426461
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf
SAT
2961.82
1485.05
426467
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf
SAT
2986.04
1497.09
426864
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf
SAT
3173.21
1590.9
426592
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf
SAT
3709.14
1859.36
426862
random/2+p/p0.8/v1295/
unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf
SAT
4191.21
2101.05
426435
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf
SAT
4413.01
2212.47
426441
Solver timed out (no solution given) (405 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf
? (TO)
5000.04
2506.63
426074
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf
? (TO)
5000.04
2506.53
426066
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf
? (TO)
5000.04
2506.73
426077
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf
? (TO)
5000.04
2506.63
426143
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf
? (TO)
5000.04
2507.03
426127
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf
? (TO)
5000.04
2506.53
426156
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S779713554-13.cnf
? (TO)
5000.04
2507.33
426316
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S498187802-14.cnf
? (TO)
5000.04
2507.04
426309
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf
? (TO)
5000.04
2506.53
426405
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf
? (TO)
5000.04
2506.73
426420
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf
? (TO)
5000.05
2506.62
426037
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf
? (TO)
5000.05
2507.03
426096
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf
? (TO)
5000.05
2506.93
426124
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1407716880-15.cnf
? (TO)
5000.05
2507.34
426267
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf
? (TO)
5000.05
2506.33
426433
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1898939887-14.cnf
? (TO)
5000.05
2507.14
426301
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf
? (TO)
5000.05
2506.84
426443
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S120857050-04.cnf
? (TO)
5000.05
2507.33
426314
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf
? (TO)
5000.05
2506.63
426453
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf
? (TO)
5000.06
2506.83
426064
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf
? (TO)
5000.06
2506.83
426045
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf
? (TO)
5000.06
2506.73
426065
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf
? (TO)
5000.06
2506.93
426085
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf
? (TO)
5000.06
2507.43
426111
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf
? (TO)
5000.06
2507.23
426117
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf
? (TO)
5000.06
2506.53
426149
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1922669300-13.cnf
? (TO)
5000.06
2506.95
426202
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S333805260-05.cnf
? (TO)
5000.06
2507.34
426275
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1207324880-03.cnf
? (TO)
5000.06
2507.25
426256
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1403172096-14.cnf
? (TO)
5000.06
2507.34
426262
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1559029529-16.cnf
? (TO)
5000.06
2507.04
426225
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1980584520-03.cnf
? (TO)
5000.06
2507.34
426297
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S57566027-15.cnf
? (TO)
5000.06
2507.14
426304
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S751835224-10.cnf
? (TO)
5000.06
2507.13
426306
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf
? (TO)
5000.06
2506.43
426458
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf
? (TO)
5000.06
2506.57
426392
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf
? (TO)
5000.06
2506.64
426401
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf
? (TO)
5000.06
2506.53
426422
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf
? (TO)
5000.06
2506.53
426416
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf
? (TO)
5000.07
2506.53
426057
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf
? (TO)
5000.07
2506.63
426053
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf
? (TO)
5000.07
2506.73
426072
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf
? (TO)
5000.07
2506.53
426056
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf
? (TO)
5000.07
2506.73
426190
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf
? (TO)
5000.07
2506.63
426148
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf
? (TO)
5000.07
2506.84
426182
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S471246417-03.cnf
? (TO)
5000.07
2506.95
426230
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S837858872-05.cnf
? (TO)
5000.07
2507.16
426236
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1366805398-04.cnf
? (TO)
5000.07
2507.14
426264
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1854213938-15.cnf
? (TO)
5000.07
2507.04
426298
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1941321941-16.cnf
? (TO)
5000.07
2507.14
426300
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1826229031-16.cnf
? (TO)
5000.07
2507.33
426315
random/2+p/p0.7/v3500/
unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf
? (TO)
5000.07
2506.33
426391
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf
? (TO)
5000.07
2506.63
426410
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf
? (TO)
5000.07
2506.83
426415
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf
? (TO)
5000.07
2506.63
426421
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf
? (TO)
5000.08
2506.63
426082
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf
? (TO)
5000.08
2507.23
426099
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf
? (TO)
5000.08
2507.03
426123
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf
? (TO)
5000.08
2506.63
426146
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf
? (TO)
5000.08
2506.63
426186
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf
? (TO)
5000.08
2506.73
426175
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf
? (TO)
5000.08
2506.63
426176
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S2109328271-14.cnf
? (TO)
5000.08
2507.55
426205
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S260814579-03.cnf
? (TO)
5000.08
2507.06
426248
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S769702923-04.cnf
? (TO)
5000.08
2506.95
426209
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1535300821-05.cnf
? (TO)
5000.08
2507.04
426299
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf
? (TO)
5000.08
2507.04
426438
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf
? (TO)
5000.08
2506.44
426384
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf
? (TO)
5000.08
2506.54
426389
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf
? (TO)
5000.08
2506.73
426460
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf
? (TO)
5000.08
2506.74
426395
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf
? (TO)
5000.08
2506.43
426406
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf
? (TO)
5000.08
2506.23
426423
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf
? (TO)
5000.09
2506.63
426042
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf
? (TO)
5000.09
2506.73
426049
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf
? (TO)
5000.09
2506.83
426051
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf
? (TO)
5000.09
2506.63
426076
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf
? (TO)
5000.09
2506.67
426164
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf
? (TO)
5000.09
2506.53
426144
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf
? (TO)
5000.09
2506.63
426145
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf
? (TO)
5000.09
2506.53
426160
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S643005221-14.cnf
? (TO)
5000.09
2507.15
426218
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1342589780-15.cnf
? (TO)
5000.09
2506.86
426241
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S371462865-10.cnf
? (TO)
5000.09
2507.14
426290
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S2026599491-05.cnf
? (TO)
5000.09
2507.43
426321
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf
? (TO)
5000.09
2506.44
426386
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf
? (TO)
5000.09
2506.33
426456
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf
? (TO)
5000.09
2507.06
426334
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf
? (TO)
5000.09
2506.43
426397
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S971732863-03.cnf
? (TO)
5000.09
2507.78
426343
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf
? (TO)
5000.09
2506.77
426351
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf
? (TO)
5000.09
2506.23
426445
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf
? (TO)
5000.1
2506.63
426063
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf
? (TO)
5000.1
2507.03
426084
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf
? (TO)
5000.1
2506.53
426068
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf
? (TO)
5000.1
2507.43
426138
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf
? (TO)
5000.1
2507.23
426137
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf
? (TO)
5000.1
2506.63
426155
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf
? (TO)
5000.1
2507.13
426139
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1059928571-06.cnf
? (TO)
5000.1
2507.15
426206
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1661921212-08.cnf
? (TO)
5000.1
2507.24
426271
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2034423571-08.cnf
? (TO)
5000.1
2507.15
426212
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1358416858-13.cnf
? (TO)
5000.1
2507.44
426274
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S94225360-10.cnf
? (TO)
5000.1
2507.44
426278
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1861814752-08.cnf
? (TO)
5000.1
2507.06
426245
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1751213243-05.cnf
? (TO)
5000.1
2507.14
426289
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf
? (TO)
5000.1
2506.43
426427
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf
? (TO)
5000.1
2506.43
426408
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf
? (TO)
5000.1
2506.73
426448
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf
? (TO)
5000.1
2506.53
426598
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf
? (TO)
5000.11
2506.83
426079
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf
? (TO)
5000.11
2507.23
426119
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf
? (TO)
5000.11
2505.93
426142
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf
? (TO)
5000.11
2507.23
426101
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf
? (TO)
5000.11
2507.23
426114
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf
? (TO)
5000.11
2506.63
426166
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf
? (TO)
5000.11
2507.03
426125
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf
? (TO)
5000.11
2506.77
426187
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf
? (TO)
5000.11
2507.13
426135
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1586629899-14.cnf
? (TO)
5000.11
2506.84
426231
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S485928362-15.cnf
? (TO)
5000.11
2507.26
426243
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1172786648-06.cnf
? (TO)
5000.11
2506.76
426239
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S342579098-10.cnf
? (TO)
5000.11
2507.33
426319
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf
? (TO)
5000.11
2506.7
426324
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2053050899-08.cnf
? (TO)
5000.11
2507.14
426308
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf
? (TO)
5000.11
2506.76
426333
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S897388318-05.cnf
? (TO)
5000.11
2507.48
426346
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S856579407-15.cnf
? (TO)
5000.11
2507.07
426354
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf
? (TO)
5000.12
2506.73
426043
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf
? (TO)
5000.12
2507.23
426098
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf
? (TO)
5000.12
2507.03
426120
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf
? (TO)
5000.12
2506.63
426192
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf
? (TO)
5000.12
2506.63
426193
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf
? (TO)
5000.12
2507.33
426129
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf
? (TO)
5000.12
2506.33
426130
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf
? (TO)
5000.12
2506.73
426194
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S793374232-15.cnf
? (TO)
5000.12
2507.35
426222
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S36357048-10.cnf
? (TO)
5000.12
2507.16
426244
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S478782385-06.cnf
? (TO)
5000.12
2507.24
426286
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf
? (TO)
5000.12
2507.9
426365
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1998470614-06.cnf
? (TO)
5000.12
2507.23
426320
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf
? (TO)
5000.12
2506.77
426345
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf
? (TO)
5000.13
2506.62
426040
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf
? (TO)
5000.13
2507.23
426108
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf
? (TO)
5000.13
2506.63
426159
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf
? (TO)
5000.13
2506.53
426140
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S883927618-10.cnf
? (TO)
5000.13
2507.14
426227
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S787287513-16.cnf
? (TO)
5000.13
2507.34
426270
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1175862975-06.cnf
? (TO)
5000.13
2507.06
426254
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1121059923-10.cnf
? (TO)
5000.13
2507.55
426217
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1627256190-14.cnf
? (TO)
5000.13
2506.96
426247
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S2050975470-04.cnf
? (TO)
5000.13
2506.96
426261
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1096972624-15.cnf
? (TO)
5000.13
2507.34
426281
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S1617760096-16.cnf
? (TO)
5000.13
2506.53
426311
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf
? (TO)
5000.13
2506.53
426398
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf
? (TO)
5000.13
2507.8
426378
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf
? (TO)
5000.13
2507.23
426671
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf
? (TO)
5000.14
2506.83
426080
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf
? (TO)
5000.14
2507.23
426118
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf
? (TO)
5000.14
2506.63
426071
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf
? (TO)
5000.14
2506.63
426168
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf
? (TO)
5000.14
2506.63
426157
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf
? (TO)
5000.14
2506.58
426200
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf
? (TO)
5000.14
2506.43
426162
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S417904071-03.cnf
? (TO)
5000.14
2507.34
426303
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S879514135-06.cnf
? (TO)
5000.14
2507.34
426294
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf
? (TO)
5000.14
2507.31
426376
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf
? (TO)
5000.14
2506.64
426387
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf
? (TO)
5000.14
2506.64
426454
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf
? (TO)
5000.14
2506.33
426449
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf
? (TO)
5000.15
2506.73
426081
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf
? (TO)
5000.15
2506.93
426083
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf
? (TO)
5000.15
2506.83
426086
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf
? (TO)
5000.15
2506.53
426069
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf
? (TO)
5000.15
2507.23
426102
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf
? (TO)
5000.15
2507.23
426116
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf
? (TO)
5000.15
2506.63
426189
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf
? (TO)
5000.15
2507.13
426134
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S422410882-13.cnf
? (TO)
5000.15
2506.96
426249
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1463391112-08.cnf
? (TO)
5000.15
2506.96
426235
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S453945536-08.cnf
? (TO)
5000.15
2507.36
426258
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf
? (TO)
5000.15
2507.23
426115
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf
? (TO)
5000.15
2506.53
426442
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf
? (TO)
5000.15
2506.34
426385
random/2+p/p0.8/v1665/
unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf
? (TO)
5000.15
2506.43
426457
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S251010207-06.cnf
? (TO)
5000.15
2506.56
426337
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf
? (TO)
5000.15
2506.84
426403
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf
? (TO)
5000.15
2506.53
426414
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf
? (TO)
5000.15
2506.53
426419
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf
? (TO)
5000.15
2506.73
426424
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf
? (TO)
5000.16
2506.73
426073
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf
? (TO)
5000.16
2506.63
426041
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf
? (TO)
5000.16
2505.83
426067
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf
? (TO)
5000.16
2506.03
426087
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf
? (TO)
5000.16
2506.53
426058
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf
? (TO)
5000.16
2507.13
426121
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf
? (TO)
5000.16
2506.83
426150
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf
? (TO)
5000.16
2507.43
426136
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1638354370-16.cnf
? (TO)
5000.16
2506.95
426219
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1744543366-13.cnf
? (TO)
5000.16
2507.35
426214
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1509822356-13.cnf
? (TO)
5000.16
2507.25
426259
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S41627158-13.cnf
? (TO)
5000.16
2507.14
426292
random/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf
? (TO)
5000.16
2506.73
426434
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S232355738-04.cnf
? (TO)
5000.16
2506.34
426296
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf
? (TO)
5000.16
2506.54
426439
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1426208256-08.cnf
? (TO)
5000.16
2507.33
426318
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf
? (TO)
5000.16
2506.44
426382
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf
? (TO)
5000.16
2506.58
426342
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S421554531-04.cnf
? (TO)
5000.16
2506.77
426344
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf
? (TO)
5000.16
2506.63
426411
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S597645631-10.cnf
? (TO)
5000.16
2506.78
426350
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf
? (TO)
5000.16
2506.23
426446
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf
? (TO)
5000.16
2506.63
426201
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S666382280-13.cnf
? (TO)
5000.16
2507.14
426285
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf
? (TO)
5000.17
2506.53
426062
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf
? (TO)
5000.17
2506.73
426052
random/OnTreshold/5SAT/v130/
unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf
? (TO)
5000.17
2506.73
426078
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf
? (TO)
5000.17
2506.63
426147
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf
? (TO)
5000.17
2506.63
426170
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf
? (TO)
5000.17
2506.63
426178
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf
? (TO)
5000.17
2506.63
426198
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf
? (TO)
5000.17
2507.04
426181
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf
? (TO)
5000.17
2506.53
426180
random/OnTreshold/3SAT/v550/
unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf
? (TO)
5000.17
2506.63
426141
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf
? (TO)
5000.17
2506.53
426163
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S471833188-06.cnf
? (TO)
5000.17
2507.24
426220
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S52275463-03.cnf
? (TO)
5000.17
2507.34
426269
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S274221008-04.cnf
? (TO)
5000.17
2506.86
426232
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S422570514-15.cnf
? (TO)
5000.17
2506.96
426253
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1798323172-15.cnf
? (TO)
5000.17
2507.24
426283
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf
? (TO)
5000.17
2506.84
426447
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S202413125-05.cnf
? (TO)
5000.17
2506.8
426330
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf
? (TO)
5000.17
2506.75
426341
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf
? (TO)
5000.17
2506.44
426444
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
? (TO)
5000.18
2507.23
426106
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf
? (TO)
5000.18
2507.03
426097
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf
? (TO)
5000.18
2506.63
426167
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf
? (TO)
5000.18
2507.22
426128
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf
? (TO)
5000.18
2506.73
426177
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf
? (TO)
5000.18
2506.93
426161
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S451874538-03.cnf
? (TO)
5000.18
2507.25
426203
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf
? (TO)
5000.18
2506.63
426184
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1243695187-06.cnf
? (TO)
5000.18
2506.96
426250
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S793713844-14.cnf
? (TO)
5000.18
2507.14
426276
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S406284248-03.cnf
? (TO)
5000.18
2507.16
426238
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S1923240245-08.cnf
? (TO)
5000.18
2507.44
426284
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S998136463-10.cnf
? (TO)
5000.18
2507.14
426266
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S938354044-16.cnf
? (TO)
5000.18
2507.14
426287
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf
? (TO)
5000.18
2507.79
426367
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf
? (TO)
5000.18
2508.4
426372
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf
? (TO)
5000.18
2506.54
426451
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S669431406-04.cnf
? (TO)
5000.18
2507.16
426335
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf
? (TO)
5000.18
2507.04
426394
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf
? (TO)
5000.18
2506.54
426404
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S427890210-10.cnf
? (TO)
5000.18
2507.07
426353
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S565127616-04.cnf
? (TO)
5000.18
2506.57
426358
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf
? (TO)
5000.18
2506.43
426425
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf
? (TO)
5000.19
2506.53
426059
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf
? (TO)
5000.19
2505.93
426047
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf
? (TO)
5000.19
2507.53
426104
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf
? (TO)
5000.19
2506.73
426191
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf
? (TO)
5000.19
2505.93
426152
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S388731928-13.cnf
? (TO)
5000.19
2506.85
426229
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S191957358-10.cnf
? (TO)
5000.19
2507.25
426208
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S409751023-10.cnf
? (TO)
5000.19
2507.14
426293
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf
? (TO)
5000.19
2506.33
426436
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S161446644-14.cnf
? (TO)
5000.19
2507.21
426371
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1048256369-15.cnf
? (TO)
5000.19
2507.33
426313
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S679764311-04.cnf
? (TO)
5000.19
2507.14
426307
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf
? (TO)
5000.19
2506.44
426390
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf
? (TO)
5000.19
2506.73
426413
random/2+p/p0.9/v810/
unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf
? (TO)
5000.19
2506.53
426417
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S880121748-08.cnf
? (TO)
5000.19
2506.57
426355
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf
? (TO)
5000.19
2507.23
426675
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf
? (TO)
5000.2
2506.72
426039
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf
? (TO)
5000.2
2506.63
426060
random/OnTreshold/5SAT/v120/
unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf
? (TO)
5000.2
2506.63
426061
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf
? (TO)
5000.2
2507.03
426044
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf
? (TO)
5000.2
2507.53
426100
random/OnTreshold/3SAT/v500/
unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf
? (TO)
5000.2
2506.63
426165
random/OnTreshold/3SAT/v360/
unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf
? (TO)
5000.2
2505.83
426173
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf
? (TO)
5000.2
2507.13
426132
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf
? (TO)
5000.2
2506.63
426154
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf
? (TO)
5000.2
2506.63
426183
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S660110840-06.cnf
? (TO)
5000.2
2507.24
426268
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1058323130-08.cnf
? (TO)
5000.2
2507.15
426210
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1446471927-04.cnf
? (TO)
5000.2
2507.54
426272
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S3230925-04.cnf
? (TO)
5000.2
2507.24
426282
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf
? (TO)
5000.2
2506.54
426383
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf
? (TO)
5000.2
2508.2
426327
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S313074252-14.cnf
? (TO)
5000.2
2506.46
426338
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf
? (TO)
5000.2
2506.63
426409
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S56884336-05.cnf
? (TO)
5000.2
2507.37
426357
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf
? (TO)
5000.21
2506.83
426055
random/OnTreshold/5SAT/v90/
unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf
? (TO)
5000.21
2506.73
426046
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf
? (TO)
5000.21
2507.13
426113
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf
? (TO)
5000.21
2506.83
426070
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf
? (TO)
5000.21
2507.13
426094
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf
? (TO)
5000.21
2507.43
426131
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf
? (TO)
5000.21
2507.13
426122
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf
? (TO)
5000.21
2506.73
426185
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf
? (TO)
5000.21
2506.93
426153
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S16540223-14.cnf
? (TO)
5000.21
2507.05
426252
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S467706592-03.cnf
? (TO)
5000.21
2507.24
426273
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1971221253-16.cnf
? (TO)
5000.21
2506.86
426234
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S2033299325-04.cnf
? (TO)
5000.21
2507.45
426215
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1582455625-10.cnf
? (TO)
5000.21
2507.06
426260
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S811174248-16.cnf
? (TO)
5000.21
2507.76
426242
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S287388441-16.cnf
? (TO)
5000.21
2506.79
426362
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S883878972-08.cnf
? (TO)
5000.21
2506.8
426363
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf
? (TO)
5000.21
2506.84
426431
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S81758219-15.cnf
? (TO)
5000.21
2507.9
426322
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf
? (TO)
5000.21
2507.43
426103
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf
? (TO)
5000.21
2507.4
426326
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf
? (TO)
5000.21
2506.54
426452
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S791125864-16.cnf
? (TO)
5000.21
2508
426329
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf
? (TO)
5000.21
2506.86
426332
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf
? (TO)
5000.21
2506.33
426396
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf
? (TO)
5000.21
2506.54
426399
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf
? (TO)
5000.21
2506.98
426359
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf
? (TO)
5000.21
2506.33
426426
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf
? (TO)
5000.21
2507.61
426377
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf
? (TO)
5000.21
2507.13
426663
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf
? (TO)
5000.21
2506.63
426613
random/OnTreshold/5SAT/v80/
unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf
? (TO)
5000.22
2506.53
426035
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf
? (TO)
5000.22
2506.73
426054
random/OnTreshold/7SAT/v55/
unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf
? (TO)
5000.22
2507.33
426105
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf
? (TO)
5000.22
2507.23
426112
random/OnTreshold/5SAT/v100/
unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf
? (TO)
5000.22
2506.73
426050
random/OnTreshold/5SAT/v110/
unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf
? (TO)
5000.22
2506.73
426075
random/OnTreshold/3SAT/v450/
unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
? (TO)
5000.22
2506.93
426151
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S411047518-16.cnf
? (TO)
5000.22
2507.05
426211
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S640027679-08.cnf
? (TO)
5000.22
2507.23
426277
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S2117580343-16.cnf
? (TO)
5000.22
2507.44
426280
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S788797920-13.cnf
? (TO)
5000.22
2507.44
426263
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1791291573-05.cnf
? (TO)
5000.22
2506.95
426226
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S77566504-14.cnf
? (TO)
5000.22
2507.24
426288
random/OnTreshold/7SAT/v60/
unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf
? (TO)
5000.22
2507.22
426126
random/LargeSize/7SAT/v220/
unif-k7-r85-v220-c18700-S1955740096-08.cnf
? (TO)
5000.22
2507.44
426295
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S187076430-06.cnf
? (TO)
5000.22
2507.44
426302
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S886048189-14.cnf
? (TO)
5000.22
2508.2
426323
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf
? (TO)
5000.22
2507.69
426373
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S450187849-03.cnf
? (TO)
5000.22
2507.06
426339
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf
? (TO)
5000.22
2506.64
426402
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf
? (TO)
5000.22
2507.49
426348
random/OnTreshold/7SAT/v65/
unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf
? (TO)
5000.23
2507.13
426095
random/OnTreshold/3SAT/v650/
unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf
? (TO)
5000.23
2507.03
426188
random/OnTreshold/7SAT/v75/
unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf
? (TO)
5000.23
2507.13
426133
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf
? (TO)
5000.23
2506.63
426197
random/OnTreshold/3SAT/v600/
unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf
? (TO)
5000.23
2506.73
426179
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S1063466123-05.cnf
? (TO)
5000.23
2507.15
426204
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S2129616968-04.cnf
? (TO)
5000.23
2506.85
426228
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1227285183-04.cnf
? (TO)
5000.23
2507.06
426251
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1283500452-05.cnf
? (TO)
5000.23
2507.15
426213
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1022834397-10.cnf
? (TO)
5000.23
2506.26
426237
random/LargeSize/7SAT/v240/
unif-k7-r85-v240-c20400-S1739132237-05.cnf
? (TO)
5000.23
2507.14
426265
random/LargeSize/7SAT/v180/
unif-k7-r85-v180-c15300-S1805843968-06.cnf
? (TO)
5000.23
2507.24
426279
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf
? (TO)
5000.23
2506.84
426428
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf
? (TO)
5000.23
2506.63
426429
random/2+p/p0.9/v1170/
unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf
? (TO)
5000.23
2506.63
426430
random/LargeSize/7SAT/v200/
unif-k7-r85-v200-c17000-S849793820-03.cnf
? (TO)
5000.23
2507.14
426291
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S659720099-13.cnf
? (TO)
5000.23
2507.64
426310
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf
? (TO)
5000.23
2508.18
426369
random/2+p/p0.8/v2035/
unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf
? (TO)
5000.23
2506.84
426437
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S1215030506-14.cnf
? (TO)
5000.23
2507.63
426312
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf
? (TO)
5000.23
2507.3
426375
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf
? (TO)
5000.23
2508.01
426331
random/2+p/p0.9/v990/
unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf
? (TO)
5000.23
2506.63
426407
random/OnTreshold/3SAT/v400/
unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf
? (TO)
5000.23
2506.93
426199
random/OnTreshold/7SAT/v70/
unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf
? (TO)
5000.24
2507.23
426110
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1517867865-16.cnf
? (TO)
5000.24
2507.35
426255
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1691487811-15.cnf
? (TO)
5000.24
2506.45
426216
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S683236487-13.cnf
? (TO)
5000.24
2506.96
426240
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S1556473581-06.cnf
? (TO)
5000.24
2507.15
426224
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf
? (TO)
5000.24
2506.67
426361
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S49237390-14.cnf
? (TO)
5000.24
2508.1
426374
random/LargeSize/7SAT/v140/
unif-k7-r85-v140-c11900-S871621203-03.cnf
? (TO)
5000.24
2507.63
426317
random/LargeSize/7SAT/v160/
unif-k7-r85-v160-c13600-S2043900701-05.cnf
? (TO)
5000.24
2507.44
426305
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf
? (TO)
5000.24
2507.71
426381
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S448238512-10.cnf
? (TO)
5000.24
2507.39
426325
random/2+p/p0.8/v2405/
unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf
? (TO)
5000.24
2506.74
426455
random/2+p/p0.7/v5500/
unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
? (TO)
5000.24
2506.74
426393
random/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf
? (TO)
5000.24
2506.74
426400
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf
? (TO)
5000.24
2507.27
426352
random/LargeSize/5SAT/v600/
unif-k5-r20-v600-c12000-S811866391-08.cnf
? (TO)
5000.25
2507.24
426223
random/LargeSize/5SAT/v800/
unif-k5-r20-v800-c16000-S409844453-15.cnf
? (TO)
5000.25
2507.05
426207
random/LargeSize/5SAT/v1000/
unif-k5-r20-v1000-c20000-S1259611134-14.cnf
? (TO)
5000.25
2506.86
426233
random/LargeSize/5SAT/v900/
unif-k5-r20-v900-c18000-S1285628870-05.cnf
? (TO)
5000.25
2506.35
426257
random/LargeSize/5SAT/v700/
unif-k5-r20-v700-c14000-S1036103820-03.cnf
? (TO)
5000.25
2507.15
426221
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf
? (TO)
5000.25
2508.5
426380
random/2+p/p0.7/v6500/
unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf
? (TO)
5000.25
2506.64
426388
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S102550125-14.cnf
? (TO)
5000.25
2507.27
426360
random/LargeSize/5SAT/v1100/
unif-k5-r20-v1100-c22000-S1128222245-05.cnf
? (TO)
5000.26
2506.96
426246
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S295096144-05.cnf
? (TO)
5000.26
2506.19
426370
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S417670629-08.cnf
? (TO)
5000.26
2507.16
426336
random/LargeSize/3SAT/v4000/
unif-k3-r4.2-v4000-c16800-S440063851-05.cnf
? (TO)
5000.26
2506.76
426340
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf
? (TO)
5000.26
2507.58
426347
random/LargeSize/3SAT/v16000/
unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf
? (TO)
5000.27
2508.2
426328
random/LargeSize/3SAT/v10000/
unif-k3-r4.2-v10000-c42000-S657313757-16.cnf
? (TO)
5000.27
2506.68
426349
random/LargeSize/3SAT/v7000/
unif-k3-r4.2-v7000-c29400-S67600799-16.cnf
? (TO)
5000.27
2507.17
426356
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf
? (TO)
5000.28
2507.1
426364
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf
? (TO)
5000.28
2507.49
426368
random/LargeSize/3SAT/v13000/
unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf
? (TO)
5000.3
2508.5
426366
random/LargeSize/3SAT/v19000/
unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf
? (TO)
5000.31
2506.91
426379