Detail page for conformant


	Submitter:	Hector Palacios

	Suite:	Palacios

	Domain:	Planning

	Description:	Conformant planning problems. Matrix created with the formula Initial_State \imply Theory \and goal.

	Number of instances:	24

	Results:	2018 - Track 5 2017 - Track 1 2017 - Track 2 2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7 2010 - Track 1 2008 - Track 1 2007 - Track 1

	Instances:	blocks_enc_2_b3_ser--opt-9_ blocks_enc_2_b4_ser--opt-26_ cube_c11_par---13_ cube_c11_par--opt-14_ cube_c11_ser--opt-42_ cube_c3_ser--opt-6_ cube_c5_ser---14_ cube_c5_ser--opt-15_ cube_c7_ser---23_ cube_c7_ser--opt-24_ cube_c9_par---10_ cube_c9_par--opt-11_ emptyroom_e3_par--opt-10_ emptyroom_e3_ser---19_ emptyroom_e3_ser--opt-20_ emptyroom_e4_par---21_ emptyroom_e4_par--opt-22_ emptyroom_e4_ser--opt-44_ ring_r3_ser--opt-8_ ring_r4_ser--opt-11_ ring_r6_ser---16_ ring_r6_ser--opt-17_ ring_r7_ser---19_ ring_r7_ser--opt-20_

The Quantified Boolean Formulas Satisfiability Library