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

Decomposed topology into 8 subproblems
Topological decomposition took 0.053 seconds
Subproblem verification time: 6.825 seconds
Subproblem verification time: 0.15 seconds
Subproblem verification time: 0.145 seconds
Subproblem verification time: 0.146 seconds
Subproblem verification time: 0.152 seconds
Subproblem verification time: 0.154 seconds
Subproblem verification time: 0.142 seconds
Subproblem verification time: 0.153 seconds
Minimum batches required: 3
[[15, 5, 22, 23, 27, 28, 29, 45, 35, 52, 53, 57, 58, 59, 75, 65, 82, 83, 87, 88, 89, 105, 95, 112, 113, 117, 118, 119, 135, 125, 142, 143, 147, 148, 149, 165, 155, 172, 173, 177, 178, 179, 195, 185, 202, 203, 207, 208, 209, 225, 215, 232, 233, 237, 238, 239], [12, 13, 20, 42, 43, 50, 72, 73, 80, 102, 103, 110, 132, 133, 140, 162, 163, 170, 192, 193, 200, 222, 223, 230], [8, 21, 38, 51, 68, 81, 98, 111, 128, 141, 158, 171, 188, 201, 218, 231]]
Total program runtime: 8.947 seconds

real 9.25
user 10.47
sys 0.53
