minusminusxxminus+xy*minusminusminusxminusminusminusyminus*xy+minusminusminusxminusminusminusyfminusxminusminusminusfx2.1minus+xyminusminusminusxminus+xyminusminusxminus+xyminusxminus+xyminusminusminusyminus+xyminusminusyminus+xyminusyminus*xyminusminusminusxminus*xyminusminusxminus*xyminusxminus*xyminusminusminusyminus*xyminusminusyminus*xyminusyfminusxminusminusminusfxfminusxminusminusfxfminusxminusfxfminusxfxtruefminusxfxtrue1234minus10minus11fminusxfx1true1fminusxminusminusminusfxfalse3fminusxminusminusfxfalse2fminusxminusfxfalse1minus+xyminusminusxminus+xyminusminusminusxminus+xyminusxminus+xyminusminusminusyminus+xyminusminusyminus+xyminusyminus*xyminusminusminusxminus*xyminusminusxminus*xyminusxminus*xyminusminusminusyminus*xyminusminusyminus*xyminusytrue1minus111*211112+211112minusminusxxminus+xy*minusminusminusxminusminusminusyminus*xy+minusminusminusxminusminusminusyminus+xyminusminusx1true1minus+xyminusminusminusx1true1minus+xyminusx1true1minus+xyminusminusminusy1true1minus+xyminusminusy1true1minus+xyminusy1true1minus*xyminusminusminusx1true1minus*xyminusminusx1true1minus*xyminusx1true1minus*xyminusminusminusy1true1minus*xyminusminusy1true1minus*xyminusy1true1
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe