index_dict = {'ACE': 0,
              'ProbLog': 1,
              'Subtle': 2,
              'FLGG': 3,
              'Django': 4
              }

labels = ['ACE', 'ProbLog','Subtle', 'FLGG', 'Django']

muta188_timings = [1, 107, ]
