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 benchmark418.918
(Un)Satisfiability was proved
Number of variables502
Number of clauses11816
Sum of the clauses size41772
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 21080
Number of clauses of size 38731
Number of clauses of size 4281
Number of clauses of size 5285
Number of clauses of size over 51404

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT07 reference solver: minisat SAT 2007 (complete)1784924UNSAT 418.918 419.11
IUT_BMB_SAT 1.0 (complete)1784923UNSAT 513.155 513.449
clasp 1.2.0-SAT09-32 (complete)1784922UNSAT 569.034 569.24
VARSAT-industrial 2009-03-22 (complete)1784926UNSAT 604.537 604.75
SApperloT base (complete)1784927UNSAT 639.866 640.048
LySAT c/2009-03-20 (complete)1824957UNSAT 737.429 737.818
SAT07 reference solver: SATzilla CRAFTED (complete)1784925UNSAT 776.379 776.612
SATzilla2009_C 2009-03-22 (complete)1825674UNSAT 880.466 880.881
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783707UNSAT 1623.24 1623.67
MXC 2009-03-10 (complete)1783709UNSAT 2868.83 2869.69
precosat 236 (complete)1783706? (TO) 5000.11 5001.41
glucose 1.0 (complete)1783708? (TO) 5000.11 5002.51

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: