minusminusxxminus+xy*minusminusminusxminusminusminusyminus*xy+minusminusminusxminusminusminusyfminusxminusminusminusfx2.1minus+xyminusminusminusxminus+xyminusminusxminus+xyminusxminus+xyminusminusminusyminus+xyminusminusyminus+xyminusyminus*xyminusminusminusxminus*xyminusminusxminus*xyminusxminus*xyminusminusminusyminus*xyminusminusyminus*xyminusyfminusxminusminusminusfxfminusxminusminusfxfminusxminusfxfminusxfxtruefminusxfxtrue1234f1101f11minus1111fminusxminusminusminusfxfalse3fminusxminusminusfxfalse2fminusxminusfxfalse1minus+xyminusminusxminus+xyminusminusminusxminus+xyminusxminus+xyminusminusminusyminus+xyminusminusyminus+xyminusyminus*xyminusminusminusxminus*xyminusminusxminus*xyminusxminus*xyminusminusminusyminus*xyminusminusyminus*xyminusytrueminus1101minus11+211112minus111*211112minusminusxxminus+xy*minusminusminusxminusminusminusyminus*xy+minusminusminusxminusminusminusy
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe