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

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

real 9.94
user 10.75
sys 0.28
