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 benchmark89.4084
(Un)Satisfiability was proved
Number of variables1472
Number of clauses7737
Sum of the clauses size65737
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2253
Number of clauses of size 31166
Number of clauses of size 4118
Number of clauses of size 5888
Number of clauses of size over 55285

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422250UNSAT 89.4084 89.4414
MXC 2007-02-08370115UNSAT 131.919 131.967
SATzilla CRAFTED370114UNSAT 148.823 149.232
CMUSAT 2007-02-08370116UNSAT 164.094 164.152
Rsat 2007-02-08456097UNSAT 392.337 392.49
picosat 535456098UNSAT 472.321 472.546
MiraXT v3456099UNSAT 502.055 252.139
TTS 4.0368598? (TO) 5000.06 5001.35
March KS 2007-02-08368905? (TO) 5000.1 5001.41