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

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.852 seconds
Subproblem verification time: 0.135 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.13 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.134 seconds
Subproblem verification time: 0.134 seconds
Minimum batches required: 3
[[14, 4, 21, 20, 60, 50, 67, 66, 106, 96, 113, 112, 152, 142, 159, 158, 198, 188, 205, 204, 244, 234, 251, 250, 290, 280, 297, 296, 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: 2.385 seconds

real 2.72
user 4.41
sys 0.54
