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

Result page for benchmark
application/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
MD5SUM36e8e2178d03f08fa4223da0e3d9beb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark539.975
Satisfiable
(Un)Satisfiability was proved
Number of variables87884
Number of clauses1413816
Sum of the clauses size3227576
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21364160
Number of clauses of size 33840
Number of clauses of size 417760
Number of clauses of size 57680
Number of clauses of size over 519680

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
borg-sat 11.03.02-seq-industrial (fixed) (complete)3378013UNSAT 539.975 539.716
SAT09 reference solver:precosat 236 (complete)3308653UNSAT 546.066 546.054
QuteRSat 2011-03-01 [DEPRECATED] (complete)3285299UNSAT 549.419 549.408
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3285287UNSAT 557.353 557.34
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368413UNSAT 561.713 561.706
QuteRSat 2011-05-12 (fixed) (complete)3377113UNSAT 581.738 581.927
synit_sat 2011-03-03 (complete)3285276UNSAT 582.126 582.114
MPhaseSAT64 2011-05-14 (fixed) (complete)3375913UNSAT 652.043 652.024
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3285289UNSAT 656.278 656.28
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370813UNSAT 683.821 683.824
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3448899UNSAT 694.88 695.821
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3285270UNSAT 780.106 780.094
Satisfiability Solver Selector 2011-03-18 (complete)3285306UNSAT 1015.2 1015.37
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3483917UNSAT 1087.67 1087.75
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317857UNSAT 1506.04 413.446
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367213UNSAT 1521.66 390.789
borg-sat 11.03.02-par-industrial (fixed) (complete)3378913UNSAT 1598.29 435.265
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3285286UNSAT 1644.97 413.729
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3285288UNSAT 1710.81 428.486
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369613UNSAT 1751.62 439.495
ppfolio par (complete)3285304UNSAT 1983.92 496.893
CryptoMiniSat TechDemo-Alpha-mt (complete)3285284UNSAT 3768.62 953.761
SArTagnan 2011-05-15 (fixed) (complete)3386357? (exit code) 495.28 174.428
SArTagnan 2011-03-24 [DEPRECATED] (complete)3285311? (exit code) 1208.52 303.453
riss Auto (1200 s timeout) (complete)3472730? (TO) 1200.08 1200.33
glueminisat 2.2.5 (complete)3285307? (TO) 1299.91 1300.03
minisat hack: contrasat 2011-03-02 (complete)3350465? (TO) 1299.96 1300.02
sattime+ 2011-03-02 (incomplete)3285279? (TO) 1299.98 1300.02
rcl 2011-04-01 (complete)3285301? (TO) 1299.98 1300.01
march_rw 2011-03-02 (complete)3285272? (TO) 1299.99 1300.02
glucose 2 (complete)3285308? (TO) 1300 1300.01
ppfolio seq (complete)3285305? (TO) 1300 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3308655? (TO) 1300.01 1300.01
RestartSAT A75 (complete)3285281? (TO) 1300.01 1300.07
EBGlucose 1.0 (incomplete)3285309? (TO) 1300.02 1300.01
minisat hack: minisat_psm 2011-04-01 (complete)3348965? (TO) 1300.02 1300.02
SAT09 reference solver:glucose 1.0 (complete)3308654? (TO) 1300.02 1300.01
riss 1.0 (complete)3285290? (TO) 1300.03 1300.01
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349565? (TO) 1300.03 1300.07
sathys 2011-04-01 (complete)3285302? (TO) 1300.03 1300.01
riss Auto (complete)3285292? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3285271? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3285280? (TO) 1300.04 1300.07
sattime 2011-03-02 (incomplete)3285274? (TO) 1300.04 1300.02
MPhaseSAT 2011-02-15 (complete)3285269? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3285277? (TO) 1300.05 1300.02
Black Hole SAT 2011-03-08 (complete)3285283? (TO) 1300.05 1300.02
Lingeling 587 [DEPRECATED] (complete)3285298? (TO) 1300.05 1300.02
riss Exp (complete)3285291? (TO) 1300.05 1300.01
Lingeling 587f (fixed) (complete)3372013? (TO) 1300.05 1300.02
clasp 2.0-R4092-indust (complete)3300192? (TO) 1300.06 1300.02
sattime2011 2011-03-02 (incomplete)3285273? (TO) 1300.06 1300.02
shortsattime+ 2011-03-02 (incomplete)3285278? (TO) 1300.06 1300.02
PicoSAT 941 (complete)3285296? (TO) 1300.06 1300.03
SApperloT 2011-03-23 (complete)3285312? (TO) 1300.06 1300.03
CryptoMiniSat TechDemo-Alpha-st (complete)3285285? (TO) 1300.08 1300.06
shortsattime2011 2011-03-02 (incomplete)3285275? (TO) 1300.08 1300.02
kw 2011-02-28 (complete)3285313? (TO) 1300.08 1300.03
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3285310? (TO) 1300.08 1300.04
SApperloT2010 2011-05-15 (fixed) (complete)3380113? (TO) 1300.09 1300.05
minisat hack: cir_minisat 2011-03-02 (complete)3348665? (TO) 1300.12 1300.08
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350165? (TO) 1300.12 1300.09
UmSat 2011-05-12 (fixed) (complete)3379513? (TO) 1300.12 1300.08
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349265? (TO) 1300.13 1300.1
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349865? (TO) 1300.13 1300.09
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380413? (TO) 1300.13 1300.1
minisat hack reference: minisat 2.2.0 (complete)3362662? (TO) 1300.14 1300.09
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318157? (TO) 1300.14 1300.11
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3285303? (TO) 1300.67 1300.14
Sol 2011-04-04 (complete)3285300? (TO) 1300.8 1300.07
jMiniSat 2011 (complete)3285314? (TO) 1302.47 1300.03
priss UP (complete)3285293? (TO) 1666.2 1300.02
STRUCTure 0.1 (hbr=2) (complete)3312237? (TO) 4755.17 1300.6
priss 1.0 (complete)3285295? (TO) 4800.11 1202.22
priss Auto (complete)3285294? (TO) 4800.26 1202.32
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362069? (TO) 4800.28 1205.83
Plingeling 587 [DEPRECATED] (complete)3285297? (TO) 4800.36 1202.58
Plingeling 587f (fixed) (complete)3371413? (TO) 4800.46 1204.57
claspmt 2.0-R4095-patched (fixed) (complete)3373513? (TO) 4800.74 1204.07
STRUCTure 0.1 (complete)3313437? (TO) 4801.21 1262.07
claspmt 2.0-R4095 [DEPRECATED] (complete)3299892? (TO) 4801.58 1203.87
UmSat 2011-02-25 [DEPRECATED] (complete)3285282Signal 5.69613 5.69609

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: