factXifzeroXn__s0n__prodXfactpXadd0XXaddsXYsaddXYprod0X0prodsXYaddYprodXYiftrueXYactivateXiffalseXYactivateYzero0truezerosXfalsepsXXsXn__sXprodX1X2n__prodX1X2activaten__sXsXactivaten__prodX1X2prodX1X2activateXX2.1factXifzeroXn__s0n__prodXfactpXfactXzeroXfactXfactpXfactXpXaddsXYsaddXYaddsXYaddXYprodsXYaddYprodXYprodsXYprodXYiftrueXYactivateXiffalseXYactivateYactivaten__sXsXactivaten__prodX1X2prodX1X2truefactXfactpXfactXfactpXpsXXpsx0factXfactpXfactXfactXfactpXfactpXXpX
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_Zan97_Z.xml55076