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

Decomposed topology into 8 subproblems
Topological decomposition took 0.046 seconds
Subproblem verification time: 2.859 seconds
Subproblem verification time: 1.099 seconds
Subproblem verification time: 0.999 seconds
Subproblem verification time: 1.022 seconds
Subproblem verification time: 1.037 seconds
Subproblem verification time: 1.027 seconds
Subproblem verification time: 0.96 seconds
Subproblem verification time: 1.026 seconds
Minimum batches required: 3
[[3, 15, 14, 22, 34, 33, 41, 53, 52, 60, 72, 71, 79, 91, 90, 98, 110, 109, 117, 129, 128, 136, 148, 147], [5, 8, 18, 9, 11, 12, 13, 24, 27, 37, 28, 30, 31, 32, 43, 46, 56, 47, 49, 50, 51, 62, 65, 75, 66, 68, 69, 70, 81, 84, 94, 85, 87, 88, 89, 100, 103, 113, 104, 106, 107, 108, 119, 122, 132, 123, 125, 126, 127, 138, 141, 151, 142, 144, 145, 146], [10, 29, 48, 67, 86, 105, 124, 143]]
Total program runtime: 10.607 seconds

real 10.92
user 12.44
sys 0.62
