U62ttslengthLzeroscons0U11ttttU21ttttU31ttttU41ttU42isNatIListU42ttttU51ttU52isNatListU52ttttU61ttU62isNatisNatttisNatU11isNatListisNatU21isNatisNatIListU31isNatListisNatIListttisNatIListU41isNatisNatListttisNatListU51isNatlengthnil0lengthconsNU61isNatList2.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/LengthOfFiniteLists_nokinds-noand_L.xml55390