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 benchmark701.022
(Un)Satisfiability was proved
Number of variables9638
Number of clauses31795
Sum of the clauses size82345
Maximum clause length3
Minimum clause length1
Number of clauses of size 183
Number of clauses of size 212874
Number of clauses of size 318838
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
March KS 2007-02-08370172UNSAT 701.022 701.344
minisat SAT 2007422172UNSAT 1917.65 1917.59
MXC 2007-02-08369141UNSAT 4294.21 4295.79
Rsat 2007-02-08456373? (TO) 5000.02 5001.72
SATzilla CRAFTED368827? (TO) 5000.03 5002.01
CMUSAT 2007-02-08369289? (TO) 5000.04 5001.61
picosat 535456374? (TO) 5000.09 5001.91
MiraXT v3456375? (TO) 5000.23 2539.36
TTS 4.0368685? (TO) 5000.33 5001.83