Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/DeutscheTelekom_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 5 
DFA transitions: 132
Problem file: data/zoo_json_waypoint1/DeutscheTelekom_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 0.23 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.067 seconds
Minimum batches required: 3
[[7, 9, 15, 17, 0, 25, 23, 33, 35, 41, 43, 26, 51, 49, 59, 61, 67, 69, 52, 77, 75, 85, 87, 93, 95, 78, 103, 101, 111, 113, 119, 121, 104, 129, 127, 137, 139, 145, 147, 130, 155, 153, 163, 165, 171, 173, 156, 181, 179, 189, 191, 197, 199, 182, 207, 205], [14, 20, 8, 4, 40, 46, 34, 30, 66, 72, 60, 56, 92, 98, 86, 82, 118, 124, 112, 108, 144, 150, 138, 134, 170, 176, 164, 160, 196, 202, 190, 186], [21, 12, 16, 47, 38, 42, 73, 64, 68, 99, 90, 94, 125, 116, 120, 151, 142, 146, 177, 168, 172, 203, 194, 198]]
Total program runtime: 1.356 seconds

real 1.66
user 3.19
sys 0.53
