fromXconsXfromsXsel0consXXSXselsNconsXXSselNXSminusX00minussXsYminusXYquot0sY0quotsXsYsquotminusXYsYzWquotXSnilnilzWquotnilXSnilzWquotconsXXSconsYYSconsquotXYzWquotXSYS2.1fromx0sel0consx0x1selsx0consx1x2minusx00minussx0sx1quot0sx0quotsx0sx1zWquotx0nilzWquotnilx0zWquotconsx0x1consx2x3fromXfromsXselsNconsXXSselNXSminussXsYminusXYquotsXsYquotminusXYsYquotsXsYminusXYzWquotconsXXSconsYYSquotXYzWquotconsXXSconsYYSzWquotXSYStruefromXfromsXfromXfromXfromsXfromsXXsX
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/Ex4_7_37_Bor03.xml54358