SAT 2009 Competition: main competition (phase2): solvers results per benchmarks

Result page for benchmark
cmu-bmc-longmult15.cnf

Jump to solvers results

General information on the benchmark

Namecmu-bmc-longmult15.cnf
MD5SUM21b49b73035bb6e7a1dd17830907ac9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark14.9097
Satisfiable
(Un)Satisfiability was proved
Number of variables7807
Number of clauses24351
Sum of the clauses size58557
Maximum clause length18
Minimum clause length1
Number of clauses of size 153
Number of clauses of size 216386
Number of clauses of size 36700
Number of clauses of size 4908
Number of clauses of size 516
Number of clauses of size over 5288

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2009-03-22 (complete)1773529UNSAT 14.9097 14.9207
SAT07 reference solver: Rsat 2007-02-08 (complete)1825075UNSAT 23.5534 23.5633
clasp 1.2.0-SAT09-32 (complete)1831601UNSAT 26.209 26.2159
MiniSat 2.1 (Sat-race'08 Edition) (complete)1773522UNSAT 27.8578 27.8648
MiniSAT 09z 2009-03-22 (complete)1837223UNSAT 29.0516 29.0651
precosat 236 (complete)1773521UNSAT 30.6963 30.7066
SApperloT base (complete)1831602UNSAT 33.9708 33.9799
kw 2009-03-20 (complete)1773525UNSAT 34.9887 34.9862
LySAT i/2009-03-20 (complete)1773523UNSAT 35.7046 35.7179
ManySAT 1.1 aimd 1/2009-03-20 (complete)1773526UNSAT 36.0895 18.1872
MXC 2009-03-10 (complete)1773527UNSAT 38.8351 38.8465
glucose 1.0 (complete)1773524UNSAT 41.8006 41.8336
CircUs 2009-03-23 (complete)1773528UNSAT 41.9616 41.9858
minisat_cumr p-2009-03-18 (complete)1837222UNSAT 44.9022 44.9257
SATzilla2009_I 2009-03-22 (complete)1773530UNSAT 58.8241 58.8963
SAT07 reference solver: picosat 535 (complete)1825076UNSAT 67.6007 67.6189

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: