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 benchmark1.91271
(Un)Satisfiability was proved
Number of variables2765
Number of clauses18046
Sum of the clauses size127926
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 2400
Number of clauses of size 32372
Number of clauses of size 4481
Number of clauses of size 5648
Number of clauses of size over 514110

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422249SAT 1.91271 1.91482
CMUSAT 2007-02-08370113SAT 4.21936 4.23318
MiraXT v3456096SAT 14.8957 7.61423
picosat 535456095SAT 43.7064 43.7252
SATzilla CRAFTED370110SAT 81.3656 81.4292
MXC 2007-02-08370112SAT 116.228 116.288
March KS 2007-02-08370111SAT 422.66 422.902
Rsat 2007-02-08456094SAT 890.926 891.203
TTS 4.0368597? (TO) 5000.17 5001.47