factXifzeroXs0prodXfactpXadd0XXaddsXYsaddXYprod0X0prodsXYaddYprodXYiftrueXYXiffalseXYYzero0truezerosXfalsepsXX2.1factx0add0x0addsx0x1prod0x0prodsx0x1iftruex0x1iffalsex0x1zero0zerosx0psx0factXifzeroXs0prodXfactpXfactXzeroXfactXprodXfactpXfactXfactpXfactXpXaddsXYaddXYprodsXYaddYprodXYprodsXYprodXYtruefactXfactpXpsXXpsx0factXfactpXfactXfactXfactpXfactpXXpX
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Strategy_removed_CSR_05/ExIntrod_Zan97.xml54376