Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Intranetwork_4.json -E -C -R -O -V Low
DFA generation time: 0.194 seconds 
DFA states: 513 
DFA transitions: 2520
Problem file: data/zoo_json_waypoint8/Intranetwork_4.json
Switches to update: 168

Decomposed topology into 24 subproblems
Topological decomposition took 0.352 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.269 seconds
Subproblem verification time: 0.109 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 0.107 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.125 seconds
Subproblem verification time: 0.102 seconds
Subproblem verification time: 0.023 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.02 seconds
Subproblem verification time: 0.118 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.021 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.11 seconds
Minimum batches required: 3
[[38, 9, 13, 16, 11, 12, 22, 18, 23, 77, 48, 52, 55, 50, 51, 61, 57, 62, 116, 87, 91, 94, 89, 90, 100, 96, 101, 155, 126, 130, 133, 128, 129, 139, 135, 140, 194, 165, 169, 172, 167, 168, 178, 174, 179, 233, 204, 208, 211, 206, 207, 217, 213, 218, 272, 243, 247, 250, 245, 246, 256, 252, 257, 311, 282, 286, 289, 284, 285, 295, 291, 296], [14, 8, 4, 35, 17, 53, 47, 43, 74, 56, 92, 86, 82, 113, 95, 131, 125, 121, 152, 134, 170, 164, 160, 191, 173, 209, 203, 199, 230, 212, 248, 242, 238, 269, 251, 287, 281, 277, 308, 290], [7, 15, 34, 20, 21, 28, 10, 46, 54, 73, 59, 60, 67, 49, 85, 93, 112, 98, 99, 106, 88, 124, 132, 151, 137, 138, 145, 127, 163, 171, 190, 176, 177, 184, 166, 202, 210, 229, 215, 216, 223, 205, 241, 249, 268, 254, 255, 262, 244, 280, 288, 307, 293, 294, 301, 283]]
Total program runtime: 3.506 seconds

real 3.81
user 7.53
sys 1.01
