alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 8e66d91c09b0): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


complement of triangle-free Gbar n=19 m=70 alpha=8

alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 29e56fb1bc78): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 650cb944d344): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


complement of triangle-free Gbar n=19 m=69 alpha=8

alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash bb980df0e6d2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 87e15b875d36): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 34187a5a42f8): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 1e2d73b54cf9): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash fe11dfae86e5): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 04c22789e997): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 97ae51a3ab6b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash b4e380702d18): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d7b1c5352ce7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 22febe4fd1a5): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 498701952ad0): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash f1c1c99668e7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash f4366b751f5f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 58e3906274fb): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


complement of triangle-free Gbar n=19 m=71 alpha=8

alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 655e1b141d39): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash cb105d85e62a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 49aaf703f9f0): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cbeaa7671e0a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash b90590494cba): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 93f878e6e491): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash dac11e861c3c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash dac11e861c3c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 05981668cf6e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash c96d32cbb537): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash f46ebe18cf18): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash c9150235f692): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash d98902826bb7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash d98902826bb7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9210cd9d8219): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash a0948682d6a6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash c3ec76da7402): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 78f9db688f43): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9529aac81ddf): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 0e7fae961e14): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 7536ec23c10b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9f5390da2cba): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 8d956548a6d8): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash f834c41abcef): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash d2de2f08ecf4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 13d78190420c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 0c63e1b00e8e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 49aaf703f9f0): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash bc2c1f4b2717): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 7855c9aa5c11): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 2bf4e02985f4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash fb66ef0ec5d2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 29e56fb1bc78): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 66d81965062d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 0fde8567d2b4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash d276d0b1c25c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 655e1b141d39): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 8078ca422d9b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 81bc9dd0b4ec): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash ebacf12edcca): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 008e51e4345e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 38bde98450c5): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 65 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 3ab6e6ea2341): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cd8253eabce1): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash da8c6ef2aefd): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 4a191fa2a2d7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d62dfd351439): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash ccf2e16d3694): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash a814cf237062): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cd3176b1f665): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash e143c6d2bf80): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 81c976420029): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash e3124953c9c6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 102128b59fdc): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 78e93fecc77e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 8621696b156b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 92ec43456684): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 2703c14ea76b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash b0e0aab7f895): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash dd7425ab5b27): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash abeb31ec8eec): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 7d7686e4560c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash ae8ea0016456): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 917321bbf63d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 7e6369329158): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash d2de2f08ecf4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cbbb45158534): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash f6621f3855e4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash d5e0c34bc452): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash ead54d7c87b0): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash e0683b31d022): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cbbb45158534): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 66c60b66d06a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash a9a96de08a85): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


complement of triangle-free Gbar n=19 m=72 alpha=8

