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 benchmark116.919
(Un)Satisfiability was proved
Number of variables65604
Number of clauses273506
Sum of the clauses size814918
Maximum clause length4
Minimum clause length1
Number of clauses of size 1199
Number of clauses of size 2118244
Number of clauses of size 342021
Number of clauses of size 4113042
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
MXC 2007-02-08367662SAT 116.919 116.965
MiraXT v3460043SAT 465.243 234.558
minisat SAT 2007422045SAT 577.493 577.661
picosat 535356483SAT 694.14 694.354
Rsat 2007-02-08356482SAT 1092.85 1093.21
SATzilla CRAFTED455905SAT 1173.16 1173.45
CMUSAT 2007-02-08367296SAT 2153.95 2154.49
TiniSatELite 2007-02-08355790SAT 2507.76 2509.03
Siege V4422409SAT 3689.34 3690.77
SAT7 2007-02-08370319SAT 4795.62 4797.06