Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Uninett2010_4.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 121
Problem file: data/zoo_json_reachability/Uninett2010_4.json
Switches to update: 88

Decomposed topology into 8 subproblems
Topological decomposition took 0.061 seconds
Subproblem verification time: 1.913 seconds
Subproblem verification time: 0.215 seconds
Subproblem verification time: 0.216 seconds
Subproblem verification time: 0.223 seconds
Subproblem verification time: 0.224 seconds
Subproblem verification time: 0.215 seconds
Subproblem verification time: 0.212 seconds
Subproblem verification time: 0.214 seconds
Minimum batches required: 3
[[41, 17, 67, 8, 109, 85, 135, 76, 177, 153, 203, 144, 245, 221, 271, 212, 313, 289, 339, 280, 381, 357, 407, 348, 449, 425, 475, 416, 517, 493, 543, 484], [66, 29, 134, 97, 202, 165, 270, 233, 338, 301, 406, 369, 474, 437, 542, 505], [22, 3, 26, 9, 39, 90, 71, 94, 77, 107, 158, 139, 162, 145, 175, 226, 207, 230, 213, 243, 294, 275, 298, 281, 311, 362, 343, 366, 349, 379, 430, 411, 434, 417, 447, 498, 479, 502, 485, 515]]
Total program runtime: 4.097 seconds

real 4.44
user 6.00
sys 0.53
