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

Decomposed topology into 8 subproblems
Topological decomposition took 0.044 seconds
Subproblem verification time: 0.288 seconds
Subproblem verification time: 0.113 seconds
Subproblem verification time: 0.109 seconds
Subproblem verification time: 0.112 seconds
Subproblem verification time: 0.113 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.113 seconds
Minimum batches required: 3
[[16, 31, 66, 81, 116, 131, 166, 181, 216, 231, 266, 281, 316, 331, 366, 381], [48, 49, 98, 99, 148, 149, 198, 199, 248, 249, 298, 299, 348, 349, 398, 399], [4, 24, 15, 14, 54, 74, 65, 64, 104, 124, 115, 114, 154, 174, 165, 164, 204, 224, 215, 214, 254, 274, 265, 264, 304, 324, 315, 314, 354, 374, 365, 364]]
Total program runtime: 1.633 seconds

real 1.94
user 3.57
sys 0.41
