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 benchmark15.8256
(Un)Satisfiability was proved
Number of variables229842
Number of clauses1081178
Sum of the clauses size2501490
Maximum clause length10
Minimum clause length1
Number of clauses of size 119157
Number of clauses of size 2832850
Number of clauses of size 3186131
Number of clauses of size 44780
Number of clauses of size 519120
Number of clauses of size over 519140

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356280SAT 15.8256 15.8437
Siege V4422310SAT 18.1982 18.222
CMUSAT 2007-02-08367387SAT 26.157 26.17
Rsat 2007-02-08356279SAT 31.3032 31.3236
picosat 535356281SAT 49.2165 49.2502
MiraXT v3459944SAT 139.264 84.1112
SAT7 2007-02-08370252SAT 3034.15 3035.15
MXC 2007-02-08367479SAT 5891.67 5893.07
SATzilla CRAFTED455758SAT 7097.56 7100.08
minisat SAT 2007421869SAT 8785.39 8788.15