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 benchmark5.66714
(Un)Satisfiability was proved
Number of variables152256
Number of clauses441729
Sum of the clauses size1143974
Maximum clause length3
Minimum clause length1
Number of clauses of size 110187
Number of clauses of size 2160839
Number of clauses of size 3270703
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 2007422063SAT 5.66714 5.67193
MiraXT v3460076SAT 6.04908 5.84287
CMUSAT 2007-02-08367454SAT 6.604 6.61072
TiniSatELite 2007-02-08356565SAT 7.65583 7.68291
Rsat 2007-02-08356564SAT 8.82066 8.84993
picosat 535356566SAT 23.6354 23.6586
Siege V4422442SAT 210.159 210.239
SATzilla CRAFTED455938SAT 310.324 310.442
SAT7 2007-02-08372206SAT 375.187 375.301
MXC 2007-02-08367555? (TO) 10000.1 10004.2