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 benchmark39.486
(Un)Satisfiability was proved
Number of variables521147
Number of clauses13378010
Sum of the clauses size39203144
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28714054
Number of clauses of size 34209318
Number of clauses of size 425258
Number of clauses of size 515651
Number of clauses of size over 5413728

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367694SAT 39.486 39.5292
minisat SAT 2007422083SAT 40.5418 40.6195
Siege V4422518SAT 129.343 129.418
SAT7 2007-02-08372233SAT 133.251 133.336
picosat 535356641SAT 209.836 209.973
SATzilla CRAFTED456014SAT 239.613 239.838
TiniSatELite 2007-02-08356640SAT 275.244 275.485
Rsat 2007-02-08356639SAT 586.257 586.507
MiraXT v3460152? 13.324 13.2828
CMUSAT 2007-02-08367371? (MO) 32.3431 32.351