plus0YYplussXYsplusXYminX0XminsXsYminXYminminXYZminXplusYZquot0sY0quotsXsYsquotminXYsY2.1plussXYplusXYminsXsYminXYminminXYZminXplusYZminminXYZplusYZquotsXsYquotminXYsYquotsXsYminXYtruequotsXsYquotminXYsYtrue1234plus20s10001Z02plus221s11min2100Z0minX0XminsXsYminXYminminXYZminXplusYZquotsXsYquotminXYsY1true12false2quotsXsYminXYfalse123minminXYZminXplusYZminsXsYminXYtrue12s10Z01min22Z0s11min21minminXYZminXplusYZ1true1minsXsYminXY1true12true2minminXYZplusYZfalse1plussXYplusXYtrues10s11plussXYplusXY1true12false2
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe