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 benchmark0.465928
(Un)Satisfiability was proved
Number of variables576
Number of clauses67872
Sum of the clauses size178056
Maximum clause length24
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 226568
Number of clauses of size 341256
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 548

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356511SAT 0.465928 0.475478
TiniSatELite 2007-02-08356512SAT 4.66829 4.67152
MiraXT v3460054SAT 25.6461 13.2672
CMUSAT 2007-02-08367436SAT 32.778 32.7904
picosat 535356513SAT 72.353 72.3736
SATzilla CRAFTED455916SAT 95.0855 95.2359
MXC 2007-02-08367671SAT 103.542 103.588
SAT7 2007-02-08372187SAT 124.763 124.807
minisat SAT 2007422052SAT 163.396 163.443
Siege V4422420SAT 491.734 491.903