Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/HiberniaGlobal_4.json -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 289
Problem file: dataND/zoo_json_MF/HiberniaGlobal_4.json
Switches to update: 272

Decomposed topology into 8 subproblems
Topological decomposition took 0.132 seconds
Subproblem verification time: 0.383 seconds
Subproblem verification time: 0.139 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.146 seconds
Subproblem verification time: 0.138 seconds
Subproblem verification time: 0.143 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 0.149 seconds
Minimum batches required: 3
[[25, 26, 38, 35, 10, 6, 11, 14, 15, 70, 71, 83, 80, 55, 51, 56, 59, 60, 115, 116, 128, 125, 100, 96, 101, 104, 105, 160, 161, 173, 170, 145, 141, 146, 149, 150, 205, 206, 218, 215, 190, 186, 191, 194, 195, 250, 251, 263, 260, 235, 231, 236, 239, 240, 295, 296, 308, 305, 280, 276, 281, 284, 285, 340, 341, 353, 350, 325, 321, 326, 329, 330], [31, 16, 41, 9, 12, 76, 61, 86, 54, 57, 121, 106, 131, 99, 102, 166, 151, 176, 144, 147, 211, 196, 221, 189, 192, 256, 241, 266, 234, 237, 301, 286, 311, 279, 282, 346, 331, 356, 324, 327], [0, 33, 32, 29, 8, 37, 44, 43, 42, 24, 17, 18, 20, 21, 22, 30, 27, 5, 4, 7, 45, 78, 77, 74, 53, 82, 89, 88, 87, 69, 62, 63, 65, 66, 67, 75, 72, 50, 49, 52, 90, 123, 122, 119, 98, 127, 134, 133, 132, 114, 107, 108, 110, 111, 112, 120, 117, 95, 94, 97, 135, 168, 167, 164, 143, 172, 179, 178, 177, 159, 152, 153, 155, 156, 157, 165, 162, 140, 139, 142, 180, 213, 212, 209, 188, 217, 224, 223, 222, 204, 197, 198, 200, 201, 202, 210, 207, 185, 184, 187, 225, 258, 257, 254, 233, 262, 269, 268, 267, 249, 242, 243, 245, 246, 247, 255, 252, 230, 229, 232, 270, 303, 302, 299, 278, 307, 314, 313, 312, 294, 287, 288, 290, 291, 292, 300, 297, 275, 274, 277, 315, 348, 347, 344, 323, 352, 359, 358, 357, 339, 332, 333, 335, 336, 337, 345, 342, 320, 319, 322]]
Total program runtime: 2.21 seconds

real 2.53
user 5.25
sys 0.59
