Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Uninett2011_4.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 145
Problem file: data/zoo_json_reachability/Uninett2011_4.json
Switches to update: 128

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

real 1.68
user 3.24
sys 0.58
