Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint2/DeutscheTelekom_4.json -E -C -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 7 
DFA transitions: 138
Problem file: data/zoo_json_alt_waypoint2/DeutscheTelekom_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.06 seconds
Subproblem verification time: 47.066 seconds
Subproblem verification time: 0.403 seconds
Subproblem verification time: 0.663 seconds
Subproblem verification time: 0.432 seconds
Subproblem verification time: 0.754 seconds
Subproblem verification time: 0.421 seconds
Subproblem verification time: 0.398 seconds
Subproblem verification time: 0.444 seconds
Minimum batches required: 3
[[17, 15, 23, 25, 9, 0, 7, 43, 41, 49, 51, 35, 26, 33, 69, 67, 75, 77, 61, 52, 59, 95, 93, 101, 103, 87, 78, 85, 121, 119, 127, 129, 113, 104, 111, 147, 145, 153, 155, 139, 130, 137, 173, 171, 179, 181, 165, 156, 163, 199, 197, 205, 207, 191, 182, 189], [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], [16, 12, 21, 42, 38, 47, 68, 64, 73, 94, 90, 99, 120, 116, 125, 146, 142, 151, 172, 168, 177, 198, 194, 203]]
Total program runtime: 51.203 seconds

real 51.50
user 52.53
sys 1.26
