The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Planning-CTE family
Download (0 Kb)
Submitter:
Michael Cashmore
Suite:
Cashmore-Fox-Giunchiglia
Domain:
Planning
Description:
Number of instances:
150
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 2
2017 - Track 1
2017 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
Instances:
depots01_4
depots01_5
depots01_6
depots02_7
depots02_8
depots02_9
depots03_7
depots03_8
depots03_9
depots04_7
depots04_8
depots04_9
depots05_7
depots05_8
depots05_9
depots06_15
depots06_16
depots06_17
depots07_7
depots07_8
depots07_9
depots08_6
depots08_7
depots08_8
depots09_11
depots09_12
depots09_13
depots10_6
depots10_7
depots10_8
depots13_7
depots13_8
depots13_9
depots16_5
depots16_6
depots16_7
driverlog01_5
driverlog01_6
driverlog01_7
driverlog02_10
driverlog02_8
driverlog02_9
driverlog03_6
driverlog03_7
driverlog03_8
driverlog04_6
driverlog04_7
driverlog04_8
driverlog05_7
driverlog05_8
driverlog05_9
driverlog06_4
driverlog06_5
driverlog06_6
driverlog07_5
driverlog07_6
driverlog07_7
driverlog08_5
driverlog08_6
driverlog08_7
driverlog09_10
driverlog09_8
driverlog09_9
driverlog10_5
driverlog10_6
driverlog10_7
driverlog11_7
driverlog11_8
driverlog11_9
driverlog12_7
driverlog12_8
driverlog12_9
driverlog13_6
driverlog13_7
driverlog13_8
driverlog14_7
driverlog14_8
driverlog14_9
driverlog15_6
driverlog15_7
driverlog15_8
freecell01_4
freecell01_5
freecell01_6
freecell02_4
freecell02_5
freecell02_6
freecell03_5
freecell03_6
freecell03_7
freecell04_7
freecell04_8
freecell04_9
pipesnotankage01_2
pipesnotankage01_3
pipesnotankage01_4
pipesnotankage02_5
pipesnotankage02_6
pipesnotankage02_7
pipesnotankage03_5
pipesnotankage03_6
pipesnotankage03_7
pipesnotankage04_5
pipesnotankage04_6
pipesnotankage04_7
pipesnotankage05_4
pipesnotankage05_5
pipesnotankage05_6
pipesnotankage06_4
pipesnotankage06_5
pipesnotankage06_6
pipesnotankage07_4
pipesnotankage07_5
pipesnotankage07_6
pipesnotankage08_4
pipesnotankage08_5
pipesnotankage08_6
pipesnotankage09_5
pipesnotankage09_6
pipesnotankage09_7
pipesnotankage10_5
pipesnotankage10_6
pipesnotankage10_7
pipesnotankage11_6
pipesnotankage11_7
pipesnotankage11_8
pipesnotankage12_7
pipesnotankage12_8
pipesnotankage12_9
pipesnotankage13_5
pipesnotankage13_6
pipesnotankage13_7
pipesnotankage14_10
pipesnotankage14_11
pipesnotankage14_9
pipesnotankage15_10
pipesnotankage15_8
pipesnotankage15_9
pipesnotankage16_10
pipesnotankage16_8
pipesnotankage16_9
pipesnotankage17_5
pipesnotankage17_6
pipesnotankage17_7
pipesnotankage18_7
pipesnotankage18_8
pipesnotankage18_9
pipesnotankage19_7
pipesnotankage19_8
pipesnotankage19_9
Contact
|
Organization
|
Links
|
Citing QBFLIB