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 benchmark98.331
(Un)Satisfiability was proved
Number of variables1697
Number of clauses8961
Sum of the clauses size79749
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2259
Number of clauses of size 31190
Number of clauses of size 4136
Number of clauses of size 5906
Number of clauses of size over 56443

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422244UNSAT 98.331 98.3608
SATzilla CRAFTED370094UNSAT 133.134 133.192
CMUSAT 2007-02-08370096UNSAT 176.425 176.472
MiraXT v3456081UNSAT 235.986 118.584
MXC 2007-02-08370095UNSAT 240.691 240.768
Rsat 2007-02-08456079UNSAT 253.025 253.117
picosat 535456080UNSAT 317.243 317.335
March KS 2007-02-08368901? (TO) 5000.05 5002.11
TTS 4.0368592? (TO) 5000.22 5001.71