minus00+x0x+0yy+minus110minusminusxx+xminusyminus+minusxy+x+yz++xyz+minus+x11minusx2.0+xminusyminus+minusxy+xminusy+minusxy+xminusyminusx+x+yz++xyz+x+yz+xy+minus+x11minusxtrue+x+yz++xyz+xminusy+minusxy+x+yz+xytrue1231+212+211112minus1111000100+xminusyminus+minusxyfalse+xminusyminusxfalse+minus+x11minusxfalse
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe