Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Iris_4.json -R -O -V Low
DFA generation time: 0.019 seconds 
DFA states: 3 
DFA transitions: 209
Problem file: dataND/zoo_json_MF/Iris_4.json
Switches to update: 192

Decomposed topology into 8 subproblems
Topological decomposition took 0.086 seconds
Subproblem verification time: 0.189 seconds
Subproblem verification time: 0.048 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.044 seconds
Subproblem verification time: 0.051 seconds
Minimum batches required: 4
[[19, 28, 38, 18, 14, 27, 30, 39, 69, 78, 88, 68, 64, 77, 80, 89, 119, 128, 138, 118, 114, 127, 130, 139, 169, 178, 188, 168, 164, 177, 180, 189, 219, 228, 238, 218, 214, 227, 230, 239, 269, 278, 288, 268, 264, 277, 280, 289, 319, 328, 338, 318, 314, 327, 330, 339, 369, 378, 388, 368, 364, 377, 380, 389], [32, 23, 20, 82, 73, 70, 132, 123, 120, 182, 173, 170, 232, 223, 220, 282, 273, 270, 332, 323, 320, 382, 373, 370], [29, 79, 129, 179, 229, 279, 329, 379], [11, 12, 24, 26, 13, 33, 47, 31, 37, 45, 44, 43, 61, 62, 74, 76, 63, 83, 97, 81, 87, 95, 94, 93, 111, 112, 124, 126, 113, 133, 147, 131, 137, 145, 144, 143, 161, 162, 174, 176, 163, 183, 197, 181, 187, 195, 194, 193, 211, 212, 224, 226, 213, 233, 247, 231, 237, 245, 244, 243, 261, 262, 274, 276, 263, 283, 297, 281, 287, 295, 294, 293, 311, 312, 324, 326, 313, 333, 347, 331, 337, 345, 344, 343, 361, 362, 374, 376, 363, 383, 397, 381, 387, 395, 394, 393]]
Total program runtime: 1.26 seconds

real 1.58
user 3.74
sys 0.45
