Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/VtlWavenet2008_2.json -T -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 143
Problem file: dataND/zoo_json_MF/VtlWavenet2008_2.json
Switches to update: 128

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 0.382 seconds
Minimum batches required: 3
[[57, 19, 145, 107, 18, 21, 20, 79, 31, 78, 32, 87, 33, 35, 34, 86, 85, 84, 83, 59, 82, 80, 81, 41, 72, 40, 71, 70, 39, 38, 106, 109, 108, 167, 119, 166, 120, 175, 121, 123, 122, 174, 173, 172, 171, 147, 170, 168, 169, 129, 160, 128, 159, 158, 127, 126, 17, 56, 49, 48, 14, 66, 67, 64, 65, 62, 63, 16, 60, 12, 61, 58, 10, 11, 8, 9, 37, 0, 28, 1, 29, 30, 51, 105, 144, 137, 136, 102, 154, 155, 152, 153, 150, 151, 104, 148, 100, 149, 146, 98, 99, 96, 97, 125, 88, 116, 89, 117, 118, 139], [130, 142, 42, 54], [36, 75, 24, 43, 44, 76, 77, 124, 163, 112, 131, 132, 164, 165]]
Total program runtime: 0.985 seconds

real 1.31
user 2.89
sys 0.24
