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

Result page for benchmark
application/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
MD5SUMe7acb1f64be7eb3ff1367dad08444685
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark152.179
Satisfiable
(Un)Satisfiability was proved
Number of variables25631
Number of clauses142227
Sum of the clauses size317942
Maximum clause length49
Minimum clause length1
Number of clauses of size 1224
Number of clauses of size 2125320
Number of clauses of size 313034
Number of clauses of size 42438
Number of clauses of size 5163
Number of clauses of size over 51048

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
QuteRSat 2011-05-12 (fixed) (complete)3377084UNSAT 152.179 152.18
QuteRSat 2011-03-01 [DEPRECATED] (complete)3286725UNSAT 178.733 178.737
synit_sat 2011-03-03 (complete)3286702UNSAT 182.54 182.549
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368384UNSAT 206.542 206.54
SAT09 reference solver:precosat 236 (complete)3308746UNSAT 208.988 208.986
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3286713UNSAT 213.992 213.991
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3286715UNSAT 225.815 225.81
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370784UNSAT 227.312 227.368
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448930UNSAT 247.16 247.336
MPhaseSAT_M 2011-02-16 (complete)3286697UNSAT 280.368 280.365
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377984UNSAT 280.935 281.074
Lingeling 587f (fixed) (complete)3371984UNSAT 287.853 287.846
MPhaseSAT 2011-02-15 (complete)3286695UNSAT 309.495 309.651
Lingeling 587 [DEPRECATED] (complete)3286724UNSAT 314.443 314.439
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367184UNSAT 386.512 97.0472
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483948UNSAT 468.333 468.651
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317828UNSAT 491.506 133.362
ppfolio seq (complete)3286731UNSAT 507.994 508.107
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369584UNSAT 512.373 128.516
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3286714UNSAT 531.334 133.061
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3286712UNSAT 533.605 133.978
Satisfiability Solver Selector 2011-03-18 (complete)3286732UNSAT 641.6 641.779
SApperloT 2011-03-23 (complete)3286738UNSAT 646.301 646.288
borg-sat 11.03.02-par-industrial (fixed) (complete)3378884UNSAT 669.605 172.034
ppfolio par (complete)3286730UNSAT 734.12 183.833
glueminisat 2.2.5 (complete)3286733UNSAT 745.187 745.152
glucose 2 (complete)3286734UNSAT 763.451 763.426
Plingeling 587 [DEPRECATED] (complete)3286723UNSAT 764.436 191.526
RestartSAT A75 (complete)3286707UNSAT 888 887.969
Plingeling 587f (fixed) (complete)3371384UNSAT 918.117 230.303
minisat hack: contrasat 2011-03-02 (complete)3350436UNSAT 994.078 994.032
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380384UNSAT 1057.36 1057.34
clasp 2.0-R4092-indust (complete)3300163UNSAT 1059.97 1059.95
RestartSAT B95 (complete)3286706UNSAT 1095.71 1095.69
MPhaseSAT64 2011-05-14 (fixed) (complete)3375884UNSAT 1200.68 1200.65
SApperloT2010 2011-05-15 (fixed) (complete)3380084UNSAT 1210.1 1210.11
SArTagnan 2011-03-24 [DEPRECATED] (complete)3286737UNSAT 1231.21 308.322
SArTagnan 2011-05-15 (fixed) (complete)3386328UNSAT 1490.79 499.557
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362131UNSAT 1610.07 404.175
claspmt 2.0-R4095-patched (fixed) (complete)3373484UNSAT 1714.79 430.146
claspmt 2.0-R4095 [DEPRECATED] (complete)3299863UNSAT 2621.88 657.291
riss Auto (1200 s timeout) (complete)3472761? (TO) 1200.06 1200.04
rcl 2011-04-01 (complete)3286727? (TO) 1299.99 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308748? (TO) 1299.99 1300.01
minisat hack: minisat_psm 2011-04-01 (complete)3348936? (TO) 1300.01 1300.02
sattime 2011-03-02 (incomplete)3286700? (TO) 1300.01 1300.01
riss 1.0 (complete)3286716? (TO) 1300.01 1300.01
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318128? (TO) 1300.01 1300.03
sathys 2011-04-01 (complete)3286728? (TO) 1300.01 1300.02
riss Auto (complete)3286718? (TO) 1300.02 1300.01
SAT09 reference solver:glucose 1.0 (complete)3308747? (TO) 1300.03 1300.01
riss Exp (complete)3286717? (TO) 1300.03 1300.01
shortsattime+ 2011-03-02 (incomplete)3286704? (TO) 1300.03 1300.01
sattime+ 2011-03-02 (incomplete)3286705? (TO) 1300.04 1300.01
EBGlucose 1.0 (incomplete)3286735? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3286701? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3286703? (TO) 1300.04 1300.01
march_rw 2011-03-02 (complete)3286698? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3286709? (TO) 1300.05 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3286711? (TO) 1300.05 1300.02
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3286696? (TO) 1300.05 1300.01
PicoSAT 941 (complete)3286722? (TO) 1300.05 1300.01
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350136? (TO) 1300.05 1300.02
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349536? (TO) 1300.06 1300.02
sattime2011 2011-03-02 (incomplete)3286699? (TO) 1300.06 1300.01
minisat hack: cir_minisat 2011-03-02 (complete)3348636? (TO) 1300.06 1300.02
minisat hack reference: minisat 2.2.0 (complete)3362633? (TO) 1300.06 1300.02
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349236? (TO) 1300.07 1300.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3286736? (TO) 1300.07 1300.02
kw 2011-02-28 (complete)3286739? (TO) 1300.07 1300.01
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349836? (TO) 1300.09 1300.03
UmSat 2011-02-25 [DEPRECATED] (complete)3286708? (TO) 1300.11 1300.08
UmSat 2011-05-12 (fixed) (complete)3379484? (TO) 1300.12 1300.08
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3286729? (TO) 1301.96 1300.05
jMiniSat 2011 (complete)3286740? (TO) 1302.13 1300.02
Sol 2011-04-04 (complete)3286726? (TO) 1304.8 1300.04
priss UP (complete)3286719? (TO) 2325.03 1300.02
priss Auto (complete)3286720? (TO) 4800.07 1201.72
CryptoMiniSat TechDemo-Alpha-mt (complete)3286710? (TO) 4800.1 1201.75
priss 1.0 (complete)3286721? (TO) 4800.24 1201.82
STRUCTure 0.1 (hbr=2) (complete)3312208? (TO) 4800.31 1218.87
STRUCTure 0.1 (complete)3313408? (TO) 4800.34 1212.01

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: