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

Decomposed topology into 4 subproblems
Topological decomposition took 0.048 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.037 seconds
Minimum batches required: 3
[[18, 9, 8, 6, 1, 0, 51, 42, 41, 39, 34, 33, 84, 75, 74, 72, 67, 66, 117, 108, 107, 105, 100, 99], [17, 50, 83, 116], [16, 15, 22, 21, 20, 19, 25, 26, 27, 31, 32, 23, 24, 2, 49, 48, 55, 54, 53, 52, 58, 59, 60, 64, 65, 56, 57, 35, 82, 81, 88, 87, 86, 85, 91, 92, 93, 97, 98, 89, 90, 68, 115, 114, 121, 120, 119, 118, 124, 125, 126, 130, 131, 122, 123, 101]]
Total program runtime: 0.8 seconds

real 1.12
user 2.40
sys 0.26
