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 benchmark52.645
(Un)Satisfiability was proved
Number of variables521188
Number of clauses13378641
Sum of the clauses size39204979
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28714562
Number of clauses of size 34209417
Number of clauses of size 425257
Number of clauses of size 515681
Number of clauses of size over 5413723

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422084SAT 52.645 52.6782
MXC 2007-02-08367695SAT 62.3755 62.4158
Siege V4422519SAT 133.612 133.691
Rsat 2007-02-08356643SAT 164.47 164.568
SAT7 2007-02-08372234SAT 180.018 180.09
SATzilla CRAFTED456015SAT 258.971 259.157
TiniSatELite 2007-02-08356644SAT 352.649 352.871
picosat 535356645SAT 852.976 853.254
MiraXT v3460153? 13.462 13.6626
CMUSAT 2007-02-08367372? (MO) 30.2074 30.2228