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

Decomposed topology into 8 subproblems
Topological decomposition took 0.041 seconds
Subproblem verification time: 0.228 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.068 seconds
Minimum batches required: 3
[[25, 30, 26, 6, 60, 65, 61, 41, 95, 100, 96, 76, 130, 135, 131, 111, 165, 170, 166, 146, 200, 205, 201, 181, 235, 240, 236, 216, 270, 275, 271, 251], [27, 62, 97, 132, 167, 202, 237, 272], [28, 63, 98, 133, 168, 203, 238, 273]]
Total program runtime: 1.22 seconds

real 1.55
user 2.81
sys 0.41
