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 benchmark0.251961
(Un)Satisfiability was proved
Number of variables257
Number of clauses7375
Sum of the clauses size62500
Maximum clause length11
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 211
Number of clauses of size 346
Number of clauses of size 4119
Number of clauses of size 5300
Number of clauses of size over 56898

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422239UNSAT 0.251961 0.253122
MiraXT v3456066UNSAT 0.25496 0.257384
CMUSAT 2007-02-08370081UNSAT 0.275957 0.277864
TTS 4.0370079UNSAT 0.327949 0.329929
picosat 535456065UNSAT 0.366943 0.369433
SATzilla CRAFTED370080UNSAT 12.8101 12.8231
Rsat 2007-02-08456064UNSAT 25.6701 25.6832
March KS 2007-02-08368896? (TO) 5000.04 5001.52
MXC 2007-02-08369057? (TO) 5000.05 5001.62