-x0x-sxsy-xypsxxfsxyfp-sxyp-ysxfxsyfp-xsyp-syx2.0-sxsy-xyfsxyfp-sxyp-ysxfsxyp-sxyfsxy-sxyfsxyp-ysxfsxy-ysxfxsyfp-xsyp-syxfxsyp-xsyfxsy-xsyfxsyp-syxfxsy-syxtruefxsyfp-xsyp-syxfsxyfp-sxyp-ysxtrue1234567891f2-11112p1-211-2111s1211001-sxsy-xypsxx-x0xfsxy-sxyfalse4fsxy-ysxfalse3fxsy-xsyfalse2fxsy-syxfalse1-sxsy-xytrue1-212s1111fsxyp-sxyfalsefsxyp-ysxfalsefxsyp-xsyfalsefxsyp-syxfalse
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe