Version: 1.15 
 verifypn-linux64 data/zoo_json_reachability/Renater2010_4.json -R -O -V Low
DFA generation time: 0.021 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.068 seconds
Subproblem verification time: 0.157 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.034 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.032 seconds
Subproblem verification time: 0.033 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.047 seconds
Subproblem verification time: 0.035 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.031 seconds
Minimum batches required: 3
[[26, 7, 6, 42, 19, 10, 11, 18, 69, 50, 49, 85, 62, 53, 54, 61, 112, 93, 92, 128, 105, 96, 97, 104, 155, 136, 135, 171, 148, 139, 140, 147, 198, 179, 178, 214, 191, 182, 183, 190, 241, 222, 221, 257, 234, 225, 226, 233, 284, 265, 264, 300, 277, 268, 269, 276, 327, 308, 307, 343, 320, 311, 312, 319], [27, 28, 33, 70, 71, 76, 113, 114, 119, 156, 157, 162, 199, 200, 205, 242, 243, 248, 285, 286, 291, 328, 329, 334], [31, 4, 16, 74, 47, 59, 117, 90, 102, 160, 133, 145, 203, 176, 188, 246, 219, 231, 289, 262, 274, 332, 305, 317]]
Total program runtime: 1.355 seconds

real 1.77
user 3.41
sys 0.65
