Loading Java2StateMachine transformation system...
Loading Java input model in '1-java-model-small.xmi'
Model has 6117 objects
Generating state machine...
Generation took 1372ms.
Generated state machine is correct.

Loading Java2StateMachine transformation system...
Loading Java input model in '2-java-model-medium.xmi'
Model has 6400 objects
Generating state machine...
Generation took 1438ms.
Generated state machine is correct.

Loading Java2StateMachine transformation system...
Loading Java input model in '3-java-model-big.xmi'
Model has 737102 objects
Generating state machine...
Generation took 1729ms.
Generated state machine is correct.
