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