Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/VtlWavenet2008_3.json -T -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 249
Problem file: data/zoo_json_reachability/VtlWavenet2008_3.json
Switches to update: 244

Decomposed topology into 1 subproblems
Topological decomposition took 0.001 seconds
Subproblem verification time: 0.671 seconds
Minimum batches required: 3
[[12, 100, 188, 276, 61, 58, 10, 11, 8, 9, 37, 0, 28, 1, 29, 30, 51, 32, 87, 33, 35, 149, 146, 98, 99, 96, 97, 125, 88, 116, 89, 117, 118, 139, 120, 175, 121, 123, 237, 234, 186, 187, 184, 185, 213, 176, 204, 177, 205, 206, 227, 208, 263, 209, 211, 325, 322, 274, 275, 272, 273, 301, 264, 292, 265, 293, 294, 315, 296, 351, 297, 299], [324, 236, 148, 60], [16, 63, 62, 65, 64, 67, 66, 14, 48, 49, 56, 17, 57, 54, 55, 52, 53, 50, 68, 69, 42, 36, 75, 24, 43, 25, 22, 26, 47, 27, 13, 73, 46, 41, 81, 80, 82, 59, 83, 84, 85, 86, 104, 151, 150, 153, 152, 155, 154, 102, 136, 137, 144, 105, 145, 142, 143, 140, 141, 138, 156, 157, 130, 124, 163, 112, 131, 113, 110, 114, 135, 115, 101, 161, 134, 129, 169, 168, 170, 147, 171, 172, 173, 174, 192, 239, 238, 241, 240, 243, 242, 190, 224, 225, 232, 193, 233, 230, 231, 228, 229, 226, 244, 245, 218, 212, 251, 200, 219, 201, 198, 202, 223, 203, 189, 249, 222, 217, 257, 256, 258, 235, 259, 260, 261, 262, 280, 327, 326, 329, 328, 331, 330, 278, 312, 313, 320, 281, 321, 318, 319, 316, 317, 314, 332, 333, 306, 300, 339, 288, 307, 289, 286, 290, 311, 291, 277, 337, 310, 305, 345, 344, 346, 323, 347, 348, 349, 350]]
Total program runtime: 1.477 seconds

real 1.81
user 4.46
sys 0.34
