Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Surfnet_4.json -R -O -V Low
DFA generation time: 0.023 seconds 
DFA states: 3 
DFA transitions: 153
Problem file: data/zoo_json_reachability/Surfnet_4.json
Switches to update: 128

Decomposed topology into 8 subproblems
Topological decomposition took 0.071 seconds
Subproblem verification time: 0.15 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.034 seconds
Minimum batches required: 3
[[24, 47, 19, 30, 31, 48, 49, 40, 74, 97, 69, 80, 81, 98, 99, 90, 124, 147, 119, 130, 131, 148, 149, 140, 174, 197, 169, 180, 181, 198, 199, 190, 224, 247, 219, 230, 231, 248, 249, 240, 274, 297, 269, 280, 281, 298, 299, 290, 324, 347, 319, 330, 331, 348, 349, 340, 374, 397, 369, 380, 381, 398, 399, 390], [8, 27, 58, 77, 108, 127, 158, 177, 208, 227, 258, 277, 308, 327, 358, 377], [25, 37, 38, 1, 3, 2, 75, 87, 88, 51, 53, 52, 125, 137, 138, 101, 103, 102, 175, 187, 188, 151, 153, 152, 225, 237, 238, 201, 203, 202, 275, 287, 288, 251, 253, 252, 325, 337, 338, 301, 303, 302, 375, 387, 388, 351, 353, 352]]
Total program runtime: 1.033 seconds

real 1.40
user 3.05
sys 0.36
