Instances of family Q_3_3 solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
Q_3-3_v-100-100_r-11.2FAIL3600
Q_3-3_v-100-100_r-13.0FAIL3600
Q_3-3_v-100-100_r-13.8FAIL3600
Q_3-3_v-100-100_r-15.6FAIL3600
Q_3-3_v-100-100_r-17.4FAIL3600
Q_3-3_v-100-100_r-19.2FAIL3600
Q_3-3_v-100-100_r-11.3FAIL3600
Q_3-3_v-100-100_r-13.1FAIL3600
Q_3-3_v-100-100_r-13.9FAIL3600
Q_3-3_v-100-100_r-15.7FAIL3600
Q_3-3_v-100-100_r-17.5FAIL3600
Q_3-3_v-100-100_r-19.3FAIL3600
Q_3-3_v-100-100_r-11.4FAIL3600
Q_3-3_v-100-100_r-13.2FAIL3600
Q_3-3_v-100-100_r-15.0FAIL3600
Q_3-3_v-100-100_r-15.8FAIL3600
Q_3-3_v-100-100_r-17.6FAIL3600
Q_3-3_v-100-100_r-19.4FAIL3600
Q_3-3_v-100-100_r-11.5FAIL3600
Q_3-3_v-100-100_r-13.3FAIL3600
Q_3-3_v-100-100_r-15.1FAIL3600
Q_3-3_v-100-100_r-15.9FAIL3600
Q_3-3_v-100-100_r-17.7FAIL3600
Q_3-3_v-100-100_r-19.5FAIL3600
Q_3-3_v-100-100_r-11.6FAIL3600
Q_3-3_v-100-100_r-13.4FAIL3600
Q_3-3_v-100-100_r-15.2FAIL3600
Q_3-3_v-100-100_r-17.0FAIL3600
Q_3-3_v-100-100_r-17.8FAIL3600
Q_3-3_v-100-100_r-19.6FAIL3600
Q_3-3_v-100-100_r-11.7FAIL3600
Q_3-3_v-100-100_r-13.5FAIL3600
Q_3-3_v-100-100_r-15.3FAIL3600
Q_3-3_v-100-100_r-17.1FAIL3600
Q_3-3_v-100-100_r-17.9FAIL3600
Q_3-3_v-100-100_r-19.7FAIL3600
Q_3-3_v-100-100_r-11.0FAIL3600
Q_3-3_v-100-100_r-11.8FAIL3600
Q_3-3_v-100-100_r-13.6FAIL3600
Q_3-3_v-100-100_r-15.4FAIL3600
Q_3-3_v-100-100_r-17.2FAIL3600
Q_3-3_v-100-100_r-19.0FAIL3600
Q_3-3_v-100-100_r-19.8FAIL3600
Q_3-3_v-100-100_r-11.1FAIL3600
Q_3-3_v-100-100_r-11.9FAIL3600
Q_3-3_v-100-100_r-13.7FAIL3600
Q_3-3_v-100-100_r-15.5FAIL3600
Q_3-3_v-100-100_r-17.3FAIL3600
Q_3-3_v-100-100_r-19.1FAIL3600
Q_3-3_v-100-100_r-19.9FAIL3600