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 benchmark36.3815
(Un)Satisfiability was proved
Number of variables184866
Number of clauses874988
Sum of the clauses size2256992
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2692136
Number of clauses of size 3176579
Number of clauses of size 41637
Number of clauses of size 5133
Number of clauses of size over 54227

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356313SAT 36.3815 36.4876
picosat 535356315SAT 57.1363 57.1598
TiniSatELite 2007-02-08356314SAT 59.9589 60.1394
MXC 2007-02-08367630SAT 175.752 175.813
minisat SAT 2007422006SAT 220.837 220.927
SATzilla CRAFTED455807SAT 264.228 264.504
SAT7 2007-02-08372111SAT 388.204 388.327
MiraXT v3459993SAT 458.229 257.061
Siege V4422359SAT 1036.62 1036.91
CMUSAT 2007-02-08367281SAT 2480.44 2481.18