SAT 2007 Competition Phase 2: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.42417
(Un)Satisfiability was proved
Number of variables729
Number of clauses96849
Sum of the clauses size253854
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 237989
Number of clauses of size 358806
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 554

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiraXT v3460051SAT 5.42417 3.31541
CMUSAT 2007-02-08367435SAT 17.6943 17.7025
picosat 535356508SAT 42.5005 42.5176
TiniSatELite 2007-02-08356507SAT 90.4223 90.4594
Rsat 2007-02-08356506SAT 93.2008 93.3316
MXC 2007-02-08367670SAT 118.085 118.132
Siege V4422417SAT 124.74 124.779
minisat SAT 2007422051SAT 688.638 688.79
SAT7 2007-02-08372185SAT 858.019 858.35
SATzilla CRAFTED455913SAT 1059.66 1060.28