alpha-route hit (Gbar: m=72, alpha=8, triangle-free; WL-hash bae13c4f31aa): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 81f430cfce93): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 03ac578668cf): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 789d30cdc673): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 2d04281237a6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d4cce611bd47): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 61ad00e90076): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 6e39f8bd01a4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 26d325048ab2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash a658756f49b4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 0c63e1b00e8e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash e0b75e3a1dbc): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 7d9252d3a79d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash e0683b31d022): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash c86dab54ad84): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash a0948682d6a6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 05981668cf6e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 14e20a2b4543): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 507c63a98aff): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9c9b0013ae0b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 5e6d7a11b359): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cd3176b1f665): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 498701952ad0): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 1dac1d62d6f6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash f6d4a78d8b1d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash f360b36a8b3b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash caf71083a527): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9f5390da2cba): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 34563b0b34ec): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 40b240b96047): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash b23b95db68d2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9211118517ea): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 7b8428b0c757): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 50b5aea601c9): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 1adbd0170237): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9a9884db8e49): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 76432c0d7b7a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 91af9d610c5d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 68a9a6bc9c95): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash eebe9d1e587e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash b2238b60163f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 42dbc7902ceb): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 1f0cd0ec8676): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d32eb95aa92a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 13255d92670b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 56b753e6902b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 2e8a31e91194): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 981f2e355a42): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 29a4dc3b1e90): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 217e050827c1): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 2d04281237a6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9e4198185b78): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash f624fc6893a1): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 360482659fd2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash cb105d85e62a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash f17de2762a82): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 9aca5a6233df): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash db50fef990bd): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash c26a6985f08f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash f036e21be57d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 9ff32891ecc4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cc950968f10f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash f1c1c99668e7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 073ea4803511): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 3937dccb7cdc): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash dd1468677702): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 28890ebe2aa2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d62dfd351439): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cbeaa7671e0a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d6eb578faa04): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 7132318c4160): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 5aae9d75d308): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 1a2bda4c0c22): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 5822f11540f6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash e71c4d1a2ad3): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 13255d92670b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 19e0bc5f69b3): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 438566c17b9e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 6a58550af235): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash ef6073ed491b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash b07e024f05a8): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 95572508a167): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash edeeb8d08b0c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 6cdfd1ed6b89): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 3487a820b3dd): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 3b0a6c66b18b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 80872bd98c82): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 9aca5a6233df): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 0b8a02e17827): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 705616c6bd5b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash f17de2762a82): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 7fcfbe8cce7a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 81bc9dd0b4ec): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash abeb31ec8eec): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 1afc18ff99f7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 65 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 145c05312b88): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 0281e130454a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 52059865012c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 346786f4461a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 908a38c04692): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash b7a593f67a87): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 3a608b023f68): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash da8c6ef2aefd): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d81eab2846b3): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 650cb944d344): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 918a90d2790b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash a16e34974ab9): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 5bd772a1eec9): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash f46ebe18cf18): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9c9b0013ae0b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash dc2e045adbc4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cc2e7ee89c2f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 328d138d1b3b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash bf6569ee38e6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash a021c8ec1eaf): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 307d6730191e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9d15be56cf1d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash bde0227eee8f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 6f3638d63a98): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash becb7c834912): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 56ed9a3e511a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 324b386aefbe): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 908a38c04692): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash a814cf237062): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash c2bc33d893c9): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash b88d94f3aca6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 0ca217279bcf): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 30afa1a2d5da): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 8bb652abdde8): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash ff863fb15788): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 46ea36eeafee): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash accf251dad35): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash b90590494cba): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 2a74f9140669): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 934d911301a4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9210cd9d8219): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 27322954cccf): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash ce8a567afbcc): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash e7ea0c429fa7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash b0e0aab7f895): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash db50fef990bd): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 789d30cdc673): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash df0830a3f81b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 3c7ca5b43b42): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 2703c14ea76b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 3b6eeca4a1c6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash bde0227eee8f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 5d156e0d3a18): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 5c0476768f8e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash f5603892affc): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 9df26833deb1): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 1bc2a010c232): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 56b753e6902b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash c6cd738b3b8c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash a8eb8b424c24): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash f4d0da0bf76e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 701dc9a73a98): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 6669ad76707d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 875f3b59e701): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash deb09d665a3c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 259c0535e36c): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 886f69927e50): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 51974b547341): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 1e54d65ec26d): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 65 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 918a90d2790b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash a06aab31f03b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 81fa7bfc76e4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash ba14fcd44fcc): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 0b02de8bf21e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 65337ed81242): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 5c7c47beeade): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cd8253eabce1): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash dd183e19584e): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 65 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash bb980df0e6d2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 81c976420029): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash c0c3ae840b7b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 82fb670c54c2): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 346786f4461a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 53c878ac4308): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash fb22e869e5f6): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 13b43bf81028): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 43c5a18217f7): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 66 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 1df8bb9240e9): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash fe5654edc2da): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 38cec2941235): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 8d7c2e647aaf): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash 0fde8567d2b4): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 506b4c055a93): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 63 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash eb5c99685d79): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 19a93878e66b): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 4de89a72ccbe): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 67 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash 33a86775c26a): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=72, alpha=8, triangle-free; WL-hash 25abb1c9fb15): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 311635245c46): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 64 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash 44436b1c9a66): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash b14a8bcf0189): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 72 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=70, alpha=8, triangle-free; WL-hash d9cc3020b31f): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 68 vs cap 68: inconclusive (heuristic LB only) - CEGAR-worthy


alpha-route hit (Gbar: m=69, alpha=8, triangle-free; WL-hash cd9000f6aed9): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 69 vs cap 68: KILLED by f025 - non-biplanar


