Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Uninett2011_4.json -E -C -R -O -V Low
DFA generation time: 0.02 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.073 seconds
Subproblem verification time: 1.78 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.567 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.561 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.535 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.549 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.563 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.56 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.557 seconds
Subproblem verification time: 0.059 seconds
Minimum batches required: 3
[[62, 6, 44, 42, 125, 69, 107, 105, 188, 132, 170, 168, 251, 195, 233, 231, 314, 258, 296, 294, 377, 321, 359, 357, 440, 384, 422, 420, 503, 447, 485, 483], [1, 51, 56, 64, 114, 119, 127, 177, 182, 190, 240, 245, 253, 303, 308, 316, 366, 371, 379, 429, 434, 442, 492, 497], [13, 12, 32, 3, 5, 4, 7, 14, 30, 76, 75, 95, 66, 68, 67, 70, 77, 93, 139, 138, 158, 129, 131, 130, 133, 140, 156, 202, 201, 221, 192, 194, 193, 196, 203, 219, 265, 264, 284, 255, 257, 256, 259, 266, 282, 328, 327, 347, 318, 320, 319, 322, 329, 345, 391, 390, 410, 381, 383, 382, 385, 392, 408, 454, 453, 473, 444, 446, 445, 448, 455, 471]]
Total program runtime: 6.891 seconds

real 7.21
user 8.73
sys 0.85
