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 benchmark10.2934
(Un)Satisfiability was proved
Number of variables132
Number of clauses1527
Sum of the clauses size4472
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2168
Number of clauses of size 31344
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 515

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08370056UNSAT 10.2934 10.3109
minisat SAT 2007422231UNSAT 12.3851 12.3916
CMUSAT 2007-02-08370057UNSAT 12.987 12.9905
SATzilla CRAFTED370055UNSAT 20.6959 20.7254
MiraXT v3456042UNSAT 23.0655 11.7145
picosat 535456041UNSAT 33.8259 33.8403
TTS 4.0370054UNSAT 67.2088 67.2333
Rsat 2007-02-08456040? (exit code) 0.026994 0.0317731
March KS 2007-02-08368889? (TO) 5000.09 5001.91