lteConsx'xs'Consxxsltexs'xslteConsxxsNilFalseevenConsxNilFalseevenConsx'ConsxxsevenxsnotEmptyConsxxsTruenotEmptyNilFalselteNilyTrueevenNilTruegoalxyandltexyevenxandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrueTrue0Cons2Nil0False0lte2even1notEmpty1goal2and212.1lteConsz0z1Consz2z3ltez1z3lteConsz0z1Consz2z3c4ltez1z3lteConsz0z1NilFalselteConsz0z1Nilc5lteNilz0TruelteNilz0c6evenConsz0NilFalseevenConsz0Nilc7evenConsz0Consz1z2evenz2evenConsz0Consz1z2c8evenz2evenNilTrueevenNilc9notEmptyConsz0z1TruenotEmptyConsz0z1c10notEmptyNilFalsenotEmptyNilc11goalz0z1andltez0z1evenz0goalz0z1c12andltez0z1evenz0ltez0z1evenz0andFalseFalseFalseandFalseFalsecandTrueFalseFalseandTrueFalsec1andFalseTrueFalseandFalseTruec2andTrueTrueTrueandTrueTruec3andFalseFalseandTrueFalseandFalseTrueandTrueTruelteConsz0z1Consz2z3lteConsz0z1NillteNilz0evenConsz0NilevenConsz0Consz1z2evenNilnotEmptyConsz0z1notEmptyNilgoalz0z1andFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTruenotEmptyConsz0z1TruenotEmptyNilFalsegoalz0z1andltez0z1evenz01c00c100c200c300c41110c500c600c700c81110c900c1000c1100c1231101213lte2331even1510and22lte20even1310notEmpty1341goal253132Cons2412Nil05False03True02evenConsz0Nilc7evenConsz0Consz1z2c8evenz2evenNilc9notEmptyConsz0z1c10notEmptyNilc11goalz0z1c12andltez0z1evenz0ltez0z1evenz0andFalseFalsecandTrueFalsec1andFalseTruec2andTrueTruec3lteConsz0z1Consz2z3c4ltez1z3lteConsz0z1Nilc5lteNilz0c6evenConsz0Nilc7evenConsz0Consz1z2c8evenz2evenNilc9notEmptyConsz0z1c10notEmptyNilc11goalz0z1c12andltez0z1evenz0ltez0z1evenz01c00c100c200c300c41110c500c600c700c81110c900c1000c1100c1231101213lte253132even1410and20lte222112even10notEmpty10goal254142Cons2120Nil04False03True02lteConsz0z1Nilc5lteNilz0c6andFalseFalsecandTrueFalsec1andFalseTruec2andTrueTruec3lteConsz0z1Consz2z3c4ltez1z3lteConsz0z1Nilc5lteNilz0c6evenConsz0Nilc7evenConsz0Consz1z2c8evenz2evenNilc9notEmptyConsz0z1c10notEmptyNilc11goalz0z1c12andltez0z1evenz0ltez0z1evenz01c00c100c200c300c41110c500c600c700c81110c900c1000c1100c1231101213lte2422even1251and20lte2210even1210notEmpty10goal255122Cons2112Nil05False03True00lteConsz0z1Consz2z3c4ltez1z3andFalseFalsecandTrueFalsec1andFalseTruec2andTrueTruec3lteConsz0z1Consz2z3c4ltez1z3lteConsz0z1Nilc5lteNilz0c6evenConsz0Nilc7evenConsz0Consz1z2c8evenz2evenNilc9notEmptyConsz0z1c10notEmptyNilc11goalz0z1c12andltez0z1evenz0ltez0z1evenz0AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (6 real / 0 unknown / 0 assumptions / 6 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe