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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.05984
(Un)Satisfiability was proved
Number of variables178730
Number of clauses508210
Sum of the clauses size1309303
Maximum clause length3
Minimum clause length1
Number of clauses of size 121343
Number of clauses of size 2172641
Number of clauses of size 3314226
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 2007422035UNSAT 1.05984 1.06242
MiraXT v3460029UNSAT 1.14282 1.14585
CMUSAT 2007-02-08367422UNSAT 1.86771 1.87088
TiniSatELite 2007-02-08356446UNSAT 3.70244 3.70548
Rsat 2007-02-08356445UNSAT 3.9654 3.98862
MXC 2007-02-08367651UNSAT 4.70228 4.72453
SAT7 2007-02-08372154UNSAT 5.65114 5.65396
picosat 535356447UNSAT 7.2139 7.2157
SATzilla CRAFTED455891UNSAT 69.4794 69.5181
Siege V4422395UNSAT 77.9841 78.0152