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 benchmark181.585
(Un)Satisfiability was proved
Number of variables112764
Number of clauses468539
Sum of the clauses size1200891
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2331975
Number of clauses of size 387836
Number of clauses of size 416674
Number of clauses of size 59489
Number of clauses of size over 520493

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535356609SAT 181.585 181.671
minisat SAT 2007422074SAT 321.759 321.862
Rsat 2007-02-08356608SAT 523.592 523.789
SAT7 2007-02-08370385SAT 1856.81 1857.32
MiraXT v3460130SAT 4529.39 2274.95
SATzilla CRAFTED455992? (exit code) 9997.88 10001
TiniSatELite 2007-02-08355847? (TO) 10000 10002.6
MXC 2007-02-08367600? (TO) 10000.1 10003
Siege V4422496? (TO) 10000.1 10003.8
CMUSAT 2007-02-08367350? (TO) 10000.2 10002.8