Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Canerie_3.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 73
Problem file: dataND/zoo_json_MF/Canerie_3.json
Switches to update: 56

Decomposed topology into 4 subproblems
Topological decomposition took 0.038 seconds
Subproblem verification time: 28.484 seconds
Subproblem verification time: 0.61 seconds
Subproblem verification time: 0.608 seconds
Subproblem verification time: 0.621 seconds
Minimum batches required: 3
[[26, 23, 0, 22, 3, 15, 58, 55, 32, 54, 35, 47, 90, 87, 64, 86, 67, 79, 122, 119, 96, 118, 99, 111], [7, 17, 39, 49, 71, 81, 103, 113], [29, 31, 1, 6, 4, 5, 61, 63, 33, 38, 36, 37, 93, 95, 65, 70, 68, 69, 125, 127, 97, 102, 100, 101]]
Total program runtime: 30.847 seconds

real 31.14
user 32.10
sys 0.84
