Note that as in prior work [6], we did not try this Benchmark Class on the other existing tools.
we have the somewhat interesting situation that no single tool can be said to be good with all the input ATRBAC-safety instances we have tried.