Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Garr201010_4.json -R -O -V Low
DFA generation time: 0.017 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.056 seconds
Subproblem verification time: 0.131 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[8, 41, 12, 30, 32, 51, 63, 96, 67, 85, 87, 106, 118, 151, 122, 140, 142, 161, 173, 206, 177, 195, 197, 216, 228, 261, 232, 250, 252, 271, 283, 316, 287, 305, 307, 326, 338, 371, 342, 360, 362, 381, 393, 426, 397, 415, 417, 436], [19, 74, 129, 184, 239, 294, 349, 404], [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: 0.919 seconds

real 1.25
user 2.40
sys 0.36
