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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.52861
(Un)Satisfiability was proved
Number of variables2737
Number of clauses18375
Sum of the clauses size129048
Maximum clause length13
Minimum clause length1
Number of clauses of size 149
Number of clauses of size 2491
Number of clauses of size 32419
Number of clauses of size 4526
Number of clauses of size 5691
Number of clauses of size over 514199

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422247SAT 2.52861 2.53135
MiraXT v3456090SAT 4.10337 2.17845
CMUSAT 2007-02-08370106SAT 4.99424 4.99945
SATzilla CRAFTED370104SAT 84.0312 84.074
MXC 2007-02-08370105SAT 141.789 141.84
Rsat 2007-02-08456088SAT 151.853 151.908
picosat 535456089SAT 245.263 245.335
March KS 2007-02-08368903? (TO) 5000.05 5001.81
TTS 4.0368595? (TO) 5000.1 5001.49