abcabcaaax1aaaabcabcabcx12.0abcabcaaax1aaaabcabcabcx1abcabcaaax1aaabcabcabcx1abcabcaaax1aabcabcabcx1abcabcaaax1abcabcabcx1abcabcaaax1abcabcx1abcabcaaax1abcx1trueabcabcaaax1abcabcx1abcabcaaax1abcabcabcx1abcabcaaax1abcx1true12331a100001b10000001c1000001a10010001abcabcaaax1aaaabcabcabcx1falseabcabcaaax1aaabcabcabcx1falseabcabcaaax1aabcabcabcx1false
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe