Instances of family conformant_planning solved by cqesto
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
cube_c7_ser--opt-24_FAIL900
emptyroom_e4_ser--opt-44_FAIL900
ring_r6_ser--opt-17_FAIL900