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

Result page for benchmark
application/leberre/
2dimensionalstrippacking/korf-17.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/korf-17.cnf
MD5SUMade81e5508101352b3d942708b201606
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark505.23
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses89966
Sum of the clauses size425665
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 216962
Number of clauses of size 310874
Number of clauses of size 412189
Number of clauses of size 522355
Number of clauses of size over 527586

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat hack reference: minisat 2.2.0 (complete)3362654UNSAT 505.23 505.214
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3318149UNSAT 525.28 525.261
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3350157UNSAT 537.65 537.64
minisat hack: contrasat 2011-03-02 (complete)3350457UNSAT 550.958 550.952
glueminisat 2.2.5 (complete)3290873UNSAT 565.227 565.229
PicoSAT 941 (complete)3290862UNSAT 610.734 610.723
minisat hack: minisat_psm 2011-04-01 (complete)3348957UNSAT 670.272 670.25
SApperloT 2011-03-23 (complete)3290878UNSAT 671.367 671.362
clasp 2.0-R4092-indust (complete)3300184UNSAT 730.185 730.169
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349257UNSAT 775.006 774.987
RestartSAT B95 (complete)3290846UNSAT 777.319 777.298
SAT09 reference solver:precosat 236 (complete)3309016UNSAT 799.288 799.274
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380405UNSAT 848.617 848.6
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3290855UNSAT 920.365 920.335
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370805UNSAT 927.131 927.103
MPhaseSAT64 2011-05-14 (fixed) (complete)3375905UNSAT 966.205 966.209
Lingeling 587 [DEPRECATED] (complete)3290864UNSAT 976.388 976.373
Lingeling 587f (fixed) (complete)3372005UNSAT 977.682 977.645
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368405UNSAT 980.466 980.436
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3290853UNSAT 1002.29 1002.27
ppfolio seq (complete)3290871UNSAT 1025.39 1025.36
glucose 2 (complete)3290874UNSAT 1151.17 1151.15
riss Auto (complete)3290858UNSAT 1158.69 1158.64
claspmt 2.0-R4095-patched (fixed) (complete)3373505UNSAT 1165.65 292.946
riss 1.0 (complete)3290856UNSAT 1191.71 1191.7
SAT09 reference solver:glucose 1.0 (complete)3309017UNSAT 1196.25 1196.21
SApperloT2010 2011-05-15 (fixed) (complete)3380105UNSAT 1201.24 1201.23
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3290876UNSAT 1207.51 1207.5
synit_sat 2011-03-03 (complete)3290842UNSAT 1243.5 1243.46
claspmt 2.0-R4095 [DEPRECATED] (complete)3299884UNSAT 1258.21 315.639
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362311UNSAT 1497.1 375.571
Plingeling 587f (fixed) (complete)3371405UNSAT 1639.8 411.402
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3290854UNSAT 1911.39 478.524
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3290852UNSAT 2006.33 502.301
priss UP (complete)3290859UNSAT 2097.85 1150.12
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367205UNSAT 2303.2 577.268
ppfolio par (complete)3290870UNSAT 2303.98 576.766
Plingeling 587 [DEPRECATED] (complete)3290863UNSAT 2387.41 597.744
SArTagnan 2011-05-15 (fixed) (complete)3386349UNSAT 2795.78 929.887
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317849UNSAT 2966.49 746.944
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369605UNSAT 3174.84 795.588
borg-sat 11.03.02-par-industrial (fixed) (complete)3378905UNSAT 3498.1 880.876
riss Auto (1200 s timeout) (complete)3472973? (TO) 1200.05 1200.05
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484638? (TO) 1200.07 1200.43
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449742? (TO) 1200.07 1200.15
borg-sat 11.03.02-seq-industrial (fixed) (complete)3378005? (TO) 1299.13 1300.03
Satisfiability Solver Selector 2011-03-18 (complete)3290872? (TO) 1299.93 1300.02
riss Exp (complete)3290857? (TO) 1299.97 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3290851? (TO) 1299.97 1300.01
minisat hack: cir_minisat 2011-03-02 (complete)3348657? (TO) 1299.97 1300.02
kw 2011-02-28 (complete)3290879? (TO) 1299.98 1300.01
shortsattime2011 2011-03-02 (incomplete)3290841? (TO) 1299.99 1300.01
MPhaseSAT 2011-02-15 (complete)3290835? (TO) 1300.01 1300.01
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309018? (TO) 1300.01 1300.01
Black Hole SAT 2011-03-08 (complete)3290849? (TO) 1300.02 1300.01
RestartSAT A75 (complete)3290847? (TO) 1300.03 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3290843? (TO) 1300.03 1300.01
sathys 2011-04-01 (complete)3290868? (TO) 1300.04 1300.01
EBGlucose 1.0 (incomplete)3290875? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3290837? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3290839? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3290844? (TO) 1300.05 1300.01
sattime+ 2011-03-02 (incomplete)3290845? (TO) 1300.05 1300.01
sattime 2011-03-02 (incomplete)3290840? (TO) 1300.05 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3290836? (TO) 1300.05 1300.01
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349857? (TO) 1300.05 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3290865? (TO) 1300.06 1300.03
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349557? (TO) 1300.06 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3377105? (TO) 1300.07 1300.03
rcl 2011-04-01 (complete)3290867? (TO) 1300.07 1300.01
march_rw 2011-03-02 (complete)3290838? (TO) 1300.07 1300.03
UmSat 2011-05-12 (fixed) (complete)3379505? (TO) 1300.08 1300.04
UmSat 2011-02-25 [DEPRECATED] (complete)3290848? (TO) 1300.08 1300.03
jMiniSat 2011 (complete)3290880? (TO) 1301.43 1300.02
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3290869? (TO) 1301.51 1300.09
Sol 2011-04-04 (complete)3290866? (TO) 1310.2 1300.03
priss 1.0 (complete)3290861? (TO) 4800.02 1201.72
priss Auto (complete)3290860? (TO) 4800.3 1201.83
CryptoMiniSat TechDemo-Alpha-mt (complete)3290850? (TO) 4800.31 1202.92
STRUCTure 0.1 (complete)3313429? (TO) 4800.41 1206.26
SArTagnan 2011-03-24 [DEPRECATED] (complete)3290877? (TO) 4800.5 1201.9
STRUCTure 0.1 (hbr=2) (complete)3312229? (TO) 4800.57 1207.99

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: