Skip to main content
Cybersecurity

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
Back to article page