Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/GtsSlovakia_4.json -T -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 3 
DFA transitions: 73
Problem file: data/zoo_json_reachability/GtsSlovakia_4.json
Switches to update: 40

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

real 3.47
user 4.37
sys 0.22
