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

Result page for benchmark
SAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf

Jump to solvers results

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/11pipe_k.cnf
MD5SUM932387240a0c17f4c88af52c4ca151c6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark325.87
Satisfiable
(Un)Satisfiability was proved
Number of variables89315
Number of clauses5584003
Sum of the clauses size16593705
Maximum clause length295
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25473787
Number of clauses of size 337063
Number of clauses of size 4514
Number of clauses of size 5453
Number of clauses of size over 572185

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
synit_sat 2011-03-03 (complete)3293694UNSAT 241.615 241.608
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349440UNSAT 325.87 325.863
RestartSAT A75 (complete)3293699UNSAT 575.857 575.84
Lingeling 587 [DEPRECATED] (complete)3293716UNSAT 606.671 606.66
QuteRSat 2011-03-01 [DEPRECATED] (complete)3293717UNSAT 670.788 670.771
Lingeling 587f (fixed) (complete)3371888UNSAT 700.094 700.065
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368288UNSAT 762.736 762.714
QuteRSat 2011-05-12 (fixed) (complete)3376988UNSAT 766.475 766.456
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3293705UNSAT 771.203 771.207
glueminisat 2.2.5 (complete)3293725UNSAT 782.702 782.691
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380288UNSAT 836.754 836.734
minisat hack: cir_minisat 2011-03-02 (complete)3348540UNSAT 924.502 924.501
sathys 2011-04-01 (complete)3293720UNSAT 1068.91 1068.91
kw 2011-02-28 (complete)3293731UNSAT 1160.9 1163.33
Plingeling 587 [DEPRECATED] (complete)3293715UNSAT 1776.63 449.76
Plingeling 587f (fixed) (complete)3371288UNSAT 1783.05 451.045
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367088UNSAT 2527.31 697.484
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3293704UNSAT 2642.69 724.667
claspmt 2.0-R4095-patched (fixed) (complete)3373388UNSAT 4312.97 1090.89
ppfolio par (complete)3293722UNSAT 4349.87 1089.29
borg-sat 11.03.02-par-industrial (fixed) (complete)3378788? 3389.34 1230.66
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318032? (problem) 1258.56 1258.9
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309204? (exit code) 601.361 601.356
SArTagnan 2011-03-24 [DEPRECATED] (complete)3293729? (exit code) 1354.1 341.231
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362435? (exit code) 1714.77 447.005
UmSat 2011-02-25 [DEPRECATED] (complete)3293700? (MO) 1035.09 1035.06
UmSat 2011-05-12 (fixed) (complete)3379388? (MO) 1038.79 1038.76
SArTagnan 2011-05-15 (fixed) (complete)3386232? (MO) 1126.1 498.766
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317732? (MO) 3175.83 1149.31
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484700? (TO) 1200 1200.66
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449894? (TO) 1200.03 1200.23
riss Auto (1200 s timeout) (complete)3473125? (TO) 1200.06 1200.04
ppfolio seq (complete)3293723? (TO) 1297.58 1300.01
shortsattime2011 2011-03-02 (incomplete)3293693? (TO) 1299.96 1300.04
Satisfiability Solver Selector 2011-03-18 (complete)3293724? (TO) 1299.96 1300.02
riss 1.0 (complete)3293708? (TO) 1299.98 1300.01
SAT09 reference solver:glucose 1.0 (complete)3309203? (TO) 1299.98 1300.01
SAT09 reference solver:precosat 236 (complete)3309202? (TO) 1299.99 1300.03
riss Exp (complete)3293709? (TO) 1299.99 1300.01
rcl 2011-04-01 (complete)3293719? (TO) 1300 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370688? (TO) 1300.01 1300.06
riss Auto (complete)3293710? (TO) 1300.02 1300.01
glucose 2 (complete)3293726? (TO) 1300.02 1300.01
EBGlucose 1.0 (incomplete)3293727? (TO) 1300.03 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3293728? (TO) 1300.04 1300.07
CryptoMiniSat TechDemo-Alpha-st (complete)3293703? (TO) 1300.04 1300.02
Black Hole SAT 2011-03-08 (complete)3293701? (TO) 1300.04 1300.05
minisat hack: minisat_psm 2011-04-01 (complete)3348840? (TO) 1300.04 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375788? (TO) 1300.05 1300.03
sattime+ 2011-03-02 (incomplete)3293697? (TO) 1300.05 1300.04
adaptg2wsat2011 2011-03-02 (incomplete)3293695? (TO) 1300.06 1300.04
shortsattime+ 2011-03-02 (incomplete)3293696? (TO) 1300.06 1300.04
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3293688? (TO) 1300.06 1300.03
MPhaseSAT 2011-02-15 (complete)3293687? (TO) 1300.06 1300.04
SApperloT 2011-03-23 (complete)3293730? (TO) 1300.06 1300.03
MPhaseSAT_M 2011-02-16 (complete)3293689? (TO) 1300.07 1300.04
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377888? (TO) 1300.07 1300.07
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350040? (TO) 1300.07 1300.11
PicoSAT 941 (complete)3293714? (TO) 1300.07 1300.04
sattime2011 2011-03-02 (incomplete)3293691? (TO) 1300.07 1300.04
minisat hack: contrasat 2011-03-02 (complete)3350340? (TO) 1300.08 1300.04
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3293707? (TO) 1300.08 1300.06
sattime 2011-03-02 (incomplete)3293692? (TO) 1300.09 1300.04
SApperloT2010 2011-05-15 (fixed) (complete)3379988? (TO) 1300.1 1300.06
RestartSAT B95 (complete)3293698? (TO) 1300.12 1300.08
march_rw 2011-03-02 (complete)3293690? (TO) 1300.12 1300.08
clasp 2.0-R4092-indust (complete)3300067? (TO) 1300.13 1300.1
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349740? (TO) 1300.15 1300.12
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349140? (TO) 1300.17 1300.14
minisat hack reference: minisat 2.2.0 (complete)3362537? (TO) 1300.28 1300.3
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3293721? (TO) 1302.34 1300.1
jMiniSat 2011 (complete)3293732? (TO) 1305.26 1300.02
Sol 2011-04-04 (complete)3293718? (TO) 1305.91 1300.18
priss UP (complete)3293711? (TO) 1878.37 1300.02
priss Auto (complete)3293712? (TO) 4800.11 1205.02
priss 1.0 (complete)3293713? (TO) 4800.31 1204.52
CryptoMiniSat TechDemo-Alpha-mt (complete)3293702? (TO) 4800.32 1206.19
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369488? (TO) 4800.37 1217.18
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3293706? (TO) 4800.52 1201.8
claspmt 2.0-R4095 [DEPRECATED] (complete)3299767? (TO) 4801.26 1203.87
STRUCTure 0.1 (hbr=2) (complete)3312112? (TO) 4801.37 1293.94
STRUCTure 0.1 (complete)3313312? (TO) 4803.81 1293.22

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: