Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Janetbackbone_4.json -R -O -V Low
DFA generation time: 0.025 seconds 
DFA states: 9 
DFA transitions: 156
Problem file: data/zoo_json_waypoint2/Janetbackbone_4.json
Switches to update: 136

Decomposed topology into 8 subproblems
Topological decomposition took 0.085 seconds
Subproblem verification time: 0.173 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.067 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.094 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.041 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, 221, 227, 220, 208, 228], [12, 1, 41, 30, 70, 59, 99, 88, 128, 117, 146, 186, 175, 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, 217], [157, 215], [148, 156, 158, 154, 165, 173, 172, 168, 167, 206, 214, 216, 212, 223, 231, 230, 226, 225]]
Total program runtime: 1.341 seconds

real 1.73
user 3.57
sys 0.50
