Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Uninett2011_4.json -E -C -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.066 seconds
Subproblem verification time: 4.748 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.386 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.39 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.377 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.383 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.373 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.358 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.367 seconds
Subproblem verification time: 0.026 seconds
Minimum batches required: 4
[[61, 62, 6, 44, 42, 124, 125, 69, 107, 105, 187, 188, 132, 170, 168, 250, 251, 195, 233, 231, 313, 314, 258, 296, 294, 376, 377, 321, 359, 357, 439, 440, 384, 422, 420, 502, 503, 447, 485, 483], [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, 5, 4, 7, 14, 30, 64, 68, 67, 70, 77, 93, 127, 131, 130, 133, 140, 156, 190, 194, 193, 196, 203, 219, 253, 257, 256, 259, 266, 282, 316, 320, 319, 322, 329, 345, 379, 383, 382, 385, 392, 408, 442, 446, 445, 448, 455, 471], [13, 12, 32, 76, 75, 95, 139, 138, 158, 202, 201, 221, 265, 264, 284, 328, 327, 347, 391, 390, 410, 454, 453, 473]]
Total program runtime: 8.349 seconds

real 8.68
user 10.39
sys 0.77
