condtruexcondandevenxgrx0pxandxfalsefalseandfalsexfalseandtruetruetrueeven0trueevens0falseevenssxevenxgr0xfalsegrsx0truegrsxsygrxyp00psxx2.0condtruexcondandevenxgrx0pxcondtruexandevenxgrx0condtruexevenxcondtruexgrx0condtruexpxevenssxevenxgrsxsygrxytruecondtruexcondandevenxgrx0pxtrue123456211cond2012111142true011and201011112even112141gr2011112120001p101141s121411false001gr0xfalsegrsx0trueandxfalsefalseandfalsexfalseandtruetruetruep00psxxcondtruexandevenxgrx0false4condtruexevenxfalse4condtruexgrx0falsecondtruexpxfalseevenssxevenxtrue1even141s1441grsxsygrxyfalse
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe