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

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

real 15.04
user 16.16
sys 0.60
