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

Decomposed topology into 8 subproblems
Topological decomposition took 0.049 seconds
Subproblem verification time: 0.343 seconds
Subproblem verification time: 0.119 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.124 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.12 seconds
Subproblem verification time: 0.118 seconds
Subproblem verification time: 0.127 seconds
Minimum batches required: 3
[[6, 10, 36, 40, 66, 70, 96, 100, 126, 130, 156, 160, 186, 190, 216, 220], [24, 0, 54, 30, 84, 60, 114, 90, 144, 120, 174, 150, 204, 180, 234, 210], [22, 21, 2, 1, 52, 51, 32, 31, 82, 81, 62, 61, 112, 111, 92, 91, 142, 141, 122, 121, 172, 171, 152, 151, 202, 201, 182, 181, 232, 231, 212, 211]]
Total program runtime: 1.765 seconds

real 2.12
user 3.74
sys 0.41
