Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Renater2004_4.json -R -O -V Low
DFA generation time: 0.019 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.06 seconds
Subproblem verification time: 0.164 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.07 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.059 seconds
Minimum batches required: 3
[[29, 23, 15, 28, 27, 22, 5, 59, 53, 45, 58, 57, 52, 35, 89, 83, 75, 88, 87, 82, 65, 119, 113, 105, 118, 117, 112, 95, 149, 143, 135, 148, 147, 142, 125, 179, 173, 165, 178, 177, 172, 155, 209, 203, 195, 208, 207, 202, 185, 239, 233, 225, 238, 237, 232, 215], [12, 13, 20, 42, 43, 50, 72, 73, 80, 102, 103, 110, 132, 133, 140, 162, 163, 170, 192, 193, 200, 222, 223, 230], [21, 8, 51, 38, 81, 68, 111, 98, 141, 128, 171, 158, 201, 188, 231, 218]]
Total program runtime: 1.317 seconds

real 1.68
user 3.07
sys 0.53
