Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Oteglobe_4.json -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 241
Problem file: data/zoo_json_reachability/Oteglobe_4.json
Switches to update: 192

Decomposed topology into 16 subproblems
Topological decomposition took 0.099 seconds
Subproblem verification time: 0.171 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.039 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Minimum batches required: 3
[[55, 56, 25, 24, 20, 21, 26, 88, 89, 29, 78, 146, 147, 116, 115, 111, 112, 117, 179, 180, 120, 169, 237, 238, 207, 206, 202, 203, 208, 270, 271, 211, 260, 328, 329, 298, 297, 293, 294, 299, 361, 362, 302, 351, 419, 420, 389, 388, 384, 385, 390, 452, 453, 393, 442, 510, 511, 480, 479, 475, 476, 481, 543, 544, 484, 533, 601, 602, 571, 570, 566, 567, 572, 634, 635, 575, 624, 692, 693, 662, 661, 657, 658, 663, 725, 726, 666, 715], [51, 28, 142, 119, 233, 210, 324, 301, 415, 392, 506, 483, 597, 574, 688, 665], [15, 17, 4, 79, 80, 81, 75, 90, 87, 86, 18, 106, 108, 95, 170, 171, 172, 166, 181, 178, 177, 109, 197, 199, 186, 261, 262, 263, 257, 272, 269, 268, 200, 288, 290, 277, 352, 353, 354, 348, 363, 360, 359, 291, 379, 381, 368, 443, 444, 445, 439, 454, 451, 450, 382, 470, 472, 459, 534, 535, 536, 530, 545, 542, 541, 473, 561, 563, 550, 625, 626, 627, 621, 636, 633, 632, 564, 652, 654, 641, 716, 717, 718, 712, 727, 724, 723, 655]]
Total program runtime: 1.409 seconds

real 1.76
user 3.64
sys 0.51
