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

Result page for benchmark
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pipesworld-12-step15.cnf
MD5SUM86980f7370ece00291f2970256db731a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark63.2044
Satisfiable
(Un)Satisfiability was proved
Number of variables63349
Number of clauses943492
Sum of the clauses size2149412
Maximum clause length541
Minimum clause length1
Number of clauses of size 1202
Number of clauses of size 2908736
Number of clauses of size 32676
Number of clauses of size 41261
Number of clauses of size 54705
Number of clauses of size over 525912

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MPhaseSAT64 2011-05-14 (fixed) (complete)3375888UNSAT 63.2044 63.2079
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368388UNSAT 66.6249 66.6335
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3286190UNSAT 70.3333 70.3326
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3286207UNSAT 71.7501 71.7497
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370788UNSAT 73.7388 73.742
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3286209UNSAT 75.7235 75.7221
SAT09 reference solver:precosat 236 (complete)3308713UNSAT 79.068 79.0948
synit_sat 2011-03-03 (complete)3286196UNSAT 83.2014 83.2015
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483937UNSAT 87.1957 87.4578
QuteRSat 2011-03-01 [DEPRECATED] (complete)3286219UNSAT 88.4506 88.4517
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377988UNSAT 90.0333 90.3122
CryptoMiniSat TechDemo-Alpha-st (complete)3286205UNSAT 91.2501 91.2609
QuteRSat 2011-05-12 (fixed) (complete)3377088UNSAT 103.616 103.615
MPhaseSAT 2011-02-15 (complete)3286189UNSAT 117.031 117.031
Satisfiability Solver Selector 2011-03-18 (complete)3286226UNSAT 117.32 117.416
clasp 2.0-R4092-indust (complete)3300167UNSAT 129.799 129.8
MPhaseSAT_M 2011-02-16 (complete)3286191UNSAT 131.463 131.469
kw 2011-02-28 (complete)3286233UNSAT 151.607 151.601
claspmt 2.0-R4095-patched (fixed) (complete)3373488UNSAT 158.218 40.9186
EBGlucose 1.0 (incomplete)3286229UNSAT 181.541 181.545
Lingeling 587f (fixed) (complete)3371988UNSAT 189.21 189.206
RestartSAT A75 (complete)3286201UNSAT 189.863 189.873
Lingeling 587 [DEPRECATED] (complete)3286218UNSAT 190.265 190.26
glucose 2 (complete)3286228UNSAT 207.821 207.826
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3286208UNSAT 211.808 55.3424
glueminisat 2.2.5 (complete)3286227UNSAT 213.163 213.19
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367188UNSAT 222.395 57.72
claspmt 2.0-R4095 [DEPRECATED] (complete)3299867UNSAT 226.643 57.9746
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369588UNSAT 234.253 61.0782
Plingeling 587 [DEPRECATED] (complete)3286217UNSAT 234.965 59.4585
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3286206UNSAT 248.076 66.1128
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317832UNSAT 265.023 97.6566
borg-sat 11.03.02-par-industrial (fixed) (complete)3378888UNSAT 272.301 90.5957
ppfolio par (complete)3286224UNSAT 303.028 75.9526
SArTagnan 2011-05-15 (fixed) (complete)3386332UNSAT 304.078 136.194
ppfolio seq (complete)3286225UNSAT 314.035 314.03
Plingeling 587f (fixed) (complete)3371388UNSAT 319.47 80.7206
RestartSAT B95 (complete)3286200UNSAT 334.967 334.956
SAT09 reference solver:glucose 1.0 (complete)3308714UNSAT 346.005 346.002
SArTagnan 2011-03-24 [DEPRECATED] (complete)3286231UNSAT 353.688 88.8719
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349540UNSAT 359.997 359.995
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308715UNSAT 370.738 370.734
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349240UNSAT 375.788 375.772
minisat hack: minisat_psm 2011-04-01 (complete)3348940UNSAT 410.829 410.834
riss Auto (1200 s timeout) (complete)3472750UNSAT 432.654 432.641
CryptoMiniSat TechDemo-Alpha-mt (complete)3286204UNSAT 437.135 115.693
minisat hack: contrasat 2011-03-02 (complete)3350440UNSAT 442.185 442.174
rcl 2011-04-01 (complete)3286221UNSAT 443.479 443.487
riss Auto (complete)3286212UNSAT 467.129 467.125
riss 1.0 (complete)3286210UNSAT 491.052 491.039
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380388UNSAT 502.82 502.805
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362109UNSAT 510.06 129.393
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350140UNSAT 552.003 551.989
PicoSAT 941 (complete)3286216UNSAT 555.16 555.142
minisat hack: cir_minisat 2011-03-02 (complete)3348640UNSAT 561.619 561.599
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349840UNSAT 562.587 562.563
minisat hack reference: minisat 2.2.0 (complete)3362637UNSAT 591.094 591.081
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318132UNSAT 595.734 595.727
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3286230UNSAT 623.241 623.226
priss UP (complete)3286213UNSAT 648.961 514.731
SApperloT2010 2011-05-15 (fixed) (complete)3380088UNSAT 696.496 696.476
sathys 2011-04-01 (complete)3286222UNSAT 838.596 838.574
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448919UNSAT 873.98 874.442
SApperloT 2011-03-23 (complete)3286232UNSAT 934.195 934.168
jMiniSat 2011 (complete)3286234UNSAT 965.443 963.238
priss Auto (complete)3286214UNSAT 972.296 245.24
priss 1.0 (complete)3286215UNSAT 1111.54 291.452
riss Exp (complete)3286211UNSAT 1145.85 1145.83
march_rw 2011-03-02 (complete)3286192? (MO) 701.5 701.483
sattime+ 2011-03-02 (incomplete)3286199? (TO) 1299.99 1300.02
shortsattime+ 2011-03-02 (incomplete)3286198? (TO) 1300.03 1300.02
shortsattime2011 2011-03-02 (incomplete)3286195? (TO) 1300.04 1300.02
Black Hole SAT 2011-03-08 (complete)3286203? (TO) 1300.05 1300.02
adaptg2wsat2011 2011-03-02 (incomplete)3286197? (TO) 1300.05 1300.02
sattime 2011-03-02 (incomplete)3286194? (TO) 1300.05 1300.02
sattime2011 2011-03-02 (incomplete)3286193? (TO) 1300.06 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3286202? (TO) 1300.22 1300.19
UmSat 2011-05-12 (fixed) (complete)3379488? (TO) 1300.22 1300.19
Sol 2011-04-04 (complete)3286220? (TO) 1301.19 1300.06
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3286223? (TO) 1301.76 1300.05
STRUCTure 0.1 (complete)3313412? (TO) 4800.72 1260.87
STRUCTure 0.1 (hbr=2) (complete)3312212? (TO) 4800.8 1292.29

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: