Table 5. Automata performance under different abstractions.

oRow	oCol	wPre (%)	wRec (%)	wAcc (%)	wF1 (%)	dPre (%)	dRec (%)	dAcc (%)	dF1 (%)
1	28	55.041	70.782	90.176	61.927	55.288	70.988	90.184	62.162
2	28	54.830	70.321	90.142	61.617	55.203	70.635	90.154	61.973
28	1	44.382	70.035	86.691	54.333	44.569	70.194	86.699	54.521
28	2	42.904	69.686	86.232	53.110	43.466	70.106	86.248	53.662
28	28	100.000	66.667	94.064	80.000	74.472	40.388	91.657	52.373