00:00:00.000 Processing options
00:00:00.001 Checking options
00:00:00.001 Applying options
00:00:00.002 
Read file toy.xml, defined automata system.
00:00:00.002 Adapting system to scenario
00:00:00.002 Defining initial states
00:00:00.003 Computing reachable states... 
00:00:00.003 Iteration 0... 
00:00:00.003 
applying time elapse in location loc(toy_1)==loc1
00:00:00.003 
applying discrete post of transition with label  from location loc(toy_1)==loc1 to location loc(toy_1)==loc2
00:00:00.003 1 sym states passed, 1 waiting 
00:00:00.003 Iteration 0 done after 0s
00:00:00.003 Iteration 1... 
00:00:00.003 
applying time elapse in location loc(toy_1)==loc2
00:00:00.004 
applying discrete post of transition with label  from location loc(toy_1)==loc2 to location loc(toy_1)==loc1
00:00:00.004 2 sym states passed, 1 waiting 
00:00:00.004 Iteration 1 done after 0s
00:00:00.004 Iteration 2... 
00:00:00.004 
applying time elapse in location loc(toy_1)==loc1
00:00:00.005 
applying discrete post of transition with label  from location loc(toy_1)==loc1 to location loc(toy_1)==loc2
00:00:00.005 3 sym states passed, 1 waiting 
00:00:00.005 Iteration 2 done after 0s
00:00:00.005 Iteration 3... 
00:00:00.005 
applying time elapse in location loc(toy_1)==loc2
00:00:00.005 
applying discrete post of transition with label  from location loc(toy_1)==loc2 to location loc(toy_1)==loc1
00:00:00.006 4 sym states passed, 1 waiting 
00:00:00.006 Iteration 3 done after 0s
00:00:00.006 Iteration 4... 
00:00:00.006 
applying time elapse in location loc(toy_1)==loc1
00:00:00.006 
applying discrete post of transition with label  from location loc(toy_1)==loc1 to location loc(toy_1)==loc2
00:00:00.006 5 sym states passed, 0 waiting 
00:00:00.006 Iteration 4 done after 0s
00:00:00.006 Found fixpoint after 5 iterations.
00:00:00.006 Computing reachable states done after 0.003s, cumul 0.003s
print_only_intersection = false

00:00:00.006 Output of reachable states... 0.002s, cumul 0.002s
00:00:00.009 Done.
00:00:00.009 
Cumulative time spent:
    0.003 s,  33%,      1 x Computing reachable states
    0.002 s,  22%,      1 x Output of reachable states
00:00:00.009 
Hierarchical Profile:
 33% Computing reachable states (1x, 33% of global)
 22% Output of reachable states (1x, 22% of global)
 33% ...
