Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/DeutscheTelekom_4.json -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 113
Problem file: dataND/zoo_json_MF/DeutscheTelekom_4.json
Switches to update: 88

Decomposed topology into 8 subproblems
Topological decomposition took 0.049 seconds
Subproblem verification time: 0.168 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.061 seconds
Minimum batches required: 3
[[21, 16, 0, 15, 20, 7, 47, 42, 26, 41, 46, 33, 73, 68, 52, 67, 72, 59, 99, 94, 78, 93, 98, 85, 125, 120, 104, 119, 124, 111, 151, 146, 130, 145, 150, 137, 177, 172, 156, 171, 176, 163, 203, 198, 182, 197, 202, 189], [8, 10, 34, 36, 60, 62, 86, 88, 112, 114, 138, 140, 164, 166, 190, 192], [17, 18, 9, 43, 44, 35, 69, 70, 61, 95, 96, 87, 121, 122, 113, 147, 148, 139, 173, 174, 165, 199, 200, 191]]
Total program runtime: 1.209 seconds

real 1.54
user 3.08
sys 0.45
