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 benchmark987.102
(Un)Satisfiability was proved
Number of variables151952
Number of clauses697321
Sum of the clauses size1601192
Maximum clause length10
Minimum clause length1
Number of clauses of size 112754
Number of clauses of size 2551183
Number of clauses of size 3104744
Number of clauses of size 43180
Number of clauses of size 512720
Number of clauses of size over 512740

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356284UNSAT 987.102 987.355
Siege V4422321UNSAT 1180.52 1180.91
MXC 2007-02-08367490UNSAT 1465.53 1465.99
MiraXT v3459955UNSAT 1620.85 829.451
CMUSAT 2007-02-08367250UNSAT 2200.04 2200.71
SATzilla CRAFTED455769UNSAT 2628.86 2629.69
picosat 535355878UNSAT 3146.46 3147.37
SAT7 2007-02-08370263UNSAT 3604.4 3605.39
minisat SAT 2007421880UNSAT 3704.85 3704.86
TiniSatELite 2007-02-08355749UNSAT 4997 4998.97