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

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark60.1579
(Un)Satisfiability was proved
Number of variables85
Number of clauses180
Sum of the clauses size540
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3180
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla2009_C 2009-03-22 (complete)1825782UNSAT 60.1579 60.1874
clasp 1.2.0-SAT09-32 (complete)1785570UNSAT 205.206 205.261
SAT07 reference solver: minisat SAT 2007 (complete)1785572UNSAT 278.852 278.985
LySAT c/2009-03-20 (complete)1825449UNSAT 287.84 287.976
IUT_BMB_SAT 1.0 (complete)1785571UNSAT 302.162 302.244
SAT07 reference solver: SATzilla CRAFTED (complete)1785573UNSAT 305.394 305.496
SApperloT base (complete)1785575UNSAT 312.151 312.244
VARSAT-industrial 2009-03-22 (complete)1785574UNSAT 329.651 329.731
MXC 2009-03-10 (complete)1784141UNSAT 531.764 531.928
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784139UNSAT 1064.18 1064.41
precosat 236 (complete)1784138UNSAT 1455.66 1456.08
glucose 1.0 (complete)1784140UNSAT 3130.41 3131.8

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: