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 benchmark0.009997
(Un)Satisfiability was proved
Number of variables210
Number of clauses840
Sum of the clauses size2520
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3840
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
SATzilla CRAFTED370135SAT 0.009997 0.011423
March KS 2007-02-08370136SAT 0.013997 0.0153759
CMUSAT 2007-02-08370138SAT 44.7942 44.8071
MXC 2007-02-08370137SAT 68.8835 68.9191
picosat 535456119SAT 75.9685 75.9904
minisat SAT 2007422257SAT 99.4169 99.4548
MiraXT v3456120SAT 186.05 93.358
Rsat 2007-02-08456118SAT 2229.17 2230.03
TTS 4.0368605? (MO) 4619.55 4621.3