mode=general seed=4 trials=300000 nmax=10 kmax=5: {'instances': 300000, 'PC': 161843, 'LOC': 161843, 'ARB': 161843, 'mismatch': 0, 'constructed_and_verified': 161843, 'construct_fail': 0, 'open_case_with_PC': 7136, 'max_J': 5} (98s)
