Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Cudi_4.json -E -C -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 89
Problem file: data/zoo_json_reachability/Cudi_4.json
Switches to update: 56

Decomposed topology into 8 subproblems
Topological decomposition took 0.047 seconds
Subproblem verification time: 0.179 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.077 seconds
Minimum batches required: 3
[[41, 47, 44, 89, 95, 92, 137, 143, 140, 185, 191, 188, 233, 239, 236, 281, 287, 284, 329, 335, 332, 377, 383, 380], [45, 93, 141, 189, 237, 285, 333, 381], [2, 46, 43, 50, 94, 91, 98, 142, 139, 146, 190, 187, 194, 238, 235, 242, 286, 283, 290, 334, 331, 338, 382, 379]]
Total program runtime: 1.286 seconds

real 1.62
user 2.95
sys 0.41
