Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/UniC_4.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 5 
DFA transitions: 148
Problem file: data/zoo_json_alt_waypoint1/UniC_4.json
Switches to update: 104

Decomposed topology into 15 subproblems
Topological decomposition took 0.067 seconds
Subproblem verification time: 0.23 seconds
Subproblem verification time: 0.103 seconds
Subproblem verification time: 0.055 seconds
Subproblem verification time: 0.104 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.06 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.074 seconds
Subproblem 13 unsolvable!
Subproblem verification time: 46.019 seconds
Problem is unsolvable!
Total program runtime: 47.851 seconds

real 48.15
user 48.96
sys 1.31
