Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Intranetwork_4.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 225
Problem file: dataND/zoo_json_MF/Intranetwork_4.json
Switches to update: 176

Decomposed topology into 24 subproblems
Topological decomposition took 0.103 seconds
Subproblem verification time: 0.49 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.129 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.084 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.024 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.143 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.133 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.027 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.132 seconds
Subproblem verification time: 0.028 seconds
Minimum batches required: 3
[[22, 12, 11, 23, 18, 13, 6, 5, 8, 2, 61, 51, 50, 62, 57, 52, 45, 44, 47, 41, 100, 90, 89, 101, 96, 91, 84, 83, 86, 80, 139, 129, 128, 140, 135, 130, 123, 122, 125, 119, 178, 168, 167, 179, 174, 169, 162, 161, 164, 158, 217, 207, 206, 218, 213, 208, 201, 200, 203, 197, 256, 246, 245, 257, 252, 247, 240, 239, 242, 236, 295, 285, 284, 296, 291, 286, 279, 278, 281, 275], [21, 19, 24, 38, 60, 58, 63, 77, 99, 97, 102, 116, 138, 136, 141, 155, 177, 175, 180, 194, 216, 214, 219, 233, 255, 253, 258, 272, 294, 292, 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: 3.169 seconds

real 3.47
user 5.19
sys 0.86
