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 benchmark77.2223
(Un)Satisfiability was proved
Number of variables1133
Number of clauses56210
Sum of the clauses size352304
Maximum clause length22
Minimum clause length1
Number of clauses of size 136
Number of clauses of size 22544
Number of clauses of size 310764
Number of clauses of size 427
Number of clauses of size 545
Number of clauses of size over 542794

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla CRAFTED370122UNSAT 77.2223 77.3407
MiraXT v3456108UNSAT 96.7323 49.7715
minisat SAT 2007422253UNSAT 159.077 159.123
Rsat 2007-02-08456106UNSAT 175.637 175.782
CMUSAT 2007-02-08370124UNSAT 189.782 189.834
MXC 2007-02-08370123UNSAT 207.157 207.236
picosat 535456107UNSAT 299.635 299.753
March KS 2007-02-08368907? (TO) 5000.06 5002.01
TTS 4.0368601? (TO) 5000.08 5001.46