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

Decomposed topology into 16 subproblems
Topological decomposition took 0.057 seconds
Subproblem verification time: 0.301 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.075 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.065 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.078 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.066 seconds
Subproblem verification time: 0.071 seconds
Subproblem verification time: 0.063 seconds
Subproblem verification time: 0.073 seconds
Subproblem verification time: 0.069 seconds
Minimum batches required: 3
[[6, 7, 26, 18, 11, 10, 19, 42, 49, 50, 69, 61, 54, 53, 62, 85, 92, 93, 112, 104, 97, 96, 105, 128, 135, 136, 155, 147, 140, 139, 148, 171, 178, 179, 198, 190, 183, 182, 191, 214, 221, 222, 241, 233, 226, 225, 234, 257, 264, 265, 284, 276, 269, 268, 277, 300, 307, 308, 327, 319, 312, 311, 320, 343], [27, 28, 33, 70, 71, 76, 113, 114, 119, 156, 157, 162, 199, 200, 205, 242, 243, 248, 285, 286, 291, 328, 329, 334], [4, 31, 16, 47, 74, 59, 90, 117, 102, 133, 160, 145, 176, 203, 188, 219, 246, 231, 262, 289, 274, 305, 332, 317]]
Total program runtime: 2.04 seconds

real 2.38
user 4.02
sys 0.79
