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