Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Xspedius_4.json -E -C -R -O -V Low
DFA generation time: 0.02 seconds 
DFA states: 3 
DFA transitions: 105
Problem file: data/zoo_json_reachability/Xspedius_4.json
Switches to update: 88

Decomposed topology into 8 subproblems
Topological decomposition took 0.048 seconds
Subproblem verification time: 1.899 seconds
Subproblem verification time: 0.146 seconds
Subproblem verification time: 0.148 seconds
Subproblem verification time: 0.14 seconds
Subproblem verification time: 0.143 seconds
Subproblem verification time: 0.141 seconds
Subproblem verification time: 0.147 seconds
Subproblem verification time: 0.154 seconds
Minimum batches required: 3
[[8, 33, 32, 30, 29, 42, 67, 66, 64, 63, 76, 101, 100, 98, 97, 110, 135, 134, 132, 131, 144, 169, 168, 166, 165, 178, 203, 202, 200, 199, 212, 237, 236, 234, 233, 246, 271, 270, 268, 267], [26, 60, 94, 128, 162, 196, 230, 264], [16, 23, 0, 3, 27, 50, 57, 34, 37, 61, 84, 91, 68, 71, 95, 118, 125, 102, 105, 129, 152, 159, 136, 139, 163, 186, 193, 170, 173, 197, 220, 227, 204, 207, 231, 254, 261, 238, 241, 265]]
Total program runtime: 3.539 seconds

real 3.87
user 5.35
sys 0.62
