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 benchmark22.6336
(Un)Satisfiability was proved
Number of variables520721
Number of clauses13348117
Sum of the clauses size39114325
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28684529
Number of clauses of size 34209371
Number of clauses of size 425262
Number of clauses of size 515676
Number of clauses of size over 5413278

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367693SAT 22.6336 22.6677
minisat SAT 2007422082SAT 40.2499 40.3297
SAT7 2007-02-08372232SAT 128.056 128.104
Rsat 2007-02-08356635SAT 145.018 145.123
SATzilla CRAFTED456013SAT 246.955 247.073
TiniSatELite 2007-02-08356636SAT 458.747 459.212
picosat 535356637SAT 990.216 990.582
MiraXT v3460151? 13.459 13.3764
Siege V4422517? 1172.94 1190.04
CMUSAT 2007-02-08367370? (MO) 32.2161 32.2401