SAT 2011 Competition: main competition (phase 1): solvers results per benchmarks

Result page for benchmark
application/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/jarvisalo/
HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtviseisenberg2-tseitin.cnf
MD5SUM7eb9713591c46f87c512df513290fd7f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark25.2302
Satisfiable
(Un)Satisfiability was proved
Number of variables115266
Number of clauses345359
Sum of the clauses size805835
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2230238
Number of clauses of size 3115119
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
synit_sat 2011-03-03 (complete)3288220UNSAT 18.1662 18.1663
glucose 2 (complete)3288252UNSAT 25.2302 25.2318
QuteRSat 2011-05-12 (fixed) (complete)3377096UNSAT 27.0739 27.075
SApperloT 2011-03-23 (complete)3288256UNSAT 27.1359 27.1401
QuteRSat 2011-03-01 [DEPRECATED] (complete)3288243UNSAT 29.3555 29.3596
minisat hack: minisat_psm 2011-04-01 (complete)3348948UNSAT 30.1024 30.1674
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349248UNSAT 31.7092 31.7217
glueminisat 2.2.5 (complete)3288251UNSAT 33.5569 33.5614
SAT09 reference solver:glucose 1.0 (complete)3308846UNSAT 33.7119 33.7169
minisat hack: contrasat 2011-03-02 (complete)3350448UNSAT 34.0468 34.0476
minisat hack reference: minisat 2.2.0 (complete)3362645UNSAT 35.7116 35.7113
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368396UNSAT 35.9245 35.9291
EBGlucose 1.0 (incomplete)3288253UNSAT 37.8792 37.8827
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350148UNSAT 38.1752 38.1866
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349848UNSAT 38.3982 38.4145
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3288231UNSAT 39.727 39.7271
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380396UNSAT 44.7472 44.7726
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370796UNSAT 49.1025 49.102
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3288233UNSAT 49.4235 49.4237
riss Exp (complete)3288235UNSAT 50.4183 50.4212
kw 2011-02-28 (complete)3288257UNSAT 50.4473 50.447
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318140UNSAT 50.8633 50.8638
riss Auto (complete)3288236UNSAT 54.3157 54.3236
riss Auto (1200 s timeout) (complete)3472794UNSAT 56.2294 56.2295
riss 1.0 (complete)3288234UNSAT 60.6318 60.6348
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308847UNSAT 63.3044 63.3135
Lingeling 587f (fixed) (complete)3371996UNSAT 63.3814 63.3814
Lingeling 587 [DEPRECATED] (complete)3288242UNSAT 63.6613 63.6591
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3288254UNSAT 70.3623 70.3656
SApperloT2010 2011-05-15 (fixed) (complete)3380096UNSAT 73.0919 73.0895
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377996UNSAT 73.2909 73.5366
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483981UNSAT 82.2105 82.4644
RestartSAT A75 (complete)3288225UNSAT 89.5264 89.5263
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362197UNSAT 89.5384 24.14
priss UP (complete)3288237UNSAT 94.1707 54.7321
SAT09 reference solver:precosat 236 (complete)3308845UNSAT 95.6275 95.6227
CryptoMiniSat TechDemo-Alpha-st (complete)3288229UNSAT 107.052 107.065
PicoSAT 941 (complete)3288240UNSAT 133.646 133.643
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349548UNSAT 133.69 133.686
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317840UNSAT 134.289 62.445
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448963UNSAT 134.54 142.367
Plingeling 587 [DEPRECATED] (complete)3288241UNSAT 135.383 34.2326
sathys 2011-04-01 (complete)3288246UNSAT 137.952 137.958
Plingeling 587f (fixed) (complete)3371396UNSAT 140.175 35.4774
ppfolio seq (complete)3288249UNSAT 144.07 144.156
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3288230UNSAT 148.864 37.3039
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367196UNSAT 149.713 37.6021
Satisfiability Solver Selector 2011-03-18 (complete)3288250UNSAT 154.53 154.626
borg-sat 11.03.02-par-industrial (fixed) (complete)3378896UNSAT 166.125 61.3054
rcl 2011-04-01 (complete)3288245UNSAT 181.946 181.951
RestartSAT B95 (complete)3288224UNSAT 189.478 189.476
SArTagnan 2011-03-24 [DEPRECATED] (complete)3288255UNSAT 190.955 47.9611
ppfolio par (complete)3288248UNSAT 191.539 47.9602
priss 1.0 (complete)3288239UNSAT 191.918 48.2342
minisat hack: cir_minisat 2011-03-02 (complete)3348648UNSAT 198.763 198.763
priss Auto (complete)3288238UNSAT 200.896 50.5494
claspmt 2.0-R4095-patched (fixed) (complete)3373496UNSAT 209.692 53.4167
SArTagnan 2011-05-15 (fixed) (complete)3386340UNSAT 210.775 53.0135
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3288232UNSAT 213.505 55.5942
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369596UNSAT 224.027 56.2575
MPhaseSAT_M 2011-02-16 (complete)3288215UNSAT 245.401 245.399
MPhaseSAT 2011-02-15 (complete)3288213UNSAT 248.197 248.202
CryptoMiniSat TechDemo-Alpha-mt (complete)3288228UNSAT 353.005 94.6868
jMiniSat 2011 (complete)3288258UNSAT 515.756 514.117
claspmt 2.0-R4095 [DEPRECATED] (complete)3299875UNSAT 519.057 130.782
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3288247UNSAT 645.582 644.148
UmSat 2011-05-12 (fixed) (complete)3379496UNSAT 1275.43 1275.62
adaptg2wsat2011 2011-03-02 (incomplete)3288221? (TO) 1299.74 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3288214? (TO) 1300 1300.01
Black Hole SAT 2011-03-08 (complete)3288227? (TO) 1300.02 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3288226? (TO) 1300.03 1300.04
shortsattime2011 2011-03-02 (incomplete)3288219? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3288218? (TO) 1300.05 1300.01
shortsattime+ 2011-03-02 (incomplete)3288222? (TO) 1300.05 1300.01
clasp 2.0-R4092-indust (complete)3300175? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3288216? (TO) 1300.05 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375896? (TO) 1300.05 1300.02
sattime+ 2011-03-02 (incomplete)3288223? (TO) 1300.05 1300.01
sattime2011 2011-03-02 (incomplete)3288217? (TO) 1300.06 1300.01
Sol 2011-04-04 (complete)3288244? (TO) 1303.74 1300.04
STRUCTure 0.1 (complete)3313420? (TO) 4800.48 1212.66
STRUCTure 0.1 (hbr=2) (complete)3312220? (TO) 4800.68 1218.38

Additionnal information

This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).

Solution found: