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.010998
(Un)Satisfiability was proved
Number of variables220
Number of clauses880
Sum of the clauses size2640
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3880
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 CRAFTED370128SAT 0.010998 0.0131599
March KS 2007-02-08370129SAT 0.017997 0.019625
picosat 535456113SAT 8.36973 8.37524
minisat SAT 2007422255SAT 412.236 412.349
CMUSAT 2007-02-08370130SAT 590.42 590.582
MiraXT v3456114SAT 1032.27 517.472
MXC 2007-02-08369063SAT 1222.04 1222.37
Rsat 2007-02-08456112? (TO) 5000.06 5001.62
TTS 4.0368603? (TO) 5000.3 5001.85