+ab+ba+a+bz+b+az++xyz+x+yzfayafbybf+xyz+fxzfyz2.0+ab+ba+a+bz+b+az+a+bz+az++xyz+x+yz++xyz+yzf+xyz+fxzfyzf+xyzfxzf+xyzfyztruef+xyzfyzf+xyzfxztrue123451f211+211112f+xyz+fxzfyzfalse1234++xyz+yz++xyz+x+yztrue1231+211+211112a00b00+a+bz+aztrue121+242a00+2142b05+ab+bafalse+a+bz+b+azfalse
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe