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

Decomposed topology into 4 subproblems
Topological decomposition took 0.09 seconds
Subproblem verification time: 0.235 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.095 seconds
Minimum batches required: 3
[[64, 70, 28, 126, 127, 49, 128, 2, 3, 120, 130, 61, 33, 129, 71, 78, 88, 89, 25, 50, 57, 56, 59, 19, 54, 55, 85, 82, 81, 24, 209, 215, 173, 271, 272, 194, 273, 147, 148, 265, 275, 206, 178, 274, 216, 223, 233, 234, 170, 195, 202, 201, 204, 164, 199, 200, 230, 227, 226, 169, 354, 360, 318, 416, 417, 339, 418, 292, 293, 410, 420, 351, 323, 419, 361, 368, 378, 379, 315, 340, 347, 346, 349, 309, 344, 345, 375, 372, 371, 314, 499, 505, 463, 561, 562, 484, 563, 437, 438, 555, 565, 496, 468, 564, 506, 513, 523, 524, 460, 485, 492, 491, 494, 454, 489, 490, 520, 517, 516, 459], [142, 125, 40, 287, 270, 185, 432, 415, 330, 577, 560, 475], [66, 102, 101, 41, 106, 103, 99, 94, 17, 132, 131, 123, 124, 141, 20, 144, 140, 51, 29, 58, 53, 15, 211, 247, 246, 186, 251, 248, 244, 239, 162, 277, 276, 268, 269, 286, 165, 289, 285, 196, 174, 203, 198, 160, 356, 392, 391, 331, 396, 393, 389, 384, 307, 422, 421, 413, 414, 431, 310, 434, 430, 341, 319, 348, 343, 305, 501, 537, 536, 476, 541, 538, 534, 529, 452, 567, 566, 558, 559, 576, 455, 579, 575, 486, 464, 493, 488, 450]]
Total program runtime: 1.281 seconds

real 1.62
user 3.56
sys 0.53
