Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Cesnet200603_4.json -E -C -R -O -V Low
DFA generation time: 0.017 seconds 
DFA states: 3 
DFA transitions: 97
Problem file: dataND/zoo_json_MF/Cesnet200603_4.json
Switches to update: 48

Decomposed topology into 8 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 0.196 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.101 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.089 seconds
Minimum batches required: 2
[[6, 0, 35, 45, 39, 74, 84, 78, 113, 123, 117, 152, 162, 156, 191, 201, 195, 230, 240, 234, 269, 279, 273, 308], [38, 32, 3, 77, 71, 42, 116, 110, 81, 155, 149, 120, 194, 188, 159, 233, 227, 198, 272, 266, 237, 311, 305, 276]]
Total program runtime: 1.433 seconds

real 1.76
user 3.09
sys 0.58
