Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Intellifiber_4.json -E -C -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 185
Problem file: data/zoo_json_reachability/Intellifiber_4.json
Switches to update: 144

Decomposed topology into 16 subproblems
Topological decomposition took 0.087 seconds
Subproblem verification time: 0.241 seconds
Subproblem verification time: 0.147 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.149 seconds
Subproblem verification time: 0.076 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.154 seconds
Subproblem verification time: 0.072 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.137 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.136 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.137 seconds
Minimum batches required: 3
[[71, 72, 63, 25, 22, 21, 55, 10, 144, 145, 136, 98, 95, 94, 128, 83, 217, 218, 209, 171, 168, 167, 201, 156, 290, 291, 282, 244, 241, 240, 274, 229, 363, 364, 355, 317, 314, 313, 347, 302, 436, 437, 428, 390, 387, 386, 420, 375, 509, 510, 501, 463, 460, 459, 493, 448, 582, 583, 574, 536, 533, 532, 566, 521], [64, 6, 137, 79, 210, 152, 283, 225, 356, 298, 429, 371, 502, 444, 575, 517], [0, 3, 2, 23, 16, 17, 42, 5, 73, 76, 75, 96, 89, 90, 115, 78, 146, 149, 148, 169, 162, 163, 188, 151, 219, 222, 221, 242, 235, 236, 261, 224, 292, 295, 294, 315, 308, 309, 334, 297, 365, 368, 367, 388, 381, 382, 407, 370, 438, 441, 440, 461, 454, 455, 480, 443, 511, 514, 513, 534, 527, 528, 553, 516]]
Total program runtime: 2.674 seconds

real 2.98
user 4.79
sys 0.80
