Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Sinet_4.json -E -C -R -O -V Low
DFA generation time: 0.163 seconds 
DFA states: 513 
DFA transitions: 2408
Problem file: data/zoo_json_waypoint8/Sinet_4.json
Switches to update: 80

Decomposed topology into 8 subproblems
Topological decomposition took 0.19 seconds
Subproblem verification time: 0.931 seconds
Subproblem verification time: 0.108 seconds
Subproblem verification time: 0.106 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.118 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.1 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.595 seconds

real 2.91
user 6.08
sys 0.49
