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 benchmark225.619
(Un)Satisfiability was proved
Number of variables263022
Number of clauses782329
Sum of the clauses size1825433
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2521552
Number of clauses of size 3260776
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
CMUSAT 2007-02-08367439UNSAT 225.619 225.692
MiraXT v3460060UNSAT 279.298 149.169
TiniSatELite 2007-02-08356522UNSAT 297.527 297.656
Siege V4422426UNSAT 501.728 501.873
picosat 535356523UNSAT 599.285 599.464
SATzilla CRAFTED455922UNSAT 1300.8 1301.68
SAT7 2007-02-08370330UNSAT 1386.5 1387.02
MXC 2007-02-08367543UNSAT 2214.74 2215.47
Rsat 2007-02-08355669? (TO) 10000 10003.6
minisat SAT 2007421928? (TO) 10000.1 10003.4