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 benchmark22.1836
(Un)Satisfiability was proved
Number of variables521187
Number of clauses13378624
Sum of the clauses size39204898
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28714594
Number of clauses of size 34209357
Number of clauses of size 425258
Number of clauses of size 515686
Number of clauses of size over 5413728

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367692SAT 22.1836 22.2238
Rsat 2007-02-08356631SAT 100.21 101.167
SAT7 2007-02-08372231SAT 101.454 101.487
minisat SAT 2007422081SAT 124.745 124.785
TiniSatELite 2007-02-08356632SAT 312.678 313.002
SATzilla CRAFTED456012SAT 329.989 330.195
picosat 535356633SAT 661.423 661.679
MiraXT v3460150? 13.355 13.3967
Siege V4422516? 1050.45 1065.02
CMUSAT 2007-02-08367369? (MO) 32.1281 32.1374