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 benchmark44.5762
(Un)Satisfiability was proved
Number of variables1610
Number of clauses8277
Sum of the clauses size69859
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2283
Number of clauses of size 31178
Number of clauses of size 4142
Number of clauses of size 5924
Number of clauses of size over 55717

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
IUT_BMB_SAT 1.0 (complete)1785181UNSAT 44.5762 44.6002
clasp 1.2.0-SAT09-32 (complete)1785180UNSAT 61.9706 61.9848
SAT07 reference solver: minisat SAT 2007 (complete)1785182UNSAT 66.2989 66.3214
SATzilla2009_C 2009-03-22 (complete)1825717UNSAT 81.7756 81.8436
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783879UNSAT 183.48 183.543
VARSAT-industrial 2009-03-22 (complete)1785184UNSAT 196.213 196.288
MXC 2009-03-10 (complete)1783881UNSAT 209.615 209.666
LySAT c/2009-03-20 (complete)1825000UNSAT 610.36 610.622
SApperloT base (complete)1785185UNSAT 1674.12 1674.69
glucose 1.0 (complete)1783880UNSAT 2771.49 2773.08
SAT07 reference solver: SATzilla CRAFTED (complete)1785183UNSAT 2771.89 2773.15
precosat 236 (complete)1783878? (TO) 5000.03 5001.81

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: