Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201010_4.json -E -C -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 113
Problem file: dataND/zoo_json_MF/Garr201010_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.052 seconds
Subproblem verification time: 1.13 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.09 seconds
Subproblem verification time: 0.09 seconds
Subproblem verification time: 0.087 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.089 seconds
Minimum batches required: 3
[[51, 32, 30, 12, 41, 8, 106, 87, 85, 67, 96, 63, 161, 142, 140, 122, 151, 118, 216, 197, 195, 177, 206, 173, 271, 252, 250, 232, 261, 228, 326, 307, 305, 287, 316, 283, 381, 362, 360, 342, 371, 338, 436, 417, 415, 397, 426, 393], [19, 74, 129, 184, 239, 294, 349, 404], [54, 50, 16, 109, 105, 71, 164, 160, 126, 219, 215, 181, 274, 270, 236, 329, 325, 291, 384, 380, 346, 439, 435, 401]]
Total program runtime: 2.339 seconds

real 2.70
user 4.25
sys 0.51
