“…. The Left Table Displays the Results for the "Dwyer" Set from Table 4 and The Right Table for the Parametrised Formulas from Table 2 L 39 54,674 (11) 54 (8) 39 (4) 17 χ 9, 3 255,274 (13) 1 (6) 1 (6) 1 (8) φ 49 26,030 (9) 22 351 (8) 12(2) χ 8, 4 12,278 (8) 1 (17) 15 (2) 1 (5) φ 44 14,157 (9) 20 331 710 (2) χ 8, 4 6,522 71 (5) 145 (2) 1 (10) φ 49 2,554 (11) 22 (8) 19 315 (2) χ 9, 2 795 (7) 1 (3) 1 (3) 1 (4) φ 44 1,193 (11) 18 714 3 19 Π, and med., for the average, the standard deviation, the geometric average, and the median, respectively, for the number of states. We denote by err an error thrown by the tool.…”