mode=general seed=11 trials=100000 nmax=9 kmax=7: {'instances': 100000, 'PC': 44280, 'LOC': 44280, 'ARB': 44280, 'mismatch': 0, 'constructed_and_verified': 44280, 'construct_fail': 0, 'open_case_with_PC': 1795, 'max_J': 6, 'restarts_after_tie': 0} (8s)
