Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Uninett2011_3.json -R -O -V Low
DFA generation time: 0.181 seconds 
DFA states: 513 
DFA transitions: 2380
Problem file: data/zoo_json_waypoint8/Uninett2011_3.json
Switches to update: 72

Decomposed topology into 4 subproblems
Topological decomposition took 0.179 seconds
Subproblem verification time: 0.239 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.041 seconds
Minimum batches required: 5
[[60, 62, 42, 2, 3, 44, 31, 129, 131, 111, 71, 72, 113, 100, 198, 200, 180, 140, 141, 182, 169, 267, 269, 249, 209, 210, 251, 238], [15, 59, 84, 70, 128, 153, 197, 222, 208, 266], [43, 112, 181, 250], [1, 136, 137, 69, 101, 81, 125, 99, 139, 274, 275, 207, 239, 219, 263, 237], [67, 68, 0, 32, 12, 56, 30, 205, 206, 138, 170, 150, 194, 168]]
Total program runtime: 1.353 seconds

real 1.72
user 4.27
sys 0.49
