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

Result page for benchmark
application/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
MD5SUM5d1253e2dcc0e3e55992672756beadbc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2074.86
Satisfiable
(Un)Satisfiability was proved
Number of variables756832
Number of clauses4116966
Sum of the clauses size9765566
Maximum clause length1178
Minimum clause length1
Number of clauses of size 1846
Number of clauses of size 24082840
Number of clauses of size 3640
Number of clauses of size 4800
Number of clauses of size 5800
Number of clauses of size over 531040

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed) (complete)3373361SAT 2074.86 521.72
SArTagnan 2011-03-24 [DEPRECATED] (complete)3285495? (exit code) 537.932 136.294
SArTagnan 2011-05-15 (fixed) (complete)3386205? (exit code) 817.206 232
QuteRSat 2011-03-01 [DEPRECATED] (complete)3285483? (MO) 186.281 186.691
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368261? (MO) 196.892 196.906
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3285471? (MO) 237.482 237.997
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367061? (MO) 719.026 210.257
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3285470? (MO) 731.878 184.981
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3285472? (MO) 1044.77 265.384
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377861? (MO) 1146.97 1146.86
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369461? (MO) 1164.38 315.158
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317705? (MO) 1589.9 1020.58
borg-sat 11.03.02-par-industrial (fixed) (complete)3378761? (MO) 1631.82 996.079
riss Auto (1200 s timeout) (complete)3472734? (TO) 1200.01 1200.03
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483921? (TO) 1200.04 1200.24
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448903? (TO) 1200.04 1200.25
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3285454? (TO) 1296.33 1300.02
shortsattime2011 2011-03-02 (incomplete)3285459? (TO) 1297.95 1300.03
sattime+ 2011-03-02 (incomplete)3285463? (TO) 1299.1 1300.03
clasp 2.0-R4092-indust (complete)3300040? (TO) 1299.35 1300.03
riss Auto (complete)3285476? (TO) 1299.95 1300.01
EBGlucose 1.0 (incomplete)3285493? (TO) 1299.96 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3285461? (TO) 1299.96 1300.03
Satisfiability Solver Selector 2011-03-18 (complete)3285490? (TO) 1299.97 1300.02
minisat hack: minisat_psm 2011-04-01 (complete)3348813? (TO) 1299.99 1300.03
SApperloT 2011-03-23 (complete)3285496? (TO) 1300 1300.03
shortsattime+ 2011-03-02 (incomplete)3285462? (TO) 1300 1300.03
glucose 2 (complete)3285492? (TO) 1300.01 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308667? (TO) 1300.01 1300.01
sathys 2011-04-01 (complete)3285486? (TO) 1300.01 1300.02
rcl 2011-04-01 (complete)3285485? (TO) 1300.01 1300.02
SAT09 reference solver:glucose 1.0 (complete)3308666? (TO) 1300.01 1300.01
riss 1.0 (complete)3285474? (TO) 1300.02 1300.01
MPhaseSAT_M 2011-02-16 (complete)3285455? (TO) 1300.02 1300.03
riss Exp (complete)3285475? (TO) 1300.03 1300.01
glueminisat 2.2.5 (complete)3285491? (TO) 1300.04 1300.04
MPhaseSAT64 2011-05-14 (fixed) (complete)3375761? (TO) 1300.06 1300.03
sattime2011 2011-03-02 (incomplete)3285457? (TO) 1300.06 1300.03
UmSat 2011-05-12 (fixed) (complete)3379361? (TO) 1300.06 1300.04
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3285494? (TO) 1300.07 1300.05
sattime 2011-03-02 (incomplete)3285458? (TO) 1300.07 1300.03
PicoSAT 941 (complete)3285480? (TO) 1300.07 1300.03
minisat hack: contrasat 2011-03-02 (complete)3350313? (TO) 1300.07 1300.03
MPhaseSAT 2011-02-15 (complete)3285453? (TO) 1300.07 1300.03
SAT09 reference solver:precosat 236 (complete)3308665? (TO) 1300.08 1300.04
Lingeling 587f (fixed) (complete)3371861? (TO) 1300.08 1300.08
Black Hole SAT 2011-03-08 (complete)3285467? (TO) 1300.08 1300.04
march_rw 2011-03-02 (complete)3285456? (TO) 1300.08 1300.04
SApperloT2010 2011-05-15 (fixed) (complete)3379961? (TO) 1300.1 1300.06
kw 2011-02-28 (complete)3285497? (TO) 1300.1 1300.07
Lingeling 587 [DEPRECATED] (complete)3285482? (TO) 1300.11 1300.06
CryptoMiniSat TechDemo-Alpha-st (complete)3285469? (TO) 1300.12 1300.08
minisat hack reference: minisat 2.2.0 (complete)3362510? (TO) 1300.13 1300.13
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349413? (TO) 1300.15 1300.14
RestartSAT A75 (complete)3285465? (TO) 1300.15 1300.11
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380261? (TO) 1300.16 1300.13
minisat hack: cir_minisat 2011-03-02 (complete)3348513? (TO) 1300.16 1300.13
RestartSAT B95 (complete)3285464? (TO) 1300.16 1300.13
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349113? (TO) 1300.17 1300.14
QuteRSat 2011-05-12 (fixed) (complete)3376961? (TO) 1300.17 1300.22
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349713? (TO) 1300.18 1300.15
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350013? (TO) 1300.19 1300.15
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370661? (TO) 1300.19 1300.17
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318005? (TO) 1300.2 1300.14
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3285473? (TO) 1300.22 1300.17
ppfolio seq (complete)3285489? (TO) 1300.29 1300.01
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3285487? (TO) 1301.85 1300.09
Sol 2011-04-04 (complete)3285484? (TO) 1302.62 1300.16
jMiniSat 2011 (complete)3285498? (TO) 1305.41 1300.02
priss UP (complete)3285477? (TO) 1646.65 1300.02
STRUCTure 0.1 (hbr=2) (complete)3312085? (TO) 2528.39 1300.61
STRUCTure 0.1 (complete)3313285? (TO) 2549.84 1300.57
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362077? (TO) 4800.04 1209.52
priss 1.0 (complete)3285479? (TO) 4800.05 1204.32
ppfolio par (complete)3285488? (TO) 4800.26 1201.72
priss Auto (complete)3285478? (TO) 4800.3 1204.12
Plingeling 587f (fixed) (complete)3371261? (TO) 4800.31 1206.84
Plingeling 587 [DEPRECATED] (complete)3285481? (TO) 4800.48 1204.93
claspmt 2.0-R4095 [DEPRECATED] (complete)3299740? (TO) 4800.89 1203.28
UmSat 2011-02-25 [DEPRECATED] (complete)3285466Signal 17.3134 17.3153
synit_sat 2011-03-03 (complete)3285460Signal 149.144 167.846
CryptoMiniSat TechDemo-Alpha-mt (complete)3285468Signal 1091.86 292.108

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:
--too large--