Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives

Table 2

Comparison of ETL_𝑓 and ETL_𝑙+𝑓 with periodicity properties.

Cells	ETL𝑓				ETL𝑙+𝑓
	Max bound	Memory (MB)	Variables	Clauses	Max bound	Memory (MB)	Variables	Clauses
10	11032	279.44	154461	1180431	13009	382.784	182140	1417990
11	5138	148.22	77084	631981	6037	173.59	90570	754461
12	3702	129.571	3702	518287	4316	143.802	69072	612888