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

Result page for benchmark
application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.035-NOTKNOWN.cnf
MD5SUM28233bedeee44da6e79e63b9febc4d1e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2999.44
Satisfiable
(Un)Satisfiability was proved
Number of variables133566
Number of clauses667976
Sum of the clauses size1591941
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2659295
Number of clauses of size 32100
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56370

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt (complete)3285652UNSAT 2999.44 761.576
SArTagnan 2011-05-15 (fixed) (complete)3386430? (exit code) 1665.14 418.964
SArTagnan 2011-03-24 [DEPRECATED] (complete)3285679? (exit code) 1821.35 456.563
synit_sat 2011-03-03 (complete)3285644? (MO) 183.886 184.017
QuteRSat 2011-03-01 [DEPRECATED] (complete)3285667? (MO) 599.405 599.447
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367286? (MO) 701.8 177.622
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368486? (MO) 799.477 799.469
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3285654? (MO) 845.485 213.171
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3285655? (MO) 933.382 933.705
borg-sat 11.03.02-seq-industrial (fixed) (complete)3378086? (MO) 962.22 960.541
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317930? (MO) 1420.75 385.643
borg-sat 11.03.02-par-industrial (fixed) (complete)3378986? (MO) 1585.39 430.552
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369686? (MO) 2475.09 620.808
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3285656? (MO) 2781.54 697.176
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483925? (TO) 1200 1200.13
riss Auto (1200 s timeout) (complete)3472738? (TO) 1200.02 1200.04
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448907? (TO) 1200.04 1207.82
shortsattime2011 2011-03-02 (incomplete)3285643? (TO) 1298.93 1300.01
clasp 2.0-R4092-indust (complete)3300265? (TO) 1299.04 1300.05
sattime 2011-03-02 (incomplete)3285642? (TO) 1299.72 1300.01
Black Hole SAT 2011-03-08 (complete)3285651? (TO) 1299.86 1300.01
riss 1.0 (complete)3285658? (TO) 1299.93 1300.01
shortsattime+ 2011-03-02 (incomplete)3285646? (TO) 1299.97 1300.01
march_rw 2011-03-02 (complete)3285640? (TO) 1299.98 1300.01
minisat hack: contrasat 2011-03-02 (complete)3350538? (TO) 1299.99 1300.02
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308679? (TO) 1300.01 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3285678? (TO) 1300.01 1300.04
riss Exp (complete)3285659? (TO) 1300.01 1300.01
rcl 2011-04-01 (complete)3285669? (TO) 1300.01 1300.01
EBGlucose 1.0 (incomplete)3285677? (TO) 1300.02 1300.01
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318230? (TO) 1300.02 1300.08
sathys 2011-04-01 (complete)3285670? (TO) 1300.02 1300.01
glucose 2 (complete)3285676? (TO) 1300.03 1300.01
minisat hack: minisat_psm 2011-04-01 (complete)3349038? (TO) 1300.03 1300.02
riss Auto (complete)3285660? (TO) 1300.03 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3285645? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375986? (TO) 1300.04 1300.01
ppfolio seq (complete)3285673? (TO) 1300.04 1300.01
SAT09 reference solver:glucose 1.0 (complete)3308678? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3285639? (TO) 1300.04 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3285638? (TO) 1300.04 1300.01
MPhaseSAT 2011-02-15 (complete)3285637? (TO) 1300.05 1300.02
PicoSAT 941 (complete)3285664? (TO) 1300.05 1300.01
sattime+ 2011-03-02 (incomplete)3285647? (TO) 1300.05 1300.01
Lingeling 587 [DEPRECATED] (complete)3285666? (TO) 1300.05 1300.02
Lingeling 587f (fixed) (complete)3372086? (TO) 1300.05 1300.03
SApperloT 2011-03-23 (complete)3285680? (TO) 1300.06 1300.02
minisat hack reference: minisat 2.2.0 (complete)3362735? (TO) 1300.06 1300.08
SAT09 reference solver:precosat 236 (complete)3308677? (TO) 1300.06 1300.04
sattime2011 2011-03-02 (incomplete)3285641? (TO) 1300.06 1300.01
glueminisat 2.2.5 (complete)3285675? (TO) 1300.07 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3380186? (TO) 1300.07 1300.04
kw 2011-02-28 (complete)3285681? (TO) 1300.07 1300.03
minisat hack: cir_minisat 2011-03-02 (complete)3348738? (TO) 1300.07 1300.07
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349338? (TO) 1300.08 1300.07
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350238? (TO) 1300.08 1300.06
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349938? (TO) 1300.11 1300.06
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349638? (TO) 1300.12 1300.09
RestartSAT A75 (complete)3285649? (TO) 1300.12 1300.09
RestartSAT B95 (complete)3285648? (TO) 1300.12 1300.08
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380486? (TO) 1300.14 1300.08
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3285657? (TO) 1300.17 1300.14
UmSat 2011-05-12 (fixed) (complete)3379586? (TO) 1300.19 1300.16
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370886? (TO) 1300.19 1300.13
QuteRSat 2011-05-12 (fixed) (complete)3377186? (TO) 1300.19 1300.3
Sol 2011-04-04 (complete)3285668? (TO) 1300.41 1300.04
jMiniSat 2011 (complete)3285682? (TO) 1301.65 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3285671? (TO) 1302.19 1300.06
Satisfiability Solver Selector 2011-03-18 (complete)3285674? (TO) 1303.82 1300.01
priss UP (complete)3285661? (TO) 1469.85 1300.02
STRUCTure 0.1 (complete)3313510? (TO) 4291.04 1300.34
STRUCTure 0.1 (hbr=2) (complete)3312310? (TO) 4401.86 1300.35
ppfolio par (complete)3285672? (TO) 4800.03 1201.42
priss 1.0 (complete)3285663? (TO) 4800.19 1205.32
Plingeling 587 [DEPRECATED] (complete)3285665? (TO) 4800.26 1202.16
Plingeling 587f (fixed) (complete)3371486? (TO) 4800.39 1205.09
priss Auto (complete)3285662? (TO) 4800.4 1202.12
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362085? (TO) 4800.42 1205.22
claspmt 2.0-R4095-patched (fixed) (complete)3373586? (TO) 4801.04 1205
claspmt 2.0-R4095 [DEPRECATED] (complete)3299965? (TO) 4802.08 1204.25
UmSat 2011-02-25 [DEPRECATED] (complete)3285650Signal 3.04754 3.05102
CryptoMiniSat TechDemo-Alpha-st (complete)3285653Signal 374.693 374.715

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: