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

Decomposed topology into 8 subproblems
Topological decomposition took 0.042 seconds
Subproblem verification time: 2.399 seconds
Subproblem verification time: 0.206 seconds
Subproblem verification time: 0.197 seconds
Subproblem verification time: 0.194 seconds
Subproblem verification time: 0.201 seconds
Subproblem verification time: 0.194 seconds
Subproblem verification time: 0.204 seconds
Subproblem verification time: 0.239 seconds
Minimum batches required: 3
[[6, 12, 7, 2, 1, 23, 29, 24, 19, 18, 40, 46, 41, 36, 35, 57, 63, 58, 53, 52, 74, 80, 75, 70, 69, 91, 97, 92, 87, 86, 108, 114, 109, 104, 103, 125, 131, 126, 121, 120], [0, 17, 34, 51, 68, 85, 102, 119], [8, 15, 14, 16, 3, 25, 32, 31, 33, 20, 42, 49, 48, 50, 37, 59, 66, 65, 67, 54, 76, 83, 82, 84, 71, 93, 100, 99, 101, 88, 110, 117, 116, 118, 105, 127, 134, 133, 135, 122]]
Total program runtime: 4.404 seconds

real 4.71
user 6.38
sys 0.47
