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 benchmark32.1841
(Un)Satisfiability was proved
Number of variables520770
Number of clauses13380350
Sum of the clauses size39210884
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28710587
Number of clauses of size 34215482
Number of clauses of size 425225
Number of clauses of size 515593
Number of clauses of size over 5413462

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422078SAT 32.1841 32.2079
Rsat 2007-02-08356619SAT 108.108 108.148
MXC 2007-02-08367689SAT 108.684 108.746
SAT7 2007-02-08372228SAT 118.058 118.108
SATzilla CRAFTED456009SAT 239.402 239.555
TiniSatELite 2007-02-08356620SAT 390.484 391.873
picosat 535356621SAT 975.351 975.638
MiraXT v3460147? 13.45 13.3614
Siege V4422513? 1057.06 1084.32
CMUSAT 2007-02-08367366? (MO) 32.2151 32.2243