SAT 2007 Competition Phase 2: 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.533918
(Un)Satisfiability was proved
Number of variables288
Number of clauses11604
Sum of the clauses size89223
Maximum clause length11
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 214
Number of clauses of size 373
Number of clauses of size 472
Number of clauses of size 5457
Number of clauses of size over 510986

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422238UNSAT 0.533918 0.535961
MiraXT v3456063UNSAT 0.545916 0.549334
CMUSAT 2007-02-08370078UNSAT 0.570912 0.573308
picosat 535456062UNSAT 0.607906 0.609788
TTS 4.0370076UNSAT 0.622904 0.624915
Rsat 2007-02-08456061UNSAT 4.84626 4.85077
SATzilla CRAFTED370077UNSAT 15.2537 15.2955
March KS 2007-02-08368895? (TO) 5000.02 5001.91
MXC 2007-02-08369056? (TO) 5000.05 5002.11