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 benchmark30.0394
(Un)Satisfiability was proved
Number of variables137341
Number of clauses724504
Sum of the clauses size1900318
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2588905
Number of clauses of size 3130263
Number of clauses of size 41197
Number of clauses of size 5111
Number of clauses of size over 53752

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356329UNSAT 30.0394 30.1351
TiniSatELite 2007-02-08356330UNSAT 68.3346 68.4062
picosat 535356331UNSAT 200.094 200.165
MXC 2007-02-08367634UNSAT 428.188 428.309
MiraXT v3459997UNSAT 455.782 261.053
CMUSAT 2007-02-08367398UNSAT 486.374 486.555
minisat SAT 2007422010UNSAT 499.664 499.845
Siege V4422363UNSAT 687.379 687.64
SATzilla CRAFTED455811UNSAT 887.79 888.083
SAT7 2007-02-08370295UNSAT 1444.66 1445.03