alpha-route hit (Gbar: m=71, alpha=8, triangle-free; WL-hash b9c71afab345): complement has alpha=2 so chi>=ceil(19/2)=10, omega=8<=8. NOT a C5-blowup: new structure. f025 screen: max triangle-free subgraph >= 70 vs cap 68: KILLED by f025 - non-biplanar


alpha2 new-seed hit c0c3ae840b7b, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 6.7s (0 rounds)


alpha2 new-seed hit 311635245c46, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 64 <= 68); Euler-tight decide: UNSAT in 9.3s (0 rounds)


alpha2 new-seed hit a9a96de08a85, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 15.8s (0 rounds)


alpha2 new-seed hit 14e20a2b4543, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 0.1s (0 rounds)


alpha2 new-seed hit 40b240b96047, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 40.5s (0 rounds)


alpha2 new-seed hit 9a9884db8e49, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 5.7s (0 rounds)


alpha2 new-seed hit b2238b60163f, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 10.2s (0 rounds)


alpha2 new-seed hit 7132318c4160, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 0.5s (0 rounds)


alpha2 new-seed hit 19e0bc5f69b3, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 14.6s (0 rounds)


alpha2 new-seed hit edeeb8d08b0c, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 0.4s (0 rounds)


alpha2 new-seed hit 1afc18ff99f7, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 0.6s (0 rounds)


alpha2 new-seed hit a16e34974ab9, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 10.8s (0 rounds)


alpha2 new-seed hit 6f3638d63a98, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 0.9s (0 rounds)


alpha2 new-seed hit c2bc33d893c9, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 12.5s (0 rounds)


alpha2 new-seed hit 46ea36eeafee, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 0.3s (0 rounds)


alpha2 new-seed hit 27322954cccf, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 0.2s (0 rounds)


alpha2 new-seed hit 5c0476768f8e, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 13.6s (0 rounds)


alpha2 new-seed hit a8eb8b424c24, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 1.0s (0 rounds)


alpha2 new-seed hit 259c0535e36c, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 24.5s (0 rounds)


alpha2 new-seed hit 81fa7bfc76e4, m=102 Euler-tight


alpha2 new-seed hit 53c878ac4308, m=102 Euler-tight


alpha2 new-seed hit 38cec2941235, m=102 Euler-tight


alpha2 new-seed hit 4de89a72ccbe, m=102 Euler-tight


alpha2 new-seed hit c793907c1fb9, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 68 <= 68); Euler-tight decide: UNSAT in 2.8s (0 rounds)


alpha2 new-seed hit 436a624bce7e, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 7.2s (0 rounds)


alpha2 new-seed hit 75c6344d3250, m=102 Euler-tight


alpha2 new-seed hit 67468f7c0851, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 6.5s (0 rounds)


alpha2 new-seed hit 83817ae5a60d, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 67 <= 68); Euler-tight decide: UNSAT in 3.7s (0 rounds)


alpha2 new-seed hit 95688d398cd4, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 66 <= 68); Euler-tight decide: UNSAT in 3.1s (0 rounds)


alpha2 new-seed hit ec1b20d47f20, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 66 <= 68); Euler-tight decide: UNSAT in 2.3s (0 rounds)


alpha2 new-seed hit 188df2fcb50a, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 3.4s (0 rounds)


alpha2 new-seed hit d8e7cad2d87b, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 4.6s (0 rounds)


alpha2 new-seed hit a3a2cbbe7dbe, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 2.5s (0 rounds)


alpha2 new-seed hit 572aaa999e43, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 9.1s (0 rounds)


alpha2 new-seed hit cc2d24a3fc65, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 4.2s (0 rounds)


alpha2 new-seed hit 6bb94faa3c4a, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 5.2s (0 rounds)


alpha2 new-seed hit 7721286a5162, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 4.5s (0 rounds)


alpha2 new-seed hit 36165f3974ee, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 64 <= 68); Euler-tight decide: UNSAT in 32.8s (0 rounds)


alpha2 new-seed hit eb9b39cfe2a3, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 43.1s (0 rounds)


alpha2 new-seed hit d7047f4eb14d, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 65 <= 68); Euler-tight decide: UNSAT in 15.5s (0 rounds)


alpha2 new-seed hit ce8142631eb9, m=102 Euler-tight

new-seed alpha=2 survivor (exact max-tf 64 <= 68); Euler-tight decide: UNSAT in 9.2s (0 rounds)