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

Decomposed topology into 8 subproblems
Topological decomposition took 0.055 seconds
Subproblem verification time: 46.38 seconds
Subproblem verification time: 0.434 seconds
Subproblem verification time: 0.454 seconds
Subproblem verification time: 0.45 seconds
Subproblem verification time: 0.811 seconds
Subproblem verification time: 0.417 seconds
Subproblem verification time: 0.421 seconds
Subproblem verification time: 0.481 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: 50.472 seconds

real 50.76
user 52.07
sys 1.09
