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

Result page for benchmark
SAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf

Jump to solvers results

General information on the benchmark

NameSAT04/industrial/hoonsang/vis-bmc/
dekker.used-as.sat04-989.cnf
MD5SUMaed38f764725bc435a811b081bc99da2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.92755
Satisfiable
(Un)Satisfiability was proved
Number of variables19473
Number of clauses58308
Sum of the clauses size136028
Maximum clause length3
Minimum clause length1
Number of clauses of size 118
Number of clauses of size 238860
Number of clauses of size 319430
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)3291854UNSAT 2.90956 2.91242
RestartSAT A75 (complete)3291859UNSAT 2.92755 2.92907
QuteRSat 2011-05-12 (fixed) (complete)3377056UNSAT 2.93655 2.93622
glueminisat 2.2.5 (complete)3291885UNSAT 3.70544 3.70705
Lingeling 587 [DEPRECATED] (complete)3291876UNSAT 4.00139 4.00123
Lingeling 587f (fixed) (complete)3371956UNSAT 4.03839 4.04064
riss 1.0 (complete)3291868UNSAT 5.15622 5.1568
riss Auto (complete)3291870UNSAT 5.2782 5.27939
SAT09 reference solver:glucose 1.0 (complete)3309083UNSAT 5.44017 5.44469
kw 2011-02-28 (complete)3291891UNSAT 6.05908 7.00305
riss Exp (complete)3291869UNSAT 6.24105 6.24273
SApperloT2010 2011-05-15 (fixed) (complete)3380056UNSAT 6.94694 6.95258
glucose 2 (complete)3291886UNSAT 7.76082 7.76139
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3291888UNSAT 8.59169 8.62303
riss Auto (1200 s timeout) (complete)3473041UNSAT 8.72733 4.41765
MPhaseSAT 2011-02-15 (complete)3291847UNSAT 8.93864 8.9418
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349208UNSAT 9.61654 9.62291
MPhaseSAT_M 2011-02-16 (complete)3291849UNSAT 9.76351 9.76505
clasp 2.0-R4092-indust (complete)3300135UNSAT 9.92149 9.92142
minisat hack: minisat_psm 2011-04-01 (complete)3348908UNSAT 10.2644 10.2705
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350108UNSAT 11.1953 11.1966
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380356UNSAT 11.4373 11.4445
EBGlucose 1.0 (incomplete)3291887UNSAT 11.4623 11.4717
priss UP (complete)3291871UNSAT 12.2431 7.2668
RestartSAT B95 (complete)3291858UNSAT 13.284 13.2882
SAT09 reference solver:precosat 236 (complete)3309082UNSAT 13.8859 13.8866
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377956UNSAT 14.1109 14.4413
rcl 2011-04-01 (complete)3291879UNSAT 14.4798 19.316
Plingeling 587 [DEPRECATED] (complete)3291875UNSAT 14.6678 3.72725
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484660UNSAT 14.7498 15.0461
Plingeling 587f (fixed) (complete)3371356UNSAT 14.7708 3.76817
sathys 2011-04-01 (complete)3291880UNSAT 15.9426 15.9483
claspmt 2.0-R4095 [DEPRECATED] (complete)3299835UNSAT 16.4405 4.2633
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3291865UNSAT 16.5965 16.5981
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368356UNSAT 16.6265 16.6296
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362355UNSAT 17.3634 4.71417
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349508UNSAT 17.5353 17.5394
priss 1.0 (complete)3291873UNSAT 19.0371 4.80411
priss Auto (complete)3291872UNSAT 19.878 5.02615
claspmt 2.0-R4095-patched (fixed) (complete)3373456UNSAT 22.0996 5.72246
minisat hack: cir_minisat 2011-03-02 (complete)3348608UNSAT 22.6666 22.6703
PicoSAT 941 (complete)3291874UNSAT 24.9082 24.9083
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370756UNSAT 25.0572 25.0577
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3291867UNSAT 25.0872 25.0869
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317800UNSAT 25.2862 10.4702
QuteRSat 2011-03-01 [DEPRECATED] (complete)3291877UNSAT 25.4001 25.3989
minisat hack reference: minisat 2.2.0 (complete)3362605UNSAT 27.8778 27.879
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369556UNSAT 27.9727 7.02055
SApperloT 2011-03-23 (complete)3291890UNSAT 28.0547 28.0578
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318100UNSAT 28.6376 28.6484
Satisfiability Solver Selector 2011-03-18 (complete)3291884UNSAT 29.43 29.5659
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3291866UNSAT 29.6825 7.44424
CryptoMiniSat TechDemo-Alpha-st (complete)3291863UNSAT 29.9474 29.9633
SArTagnan 2011-05-15 (fixed) (complete)3386300UNSAT 30.1164 10.1134
SArTagnan 2011-03-24 [DEPRECATED] (complete)3291889UNSAT 32.971 8.28613
borg-sat 11.03.02-par-industrial (fixed) (complete)3378856UNSAT 35.0447 18.624
MPhaseSAT64 2011-05-14 (fixed) (complete)3375856UNSAT 36.4805 36.5228
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367156UNSAT 36.8514 10.4467
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3291848UNSAT 38.1352 38.1374
ppfolio seq (complete)3291883UNSAT 40.1209 40.122
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3291864UNSAT 40.4439 11.7012
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309084UNSAT 41.7557 41.7595
ppfolio par (complete)3291882UNSAT 51.88 13.0652
jMiniSat 2011 (complete)3291892UNSAT 59.9969 59.3308
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449810UNSAT 67.38 67.5929
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349808UNSAT 72.0091 72.0101
minisat hack: contrasat 2011-03-02 (complete)3350408UNSAT 80.7187 80.7216
UmSat 2011-05-12 (fixed) (complete)3379456UNSAT 97.8941 97.9544
sattime+ 2011-03-02 (incomplete)3291857? (TO) 1296.49 1300.01
sattime 2011-03-02 (incomplete)3291852? (TO) 1300 1300.01
march_rw 2011-03-02 (complete)3291850? (TO) 1300 1300.02
adaptg2wsat2011 2011-03-02 (incomplete)3291855? (TO) 1300.02 1300.01
Black Hole SAT 2011-03-08 (complete)3291861? (TO) 1300.03 1300.01
shortsattime2011 2011-03-02 (incomplete)3291853? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3291851? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3291856? (TO) 1300.05 1300.01
Sol 2011-04-04 (complete)3291878? (TO) 1301.01 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3291881? (TO) 1301.24 1300.05
STRUCTure 0.1 (hbr=2) (complete)3312180? (TO) 4800.13 1206.47
STRUCTure 0.1 (complete)3313380? (TO) 4800.49 1205.07
UmSat 2011-02-25 [DEPRECATED] (complete)3291860Signal 0.273957 0.281343
CryptoMiniSat TechDemo-Alpha-mt (complete)3291862Signal 112.386 28.5121

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: