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 benchmark70.7312
(Un)Satisfiability was proved
Number of variables1558
Number of clauses8169
Sum of the clauses size71377
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2290
Number of clauses of size 31413
Number of clauses of size 4183
Number of clauses of size 5234
Number of clauses of size over 56016

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422269UNSAT 70.7312 70.7502
MXC 2007-02-08370177UNSAT 154.108 154.166
CMUSAT 2007-02-08370178UNSAT 169.521 169.584
SATzilla CRAFTED370176UNSAT 200.165 200.232
MiraXT v3456444UNSAT 211.179 106.549
Rsat 2007-02-08456442UNSAT 501.807 501.982
picosat 535456443UNSAT 1426.04 1426.56
March KS 2007-02-08369006? (TO) 5000.06 5001.61
TTS 4.0368708? (TO) 5000.17 5001.98