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

Decomposed topology into 8 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.025 seconds
Minimum batches required: 3
[[7, 6, 47, 3, 2, 51, 59, 58, 99, 55, 54, 103, 111, 110, 151, 107, 106, 155, 163, 162, 203, 159, 158, 207, 215, 214, 255, 211, 210, 259, 267, 266, 307, 263, 262, 311, 319, 318, 359, 315, 314, 363, 371, 370, 411, 367, 366, 415], [4, 56, 108, 160, 212, 264, 316, 368], [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: 0.953 seconds

real 1.31
user 2.75
sys 0.36
