Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint1/Columbus_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 5 
DFA transitions: 244
Problem file: data/zoo_json_waypoint1/Columbus_4.json
Switches to update: 160

Decomposed topology into 8 subproblems
Topological decomposition took 0.101 seconds
Subproblem verification time: 0.126 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.044 seconds
Minimum batches required: 3
[[56, 55, 16, 17, 58, 59, 32, 44, 31, 13, 124, 123, 84, 85, 126, 127, 100, 112, 99, 81, 192, 191, 152, 153, 194, 195, 168, 180, 167, 149, 260, 259, 220, 221, 262, 263, 236, 248, 235, 217, 328, 327, 288, 289, 330, 331, 304, 316, 303, 285, 396, 395, 356, 357, 398, 399, 372, 384, 371, 353, 464, 463, 424, 425, 466, 467, 440, 452, 439, 421, 532, 531, 492, 493, 534, 535, 508, 520, 507, 489], [57, 125, 193, 261, 329, 397, 465, 533], [5, 4, 7, 1, 34, 3, 2, 9, 46, 73, 72, 75, 69, 102, 71, 70, 77, 114, 141, 140, 143, 137, 170, 139, 138, 145, 182, 209, 208, 211, 205, 238, 207, 206, 213, 250, 277, 276, 279, 273, 306, 275, 274, 281, 318, 345, 344, 347, 341, 374, 343, 342, 349, 386, 413, 412, 415, 409, 442, 411, 410, 417, 454, 481, 480, 483, 477, 510, 479, 478, 485, 522]]
Total program runtime: 1.071 seconds

real 1.38
user 3.30
sys 0.44
