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 benchmark23.6814
(Un)Satisfiability was proved
Number of variables521179
Number of clauses13378617
Sum of the clauses size39204907
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28714562
Number of clauses of size 34209393
Number of clauses of size 425257
Number of clauses of size 515681
Number of clauses of size over 5413723

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422087SAT 23.6814 23.7849
Rsat 2007-02-08356655SAT 88.1026 88.147
MXC 2007-02-08367698SAT 94.1047 94.1901
SAT7 2007-02-08372237SAT 196.466 196.549
SATzilla CRAFTED456018SAT 230.635 230.749
TiniSatELite 2007-02-08356656SAT 271.524 271.714
picosat 535356657SAT 1056.36 1056.77
MiraXT v3460156? 13.443 13.3585
Siege V4422522? 1246.98 1339.01
CMUSAT 2007-02-08367375? (MO) 32.2411 32.2525