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 benchmark64.9721
(Un)Satisfiability was proved
Number of variables1605
Number of clauses8025
Sum of the clauses size68677
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2247
Number of clauses of size 31142
Number of clauses of size 4106
Number of clauses of size 5888
Number of clauses of size over 55615

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1785186UNSAT 64.9721 64.9895
SAT07 reference solver: minisat SAT 2007 (complete)1785188UNSAT 91.922 91.9698
SATzilla2009_C 2009-03-22 (complete)1825718UNSAT 113.752 113.813
LySAT c/2009-03-20 (complete)1825001UNSAT 119.813 119.877
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783883UNSAT 133.717 133.751
precosat 236 (complete)1783882UNSAT 159.503 159.541
VARSAT-industrial 2009-03-22 (complete)1785190UNSAT 172.383 172.442
IUT_BMB_SAT 1.0 (complete)1785187UNSAT 176.598 176.678
glucose 1.0 (complete)1783884UNSAT 181.947 182.027
MXC 2009-03-10 (complete)1783885UNSAT 232.377 232.44
SApperloT base (complete)1785191UNSAT 464.31 464.459
SAT07 reference solver: SATzilla CRAFTED (complete)1785189UNSAT 793.842 794.062

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: