Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Ion_3.json -T -R -O -V Low
DFA generation time: 0.024 seconds 
DFA states: 3 
DFA transitions: 209
Problem file: data/zoo_json_reachability/Ion_3.json
Switches to update: 200

Decomposed topology into 1 subproblems
Topological decomposition took 0.0 seconds
Subproblem verification time: 0.574 seconds
Minimum batches required: 3
[[5, 130, 255, 380, 3, 2, 99, 105, 100, 8, 92, 58, 10, 11, 18, 13, 19, 59, 124, 60, 109, 49, 48, 123, 93, 45, 128, 127, 224, 230, 225, 133, 217, 183, 135, 136, 143, 138, 144, 184, 249, 185, 234, 174, 173, 248, 218, 170, 253, 252, 349, 355, 350, 258, 342, 308, 260, 261, 268, 263, 269, 309, 374, 310, 359, 299, 298, 373, 343, 295, 378, 377, 474, 480, 475, 383, 467, 433, 385, 386, 393, 388, 394, 434, 499, 435, 484, 424, 423, 498, 468, 420], [478, 353, 228, 103], [34, 33, 29, 106, 108, 107, 26, 23, 27, 28, 88, 91, 120, 119, 118, 117, 72, 74, 67, 86, 83, 94, 81, 82, 79, 22, 159, 158, 154, 231, 233, 232, 151, 148, 152, 153, 213, 216, 245, 244, 243, 242, 197, 199, 192, 211, 208, 219, 206, 207, 204, 147, 284, 283, 279, 356, 358, 357, 276, 273, 277, 278, 338, 341, 370, 369, 368, 367, 322, 324, 317, 336, 333, 344, 331, 332, 329, 272, 409, 408, 404, 481, 483, 482, 401, 398, 402, 403, 463, 466, 495, 494, 493, 492, 447, 449, 442, 461, 458, 469, 456, 457, 454, 397]]
Total program runtime: 1.25 seconds

real 1.58
user 3.86
sys 0.24
