Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Intranetwork_3.json -E -C -R -O -V Low
DFA generation time: 0.034 seconds 
DFA states: 19 
DFA transitions: 453
Problem file: data/zoo_json_cond_enf2/Intranetwork_3.json
Switches to update: 84

Decomposed topology into 12 subproblems
Topological decomposition took 0.077 seconds
Subproblem verification time: 0.295 seconds
Subproblem verification time: 0.097 seconds
Subproblem verification time: 0.093 seconds
Subproblem verification time: 0.081 seconds
Subproblem verification time: 0.089 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.077 seconds
Subproblem verification time: 0.092 seconds
Subproblem verification time: 0.064 seconds
Subproblem verification time: 0.1 seconds
Subproblem verification time: 0.088 seconds
Subproblem verification time: 0.063 seconds
Minimum batches required: 3
[[28, 21, 20, 19, 4, 7, 13, 2, 37, 67, 60, 59, 58, 43, 46, 52, 41, 76, 106, 99, 98, 97, 82, 85, 91, 80, 115, 145, 138, 137, 136, 121, 124, 130, 119, 154], [11, 34, 16, 38, 14, 50, 73, 55, 77, 53, 89, 112, 94, 116, 92, 128, 151, 133, 155, 131], [18, 22, 12, 6, 5, 8, 29, 57, 61, 51, 45, 44, 47, 68, 96, 100, 90, 84, 83, 86, 107, 135, 139, 129, 123, 122, 125, 146]]
Total program runtime: 1.893 seconds

real 2.20
user 3.97
sys 0.63
