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 benchmark2.6406
(Un)Satisfiability was proved
Number of variables312579
Number of clauses905106
Sum of the clauses size2361159
Maximum clause length3
Minimum clause length1
Number of clauses of size 135218
Number of clauses of size 2283723
Number of clauses of size 3586165
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422032UNSAT 2.6406 2.6421
MiraXT v3460026UNSAT 2.90856 2.91502
CMUSAT 2007-02-08367419UNSAT 3.78342 3.78607
SAT7 2007-02-08372148UNSAT 12.3211 12.3263
TiniSatELite 2007-02-08356434UNSAT 13.45 13.4713
Rsat 2007-02-08356433UNSAT 14.2088 14.2226
picosat 535356435UNSAT 20.2129 20.2191
MXC 2007-02-08367648UNSAT 44.5132 44.5511
SATzilla CRAFTED455888UNSAT 74.0367 74.0665
Siege V4422392UNSAT 150.3 150.341