[start] 2297 pairs already tested
[0.0m] testing γ=13 T1=(m=13, ch=[(0, 3), (4, 7), (8, 11), (12, 1)]), T2=(k=13, ch=[(0, 3), (4, 7), (8, 11), (12, 1)])
  -> |S1|=3888, |S2|=53040, fwd=2112, rev=1116, compat=True (46.1s)
[0.8m] testing γ=13 T1=(m=13, ch=[(0, 3), (4, 7), (8, 11), (12, 1)]), T2=(k=14, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)])
  -> |S1|=3888, |S2|=39954, fwd=96, rev=72, compat=True (47.4s)
[1.6m] testing γ=13 T1=(m=13, ch=[(0, 3), (4, 7), (8, 11), (12, 1)]), T2=(k=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)])
  *** counterexample (not strict-Latin) ***
  -> |S1|=3888, |S2|=19998, fwd=0, rev=0, compat=False (98.5s)
[3.2m] testing γ=13 T1=(m=13, ch=[(0, 3), (4, 7), (8, 11), (12, 1)]), T2=(k=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)])
  -> |S1|=3888, |S2|=113964, fwd=600, rev=672, compat=True (99.6s)
[4.9m] testing γ=13 T1=(m=13, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)]), T2=(k=13, ch=[(0, 3), (4, 7), (8, 11), (12, 1)])
  -> |S1|=3888, |S2|=53040, fwd=2448, rev=2304, compat=True (22.9s)
[5.2m] testing γ=13 T1=(m=13, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)]), T2=(k=14, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)])
  -> |S1|=3888, |S2|=39954, fwd=96, rev=72, compat=True (0.0s)
[5.2m] testing γ=13 T1=(m=13, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)]), T2=(k=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)])
  *** counterexample (not strict-Latin) ***
  -> |S1|=3888, |S2|=19998, fwd=0, rev=0, compat=False (0.0s)
[5.2m] testing γ=13 T1=(m=13, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)]), T2=(k=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)])
  -> |S1|=3888, |S2|=113964, fwd=1056, rev=672, compat=True (0.0s)
[5.2m] testing γ=14 T1=(m=14, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)]), T2=(k=14, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)])
  -> |S1|=7776, |S2|=99906, fwd=2976, rev=2304, compat=True (201.6s)
[8.6m] testing γ=14 T1=(m=14, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)]), T2=(k=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)])
  *** counterexample (not strict-Latin) ***
  -> |S1|=7776, |S2|=39954, fwd=0, rev=0, compat=False (207.5s)
[12.1m] testing γ=14 T1=(m=14, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)]), T2=(k=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)])
  -> |S1|=7776, |S2|=228564, fwd=384, rev=1152, compat=True (210.4s)
[15.6m] testing γ=14 T1=(m=14, ch=[(0, 3), (4, 7), (8, 11), (12, 0)]), T2=(k=14, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (12, 0)])
  -> |S1|=7776, |S2|=99906, fwd=2640, rev=2016, compat=True (101.2s)
[17.3m] testing γ=14 T1=(m=14, ch=[(0, 3), (4, 7), (8, 11), (12, 0)]), T2=(k=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)])
  *** counterexample (not strict-Latin) ***
  -> |S1|=7776, |S2|=39954, fwd=0, rev=0, compat=False (0.0s)
[17.3m] testing γ=14 T1=(m=14, ch=[(0, 3), (4, 7), (8, 11), (12, 0)]), T2=(k=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)])
  -> |S1|=7776, |S2|=228564, fwd=960, rev=1536, compat=True (0.1s)
[17.3m] testing γ=15 T1=(m=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)]), T2=(k=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)])
  -> |S1|=7776, |S2|=99906, fwd=2976, rev=2976, compat=True (881.1s)
[31.9m] testing γ=15 T1=(m=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)]), T2=(k=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)])
  -> |S1|=7776, |S2|=452844, fwd=4896, rev=4896, compat=True (440.2s)
[39.3m] testing γ=15 T1=(m=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)]), T2=(k=15, ch=[(0, 3), (3, 6), (6, 9), (9, 12), (0, 12)])
  -> |S1|=23328, |S2|=99906, fwd=2640, rev=2640, compat=True (434.8s)
[46.5m] testing γ=15 T1=(m=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)]), T2=(k=15, ch=[(0, 3), (4, 7), (8, 11), (12, 14), (12, 0)])
  -> |S1|=23328, |S2|=452844, fwd=10752, rev=8832, compat=True (0.2s)

[done] tested 18, CE 4, strict-Latin threshold CE 0, elapsed 0.78 hours
