*x+yz+*xy*xz*+xyz+*xz*yz*x1x*1yy+210*222.1*z0+z1z2+*z0z1*z0z2*z0+z1z2c*z0z1*z0z2*+z0z1z2+*z0z2*z1z2*+z0z1z2c1*z0z2*z1z2*z01z0*z01c2*1z0z0*1z0c3*z0+z1z2*+z0z1z2*z01*1z0*z0+z1z2+*z0z1*z0z2*+z0z1z2+*z0z2*z1z2*z01z0*1z0z02c211012c1211012c200c300*211022112+221112100*z0+z1z2c*z0z1*z0z2*+z0z1z2c1*z0z2*z1z2*z0+z1z2c*z0z1*z0z2*+z0z1z2c1*z0z2*z1z2*z01c2*1z0c32c211012c1211012c200c300*2110112+211112102*1z0c3*z0+z1z2c*z0z1*z0z2*+z0z1z2c1*z0z2*z1z2*z01c2*1z0c32c211012c1211012c200c300*211112212+221112100*z01c2*z0+z1z2c*z0z1*z0z2*+z0z1z2c1*z0z2*z1z2*z01c2*1z0c3AProVEAProVE 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