Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/PionierL1_3.json -E -C -R -O -V Low
DFA generation time: 0.141 seconds 
DFA states: 513 
DFA transitions: 2384
Problem file: data/zoo_json_waypoint8/PionierL1_3.json
Switches to update: 64

Decomposed topology into 8 subproblems
Topological decomposition took 0.152 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.14 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.144 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.137 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.681 seconds

real 1.98
user 4.27
sys 0.55
