Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/HiberniaGlobal_4.json -R -O -V Low
DFA generation time: 0.055 seconds 
DFA states: 33 
DFA transitions: 328
Problem file: data/zoo_json_waypoint4/HiberniaGlobal_4.json
Switches to update: 224

Decomposed topology into 24 subproblems
Topological decomposition took 0.156 seconds
Subproblem verification time: 0.15 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.037 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.036 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Minimum batches required: 3
[[46, 39, 2, 45, 53, 50, 35, 17, 18, 19, 15, 28, 100, 93, 56, 99, 107, 104, 89, 71, 72, 73, 69, 82, 154, 147, 110, 153, 161, 158, 143, 125, 126, 127, 123, 136, 208, 201, 164, 207, 215, 212, 197, 179, 180, 181, 177, 190, 262, 255, 218, 261, 269, 266, 251, 233, 234, 235, 231, 244, 316, 309, 272, 315, 323, 320, 305, 287, 288, 289, 285, 298, 370, 363, 326, 369, 377, 374, 359, 341, 342, 343, 339, 352, 424, 417, 380, 423, 431, 428, 413, 395, 396, 397, 393, 406], [13, 1, 16, 41, 14, 67, 55, 70, 95, 68, 121, 109, 124, 149, 122, 175, 163, 178, 203, 176, 229, 217, 232, 257, 230, 283, 271, 286, 311, 284, 337, 325, 340, 365, 338, 391, 379, 394, 419, 392], [3, 0, 25, 31, 6, 24, 10, 23, 21, 22, 30, 57, 54, 79, 85, 60, 78, 64, 77, 75, 76, 84, 111, 108, 133, 139, 114, 132, 118, 131, 129, 130, 138, 165, 162, 187, 193, 168, 186, 172, 185, 183, 184, 192, 219, 216, 241, 247, 222, 240, 226, 239, 237, 238, 246, 273, 270, 295, 301, 276, 294, 280, 293, 291, 292, 300, 327, 324, 349, 355, 330, 348, 334, 347, 345, 346, 354, 381, 378, 403, 409, 384, 402, 388, 401, 399, 400, 408]]
Total program runtime: 1.867 seconds

real 2.19
user 4.36
sys 0.68
