-------------------------------------------------------------------------------------
                           RUNS
-------------------------------------------------------------------------------------
Run number                                     : 1
Membership queries                             : 3305
Running time of membership queries             : 269470 ms = 0:04:29 (h:m:s)
Testing equivalence queries                    : 0
Testing membership queries                     : 0
Running time of testing queries                : 10 ms = 0:00:00 (h:m:s)
Abstraction refinement done                    : 0
States in hypothesis                           : 4
-------------------------------------------------------------------------------------
                           SUMMARY
-------------------------------------------------------------------------------------
Total running time                             : 269470 ms = 0:04:29 (h:m:s)
               `-> with last run               : 269480 ms = 0:04:29 (h:m:s)
Total running time of Membership queries       : 269470 ms = 0:04:29 (h:m:s)
Total running time of Testing queries          : 0 ms = 0:00:00 (h:m:s)
                             `-> with last run : 10 ms = 0:00:00 (h:m:s)

total realTime                                  : 270044 ms = 0:04:30 (h:m:s)
real start time                                 : 1397237095542 ms since Jan 1, 1970 GMT  = 2014-04-11 19:24:55
real end time                                   : 1397237365586 ms since Jan 1, 1970 GMT  = 2014-04-11 19:29:25

Total runs (include last test run)             : 1
Total membership queries                       : 3305
Total Testing equivalence queries              : 0
                  `-> with last run            : 0
Total Testing membership queries               : 0
Total abstraction refinements                  : 0
Total states in learned abstract Mealy machine : 4
Termination Reason                             : Couldn't find counterexample after maxNumTraces applied, 
Termination Value                              : 50
Learning Succesful                             : true
