Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/HiberniaGlobal_3.json -E -C -R -O -V Low
DFA generation time: 0.172 seconds 
DFA states: 513 
DFA transitions: 2416
Problem file: data/zoo_json_waypoint8/HiberniaGlobal_3.json
Switches to update: 100

Decomposed topology into 8 subproblems
Topological decomposition took 0.204 seconds
Subproblem verification time: 1.646 seconds
Subproblem verification time: 1.464 seconds
Subproblem verification time: 0.151 seconds
Subproblem verification time: 1.442 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 1.449 seconds
Subproblem verification time: 0.242 seconds
Subproblem verification time: 1.556 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: 9.058 seconds

real 9.35
user 12.26
sys 0.69
