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 benchmark16.0036
(Un)Satisfiability was proved
Number of variables77
Number of clauses164
Sum of the clauses size492
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3164
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.0369993UNSAT 16.0036 16.0095
minisat SAT 2007422218UNSAT 64.4652 64.4875
MXC 2007-02-08369996UNSAT 68.8405 68.8712
SATzilla CRAFTED369994UNSAT 73.8268 73.8674
March KS 2007-02-08369995UNSAT 77.0913 77.122
MiraXT v3455829UNSAT 363.989 182.681
CMUSAT 2007-02-08369997UNSAT 401.005 401.153
Rsat 2007-02-08455827UNSAT 951.289 951.647
picosat 535455828UNSAT 1290.68 1291.16