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 benchmark0.283956
(Un)Satisfiability was proved
Number of variables1960
Number of clauses11270
Sum of the clauses size35662
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22945
Number of clauses of size 34500
Number of clauses of size 42881
Number of clauses of size 5940
Number of clauses of size over 54

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiniSat 2.1 (Sat-race'08 Edition) (complete)1784543UNSAT 0.283956 0.284337
MXC 2009-03-10 (complete)1784545UNSAT 0.356945 0.357115
SAT07 reference solver: minisat SAT 2007 (complete)1786178UNSAT 0.432933 0.433937
precosat 236 (complete)1784542UNSAT 0.482925 0.483831
LySAT c/2009-03-20 (complete)1825550UNSAT 0.52092 0.522695
VARSAT-industrial 2009-03-22 (complete)1786180UNSAT 0.549915 0.550454
SApperloT base (complete)1786181UNSAT 0.551915 0.552194
IUT_BMB_SAT 1.0 (complete)1786177UNSAT 0.579911 0.581055
glucose 1.0 (complete)1784544UNSAT 0.625904 0.626227
clasp 1.2.0-SAT09-32 (complete)1786176UNSAT 0.657899 0.659103
SATzilla2009_C 2009-03-22 (complete)1825883UNSAT 5.53016 5.53428
SAT07 reference solver: SATzilla CRAFTED (complete)1786179UNSAT 11.3973 11.4066

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: