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

Decomposed topology into 8 subproblems
Topological decomposition took 0.138 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.046 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.035 seconds
Minimum batches required: 3
[[25, 24, 22, 54, 50, 57, 56, 55, 16, 17, 58, 59, 44, 31, 26, 15, 12, 66, 93, 92, 90, 122, 118, 125, 124, 123, 84, 85, 126, 127, 112, 99, 94, 83, 80, 134, 161, 160, 158, 190, 186, 193, 192, 191, 152, 153, 194, 195, 180, 167, 162, 151, 148, 202, 229, 228, 226, 258, 254, 261, 260, 259, 220, 221, 262, 263, 248, 235, 230, 219, 216, 270, 297, 296, 294, 326, 322, 329, 328, 327, 288, 289, 330, 331, 316, 303, 298, 287, 284, 338, 365, 364, 362, 394, 390, 397, 396, 395, 356, 357, 398, 399, 384, 371, 366, 355, 352, 406, 433, 432, 430, 462, 458, 465, 464, 463, 424, 425, 466, 467, 452, 439, 434, 423, 420, 474, 501, 500, 498, 530, 526, 533, 532, 531, 492, 493, 534, 535, 520, 507, 502, 491, 488, 542], [53, 121, 189, 257, 325, 393, 461, 529], [11, 5, 4, 7, 1, 34, 3, 2, 9, 46, 29, 67, 79, 73, 72, 75, 69, 102, 71, 70, 77, 114, 97, 135, 147, 141, 140, 143, 137, 170, 139, 138, 145, 182, 165, 203, 215, 209, 208, 211, 205, 238, 207, 206, 213, 250, 233, 271, 283, 277, 276, 279, 273, 306, 275, 274, 281, 318, 301, 339, 351, 345, 344, 347, 341, 374, 343, 342, 349, 386, 369, 407, 419, 413, 412, 415, 409, 442, 411, 410, 417, 454, 437, 475, 487, 481, 480, 483, 477, 510, 479, 478, 485, 522, 505, 543]]
Total program runtime: 1.239 seconds

real 1.58
user 3.95
sys 0.48
