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 benchmark54.8927
(Un)Satisfiability was proved
Number of variables208292
Number of clauses627818
Sum of the clauses size1465544
Maximum clause length19
Minimum clause length1
Number of clauses of size 1729
Number of clauses of size 2418929
Number of clauses of size 3206492
Number of clauses of size 41489
Number of clauses of size 522
Number of clauses of size over 5157

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Siege V4422373SAT 54.8927 54.9062
TiniSatELite 2007-02-08356358SAT 89.8673 89.9151
CMUSAT 2007-02-08367403SAT 440.631 440.744
minisat SAT 2007422016SAT 518.84 519.109
picosat 535356359SAT 662.343 662.546
MiraXT v3460007SAT 721.379 376.321
SATzilla CRAFTED455821SAT 779.142 779.415
MXC 2007-02-08367639SAT 930.273 930.621
SAT7 2007-02-08372127SAT 1119.76 1120.2
Rsat 2007-02-08355656SAT 3592.24 3593.44