Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/PionierL1_3.json -E -C -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 5 
DFA transitions: 84
Problem file: data/zoo_json_waypoint1/PionierL1_3.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 0.481 seconds
Subproblem verification time: 0.139 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.143 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.136 seconds
Minimum batches required: 3
[[23, 22, 24, 3, 0, 6, 4, 59, 58, 60, 39, 36, 42, 40, 95, 94, 96, 75, 72, 78, 76, 131, 130, 132, 111, 108, 114, 112], [18, 5, 54, 41, 90, 77, 126, 113], [20, 19, 28, 26, 35, 34, 9, 56, 55, 64, 62, 71, 70, 45, 92, 91, 100, 98, 107, 106, 81, 128, 127, 136, 134, 143, 142, 117]]
Total program runtime: 1.933 seconds

real 2.25
user 3.36
sys 0.43
