Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/DeutscheTelekom_4.json -E -C -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.063 seconds
Subproblem verification time: 46.778 seconds
Subproblem verification time: 0.408 seconds
Subproblem verification time: 0.443 seconds
Subproblem verification time: 0.425 seconds
Subproblem verification time: 0.401 seconds
Subproblem verification time: 0.399 seconds
Subproblem verification time: 0.415 seconds
Subproblem verification time: 0.465 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.39 seconds

real 50.69
user 52.00
sys 1.07
