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 benchmark1.21581
(Un)Satisfiability was proved
Number of variables162939
Number of clauses456921
Sum of the clauses size1177547
Maximum clause length3
Minimum clause length1
Number of clauses of size 120880
Number of clauses of size 2151456
Number of clauses of size 3284585
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 2007422036UNSAT 1.21581 1.21637
MiraXT v3460030UNSAT 1.3098 1.3171
CMUSAT 2007-02-08367423UNSAT 1.80272 1.80591
TiniSatELite 2007-02-08356450UNSAT 4.08838 4.33341
picosat 535356451UNSAT 4.11137 4.11424
Rsat 2007-02-08356449UNSAT 4.14437 4.14896
MXC 2007-02-08367652UNSAT 8.00078 8.01995
SAT7 2007-02-08372156UNSAT 9.82351 9.8277
SATzilla CRAFTED455892UNSAT 73.0819 73.169
Siege V4422396UNSAT 94.2867 94.3109