******************************************************** Equivalence checking ******************************************************** === Equivalence checking succeeded === === Performance statistics === Runtime (including garbage collection): 0.870 seconds Memory: 1493404 bytes Nodes: 955; Compound Terms: 8; ******************************************************** Equivalence checking for faulty example ******************************************************** === Equivalence checking failed === === Performance statistics === Runtime (including garbage collection): 1.150 seconds Memory: 1736840 bytes Nodes: 1180; Compound Terms: 11; ******************************************************** Model checking for three properties ******************************************************** Property 1: Runtime (including garbage collection): 0.730 seconds Memory: 1553124 bytes Nodes: 888; Compound Terms: 13; Property 2: Runtime (including garbage collection): 0.540 seconds Memory: 1746580 bytes Nodes: 606; Compound Terms: 7; Property 3: Runtime (including garbage collection): 0.560 seconds Memory: 830128 bytes Nodes: 608; Compound Terms: 7;