Version: 1.15 
 verifypn-linux64 data/zoo_json_cond_enf1/Karen_4.json -E -C -R -O -V Low
DFA generation time: 0.027 seconds 
DFA states: 7 
DFA transitions: 197
Problem file: data/zoo_json_cond_enf1/Karen_4.json
Switches to update: 72

Decomposed topology into 7 subproblems
Topological decomposition took 0.054 seconds
Subproblem verification time: 0.477 seconds
Subproblem verification time: 0.115 seconds
Subproblem verification time: 0.116 seconds
Subproblem verification time: 0.111 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 0.11 seconds
Subproblem verification time: 15.43 seconds
Minimum batches required: 3
[[21, 14, 2, 5, 46, 39, 27, 30, 71, 64, 52, 55, 96, 89, 77, 80, 121, 114, 102, 105, 146, 139, 127, 130, 196, 189, 177, 171, 164, 152, 180, 155], [0, 9, 25, 34, 50, 59, 75, 84, 100, 109, 125, 134, 175, 184, 150, 159], [23, 24, 3, 48, 49, 28, 73, 74, 53, 98, 99, 78, 123, 124, 103, 148, 149, 128, 198, 199, 178, 173, 174, 153]]
Total program runtime: 17.071 seconds

real 17.42
user 18.74
sys 0.77
