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 benchmark41.4847
(Un)Satisfiability was proved
Number of variables521158
Number of clauses13378532
Sum of the clauses size39204686
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28714522
Number of clauses of size 34209353
Number of clauses of size 425253
Number of clauses of size 515680
Number of clauses of size over 5413723

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422086SAT 41.4847 41.5473
Rsat 2007-02-08356651SAT 58.6021 58.6336
Siege V4422521SAT 61.4477 61.5413
MXC 2007-02-08367697SAT 70.6413 70.6828
SAT7 2007-02-08372236SAT 131.544 131.593
SATzilla CRAFTED456017SAT 249.294 249.435
TiniSatELite 2007-02-08356652SAT 337.554 337.93
picosat 535356653SAT 795.146 795.518
MiraXT v3460155? 13.359 13.5162
CMUSAT 2007-02-08367374? (MO) 32.2291 32.2377