andttX____XYZ__X__YZ__XnilX__nilXXU11ttU12isNeListU12ttttU21ttU22isListU22ttU23isListU23ttttU31ttU32isQidU32ttttU41ttU42isListU42ttU43isNeListU43ttttU51ttU52isNeListU52ttU53isListU53ttttU61ttU62isQidU62ttttU71ttU72isNePalU72ttttisListU11isPalListKindisListttisListU21andisPalListKindisNeListU31isPalListKindisNeListU41andisPalListKindisNeListU51andisPalListKindisNePalU61isPalListKindisNePalandandisQidisPalU71isPalListKindisPalttisPalListKindttisPalListKindandisPalListKindisQidtt2.1
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Transformed_CSR_04/PALINDROME_complete_L.xml55524