PCFS uses a formal logic with more connectives than the Guardat policy language.
for each access pattern in each configuration, we perform five experimental runs; each run has 20,000 accesses (a total of 100,000 ac­cesses for each configuration).