Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/HiberniaGlobal_3.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 133
Problem file: data/zoo_json_reachability/HiberniaGlobal_3.json
Switches to update: 124

Decomposed topology into 8 subproblems
Topological decomposition took 0.06 seconds
Subproblem verification time: 0.19 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.036 seconds
Minimum batches required: 3
[[30, 24, 22, 21, 20, 18, 17, 39, 46, 40, 29, 32, 33, 25, 84, 78, 76, 75, 74, 72, 71, 93, 100, 94, 83, 86, 87, 79, 138, 132, 130, 129, 128, 126, 125, 147, 154, 148, 137, 140, 141, 133, 192, 186, 184, 183, 182, 180, 179, 201, 208, 202, 191, 194, 195, 187], [16, 27, 2, 38, 70, 81, 56, 92, 124, 135, 110, 146, 178, 189, 164, 200], [28, 15, 14, 11, 10, 35, 9, 13, 50, 51, 53, 45, 3, 82, 69, 68, 65, 64, 89, 63, 67, 104, 105, 107, 99, 57, 136, 123, 122, 119, 118, 143, 117, 121, 158, 159, 161, 153, 111, 190, 177, 176, 173, 172, 197, 171, 175, 212, 213, 215, 207, 165]]
Total program runtime: 1.066 seconds

real 1.41
user 2.98
sys 0.40
