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

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 2.696 seconds
Minimum batches required: 3
[[8, 26, 44, 62, 80, 98, 116, 134, 9, 27, 45, 63, 81, 99, 117, 135], [143, 125, 107, 89, 71, 53, 35, 17], [14, 13, 32, 31, 50, 49, 68, 67, 86, 85, 104, 103, 122, 121, 140, 139]]
Total program runtime: 3.189 seconds

real 3.49
user 4.35
sys 0.24
