Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf2/Cernet_4.json -R -O -V Low
DFA generation time: 0.041 seconds 
DFA states: 19 
DFA transitions: 341
Problem file: data/zoo_json_cond_enf2/Cernet_4.json
Switches to update: 56

Decomposed topology into 12 subproblems
Topological decomposition took 0.071 seconds
Subproblem verification time: 0.181 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.048 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.058 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.054 seconds
Subproblem verification time: 0.029 seconds
Subproblem verification time: 0.311 seconds
Minimum batches required: 2
[[15, 24, 3, 48, 57, 36, 81, 90, 69, 114, 123, 102, 147, 156, 135, 180, 255, 246, 222, 213, 189, 168, 201, 234], [29, 23, 32, 2, 62, 56, 65, 35, 95, 89, 98, 68, 128, 122, 131, 101, 161, 155, 164, 134, 194, 188, 263, 230, 197, 167, 227, 221, 200, 260, 254, 233]]
Total program runtime: 1.557 seconds

real 1.87
user 3.60
sys 0.47
