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

real 1.80
user 3.56
sys 0.69
