repro-bundle/verify/claim5/sweep.csv

N,seed,lhs,rhs,margin,holds,precondition_met,vacuous,N,util_C,util_I,util_gain,value_C,value_I,value_gain_pct
2,0,1.0,1.0,0.0,1,1,0,2,0.1778,-0.017,0.1948,0.6644,0.6328,4.996
2,1,1.0,1.0,0.0,1,1,0,2,0.1782,-0.0168,0.195,0.6644,0.6331,4.946
2,2,1.0,1.0,0.0,1,1,0,2,0.1773,-0.0169,0.1941,0.6642,0.6325,5.014
4,0,1.0,1.0,0.0,1,1,0,4,0.3005,-0.1143,0.4147,0.7996,0.7791,2.632
4,1,1.0,1.0,0.0,1,1,0,4,0.3002,-0.1142,0.4143,0.7996,0.7794,2.593
4,2,1.0,1.0,0.0,1,1,0,4,0.3003,-0.1144,0.4147,0.7998,0.7795,2.604