Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/VtlWavenet2011_3.json -R -O -V Low
DFA generation time: 0.021 seconds 
DFA states: 3 
DFA transitions: 317
Problem file: dataND/zoo_json_MF/VtlWavenet2011_3.json
Switches to update: 292

Decomposed topology into 4 subproblems
Topological decomposition took 0.119 seconds
Subproblem verification time: 0.18 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.053 seconds
Minimum batches required: 3
[[68, 27, 71, 70, 14, 52, 53, 60, 17, 61, 58, 59, 56, 57, 54, 72, 73, 24, 28, 51, 29, 13, 77, 50, 160, 119, 163, 162, 106, 144, 145, 152, 109, 153, 150, 151, 148, 149, 146, 164, 165, 116, 120, 143, 121, 105, 169, 142, 252, 211, 255, 254, 198, 236, 237, 244, 201, 245, 242, 243, 240, 241, 238, 256, 257, 208, 212, 235, 213, 197, 261, 234, 344, 303, 347, 346, 290, 328, 329, 336, 293, 337, 334, 335, 332, 333, 330, 348, 349, 300, 304, 327, 305, 289, 353, 326], [47, 69, 139, 161, 231, 253, 323, 345], [66, 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, 7, 6, 5, 4, 3, 2, 78, 48, 80, 81, 49, 42, 43, 74, 75, 44, 158, 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, 99, 98, 97, 96, 95, 94, 170, 140, 172, 173, 141, 134, 135, 166, 167, 136, 250, 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, 191, 190, 189, 188, 187, 186, 262, 232, 264, 265, 233, 226, 227, 258, 259, 228, 342, 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, 283, 282, 281, 280, 279, 278, 354, 324, 356, 357, 325, 318, 319, 350, 351, 320]]
Total program runtime: 1.205 seconds

real 1.55
user 4.34
sys 0.43
