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

Decomposed topology into 8 subproblems
Topological decomposition took 0.054 seconds
Subproblem verification time: 5.556 seconds
Subproblem verification time: 0.173 seconds
Subproblem verification time: 0.178 seconds
Subproblem verification time: 0.158 seconds
Subproblem verification time: 0.175 seconds
Subproblem verification time: 0.165 seconds
Subproblem verification time: 0.171 seconds
Subproblem verification time: 0.161 seconds
Minimum batches required: 3
[[13, 14, 11, 4, 12, 1, 28, 29, 26, 19, 27, 16, 43, 44, 41, 34, 42, 31, 58, 59, 56, 49, 57, 46, 73, 74, 71, 64, 72, 61, 88, 89, 86, 79, 87, 76, 103, 104, 101, 94, 102, 91, 118, 119, 116, 109, 117, 106], [9, 24, 39, 54, 69, 84, 99, 114], [6, 5, 8, 7, 10, 21, 20, 23, 22, 25, 36, 35, 38, 37, 40, 51, 50, 53, 52, 55, 66, 65, 68, 67, 70, 81, 80, 83, 82, 85, 96, 95, 98, 97, 100, 111, 110, 113, 112, 115]]
Total program runtime: 7.342 seconds

real 7.65
user 9.37
sys 0.58
