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.68114
(Un)Satisfiability was proved
Number of variables150508
Number of clauses436954
Sum of the clauses size1130299
Maximum clause length3
Minimum clause length1
Number of clauses of size 110188
Number of clauses of size 2160187
Number of clauses of size 3266579
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422070SAT 5.68114 5.7429
MiraXT v3460083SAT 6.35803 6.0886
CMUSAT 2007-02-08367461SAT 7.16291 7.17561
TiniSatELite 2007-02-08356593SAT 7.72682 7.81656
Rsat 2007-02-08356592SAT 7.85681 7.87353
picosat 535356594SAT 9.68153 9.74975
MXC 2007-02-08367684SAT 123.426 123.475
SAT7 2007-02-08372220SAT 136.811 136.877
SATzilla CRAFTED455945SAT 230.568 230.65
Siege V4422449SAT 256.803 256.882