abxbaaxbcxcbbxcaxaccxuaxxvbxxwcxxauxxbvxxcwxx2.01a111b111c111u1111v111w111abxbaaxbcxcbbxcaxaccxvbxxwcxxbvxxcwxx1a111b111c111v1111w111abxbaaxbcxcbbxcaxaccxwcxxcwxx1a111b111c111w1111abxbaaxbcxcbbxcaxaccxabxbaaxabxaaxabxaxbcxcbbxbcxbbxbcxbxcaxaccxcaxccxcaxcxtrue1a111b1111b10a111c10c10bcxcbbxbcxbbxbcxbxcaxaccxcaxccxcaxcxbcxbxbcxbbxtrue1231b111c1111b111a10bcxcbbxfalse12caxcxcaxccxtrue11c111a1111c111b10caxaccxfalse
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe