Version: 1.15 
 verifypn-linux64 dataND/zoo_json_MF/Renater2010_4.json -E -C -R -O -V Low
DFA generation time: 0.017 seconds 
DFA states: 3 
DFA transitions: 137
Problem file: dataND/zoo_json_MF/Renater2010_4.json
Switches to update: 120

Decomposed topology into 16 subproblems
Topological decomposition took 0.071 seconds
Subproblem verification time: 0.339 seconds
Subproblem verification time: 0.068 seconds
Subproblem verification time: 0.091 seconds
Subproblem verification time: 0.08 seconds
Subproblem verification time: 0.098 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.099 seconds
Subproblem verification time: 0.061 seconds
Subproblem verification time: 0.105 seconds
Subproblem verification time: 0.069 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.095 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.09 seconds
Subproblem verification time: 0.059 seconds
Minimum batches required: 3
[[6, 7, 26, 28, 18, 11, 10, 19, 42, 49, 50, 69, 71, 61, 54, 53, 62, 85, 92, 93, 112, 114, 104, 97, 96, 105, 128, 135, 136, 155, 157, 147, 140, 139, 148, 171, 178, 179, 198, 200, 190, 183, 182, 191, 214, 221, 222, 241, 243, 233, 226, 225, 234, 257, 264, 265, 284, 286, 276, 269, 268, 277, 300, 307, 308, 327, 329, 319, 312, 311, 320, 343], [9, 27, 33, 52, 70, 76, 95, 113, 119, 138, 156, 162, 181, 199, 205, 224, 242, 248, 267, 285, 291, 310, 328, 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.286 seconds

real 2.58
user 4.20
sys 0.78
