AGL25: |G| = 12000, 126 soluble classes, 13562 soluble subgroups (2.4s)
  H #1: |H| = 6000, h*(H) = 2; s_p(H): p=2:3, p=3:3, p=5:-, p=7:3
  H #2: |H| = 12000, h*(H) = 3; s_p(H): p=2:4, p=3:4, p=5:-, p=7:4
  H #3: |H| = 3000, h*(H) = 2; s_p(H): p=2:3, p=3:3, p=5:-, p=7:3
  H #4: |H| = 480, h*(H) = 2; s_p(H): p=2:-, p=3:3, p=5:3, p=7:3
  H #5: |H| = 240, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
AGL25: 5 non-soluble subgroup classes tested, 0 violations of Theorem P, 0 tight (s_p = h*) cases; 6.7s
3^4:S5: |G| = 9720, 184 soluble classes, 15868 soluble subgroups (4.6s)
  H #1: |H| = 9720, h*(H) = 3; s_p(H): p=2:4, p=3:-, p=5:4, p=7:4
  H #2: |H| = 4860, h*(H) = 2; s_p(H): p=2:3, p=3:-, p=5:3, p=7:3
  H #3: |H| = 60, h*(H) = 1; s_p(H): p=2:2, p=3:2, p=5:2, p=7:2
  H #4: |H| = 120, h*(H) = 2; s_p(H): p=2:2, p=3:3, p=5:3, p=7:3
  H #5: |H| = 60, h*(H) = 1; s_p(H): p=2:2, p=3:2, p=5:2, p=7:2
3^4:S5: 5 non-soluble subgroup classes tested, 0 violations of Theorem P, 1 tight (s_p = h*) cases; 9.0s
2^4:S5perm: |G| = 1920, 193 soluble classes, 6663 soluble subgroups (0.5s)
  H #1: |H| = 1920, h*(H) = 3; s_p(H): p=2:-, p=3:3, p=5:3, p=7:3
  H #2: |H| = 60, h*(H) = 1; s_p(H): p=2:2, p=3:2, p=5:2, p=7:2
  H #3: |H| = 960, h*(H) = 2; s_p(H): p=2:-, p=3:3, p=5:3, p=7:3
  H #4: |H| = 120, h*(H) = 2; s_p(H): p=2:2, p=3:3, p=5:3, p=7:3
2^4:S5perm: 4 non-soluble subgroup classes tested, 0 violations of Theorem P, 4 tight (s_p = h*) cases; 0.9s
A5xS4: |G| = 1440, 143 soluble classes, 4268 soluble subgroups (0.3s)
  H #1: |H| = 1440, h*(H) = 3; s_p(H): p=2:-, p=3:3, p=5:3, p=7:3
  H #2: |H| = 240, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
  H #3: |H| = 480, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
  H #4: |H| = 120, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
  H #5: |H| = 360, h*(H) = 2; s_p(H): p=2:2, p=3:-, p=5:2, p=7:2
  H #6: |H| = 720, h*(H) = 2; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
  H #7: |H| = 240, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
  H #8: |H| = 180, h*(H) = 1; s_p(H): p=2:2, p=3:-, p=5:2, p=7:2
  H #9: |H| = 120, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
  H #10: |H| = 240, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
A5xS4: 10 non-soluble subgroup classes tested, 0 violations of Theorem P, 9 tight (s_p = h*) cases; 0.6s
GL25: |G| = 480, 45 soluble classes, 463 soluble subgroups (0.1s)
  H #1: |H| = 480, h*(H) = 2; s_p(H): p=2:-, p=3:3, p=5:3, p=7:3
  H #2: |H| = 240, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
  H #3: |H| = 120, h*(H) = 1; s_p(H): p=2:-, p=3:2, p=5:2, p=7:2
GL25: 3 non-soluble subgroup classes tested, 0 violations of Theorem P, 0 tight (s_p = h*) cases; 0.1s
