fromXconsXn__fromn__sXafter0XSXSaftersNconsXXSafterNactivateXSfromXn__fromXsXn__sXactivaten__fromXfromactivateXactivaten__sXsactivateXactivateXX00cons2n__from1n__s1from1after2s1activate112.1fromz0consz0n__fromn__sz0fromz0cfromz0n__fromz0fromz0c1after0z0z0after0z0c2aftersz0consz1z2afterz0activatez2aftersz0consz1z2c3afterz0activatez2activatez2sz0n__sz0sz0c4activaten__fromz0fromactivatez0activaten__fromz0c5fromactivatez0activatez0activaten__sz0sactivatez0activaten__sz0c6sactivatez0activatez0activatez0z0activatez0c7fromz0fromz0after0z0aftersz0consz1z2sz0activaten__fromz0activaten__sz0activatez0after0z0z0aftersz0consz1z2afterz0activatez21c00c100c200c3211012c400c5211012c6211012c700activate10from13s1210from10after214152s12activate1451n__from1411n__s1311cons2212002after0z0c2aftersz0consz1z2c3afterz0activatez2activatez2sz0c4activaten__fromz0c5fromactivatez0activatez0activaten__sz0c6sactivatez0activatez0activatez0c7fromz0cfromz0c1after0z0c2aftersz0consz1z2c3afterz0activatez2activatez2sz0c4activaten__fromz0c5fromactivatez0activatez0activaten__sz0c6sactivatez0activatez0activatez0c71c00c100c200c3211012c400c5211012c6211012c700activate10from15s12from15after2420s13activate1441n__from1411n__s1211cons2412000fromz0cfromz0c1fromz0cfromz0c1after0z0c2aftersz0consz1z2c3afterz0activatez2activatez2sz0c4activaten__fromz0c5fromactivatez0activatez0activaten__sz0c6sactivatez0activatez0activatez0c7AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (5 real / 0 unknown / 0 assumptions / 5 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe