Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Uninett2010_4.json -R -O -V Low
DFA generation time: 0.021 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.057 seconds
Subproblem verification time: 0.199 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.032 seconds
Minimum batches required: 3
[[8, 17, 67, 41, 76, 85, 135, 109, 144, 153, 203, 177, 212, 221, 271, 245, 280, 289, 339, 313, 348, 357, 407, 381, 416, 425, 475, 449, 484, 493, 543, 517], [66, 29, 134, 97, 202, 165, 270, 233, 338, 301, 406, 369, 474, 437, 542, 505], [39, 9, 26, 3, 22, 107, 77, 94, 71, 90, 175, 145, 162, 139, 158, 243, 213, 230, 207, 226, 311, 281, 298, 275, 294, 379, 349, 366, 343, 362, 447, 417, 434, 411, 430, 515, 485, 502, 479, 498]]
Total program runtime: 1.024 seconds

real 1.34
user 2.76
sys 0.39
