mode=minimal seed=11 trials=150000 nmax=10 kmax=7: {'instances': 6758, 'PC': 6758, 'LOC': 6758, 'ARB': 6758, 'mismatch': 0, 'constructed_and_verified': 6758, 'construct_fail': 0, 'open_case_with_PC': 6758, 'max_J': 7, 'restarts_after_tie': 0} (18s)
