Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Uninett2010_4.json -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 121
Problem file: dataND/zoo_json_MF/Uninett2010_4.json
Switches to update: 88

Decomposed topology into 8 subproblems
Topological decomposition took 0.054 seconds
Subproblem verification time: 0.142 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.066 seconds
Minimum batches required: 3
[[29, 17, 67, 41, 97, 85, 135, 109, 165, 153, 203, 177, 233, 221, 271, 245, 301, 289, 339, 313, 369, 357, 407, 381, 437, 425, 475, 449, 505, 493, 543, 517], [8, 66, 76, 134, 144, 202, 212, 270, 280, 338, 348, 406, 416, 474, 484, 542], [39, 9, 26, 3, 22, 107, 77, 94, 71, 90, 175, 145, 162, 139, 158, 243, 213, 230, 207, 226, 311, 281, 298, 275, 294, 379, 349, 366, 343, 362, 447, 417, 434, 411, 430, 515, 485, 502, 479, 498]]
Total program runtime: 1.177 seconds

real 1.51
user 3.05
sys 0.45
