Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/HiberniaCanada_4.json -R -O -V Low
DFA generation time: 0.02 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.047 seconds
Subproblem verification time: 0.13 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 2
[[10, 12, 23, 25, 36, 38, 49, 51, 62, 64, 75, 77, 88, 90, 101, 103], [9, 3, 5, 6, 22, 16, 18, 19, 35, 29, 31, 32, 48, 42, 44, 45, 61, 55, 57, 58, 74, 68, 70, 71, 87, 81, 83, 84, 100, 94, 96, 97]]
Total program runtime: 0.95 seconds

real 1.29
user 2.61
sys 0.37
