n=19 k=254 certificate lines written: 253 (all non-identity classes: 253)  stats {'lines': 253, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 104}  time 35.5s
n=20 k=324 certificate lines written: 323 (all non-identity classes: 323)  stats {'lines': 323, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 183}  time 69.9s
n=21 k=408 certificate lines written: 407 (all non-identity classes: 407)  stats {'lines': 407, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 258}  time 123.6s
n=22 k=513 certificate lines written: 512 (all non-identity classes: 512)  stats {'lines': 512, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 370}  time 218.6s
n=23 k=641 certificate lines written: 640 (all non-identity classes: 640)  stats {'lines': 640, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 509}  time 389.0s
n=24 k=804 certificate lines written: 803 (all non-identity classes: 803)  stats {'lines': 803, 'targeted_edges': 0, 'targeted_found': 0, 'fallback_rounds': 0, 'escalations': 762}  time 797.3s
