Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Intranetwork_4.json -E -C -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 201
Problem file: data/zoo_json_reachability/Intranetwork_4.json
Switches to update: 144

Decomposed topology into 24 subproblems
Topological decomposition took 0.096 seconds
Subproblem verification time: 0.154 seconds
Subproblem verification time: 0.13 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.127 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.118 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.052 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.027 seconds
Minimum batches required: 3
[[23, 18, 13, 6, 5, 8, 2, 62, 57, 52, 45, 44, 47, 41, 101, 96, 91, 84, 83, 86, 80, 140, 135, 130, 123, 122, 125, 119, 179, 174, 169, 162, 161, 164, 158, 218, 213, 208, 201, 200, 203, 197, 257, 252, 247, 240, 239, 242, 236, 296, 291, 286, 279, 278, 281, 275], [21, 24, 38, 60, 63, 77, 99, 102, 116, 138, 141, 155, 177, 180, 194, 216, 219, 233, 255, 258, 272, 294, 297, 311], [10, 28, 34, 15, 4, 9, 16, 29, 49, 67, 73, 54, 43, 48, 55, 68, 88, 106, 112, 93, 82, 87, 94, 107, 127, 145, 151, 132, 121, 126, 133, 146, 166, 184, 190, 171, 160, 165, 172, 185, 205, 223, 229, 210, 199, 204, 211, 224, 244, 262, 268, 249, 238, 243, 250, 263, 283, 301, 307, 288, 277, 282, 289, 302]]
Total program runtime: 2.828 seconds

real 3.14
user 4.53
sys 0.84
