Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Uninett2011_4.json -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 153
Problem file: dataND/zoo_json_MF/Uninett2011_4.json
Switches to update: 136

Decomposed topology into 16 subproblems
Topological decomposition took 0.068 seconds
Subproblem verification time: 0.16 seconds
Subproblem verification time: 0.022 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.022 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.025 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.029 seconds
Minimum batches required: 4
[[6, 61, 62, 42, 44, 69, 124, 125, 105, 107, 132, 187, 188, 168, 170, 195, 250, 251, 231, 233, 258, 313, 314, 294, 296, 321, 376, 377, 357, 359, 384, 439, 440, 420, 422, 447, 502, 503, 483, 485], [3, 51, 56, 66, 114, 119, 129, 177, 182, 192, 240, 245, 255, 303, 308, 318, 366, 371, 381, 429, 434, 444, 492, 497], [1, 30, 14, 64, 93, 77, 127, 156, 140, 190, 219, 203, 253, 282, 266, 316, 345, 329, 379, 408, 392, 442, 471, 455], [7, 4, 5, 32, 12, 13, 70, 67, 68, 95, 75, 76, 133, 130, 131, 158, 138, 139, 196, 193, 194, 221, 201, 202, 259, 256, 257, 284, 264, 265, 322, 319, 320, 347, 327, 328, 385, 382, 383, 410, 390, 391, 448, 445, 446, 473, 453, 454]]
Total program runtime: 1.344 seconds

real 1.64
user 3.44
sys 0.51
