caabax1aabaccaabx12.1abaacx1baaccabaax1abaacx1aaccabaax1abaacx1accabaax1abaacx1abaax1abaacx1aax1abaacx1ax1trueabaacx1aax1abaacx1abaax1abaacx1ax1aaabaacx111abaacx1'baaccabaax1'aabaaccabaax11abaacx1'baaccabaax1'abaaccabaacabaax1abaacx1'abaax1'abaacabaacabaax1abaacx1aax1aaabaacabaax1x1abaax1
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Zantema_04/z046.xml53654