Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/DeutscheTelekom_4.json -E -C -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 9 
DFA transitions: 140
Problem file: data/zoo_json_waypoint2/DeutscheTelekom_4.json
Switches to update: 112

Decomposed topology into 8 subproblems
Topological decomposition took 0.059 seconds
Subproblem verification time: 53.045 seconds
Subproblem verification time: 0.423 seconds
Subproblem verification time: 0.441 seconds
Subproblem verification time: 0.413 seconds
Subproblem verification time: 0.451 seconds
Subproblem verification time: 0.439 seconds
Subproblem verification time: 0.442 seconds
Subproblem verification time: 0.5 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: 56.798 seconds

real 57.10
user 58.12
sys 1.32
