Trace-Length 5
ARBAC
Unsat
Trace-Length 10
ARBAC
Unsat