mode=minimal seed=2 trials=400000 nmax=11 kmax=5: {'instances': 25975, 'PC': 25975, 'LOC': 25975, 'ARB': 25975, 'mismatch': 0, 'constructed_and_verified': 25975, 'construct_fail': 0, 'open_case_with_PC': 25975, 'max_J': 5} (85s)
