Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Deltacom_3.json -R -O -V Low
DFA generation time: 0.018 seconds 
DFA states: 3 
DFA transitions: 173
Problem file: data/zoo_json_reachability/Deltacom_3.json
Switches to update: 140

Decomposed topology into 4 subproblems
Topological decomposition took 0.065 seconds
Subproblem verification time: 0.157 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.065 seconds
Minimum batches required: 3
[[104, 107, 73, 106, 105, 23, 20, 21, 26, 25, 92, 91, 50, 51, 98, 99, 216, 219, 185, 218, 217, 135, 132, 133, 138, 137, 204, 203, 162, 163, 210, 211, 328, 331, 297, 330, 329, 247, 244, 245, 250, 249, 316, 315, 274, 275, 322, 323, 440, 443, 409, 442, 441, 359, 356, 357, 362, 361, 428, 427, 386, 387, 434, 435], [47, 108, 159, 220, 271, 332, 383, 444], [109, 110, 58, 61, 82, 83, 27, 24, 95, 94, 55, 54, 111, 60, 11, 13, 12, 221, 222, 170, 173, 194, 195, 139, 136, 207, 206, 167, 166, 223, 172, 123, 125, 124, 333, 334, 282, 285, 306, 307, 251, 248, 319, 318, 279, 278, 335, 284, 235, 237, 236, 445, 446, 394, 397, 418, 419, 363, 360, 431, 430, 391, 390, 447, 396, 347, 349, 348]]
Total program runtime: 0.961 seconds

real 1.28
user 2.91
sys 0.31
