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 benchmark98.802
(Un)Satisfiability was proved
Number of variables1605
Number of clauses8025
Sum of the clauses size68677
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2247
Number of clauses of size 31142
Number of clauses of size 4106
Number of clauses of size 5888
Number of clauses of size over 55615

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422276UNSAT 98.802 98.8298
CMUSAT 2007-02-08370194UNSAT 151.931 151.984
MXC 2007-02-08370193UNSAT 210.734 210.797
MiraXT v3456465UNSAT 221.816 111.496
SATzilla CRAFTED370192UNSAT 843.732 844.189
Rsat 2007-02-08456463UNSAT 868.742 868.986
picosat 535456464UNSAT 936.181 936.443
March KS 2007-02-08369013? (TO) 5000.11 5001.61
TTS 4.0368715? (TO) 5000.19 5001.8