Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/HiberniaGlobal_3.json -E -C -R -O -V Low
DFA generation time: 0.038 seconds 
DFA states: 33 
DFA transitions: 192
Problem file: data/zoo_json_waypoint4/HiberniaGlobal_3.json
Switches to update: 100

Decomposed topology into 8 subproblems
Topological decomposition took 0.072 seconds
Subproblem verification time: 1.459 seconds
Subproblem verification time: 1.384 seconds
Subproblem verification time: 0.143 seconds
Subproblem verification time: 1.398 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 1.27 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 1.39 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: 7.943 seconds

real 8.23
user 10.15
sys 0.50
