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 benchmark79.2799
(Un)Satisfiability was proved
Number of variables1477
Number of clauses7989
Sum of the clauses size66949
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2284
Number of clauses of size 31202
Number of clauses of size 4154
Number of clauses of size 5924
Number of clauses of size over 55392

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422272UNSAT 79.2799 79.3017
CMUSAT 2007-02-08370185UNSAT 134.651 134.688
MXC 2007-02-08370184UNSAT 264.224 264.32
MiraXT v3456453UNSAT 277.48 139.349
SATzilla CRAFTED370183UNSAT 406.114 406.239
picosat 535456452UNSAT 1607.03 1607.57
Rsat 2007-02-08456451UNSAT 3488.67 3489.72
March KS 2007-02-08369009? (TO) 5000.02 5001.91
TTS 4.0368711? (TO) 5000.11 5001.76