Research Article
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives
Table 4
Comparison of
and
with liveness properties.
| Cells | | | Time (s) | Variables | Clauses | Memory (MB) | Time (s) | Variables | Clauses | Memory (MB) |
| 3 | 25.09 | 2400 | 4796 | 29.66 | 13.78 | 2340 | 4747 | 26.34 | 4 | 31.42 | 3120 | 6200 | 38.61 | 20.06 | 3042 | 6115 | 31.38 | 5 | 42.56 | 3840 | 7604 | 44.28 | 24.70 | 3744 | 7843 | 36.12 |
|
|