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

Result page for benchmark
SAT02/industrial/aloul/
Homer/homer16.shuffled.cnf

Jump to solvers results

General information on the benchmark

NameSAT02/industrial/aloul/
Homer/homer16.shuffled.cnf
MD5SUMf98b1abe53ae4846a5f9102253ed913e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.484926
Satisfiable
(Un)Satisfiability was proved
Number of variables264
Number of clauses1476
Sum of the clauses size3168
Maximum clause length11
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21452
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 524

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Sol 2011-04-04 (complete)3292798UNSAT 0.484926 0.485464
synit_sat 2011-03-03 (complete)3292774UNSAT 57.7522 57.7554
march_rw 2011-03-02 (complete)3292770UNSAT 282.634 282.625
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449874UNSAT 384.25 384.48
Plingeling 587f (fixed) (complete)3371265UNSAT 506.275 127.341
Plingeling 587 [DEPRECATED] (complete)3292795UNSAT 511.003 128.4
QuteRSat 2011-03-01 [DEPRECATED] (complete)3292797UNSAT 623.55 623.529
UmSat 2011-02-25 [DEPRECATED] (complete)3292780UNSAT 670.78 670.766
UmSat 2011-05-12 (fixed) (complete)3379365UNSAT 692.985 692.982
Satisfiability Solver Selector 2011-03-18 (complete)3292804UNSAT 774.63 774.751
ppfolio seq (complete)3292803UNSAT 842.351 842.837
ppfolio par (complete)3292802UNSAT 1120.83 280.651
clasp 2.0-R4092-indust (complete)3300044UNSAT 1121.94 1121.96
QuteRSat 2011-05-12 (fixed) (complete)3376965UNSAT 1274.39 1274.4
claspmt 2.0-R4095 [DEPRECATED] (complete)3299744UNSAT 1324.67 331.586
claspmt 2.0-R4095-patched (fixed) (complete)3373365UNSAT 1334.81 334.674
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317709UNSAT 2307.54 681.672
borg-sat 11.03.02-par-industrial (fixed) (complete)3378765UNSAT 2755.5 692.018
riss Auto (1200 s timeout) (complete)3473105? (TO) 1200.02 1200.03
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484680? (TO) 1200.06 1199.62
RestartSAT B95 (complete)3292778? (TO) 1299.94 1300.01
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349417? (TO) 1299.98 1300.02
MPhaseSAT 2011-02-15 (complete)3292767? (TO) 1299.98 1300.01
minisat hack: cir_minisat 2011-03-02 (complete)3348517? (TO) 1299.98 1300.01
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350017? (TO) 1300 1300.01
sattime 2011-03-02 (incomplete)3292772? (TO) 1300 1300.01
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349117? (TO) 1300 1300.02
glucose 2 (complete)3292806? (TO) 1300.01 1300.01
riss 1.0 (complete)3292788? (TO) 1300.01 1300.01
riss Exp (complete)3292789? (TO) 1300.02 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375765? (TO) 1300.02 1300.01
Lingeling 587f (fixed) (complete)3371865? (TO) 1300.02 1300.03
minisat hack: minisat_psm 2011-04-01 (complete)3348817? (TO) 1300.02 1300.02
SAT09 reference solver:precosat 236 (complete)3309142? (TO) 1300.02 1300.01
Black Hole SAT 2011-03-08 (complete)3292781? (TO) 1300.02 1300.01
RestartSAT A75 (complete)3292779? (TO) 1300.02 1300.01
riss Auto (complete)3292790? (TO) 1300.02 1300.01
sathys 2011-04-01 (complete)3292800? (TO) 1300.02 1300.01
Lingeling 587 [DEPRECATED] (complete)3292796? (TO) 1300.02 1300.02
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3292787? (TO) 1300.03 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309144? (TO) 1300.03 1300.01
PicoSAT 941 (complete)3292794? (TO) 1300.03 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3292775? (TO) 1300.04 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3292808? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3292777? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3292776? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3292771? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3292769? (TO) 1300.04 1300.01
kw 2011-02-28 (complete)3292811? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3292785? (TO) 1300.05 1300.01
SApperloT 2011-03-23 (complete)3292810? (TO) 1300.05 1300.01
minisat hack: contrasat 2011-03-02 (complete)3350317? (TO) 1300.05 1300.02
minisat hack reference: minisat 2.2.0 (complete)3362514? (TO) 1300.05 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3292768? (TO) 1300.05 1300.01
SApperloT2010 2011-05-15 (fixed) (complete)3379965? (TO) 1300.05 1300.02
shortsattime2011 2011-03-02 (incomplete)3292773? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368265? (TO) 1300.05 1300.02
rcl 2011-04-01 (complete)3292799? (TO) 1300.05 1300.01
glueminisat 2.2.5 (complete)3292805? (TO) 1300.05 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3292783? (TO) 1300.05 1300.01
EBGlucose 1.0 (incomplete)3292807? (TO) 1300.05 1300.01
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349717? (TO) 1300.06 1300.02
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380265? (TO) 1300.06 1300.02
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318009? (TO) 1300.06 1300.02
SAT09 reference solver:glucose 1.0 (complete)3309143? (TO) 1300.06 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370665? (TO) 1300.07 1300.02
jMiniSat 2011 (complete)3292812? (TO) 1300.83 1300.02
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377865? (TO) 1301.91 1300.05
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3292801? (TO) 1303.02 1300.04
priss UP (complete)3292791? (TO) 2432.57 1300.02
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367065? (TO) 3652.6 1300.02
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3292784? (TO) 3656.55 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3386209? (TO) 3981.02 1300.08
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362395? (TO) 4800.1 1203.44
priss 1.0 (complete)3292793? (TO) 4800.13 1201.72
priss Auto (complete)3292792? (TO) 4800.13 1201.72
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369465? (TO) 4800.26 1202.84
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3292786? (TO) 4800.32 1201.73
SArTagnan 2011-03-24 [DEPRECATED] (complete)3292809? (TO) 4800.36 1201.97
CryptoMiniSat TechDemo-Alpha-mt (complete)3292782? (TO) 4800.43 1202.43
STRUCTure 0.1 (hbr=2) (complete)3312089? (TO) 4800.56 1210.08
STRUCTure 0.1 (complete)3313289? (TO) 4800.76 1209.77

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: