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 benchmark109.248
(Un)Satisfiability was proved
Number of variables1467
Number of clauses7521
Sum of the clauses size64621
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2247
Number of clauses of size 31130
Number of clauses of size 482
Number of clauses of size 5852
Number of clauses of size over 55183

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422251UNSAT 109.248 109.29
MXC 2007-02-08370118UNSAT 110.451 110.502
SATzilla CRAFTED370117UNSAT 173.036 173.134
CMUSAT 2007-02-08370119UNSAT 188.691 188.743
Rsat 2007-02-08456100UNSAT 350.305 350.438
MiraXT v3456102UNSAT 374.481 187.902
picosat 535456101UNSAT 455.894 456.058
March KS 2007-02-08368906? (TO) 5000.04 5001.91
TTS 4.0368599? (TO) 5000.22 5001.52