(3,7): labelled counterexamples (all models, blocking clauses): 2709  [0.4s]
   every model re-checked: min codegree >= 3 and no THC (DFS)
   isomorphism classes: 6
   class: 25 edges, |Aut| = 60, labelled copies 84 (5040/|Aut| = 84), vertex degrees [10, 10, 10, 10, 10, 10, 15], codegree hist {3: 15, 5: 6}
   class: 24 edges, |Aut| = 48, labelled copies 105 (5040/|Aut| = 105), vertex degrees [10, 10, 10, 10, 10, 10, 12], codegree hist {3: 12, 4: 9}
   class: 23 edges, |Aut| = 6, labelled copies 840 (5040/|Aut| = 840), vertex degrees [9, 9, 9, 10, 10, 10, 12], codegree hist {3: 18, 5: 3}
   class: 23 edges, |Aut| = 4, labelled copies 1260 (5040/|Aut| = 1260), vertex degrees [9, 9, 10, 10, 10, 10, 11], codegree hist {3: 18, 5: 3}
   class: 23 edges, |Aut| = 24, labelled copies 210 (5040/|Aut| = 210), vertex degrees [9, 9, 9, 9, 11, 11, 11], codegree hist {3: 18, 5: 3}
   class: 22 edges, |Aut| = 24, labelled copies 210 (5040/|Aut| = 210), vertex degrees [9, 9, 9, 9, 10, 10, 10], codegree hist {3: 18, 4: 3}
   orbit-stabiliser check: sum of class sizes = 2709 = N  [1.2s]
