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

Result page for benchmark
application/leberre/
2dimensionalstrippacking/E15N15.cnf

Jump to solvers results

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E15N15.cnf
MD5SUM3c60abce47126bbdfce1595a967e7025
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.003998
Satisfiable
(Un)Satisfiability was proved
Number of variables4740
Number of clauses44327
Sum of the clauses size217697
Maximum clause length36
Minimum clause length1
Number of clauses of size 146
Number of clauses of size 212551
Number of clauses of size 38440
Number of clauses of size 41440
Number of clauses of size 53015
Number of clauses of size over 518835

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT 2011-03-23 (complete)3291154UNSAT 0.003998 0.00638593
SArTagnan 2011-05-15 (fixed) (complete)3386183UNSAT 0.005998 0.0153859
SArTagnan 2011-03-24 [DEPRECATED] (complete)3291153UNSAT 0.005998 0.00739194
SApperloT2010 2011-05-15 (fixed) (complete)3379939UNSAT 0.006998 0.0136179
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3291152UNSAT 0.006998 0.0112181
minisat hack: cir_minisat 2011-03-02 (complete)3348491UNSAT 0.008997 0.0124179
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3317983UNSAT 0.009997 0.0142199
minisat hack reference: minisat 2.2.0 (complete)3362488UNSAT 0.009997 0.011494
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380239UNSAT 0.010997 0.0147591
RestartSAT A75 (complete)3291123UNSAT 0.010997 0.011315
RestartSAT B95 (complete)3291122UNSAT 0.010997 0.010858
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3291131UNSAT 0.010998 0.012468
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349091UNSAT 0.011997 0.0201899
glueminisat 2.2.5 (complete)3291149UNSAT 0.011997 0.0137301
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370639UNSAT 0.011997 0.0128149
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368239UNSAT 0.012997 0.017089
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3291129UNSAT 0.013997 0.014034
ppfolio seq (complete)3291147UNSAT 0.015997 0.067979
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349391UNSAT 0.016996 0.019803
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349691UNSAT 0.017996 0.0175061
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3349991UNSAT 0.017996 0.0176959
CryptoMiniSat TechDemo-Alpha-st (complete)3291127UNSAT 0.018996 0.0311201
clasp 2.0-R4092-indust (complete)3300018UNSAT 0.020995 0.024286
claspmt 2.0-R4095 [DEPRECATED] (complete)3299718UNSAT 0.021995 0.0235181
claspmt 2.0-R4095-patched (fixed) (complete)3373339UNSAT 0.022996 0.022743
PicoSAT 941 (complete)3291138UNSAT 0.024995 0.025229
Lingeling 587f (fixed) (complete)3371839UNSAT 0.026995 0.0318059
Lingeling 587 [DEPRECATED] (complete)3291140UNSAT 0.027995 0.02921
SAT09 reference solver:precosat 236 (complete)3309034UNSAT 0.030994 0.0316179
Black Hole SAT 2011-03-08 (complete)3291125UNSAT 0.030994 0.0316749
priss UP (complete)3291135UNSAT 0.034994 0.0355041
MPhaseSAT64 2011-05-14 (fixed) (complete)3375739UNSAT 0.037994 0.0394001
march_rw 2011-03-02 (complete)3291114UNSAT 0.042992 0.044534
riss Auto (complete)3291134UNSAT 0.044992 0.0472299
riss Exp (complete)3291133UNSAT 0.045992 0.046504
riss Auto (1200 s timeout) (complete)3472979UNSAT 0.046992 0.052825
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3291130UNSAT 0.047992 0.0183029
riss 1.0 (complete)3291132UNSAT 0.048992 0.0494721
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3291112UNSAT 0.049991 0.051147
ppfolio par (complete)3291146UNSAT 0.051991 0.0165599
MPhaseSAT 2011-02-15 (complete)3291111UNSAT 0.05399 0.05451
MPhaseSAT_M 2011-02-16 (complete)3291113UNSAT 0.05499 0.0550151
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3291128UNSAT 0.05899 0.0202411
Plingeling 587 [DEPRECATED] (complete)3291139UNSAT 0.064989 0.065255
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369439UNSAT 0.065989 0.0221671
Plingeling 587f (fixed) (complete)3371239UNSAT 0.065989 0.065158
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309036UNSAT 0.073988 0.0789421
SAT09 reference solver:glucose 1.0 (complete)3309035UNSAT 0.075987 0.076686
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362323UNSAT 0.075987 0.077127
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367039UNSAT 0.081986 0.027349
sathys 2011-04-01 (complete)3291144UNSAT 0.083986 0.0843611
glucose 2 (complete)3291150UNSAT 0.083986 0.0843721
minisat hack: minisat_psm 2011-04-01 (complete)3348791UNSAT 0.090985 0.094044
EBGlucose 1.0 (incomplete)3291151UNSAT 0.090985 0.0945491
rcl 2011-04-01 (complete)3291143UNSAT 0.094985 0.094881
kw 2011-02-28 (complete)3291155UNSAT 0.099984 0.100563
CryptoMiniSat TechDemo-Alpha-mt (complete)3291126UNSAT 0.116981 0.068438
priss Auto (complete)3291136UNSAT 0.119981 0.071676
priss 1.0 (complete)3291137UNSAT 0.12298 0.0663211
synit_sat 2011-03-03 (complete)3291118UNSAT 0.206968 0.208622
QuteRSat 2011-05-12 (fixed) (complete)3376939UNSAT 0.208967 0.213742
QuteRSat 2011-03-01 [DEPRECATED] (complete)3291141UNSAT 0.209967 0.210787
jMiniSat 2011 (complete)3291156UNSAT 0.269958 0.319663
UmSat 2011-05-12 (fixed) (complete)3379339UNSAT 0.298954 0.300102
Sol 2011-04-04 (complete)3291142UNSAT 0.38794 0.370195
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3291145UNSAT 0.45493 0.314373
STRUCTure 0.1 (hbr=2) (complete)3312063UNSAT 1.71074 0.998252
STRUCTure 0.1 (complete)3313263UNSAT 1.77673 1.01084
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484644UNSAT 2.45863 2.53646
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377839UNSAT 2.46962 2.57496
borg-sat 11.03.02-par-industrial (fixed) (complete)3378739UNSAT 2.57961 2.61479
sattime+ 2011-03-02 (incomplete)3291121UNSAT 4.12337 4.12359
shortsattime+ 2011-03-02 (incomplete)3291120UNSAT 4.13037 4.13126
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449748UNSAT 15.1877 15.2261
Satisfiability Solver Selector 2011-03-18 (complete)3291148UNSAT 16.4405 16.5488
adaptg2wsat2011 2011-03-02 (incomplete)3291119? (problem) 4.13037 4.13317
sattime 2011-03-02 (incomplete)3291116? (problem) 4.15437 4.16059
sattime2011 2011-03-02 (incomplete)3291115? (problem) 4.19536 4.19603
shortsattime2011 2011-03-02 (incomplete)3291117? (problem) 4.19636 4.19808
minisat hack: contrasat 2011-03-02 (complete)3350291? (exit code) 0.010997 0.0142249
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317683? (exit code) 2.69359 2.70203
UmSat 2011-02-25 [DEPRECATED] (complete)3291124Signal 0.301953 0.302794

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: