********************************************************
Equivalence checking 
********************************************************


=== Equivalence checking succeeded ===

=== Performance statistics ===

  Runtime (including garbage collection): 0.580 seconds
  Memory: 786856 bytes
  Nodes: 668; Compound Terms: 9;


********************************************************
Equivalence checking for faulty example
********************************************************


=== Equivalence checking failed ===

=== Performance statistics ===

  Runtime (including garbage collection): 0.610 seconds
  Memory: 995988 bytes
  Nodes: 763; Compound Terms: 11;


********************************************************
Model checking for three properties
********************************************************

Property 1:

  Runtime (including garbage collection): 0.480 seconds
  Memory: 863628 bytes
  Nodes: 507; Compound Terms: 8;


Property 2:

  Runtime (including garbage collection): 0.400 seconds
  Memory: 945620 bytes
  Nodes: 407; Compound Terms: 3;


Property 3:

  Runtime (including garbage collection): 0.370 seconds
  Memory: 287224 bytes
  Nodes: 399; Compound Terms: 3;