Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/HiberniaGlobal_3.json -E -C -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 9 
DFA transitions: 124
Problem file: data/zoo_json_waypoint2/HiberniaGlobal_3.json
Switches to update: 100

Decomposed topology into 8 subproblems
Topological decomposition took 0.058 seconds
Subproblem verification time: 0.974 seconds
Subproblem verification time: 1.17 seconds
Subproblem verification time: 0.139 seconds
Subproblem verification time: 1.241 seconds
Subproblem verification time: 0.13 seconds
Subproblem verification time: 1.162 seconds
Subproblem verification time: 0.134 seconds
Subproblem verification time: 1.334 seconds
Minimum batches required: 3
[[50, 53, 45, 46, 22, 21, 20, 18, 17, 35, 104, 107, 99, 100, 76, 75, 74, 72, 71, 89, 158, 161, 153, 154, 130, 129, 128, 126, 125, 143, 212, 215, 207, 208, 184, 183, 182, 180, 179, 197], [2, 1, 16, 41, 56, 55, 70, 95, 110, 109, 124, 149, 164, 163, 178, 203], [6, 31, 25, 3, 27, 28, 15, 14, 11, 10, 24, 60, 85, 79, 57, 81, 82, 69, 68, 65, 64, 78, 114, 139, 133, 111, 135, 136, 123, 122, 119, 118, 132, 168, 193, 187, 165, 189, 190, 177, 176, 173, 172, 186]]
Total program runtime: 6.904 seconds

real 7.23
user 9.12
sys 0.48
