## Groups that do satisfy the universal transversal property
## 
## GAP log file

gap> gps:=[ PrimitiveGroup(5,1), PrimitiveGroup(5,2), PrimitiveGroup(5,3), 
> PrimitiveGroup(6,1), PrimitiveGroup(6,2), PrimitiveGroup(7,4), 
> PrimitiveGroup(8,5), PrimitiveGroup(9,8), PrimitiveGroup(9,9)];
[ C(5), D(2*5), AGL(1, 5), PSL(2,5), PGL(2,5), AGL(1, 7), PGL(2, 7), 
  PSL(2, 8), PGammaL(2, 8) ]
gap> ForAll(gps, IsUniversalTransversalGroup);
true