Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/BeyondTheNetwork_4.json -T -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 113
Problem file: data/zoo_json_reachability/BeyondTheNetwork_4.json
Switches to update: 88

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 3.745 seconds
Minimum batches required: 3
[[7, 59, 111, 163, 215, 267, 319, 371, 6, 47, 3, 2, 51, 58, 99, 55, 54, 103, 110, 151, 107, 106, 155, 162, 203, 159, 158, 207, 214, 255, 211, 210, 259, 266, 307, 263, 262, 311, 318, 359, 315, 314, 363, 370, 411, 367, 366, 415], [368, 316, 264, 212, 160, 108, 56, 4], [5, 8, 9, 35, 57, 60, 61, 87, 109, 112, 113, 139, 161, 164, 165, 191, 213, 216, 217, 243, 265, 268, 269, 295, 317, 320, 321, 347, 369, 372, 373, 399]]
Total program runtime: 4.279 seconds

real 4.58
user 5.78
sys 0.34
