Sota solver results for family conformant_planning
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceSolverResultTime
cube_c3_ser--opt-6_depqbf-cert-v2SAT0.11
cube_c9_par--opt-11_cheqSAT100.56
emptyroom_e3_ser--opt-20_depqbf-cert-v2SAT2.81
ring_r3_ser--opt-8_cheqSAT0.95
ring_r4_ser--opt-11_cheqUNSAT0.09