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 benchmark4.95725
(Un)Satisfiability was proved
Number of variables121244
Number of clauses356524
Sum of the clauses size932094
Maximum clause length3
Minimum clause length1
Number of clauses of size 17059
Number of clauses of size 2123360
Number of clauses of size 3226105
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
MiraXT v3460077SAT 4.95725 4.82363
CMUSAT 2007-02-08367455SAT 5.68713 5.69516
minisat SAT 2007422064SAT 5.83311 5.84233
Rsat 2007-02-08356568SAT 7.12992 7.1506
TiniSatELite 2007-02-08356569SAT 7.13192 7.14423
SAT7 2007-02-08372208SAT 13.193 13.2061
picosat 535356570SAT 21.9677 22.045
MXC 2007-02-08367678SAT 63.6393 63.6767
Siege V4422443SAT 145.368 145.416
SATzilla CRAFTED455939No Cert. 1769.61 1770.82