Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/Abvt_4.json -R -O -V Low
DFA generation time: 0.048 seconds 
DFA states: 33 
DFA transitions: 224
Problem file: data/zoo_json_waypoint4/Abvt_4.json
Switches to update: 128

Decomposed topology into 8 subproblems
Topological decomposition took 0.093 seconds
Subproblem verification time: 0.172 seconds
Subproblem verification time: 0.042 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.045 seconds
Subproblem verification time: 0.041 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.044 seconds
Minimum batches required: 4
[[8, 0, 15, 2, 3, 10, 14, 13, 16, 31, 23, 38, 25, 26, 33, 37, 36, 39, 54, 46, 61, 48, 49, 56, 60, 59, 62, 77, 69, 84, 71, 72, 79, 83, 82, 85, 100, 92, 107, 94, 95, 102, 106, 105, 108, 123, 115, 130, 117, 118, 125, 129, 128, 131, 146, 138, 153, 140, 141, 148, 152, 151, 154, 169, 161, 176, 163, 164, 171, 175, 174, 177], [22, 5, 9, 45, 28, 32, 68, 51, 55, 91, 74, 78, 114, 97, 101, 137, 120, 124, 160, 143, 147, 183, 166, 170], [11, 34, 57, 80, 103, 126, 149, 172], [12, 1, 21, 35, 24, 44, 58, 47, 67, 81, 70, 90, 104, 93, 113, 127, 116, 136, 150, 139, 159, 173, 162, 182]]
Total program runtime: 1.296 seconds

real 1.71
user 3.55
sys 0.51
