systems: 1500  min of [Phi - c_H - 0.06 m - 0.0055 m * #bad] = 0.05412223175264424  histogram of #bad (10 = ten or more): {1: 128, 2: 151, 3: 146, 4: 138, 5: 91, 6: 68, 7: 63, 8: 42, 9: 40, 10: 633}
refined inequality test OK
