Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Janetbackbone_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 5 
DFA transitions: 148
Problem file: data/zoo_json_waypoint1/Janetbackbone_4.json
Switches to update: 136

Decomposed topology into 8 subproblems
Topological decomposition took 0.079 seconds
Subproblem verification time: 0.157 seconds
Subproblem verification time: 0.074 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.04 seconds
Subproblem verification time: 0.037 seconds
Minimum batches required: 5
[[14, 18, 24, 17, 5, 25, 43, 47, 53, 46, 34, 54, 72, 76, 82, 75, 63, 83, 101, 105, 111, 104, 92, 112, 130, 134, 140, 133, 121, 141, 163, 169, 162, 150, 170, 188, 192, 198, 191, 179, 199, 217, 221, 227, 220, 208, 228], [12, 1, 41, 30, 70, 59, 99, 88, 128, 117, 146, 186, 175, 215, 204], [3, 11, 13, 9, 20, 28, 27, 23, 22, 32, 40, 42, 38, 49, 57, 56, 52, 51, 61, 69, 71, 67, 78, 86, 85, 81, 80, 90, 98, 100, 96, 107, 115, 114, 110, 109, 119, 127, 129, 125, 136, 144, 143, 139, 138, 159, 177, 185, 187, 183, 194, 202, 201, 197, 196, 206, 214, 216, 212, 223, 231, 230, 226, 225], [157], [148, 156, 158, 154, 165, 173, 172, 168, 167]]
Total program runtime: 1.324 seconds

real 1.66
user 3.53
sys 0.56
