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

Decomposed topology into 8 subproblems
Topological decomposition took 0.048 seconds
Subproblem verification time: 5.795 seconds
Subproblem verification time: 0.163 seconds
Subproblem verification time: 0.171 seconds
Subproblem verification time: 0.169 seconds
Subproblem verification time: 0.159 seconds
Subproblem verification time: 0.183 seconds
Subproblem verification time: 0.173 seconds
Subproblem verification time: 0.168 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.602 seconds

real 7.90
user 9.59
sys 0.52
