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 benchmark2.92655
(Un)Satisfiability was proved
Number of variables2435
Number of clauses16016
Sum of the clauses size112873
Maximum clause length13
Minimum clause length1
Number of clauses of size 135
Number of clauses of size 2385
Number of clauses of size 32207
Number of clauses of size 4298
Number of clauses of size 5447
Number of clauses of size over 512644

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422246SAT 2.92655 2.92816
MiraXT v3456087SAT 5.67714 2.95494
CMUSAT 2007-02-08370103SAT 12.2211 12.2272
SATzilla CRAFTED370100SAT 25.5511 25.5742
MXC 2007-02-08370102SAT 90.3263 90.3645
Rsat 2007-02-08456085SAT 337.538 337.635
picosat 535456086SAT 507.366 507.518
March KS 2007-02-08370101SAT 585.873 586.095
TTS 4.0368594? (TO) 5000.17 5001.57