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 benchmark1847.13
(Un)Satisfiability was proved
Number of variables4614
Number of clauses16637
Sum of the clauses size44007
Maximum clause length97
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27532
Number of clauses of size 38048
Number of clauses of size 4732
Number of clauses of size 5246
Number of clauses of size over 578

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007421898UNSAT 1847.13 1847.87
MXC 2007-02-08367508UNSAT 2232.91 2233.79
MiraXT v3459981UNSAT 4499.96 2256.69
SAT7 2007-02-08370283UNSAT 5888.29 5890.13
Rsat 2007-02-08355643UNSAT 6547.74 6550.31
SATzilla CRAFTED455795? (exit code) 9998.3 10001.3
Siege V4422347? (TO) 10000 10002.9
TiniSatELite 2007-02-08355770? (TO) 10000.1 10002.9
picosat 535355898? (TO) 10000.1 10002.9
CMUSAT 2007-02-08367269? (TO) 10000.1 10002.9