Detail page for Planning-CTE family


	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

The Quantified Boolean Formulas Satisfiability Library

Detail page for Planning-CTE family