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

Decomposed topology into 8 subproblems
Topological decomposition took 0.053 seconds
Subproblem verification time: 8.247 seconds
Subproblem verification time: 0.755 seconds
Subproblem verification time: 0.753 seconds
Subproblem verification time: 0.753 seconds
Subproblem verification time: 0.778 seconds
Subproblem verification time: 0.749 seconds
Subproblem verification time: 0.749 seconds
Subproblem verification time: 0.84 seconds
Minimum batches required: 3
[[4, 6, 0, 15, 24, 26, 20, 35, 44, 46, 40, 55, 64, 66, 60, 75, 84, 86, 80, 95, 104, 106, 100, 115, 124, 126, 120, 135, 144, 146, 140, 155], [11, 14, 31, 34, 51, 54, 71, 74, 91, 94, 111, 114, 131, 134, 151, 154], [8, 9, 7, 1, 18, 17, 16, 28, 29, 27, 21, 38, 37, 36, 48, 49, 47, 41, 58, 57, 56, 68, 69, 67, 61, 78, 77, 76, 88, 89, 87, 81, 98, 97, 96, 108, 109, 107, 101, 118, 117, 116, 128, 129, 127, 121, 138, 137, 136, 148, 149, 147, 141, 158, 157, 156]]
Total program runtime: 14.253 seconds

real 14.58
user 16.18
sys 0.66
