Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Uninett2010_4.json -E -C -R -O -V Low
DFA generation time: 0.018 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.056 seconds
Subproblem verification time: 2.562 seconds
Subproblem verification time: 0.452 seconds
Subproblem verification time: 0.45 seconds
Subproblem verification time: 0.486 seconds
Subproblem verification time: 0.461 seconds
Subproblem verification time: 0.475 seconds
Subproblem verification time: 0.463 seconds
Subproblem verification time: 0.489 seconds
Minimum batches required: 3
[[41, 17, 67, 29, 109, 85, 135, 97, 177, 153, 203, 165, 245, 221, 271, 233, 313, 289, 339, 301, 381, 357, 407, 369, 449, 425, 475, 437, 517, 493, 543, 505], [8, 66, 9, 39, 76, 134, 77, 107, 144, 202, 145, 175, 212, 270, 213, 243, 280, 338, 281, 311, 348, 406, 349, 379, 416, 474, 417, 447, 484, 542, 485, 515], [22, 3, 26, 90, 71, 94, 158, 139, 162, 226, 207, 230, 294, 275, 298, 362, 343, 366, 430, 411, 434, 498, 479, 502]]
Total program runtime: 6.469 seconds

real 6.88
user 8.36
sys 0.62
