The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Application domain Planning
Description:
Number of families:
30
Families:
Blocks (
13
)
bomb (
297
)
conformant_planning (
24
)
Connect2 (
192
)
Connect3 (
147
)
Connect4 (
168
)
Connect5 (
75
)
Connect6 (
48
)
Connect7 (
27
)
Connect8 (
12
)
Connect9 (
3
)
dungeon (
1453
)
evader-pursuer-4x4-logarithmic (
7
)
evader-pursuer-4x4-standard (
7
)
evader-pursuer-6x6-logarithmic (
8
)
evader-pursuer-6x6-standard (
8
)
evader-pursuer-8x8-logarithmic (
8
)
Generalized-Tic-Tac-Toe (
180
)
Logn (
4
)
Planning-CTE (
150
)
RobotsD2 (
1000
)
RobotsD3 (
1000
)
RobotsD4 (
1000
)
RobotsD5 (
1000
)
Sorting_networks (
84
)
Strategic_Companies (
1060
)
Toilet (
8
)
ToiletA (
77
)
ToiletC (
85
)
ToiletG (
7
)
Results:
Contact
|
Organization
|
Links
|
Citing QBFLIB