Instances of family conformant_planning solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
ring_r4_ser--opt-11_UNSAT0.09
cube_c3_ser--opt-6_SAT0.14
ring_r3_ser--opt-8_SAT0.95
cube_c9_par--opt-11_SAT100.56
cube_c11_par---13_FAIL601.44
emptyroom_e4_ser--opt-44_FAIL601.86
emptyroom_e4_par---21_FAIL604.13
ring_r6_ser--opt-17_FAIL605.92
emptyroom_e3_ser--opt-20_FAIL607.25
cube_c11_ser--opt-42_FAIL614.54
emptyroom_e3_ser---19_FAIL619.23
cube_c7_ser--opt-24_FAIL651.92