Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint2/Oteglobe_3.json -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 9 
DFA transitions: 128
Problem file: data/zoo_json_alt_waypoint2/Oteglobe_3.json
Switches to update: 100

Decomposed topology into 4 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 0.253 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.086 seconds
Minimum batches required: 3
[[56, 18, 40, 51, 64, 31, 65, 33, 57, 144, 106, 128, 139, 152, 119, 153, 121, 145, 232, 194, 216, 227, 240, 207, 241, 209, 233, 320, 282, 304, 315, 328, 295, 329, 297, 321], [55, 58, 28, 77, 143, 146, 116, 165, 231, 234, 204, 253, 319, 322, 292, 341], [78, 29, 85, 86, 87, 83, 84, 22, 23, 27, 25, 44, 166, 117, 173, 174, 175, 171, 172, 110, 111, 115, 113, 132, 254, 205, 261, 262, 263, 259, 260, 198, 199, 203, 201, 220, 342, 293, 349, 350, 351, 347, 348, 286, 287, 291, 289, 308]]
Total program runtime: 1.144 seconds

real 1.48
user 2.88
sys 0.36
