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 benchmark218.692
(Un)Satisfiability was proved
Number of variables85
Number of clauses180
Sum of the clauses size540
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3180
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
TTS 4.0370028UNSAT 218.692 218.774
minisat SAT 2007422226UNSAT 282.946 283.03
SATzilla CRAFTED370029UNSAT 287.72 287.816
March KS 2007-02-08370030UNSAT 383.245 383.363
MXC 2007-02-08370031UNSAT 438.29 438.423
MiraXT v3455853UNSAT 2384.75 1195.64
CMUSAT 2007-02-08369196? (TO) 5000.04 5003.72
Rsat 2007-02-08455851? (TO) 5000.05 5002.82
picosat 535455852? (TO) 5000.11 5002.11