ep20 solve_rate=0.000 mean_conflicts=59.14
ep40 solve_rate=0.000 mean_conflicts=93.71
ep60 solve_rate=0.000 mean_conflicts=41.06
ep80 solve_rate=0.000 mean_conflicts=29.80
ep100 solve_rate=0.000 mean_conflicts=31.36