CASCWithAndWithoutTPSProblems

=== CASC-25 (2015) ALL ===
SATALLAX-2.8 271 (67.75%)
LEO-II 195 (48.75%)
SATALLAX-MALES 285 (71.25%)
ISABELLE 267 (66.75%)

=== CASC-25 (2015) No TPS Problems ===
SATALLAX-2.8 175 (70.564514%)
LEO-II 118 (47.580643%)
SATALLAX-MALES 186 (75.0%)
ISABELLE 174 (70.161285%)

=== CASC-25 (2015) Just TPS Problems ===
SATALLAX-2.8 96 (63.15789%)
LEO-II 77 (50.65789%)
SATALLAX-MALES 99 (65.131584%)
ISABELLE 93 (61.184208%)

=== CASC-J8 (2016) ALL ===
SATALLAX-3.0 346 (69.2%)
SATALLAX-2.8 315 (63.0%)
LEO-II 238 (47.600002%)
LEO+III 89 (17.800001%)
LEO-III 74 (14.8%)
ISABELLE 356 (71.200005%)

=== CASC-J8 (2016) No TPS Problems ===
SATALLAX-3.0 239 (73.53847%)
SATALLAX-2.8 217 (66.76923%)
LEO-II 146 (44.923077%)
LEO+III 35 (10.769231%)
LEO-III 31 (9.538462%)
ISABELLE 249 (76.61539%)

=== CASC-J8 (2016) Just TPS Problems ===
SATALLAX-3.0 107 (61.142857%)
SATALLAX-2.8 98 (56.0%)
LEO-II 92 (52.571426%)
LEO+III 54 (30.857143%)
LEO-III 43 (24.571428%)
ISABELLE 107 (61.142857%)

=== CASC-26 (2017) ALL ===
SATALLAX-3.2 430 (86.0%)
LEO-III 382 (76.4%)
SATALLAX-3.0 382 (76.4%)
LEO-II 305 (61.0%)
ZIPPERPOSITION 179 (35.8%)
ISABELLE 387 (77.4%)

=== CASC-26 (2017) No TPS Problems ===
SATALLAX-3.2 302 (91.51515%)
LEO-III 280 (84.84849%)
SATALLAX-3.0 274 (83.030304%)
LEO-II 220 (66.66667%)
ZIPPERPOSITION 125 (37.878788%)
ISABELLE 273 (82.72727%)

=== CASC-26 (2017) Just TPS Problems ===
SATALLAX-3.2 128 (75.29412%)
LEO-III 102 (60.000004%)
SATALLAX-3.0 108 (63.529415%)
LEO-II 85 (50.0%)
ZIPPERPOSITION 54 (31.764708%)
ISABELLE 114 (67.05882%)

=== CASC-J9 (2018) ALL ===
SATALLAX-3.2 406 (81.2%)
SATALLAX-3.3 401 (80.2%)
LEO-III 355 (71.0%)
LEO-II 213 (42.6%)

=== CASC-J9 (2018) No TPS Problems ===
SATALLAX-3.2 272 (84.7352%)
SATALLAX-3.3 271 (84.423676%)
LEO-III 253 (78.8162%)
LEO-II 129 (40.186916%)

=== CASC-J9 (2018) Just TPS Problems ===
SATALLAX-3.2 134 (74.86034%)
SATALLAX-3.3 130 (72.625694%)
LEO-III 102 (56.98324%)
LEO-II 84 (46.927376%)

=== CASC-27 (2019) ALL ===
SATALLAX-3.4 418 (83.600006%)
SATALLAX-3.3 399 (79.799995%)
LEO-III 359 (71.8%)
ZIPPERPOSITION 356 (71.200005%)
VAMPIRE 304 (60.8%)
CVC4 268 (53.600002%)
LEO-II 179 (35.8%)

=== CASC-27 (2019) No TPS Problems ===
SATALLAX-3.4 296 (88.358215%)
SATALLAX-3.3 285 (85.07463%)
LEO-III 244 (72.83582%)
ZIPPERPOSITION 247 (73.731346%)
VAMPIRE 214 (63.8806%)
CVC4 183 (54.626865%)
LEO-II 103 (30.74627%)

=== CASC-27 (2019) Just TPS Problems ===
SATALLAX-3.4 122 (73.93939%)
SATALLAX-3.3 114 (69.09091%)
LEO-III 115 (69.69697%)
ZIPPERPOSITION 109 (66.06061%)
VAMPIRE 90 (54.545456%)
CVC4 85 (51.515152%)
LEO-II 76 (46.060608%)