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

Decomposed topology into 8 subproblems
Topological decomposition took 0.05 seconds
Subproblem verification time: 0.279 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.092 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.09 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.092 seconds
Minimum batches required: 3
[[4, 8, 12, 53, 57, 61, 102, 106, 110, 151, 155, 159, 200, 204, 208, 249, 253, 257, 298, 302, 306, 347, 351, 355], [48, 27, 97, 76, 146, 125, 195, 174, 244, 223, 293, 272, 342, 321, 391, 370], [16, 30, 28, 65, 79, 77, 114, 128, 126, 163, 177, 175, 212, 226, 224, 261, 275, 273, 310, 324, 322, 359, 373, 371]]
Total program runtime: 1.504 seconds

real 1.86
user 3.51
sys 0.44
