Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Arpanet19728_4.json -E -C -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 129
Problem file: data/zoo_json_reachability/Arpanet19728_4.json
Switches to update: 104

Decomposed topology into 8 subproblems
Topological decomposition took 0.056 seconds
Subproblem verification time: 11.939 seconds
Subproblem verification time: 0.279 seconds
Subproblem verification time: 0.279 seconds
Subproblem verification time: 0.282 seconds
Subproblem verification time: 0.273 seconds
Subproblem verification time: 0.27 seconds
Subproblem verification time: 0.271 seconds
Subproblem verification time: 0.284 seconds
Minimum batches required: 3
[[8, 13, 23, 22, 21, 12, 37, 42, 52, 51, 50, 41, 66, 71, 81, 80, 79, 70, 95, 100, 110, 109, 108, 99, 124, 129, 139, 138, 137, 128, 153, 158, 168, 167, 166, 157, 182, 187, 197, 196, 195, 186, 211, 216, 226, 225, 224, 215], [26, 55, 84, 113, 142, 171, 200, 229], [7, 20, 19, 6, 28, 0, 36, 49, 48, 35, 57, 29, 65, 78, 77, 64, 86, 58, 94, 107, 106, 93, 115, 87, 123, 136, 135, 122, 144, 116, 152, 165, 164, 151, 173, 145, 181, 194, 193, 180, 202, 174, 210, 223, 222, 209, 231, 203]]
Total program runtime: 14.527 seconds

real 14.88
user 15.95
sys 1.13
