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 benchmark27.9827
(Un)Satisfiability was proved
Number of variables432
Number of clauses14889
Sum of the clauses size59645
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 21078
Number of clauses of size 38535
Number of clauses of size 411
Number of clauses of size 513
Number of clauses of size over 55217

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1784682UNSAT 27.9827 27.9906
SApperloT base (complete)1784687UNSAT 37.3343 37.347
LySAT c/2009-03-20 (complete)1824917UNSAT 37.3383 37.3596
IUT_BMB_SAT 1.0 (complete)1784683UNSAT 40.2739 40.295
VARSAT-industrial 2009-03-22 (complete)1784686UNSAT 42.4675 42.4838
MiniSat 2.1 (Sat-race'08 Edition) (complete)1783547UNSAT 47.4548 47.4668
SAT07 reference solver: minisat SAT 2007 (complete)1784684UNSAT 48.1317 48.1674
glucose 1.0 (complete)1783548UNSAT 50.5873 50.6127
precosat 236 (complete)1783546UNSAT 57.1373 57.1573
SAT07 reference solver: SATzilla CRAFTED (complete)1784685UNSAT 62.5055 62.5448
MXC 2009-03-10 (complete)1783549UNSAT 93.1298 93.1602
SATzilla2009_C 2009-03-22 (complete)1825634UNSAT 122.429 122.49

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: