{"SEED": 12, "TRIALS": 20000, "CAP": 400, "weak": true} {"instances_with_LOC": 20000, "families": 808533, "feasible_independent": 692630, "feasible_DEPENDENT": 0, "infeasible_independent": 2765, "infeasible_dependent": 113138, "ambiguous": 0, "lp_error": 0, "generated": 40396, "instances_all_enumerated": 18743, "seconds": 415.8}
