Feasibility of non-det. action & 59 & 40 (67.8 \%) & 52 (88.1 \%) & 44 (74.6 \%) & 57 (96.6 \%) \\

Guard strengthening & 300 & 13 (4.3 \%) & 139 (46.3 \%) & 258 (86.0 \%) & 254 (84.7 \%) \\

Invariant preservation & 4938 & 3106 (62.9 \%) & 3741 (75.8 \%) & 4488 (90.9 \%) & 4552 (92.2 \%) \\

Natural number for a numeric variant & 6 & 5 (83.3 \%) & 6 (100.0 \%) & 4 (66.7 \%) & 6 (100.0 \%) \\

Action simulation & 153 & 104 (68.0 \%) & 86 (56.2 \%) & 134 (87.6 \%) & 142 (92.8 \%) \\

Theorem & 97 & 29 (29.9 \%) & 26 (26.8 \%) & 66 (68.0 \%) & 62 (63.9 \%) \\

Decreasing of variant & 6 & 6 (100.0 \%) & 6 (100.0 \%) & 6 (100.0 \%) & 6 (100.0 \%) \\

Well definedness & 779 & 140 (18.0 \%) & 56 (7.2 \%) & 570 (73.2 \%) & 539 (69.2 \%) \\

Feasibility of a witness & 1 & 0 (0.0 \%) & 0 (0.0 \%) & 1 (100.0 \%) & 1 (100.0 \%) \\

Well definedness of a witness & 4 & 0 (0.0 \%) & 0 (0.0 \%) & 2 (50.0 \%) & 2 (50.0 \%) \\

\hline \hline& 6343 & 3443 (54.3 \%) & 4112 (64.8 \%) & 5573 (87.9 \%) & 5621 (88.6 \%) \\

