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 benchmark1.37179
(Un)Satisfiability was proved
Number of variables552
Number of clauses30977
Sum of the clauses size265108
Maximum clause length11
Minimum clause length1
Number of clauses of size 14
Number of clauses of size 29
Number of clauses of size 3112
Number of clauses of size 4194
Number of clauses of size 5765
Number of clauses of size over 529893

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535456068UNSAT 1.37179 1.372
MiraXT v3456069UNSAT 2.24666 2.24996
minisat SAT 2007422240UNSAT 2.37164 2.37357
CMUSAT 2007-02-08370084UNSAT 2.47362 2.47552
SATzilla CRAFTED370083UNSAT 15.1247 15.1521
Rsat 2007-02-08456067UNSAT 21.4987 21.5095
TTS 4.0370082UNSAT 21.7287 21.7369
March KS 2007-02-08368897? (TO) 5000.08 5001.62
MXC 2007-02-08369058? (TO) 5000.09 5001.52