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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark29.5615
(Un)Satisfiability was proved
Number of variables135534
Number of clauses905980
Sum of the clauses size2447966
Maximum clause length417
Minimum clause length1
Number of clauses of size 1125
Number of clauses of size 2771665
Number of clauses of size 3128198
Number of clauses of size 41424
Number of clauses of size 579
Number of clauses of size over 54489

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356372UNSAT 29.5615 29.58
TiniSatELite 2007-02-08356373UNSAT 34.3688 34.444
minisat SAT 2007422018UNSAT 133.414 133.451
CMUSAT 2007-02-08367405UNSAT 168.15 168.214
picosat 535356374UNSAT 247.704 247.776
MXC 2007-02-08367641UNSAT 260.687 260.801
SATzilla CRAFTED455826UNSAT 367.118 367.241
Siege V4422378UNSAT 556.914 557.076
SAT7 2007-02-08372130UNSAT 585.192 585.379
MiraXT v3460012UNSAT 591.171 415.326