Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint4/HiberniaGlobal_4.json -E -C -R -O -V Low
DFA generation time: 0.052 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.142 seconds
Subproblem verification time: 12.748 seconds
Subproblem verification time: 0.079 seconds
Subproblem verification time: 0.083 seconds
Subproblem verification time: 0.318 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.324 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.085 seconds
Subproblem verification time: 0.357 seconds
Subproblem verification time: 0.082 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.304 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.267 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.272 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.288 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.078 seconds
Minimum batches required: 3
[[39, 50, 53, 45, 2, 46, 19, 18, 17, 35, 28, 15, 93, 104, 107, 99, 56, 100, 73, 72, 71, 89, 82, 69, 147, 158, 161, 153, 110, 154, 127, 126, 125, 143, 136, 123, 201, 212, 215, 207, 164, 208, 181, 180, 179, 197, 190, 177, 255, 266, 269, 261, 218, 262, 235, 234, 233, 251, 244, 231, 309, 320, 323, 315, 272, 316, 289, 288, 287, 305, 298, 285, 363, 374, 377, 369, 326, 370, 343, 342, 341, 359, 352, 339, 417, 428, 431, 423, 380, 424, 397, 396, 395, 413, 406, 393], [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], [6, 31, 25, 0, 3, 10, 24, 30, 22, 21, 23, 60, 85, 79, 54, 57, 64, 78, 84, 76, 75, 77, 114, 139, 133, 108, 111, 118, 132, 138, 130, 129, 131, 168, 193, 187, 162, 165, 172, 186, 192, 184, 183, 185, 222, 247, 241, 216, 219, 226, 240, 246, 238, 237, 239, 276, 301, 295, 270, 273, 280, 294, 300, 292, 291, 293, 330, 355, 349, 324, 327, 334, 348, 354, 346, 345, 347, 384, 409, 403, 378, 381, 388, 402, 408, 400, 399, 401]]
Total program runtime: 17.055 seconds

real 17.37
user 19.25
sys 1.15
