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

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

real 6.16
user 7.12
sys 0.33
