Skip to main content

Table 5 Datasets in our benchmark: multiple exceptions and violations

From: On the use of Max-SAT and PDDL in RBAC maintenance

   Max-SAT encoding - multiple exceptions/violations
Dataset #Runs #V #C # Ch # Cs
SmallComp 10 1.2464 4.9284 4.4514 4.7743
Domino 10 5.6837 1.1167 1.1007 1.6575
University 10 1.7636 1.4357 1.4137 2.1685
   PDDL encoding
Dataset #Runs #Atoms #Init_State #Goal_State #Dim(byte)
SmallComp 10 9.0223 1.1773 1.1703 8.0004
Domino 10 1.2246 4.8134 4.8124 3.7486
  1. #V,#C,#Ch, and #Cs are the number of variables, clauses, hard clauses, and soft clauses in the Max-SAT encoding to include multiple exceptions and violations. #Runs is the number of instance, #Atoms, #Init_State, #Goal_State and #Dim(byte) are respectively the number of atomic prepositions, predicates of the init and goal state and the size of the PDDL instance