Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/HiberniaGlobal_4.json -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 3 
DFA transitions: 265
Problem file: data/zoo_json_reachability/HiberniaGlobal_4.json
Switches to update: 248

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

real 2.16
user 4.57
sys 0.73
