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 benchmark251.379
(Un)Satisfiability was proved
Number of variables2401
Number of clauses15960
Sum of the clauses size111993
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2427
Number of clauses of size 32205
Number of clauses of size 4294
Number of clauses of size 5441
Number of clauses of size over 512551

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422264UNSAT 251.379 251.441
CMUSAT 2007-02-08370165UNSAT 315.663 315.761
MiraXT v3456231UNSAT 615.398 309.079
Rsat 2007-02-08456229UNSAT 3628.38 3629.52
SATzilla CRAFTED368780UNSAT 4034.84 4036.12
March KS 2007-02-08368937? (TO) 5000.06 5001.51
MXC 2007-02-08369095? (TO) 5000.07 5001.41
picosat 535456230? (TO) 5000.09 5001.61
TTS 4.0368640? (TO) 5000.13 5002.89