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

Decomposed topology into 4 subproblems
Topological decomposition took 0.054 seconds
Subproblem verification time: 0.169 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.079 seconds
Minimum batches required: 3
[[10, 18, 24, 39, 38, 47, 58, 66, 72, 87, 86, 95, 106, 114, 120, 135, 134, 143, 154, 162, 168, 183, 182, 191], [8, 17, 56, 65, 104, 113, 152, 161], [19, 9, 33, 32, 31, 34, 37, 44, 27, 11, 5, 0, 7, 4, 67, 57, 81, 80, 79, 82, 85, 92, 75, 59, 53, 48, 55, 52, 115, 105, 129, 128, 127, 130, 133, 140, 123, 107, 101, 96, 103, 100, 163, 153, 177, 176, 175, 178, 181, 188, 171, 155, 149, 144, 151, 148]]
Total program runtime: 0.977 seconds

real 1.36
user 2.69
sys 0.36
