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 benchmark58.6671
(Un)Satisfiability was proved
Number of variables81
Number of clauses172
Sum of the clauses size516
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3172
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.0370003UNSAT 58.6671 58.6823
minisat SAT 2007422220UNSAT 130.29 130.331
SATzilla CRAFTED370004UNSAT 138.251 138.304
March KS 2007-02-08370005UNSAT 173.094 173.155
MXC 2007-02-08370006UNSAT 295.961 296.048
MiraXT v3455835UNSAT 1559.56 782.128
CMUSAT 2007-02-08369192UNSAT 4104.84 4105.93
Rsat 2007-02-08455833UNSAT 4428.38 4431.14
picosat 535455834? (TO) 5000.05 5001.71