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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark146.359
(Un)Satisfiability was proved
Number of variables131004
Number of clauses387841
Sum of the clauses size904961
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2258560
Number of clauses of size 3129280
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356544UNSAT 146.359 146.42
CMUSAT 2007-02-08367447UNSAT 451.376 451.571
minisat SAT 2007422058UNSAT 577.046 577.235
TiniSatELite 2007-02-08355799UNSAT 1182.49 1183.38
MiraXT v3460068UNSAT 1424.2 716.616
picosat 535355930UNSAT 2294.91 2295.57
SATzilla CRAFTED455930UNSAT 4247.84 4249.51
SAT7 2007-02-08370336UNSAT 5064.05 5065.41
MXC 2007-02-08367550UNSAT 8416.75 8419.89
Siege V4422434? (TO) 10000 10003.8