Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/HiberniaGlobal_3.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 5 
DFA transitions: 116
Problem file: data/zoo_json_waypoint1/HiberniaGlobal_3.json
Switches to update: 100

Decomposed topology into 8 subproblems
Topological decomposition took 0.055 seconds
Subproblem verification time: 0.979 seconds
Subproblem verification time: 1.091 seconds
Subproblem verification time: 0.134 seconds
Subproblem verification time: 1.112 seconds
Subproblem verification time: 0.125 seconds
Subproblem verification time: 1.062 seconds
Subproblem verification time: 0.129 seconds
Subproblem verification time: 1.183 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.453 seconds

real 6.79
user 8.53
sys 0.58
