Research Article
Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives
Table 3
Comparison of
and
with safety properties.
| | Cells | | | | Max bound | Memory (MB) | Variables | Clauses | Max-bound | Memory (MB) | Variables | Clauses |
| | 3 | 68 | 29.14 | 4002 | 8091 | 101 | 38.03 | 4958 | 9898 | | 4 | 62 | 34.76 | 4864 | 9764 | 87 | 40.34 | 5712 | 11512 | | 5 | 54 | 40.12 | 5170 | 10313 | 73 | 45.37 | 6072 | 12088 |
|
|
