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 benchmark628.713
(Un)Satisfiability was proved
Number of variables196444
Number of clauses817419
Sum of the clauses size2098091
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2580015
Number of clauses of size 3153676
Number of clauses of size 429154
Number of clauses of size 516609
Number of clauses of size over 535893

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356606SAT 628.713 629.064
SATzilla CRAFTED455987SAT 1007.35 1007.76
MiraXT v3460125SAT 1272.06 643.854
SAT7 2007-02-08370380SAT 3914.38 3915.55
picosat 535355972SAT 3998.22 3999.56
MXC 2007-02-08367595? (TO) 10000.1 10002.8
Siege V4422491? (TO) 10000.1 10006
TiniSatELite 2007-02-08355842? (TO) 10000.1 10003.2
minisat SAT 2007421973? (TO) 10000.2 10003
CMUSAT 2007-02-08367345? (TO) 10000.2 10004