Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Cernet_4.json -R -O -V Low
DFA generation time: 0.03 seconds 
DFA states: 7 
DFA transitions: 165
Problem file: data/zoo_json_cond_enf1/Cernet_4.json
Switches to update: 56

Decomposed topology into 12 subproblems
Topological decomposition took 0.063 seconds
Subproblem verification time: 0.132 seconds
Subproblem verification time: 0.056 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.026 seconds
Subproblem verification time: 0.062 seconds
Subproblem verification time: 0.031 seconds
Subproblem verification time: 0.057 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.059 seconds
Subproblem verification time: 0.028 seconds
Subproblem verification time: 0.304 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.539 seconds

real 1.86
user 3.42
sys 0.56
