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

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 2.666 seconds
Subproblem verification time: 0.743 seconds
Subproblem verification time: 0.709 seconds
Subproblem verification time: 0.69 seconds
Subproblem verification time: 0.73 seconds
Subproblem verification time: 0.709 seconds
Subproblem verification time: 0.679 seconds
Subproblem verification time: 0.699 seconds
Minimum batches required: 3
[[18, 2, 9, 40, 24, 31, 62, 46, 53, 84, 68, 75, 106, 90, 97, 128, 112, 119, 150, 134, 141, 172, 156, 163], [19, 13, 3, 41, 35, 25, 63, 57, 47, 85, 79, 69, 107, 101, 91, 129, 123, 113, 151, 145, 135, 173, 167, 157], [16, 15, 0, 20, 1, 38, 37, 22, 42, 23, 60, 59, 44, 64, 45, 82, 81, 66, 86, 67, 104, 103, 88, 108, 89, 126, 125, 110, 130, 111, 148, 147, 132, 152, 133, 170, 169, 154, 174, 155]]
Total program runtime: 8.247 seconds

real 8.54
user 10.19
sys 0.52
