Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Intellifiber_4.json -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.09 seconds
Subproblem verification time: 0.112 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.038 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.03 seconds
Subproblem verification time: 0.029 seconds
Minimum batches required: 3
[[63, 72, 71, 10, 55, 21, 22, 25, 136, 145, 144, 83, 128, 94, 95, 98, 209, 218, 217, 156, 201, 167, 168, 171, 282, 291, 290, 229, 274, 240, 241, 244, 355, 364, 363, 302, 347, 313, 314, 317, 428, 437, 436, 375, 420, 386, 387, 390, 501, 510, 509, 448, 493, 459, 460, 463, 574, 583, 582, 521, 566, 532, 533, 536], [64, 6, 137, 79, 210, 152, 283, 225, 356, 298, 429, 371, 502, 444, 575, 517], [2, 3, 0, 5, 42, 17, 16, 23, 75, 76, 73, 78, 115, 90, 89, 96, 148, 149, 146, 151, 188, 163, 162, 169, 221, 222, 219, 224, 261, 236, 235, 242, 294, 295, 292, 297, 334, 309, 308, 315, 367, 368, 365, 370, 407, 382, 381, 388, 440, 441, 438, 443, 480, 455, 454, 461, 513, 514, 511, 516, 553, 528, 527, 534]]
Total program runtime: 1.333 seconds

real 1.64
user 3.53
sys 0.59
