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 benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6512.88
(Un)Satisfiability was proved
Number of variables81384
Number of clauses337709
Sum of the clauses size864441
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2238960
Number of clauses of size 363146
Number of clauses of size 411994
Number of clauses of size 56819
Number of clauses of size over 514718

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367348SAT 6512.88 6517.69
picosat 535355975SAT 8828.96 8831.59
SATzilla CRAFTED455990? (exit code) 9997.97 10001.3
Siege V4422494? (TO) 10000 10003.2
TiniSatELite 2007-02-08355845? (TO) 10000 10002.9
MXC 2007-02-08367598? (TO) 10000.1 10003.2
Rsat 2007-02-08355713? (TO) 10000.1 10002.8
minisat SAT 2007421976? (TO) 10000.2 10003.7
SAT7 2007-02-08370383? (TO) 10000.2 10000.2
MiraXT v3460128? (TO) 10000.2 5015.22