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

Decomposed topology into 8 subproblems
Topological decomposition took 0.059 seconds
Subproblem verification time: 48.741 seconds
Subproblem verification time: 0.247 seconds
Subproblem verification time: 0.253 seconds
Subproblem verification time: 0.249 seconds
Subproblem verification time: 0.254 seconds
Subproblem verification time: 0.257 seconds
Subproblem verification time: 0.322 seconds
Subproblem verification time: 0.24 seconds
Minimum batches required: 3
[[23, 9, 6, 45, 14, 4, 21, 20, 69, 55, 52, 91, 60, 50, 67, 66, 115, 101, 98, 137, 106, 96, 113, 112, 161, 147, 144, 183, 152, 142, 159, 158, 207, 193, 190, 229, 198, 188, 205, 204, 253, 239, 236, 275, 244, 234, 251, 250, 299, 285, 282, 321, 290, 280, 297, 296, 345, 331, 328, 367, 336, 326, 343, 342], [13, 39, 59, 85, 105, 131, 151, 177, 197, 223, 243, 269, 289, 315, 335, 361], [33, 43, 42, 41, 79, 89, 88, 87, 125, 135, 134, 133, 171, 181, 180, 179, 217, 227, 226, 225, 263, 273, 272, 271, 309, 319, 318, 317, 355, 365, 364, 363]]
Total program runtime: 51.203 seconds

real 51.50
user 52.70
sys 1.07
