2ndcons1XconsYZY2ndconsXX12ndcons1XactivateX1fromXconsXn__fromsXfromXn__fromXactivaten__fromXfromXactivateXXs1cons12cons2n__from12nd1from1activate122.12ndcons1z0consz1z2z12ndcons1z0consz1z2c2ndconsz0z12ndcons1z0activatez12ndconsz0z1c12ndcons1z0activatez1activatez1fromz0consz0n__fromsz0fromz0c2fromz0n__fromz0fromz0c3activaten__fromz0fromz0activaten__fromz0c4fromz0activatez0z0activatez0c52ndcons1z0consz1z22ndconsz0z1fromz0fromz0activaten__fromz0activatez02ndcons1z0consz1z2z12ndconsz0z12ndcons1z0activatez12c00c1211012c200c300c41110c500activate1321from12212nd1131211from11activate12n__from1111cons2111s10cons1202ndcons1z0consz1z2c2ndconsz0z1c12ndcons1z0activatez1activatez1fromz0c2fromz0c3activaten__fromz0c4fromz0activatez0c52ndcons1z0consz1z2c2ndconsz0z1c12ndcons1z0activatez1activatez1fromz0c2fromz0c3activaten__fromz0c4fromz0activatez0c5AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe