Version: 1.15 
 verifypn-linux64 data/zoo_json_alt_waypoint1/VtlWavenet2011_3.json -T -R -O -V Low
DFA generation time: 0.028 seconds 
DFA states: 5 
DFA transitions: 256
Problem file: data/zoo_json_alt_waypoint1/VtlWavenet2011_3.json
Switches to update: 244

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 1.279 seconds
Minimum batches required: 3
[[66, 158, 250, 342, 67, 16, 64, 12, 65, 62, 10, 11, 8, 9, 41, 0, 32, 1, 33, 34, 55, 36, 91, 37, 39, 38, 90, 89, 88, 87, 63, 86, 84, 85, 159, 108, 156, 104, 157, 154, 102, 103, 100, 101, 133, 92, 124, 93, 125, 126, 147, 128, 183, 129, 131, 130, 182, 181, 180, 179, 155, 178, 176, 177, 251, 200, 248, 196, 249, 246, 194, 195, 192, 193, 225, 184, 216, 185, 217, 218, 239, 220, 275, 221, 223, 222, 274, 273, 272, 271, 247, 270, 268, 269, 343, 292, 340, 288, 341, 338, 286, 287, 284, 285, 317, 276, 308, 277, 309, 310, 331, 312, 367, 313, 315, 314, 366, 365, 364, 363, 339, 362, 360, 361], [345, 253, 161, 69], [68, 71, 70, 14, 52, 53, 60, 17, 61, 58, 59, 56, 57, 54, 72, 73, 46, 40, 79, 26, 47, 27, 24, 28, 51, 29, 13, 77, 50, 160, 163, 162, 106, 144, 145, 152, 109, 153, 150, 151, 148, 149, 146, 164, 165, 138, 132, 171, 118, 139, 119, 116, 120, 143, 121, 105, 169, 142, 252, 255, 254, 198, 236, 237, 244, 201, 245, 242, 243, 240, 241, 238, 256, 257, 230, 224, 263, 210, 231, 211, 208, 212, 235, 213, 197, 261, 234, 344, 347, 346, 290, 328, 329, 336, 293, 337, 334, 335, 332, 333, 330, 348, 349, 322, 316, 355, 302, 323, 303, 300, 304, 327, 305, 289, 353, 326]]
Total program runtime: 2.071 seconds

real 2.41
user 4.68
sys 0.31
