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 benchmark47.2348
(Un)Satisfiability was proved
Number of variables521192
Number of clauses13378781
Sum of the clauses size39205391
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28714698
Number of clauses of size 34209419
Number of clauses of size 425257
Number of clauses of size 515681
Number of clauses of size over 5413725

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367690SAT 47.2348 47.2647
minisat SAT 2007422079SAT 50.1524 50.1741
Rsat 2007-02-08356623SAT 89.9513 90.2447
SAT7 2007-02-08372229SAT 129.667 129.726
Siege V4422514SAT 145.221 145.312
SATzilla CRAFTED456010SAT 256.381 256.575
TiniSatELite 2007-02-08356624SAT 329.725 330.303
picosat 535356625SAT 500.427 500.691
MiraXT v3460148? 13.445 13.4764
CMUSAT 2007-02-08367367? (MO) 32.2071 32.3175