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

Decomposed topology into 8 subproblems
Topological decomposition took 0.045 seconds
Subproblem verification time: 0.206 seconds
Subproblem verification time: 0.115 seconds
Subproblem verification time: 0.114 seconds
Subproblem verification time: 0.117 seconds
Subproblem verification time: 0.117 seconds
Subproblem verification time: 0.115 seconds
Subproblem verification time: 0.112 seconds
Subproblem verification time: 0.117 seconds
Minimum batches required: 2
[[10, 12, 23, 25, 36, 38, 49, 51, 62, 64, 75, 77, 88, 90, 101, 103], [6, 5, 3, 9, 19, 18, 16, 22, 32, 31, 29, 35, 45, 44, 42, 48, 58, 57, 55, 61, 71, 70, 68, 74, 84, 83, 81, 87, 97, 96, 94, 100]]
Total program runtime: 1.594 seconds

real 1.91
user 3.43
sys 0.51
