Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/BeyondTheNetwork_4.json -E -C -R -O -V Low
DFA generation time: 0.018 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.056 seconds
Subproblem verification time: 2.237 seconds
Subproblem verification time: 0.114 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.114 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.108 seconds
Minimum batches required: 3
[[51, 2, 3, 47, 6, 7, 103, 54, 55, 99, 58, 59, 155, 106, 107, 151, 110, 111, 207, 158, 159, 203, 162, 163, 259, 210, 211, 255, 214, 215, 311, 262, 263, 307, 266, 267, 363, 314, 315, 359, 318, 319, 415, 366, 367, 411, 370, 371], [4, 56, 108, 160, 212, 264, 316, 368], [35, 9, 8, 5, 87, 61, 60, 57, 139, 113, 112, 109, 191, 165, 164, 161, 243, 217, 216, 213, 295, 269, 268, 265, 347, 321, 320, 317, 399, 373, 372, 369]]
Total program runtime: 3.635 seconds

real 3.97
user 5.78
sys 0.43
