Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint2/Sinet_4.json -E -C -R -O -V Low
DFA generation time: 0.026 seconds 
DFA states: 9 
DFA transitions: 116
Problem file: data/zoo_json_waypoint2/Sinet_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.053 seconds
Subproblem verification time: 0.95 seconds
Subproblem verification time: 0.14 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.096 seconds
Subproblem verification time: 0.101 seconds
Minimum batches required: 3
[[0, 5, 49, 24, 66, 72, 77, 121, 96, 138, 144, 149, 193, 168, 210, 216, 221, 265, 240, 282, 288, 293, 337, 312, 354, 360, 365, 409, 384, 426, 432, 437, 481, 456, 498, 504, 509, 553, 528, 570], [70, 142, 214, 286, 358, 430, 502, 574], [59, 20, 34, 44, 131, 92, 106, 116, 203, 164, 178, 188, 275, 236, 250, 260, 347, 308, 322, 332, 419, 380, 394, 404, 491, 452, 466, 476, 563, 524, 538, 548]]
Total program runtime: 2.287 seconds

real 2.58
user 4.31
sys 0.45
