Version: 1.15 
 verifypn-linux64 data/zoo_json_waypoint8/Deltacom_3.json -R -O -V Low
DFA generation time: 0.185 seconds 
DFA states: 513 
DFA transitions: 2476
Problem file: data/zoo_json_waypoint8/Deltacom_3.json
Switches to update: 140

Decomposed topology into 4 subproblems
Topological decomposition took 0.234 seconds
Subproblem verification time: 0.692 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.084 seconds
Minimum batches required: 5
[[107, 95, 104, 106, 105, 23, 20, 21, 26, 94, 55, 111, 220, 208, 217, 219, 218, 136, 133, 134, 139, 207, 168, 224, 333, 321, 330, 332, 331, 249, 246, 247, 252, 320, 281, 337, 446, 434, 443, 445, 444, 362, 359, 360, 365, 433, 394, 450], [60, 24, 108, 173, 221, 286, 250, 334, 399, 363], [47, 25, 160, 137, 273, 251, 386, 364], [109, 110, 58, 61, 82, 83, 27, 92, 91, 50, 52, 53, 73, 98, 99, 112, 31, 36, 138, 335, 336, 284, 287, 308, 309, 253, 318, 317, 276, 278, 279, 299, 324, 325, 338, 257, 262, 447], [222, 223, 171, 174, 195, 196, 140, 205, 204, 163, 165, 166, 186, 211, 212, 225, 144, 149, 448, 449, 397, 400, 421, 422, 366, 431, 430, 389, 391, 392, 412, 437, 438, 451, 370, 375]]
Total program runtime: 1.916 seconds

real 2.22
user 4.64
sys 0.33
