zeroscons0n__zerosandttXactivateXlengthnil0lengthconsNLslengthactivateLtake0ILniltakesMconsNILconsNn__takeMactivateILzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeactivateX1activateX2activateXX2.1zeroscons0n__zeroslengthconsNLslengthactivateLtakesMconsNILconsNn__takeMactivateILzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeactivateX1activateX2activateXXlengthconsNLlengthactivateLlengthconsNLactivateLtakesMconsNILactivateILactivaten__zeroszerosactivaten__takeX1X2takeactivateX1activateX2activaten__takeX1X2activateX1activaten__takeX1X2activateX2truelengthconsNLlengthactivateLlengthconsNLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeactivateX1activateX2activateXXtakesMconsNILconsNn__takeMactivateILtakeX1X2n__takeX1X2zeroscons0n__zeroszerosn__zeroslengthconsNLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeactivateX1activateX2activateXXtakeX1X2n__takeX1X2zeroscons0n__zeroszerosn__zeroslengthconsNLlengthactivateLactivaten__zeroszerosactivateXXtakeX1X2n__takeX1X2zeroscons0n__zeroszerosn__zeroslengthconsNLlengthactivateLactivaten__zeroszerosactivateXXzeroscons0n__zeroszerosn__zeroslengthconsNLlengthactivateLactivaten__zeroszeroszeroscons0n__zerosactivaten__zeroszeros0lengthactivaten__zeros1activaten__zeroszeroslengthzeros1zeroscons0n__zeroslengthcons0n__zeroslengthconsNLlengthactivateLlengthactivaten__zeros
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Transformed_CSR_04/OvConsOS_nosorts_FR.xml55509