f0cons0n__fs0fs0fps0ps00fXn__fXactivaten__fXfXactivateXXs100n__f1cons2f1p1activate112.1200123000cons0000n__f000s000f001p002activate003014017s176n__f165cons1451s179p198f181012n__f101f103cons1453f183028n__f281n__f203n__f28302100213s21312n__f21211cons210111cons21011303AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe