Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Oteglobe_3.json -R -O -V Low
DFA generation time: 0.205 seconds 
DFA states: 513 
DFA transitions: 2420
Problem file: data/zoo_json_waypoint8/Oteglobe_3.json
Switches to update: 100

Decomposed topology into 4 subproblems
Topological decomposition took 0.206 seconds
Subproblem verification time: 0.275 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.051 seconds
Minimum batches required: 4
[[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, 28, 77, 143, 146, 116, 165, 231, 234, 204, 253, 319, 322, 292, 341], [56, 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], [58, 78, 29, 85, 86, 87, 83, 84, 22, 23, 27, 25, 44]]
Total program runtime: 1.454 seconds

real 1.80
user 5.28
sys 0.49
