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

InstanceResultTime
Q_2-2-3_v-100-100-100_r-35.3FAIL3600
Q_2-2-3_v-100-100-100_r-45.1FAIL3600
Q_2-2-3_v-100-100-100_r-45.9FAIL3600
Q_2-2-3_v-100-100-100_r-55.7FAIL3600
Q_2-2-3_v-100-100-100_r-65.5FAIL3600
Q_2-2-3_v-100-100-100_r-75.3FAIL3600
Q_2-2-3_v-100-100-100_r-35.4FAIL3600
Q_2-2-3_v-100-100-100_r-45.2FAIL3600
Q_2-2-3_v-100-100-100_r-55.0FAIL3600
Q_2-2-3_v-100-100-100_r-55.8FAIL3600
Q_2-2-3_v-100-100-100_r-65.6FAIL3600
Q_2-2-3_v-100-100-100_r-75.4FAIL3600
Q_2-2-3_v-100-100-100_r-35.5FAIL3600
Q_2-2-3_v-100-100-100_r-45.3FAIL3600
Q_2-2-3_v-100-100-100_r-55.1FAIL3600
Q_2-2-3_v-100-100-100_r-55.9FAIL3600
Q_2-2-3_v-100-100-100_r-65.7FAIL3600
Q_2-2-3_v-100-100-100_r-75.5FAIL3600
Q_2-2-3_v-100-100-100_r-35.6FAIL3600
Q_2-2-3_v-100-100-100_r-45.4FAIL3600
Q_2-2-3_v-100-100-100_r-55.2FAIL3600
Q_2-2-3_v-100-100-100_r-65.0FAIL3600
Q_2-2-3_v-100-100-100_r-65.8FAIL3600
Q_2-2-3_v-100-100-100_r-75.6FAIL3600
Q_2-2-3_v-100-100-100_r-35.7FAIL3600
Q_2-2-3_v-100-100-100_r-45.5FAIL3600
Q_2-2-3_v-100-100-100_r-55.3FAIL3600
Q_2-2-3_v-100-100-100_r-65.1FAIL3600
Q_2-2-3_v-100-100-100_r-65.9FAIL3600
Q_2-2-3_v-100-100-100_r-75.7FAIL3600
Q_2-2-3_v-100-100-100_r-35.0FAIL3600
Q_2-2-3_v-100-100-100_r-35.8FAIL3600
Q_2-2-3_v-100-100-100_r-45.6FAIL3600
Q_2-2-3_v-100-100-100_r-55.4FAIL3600
Q_2-2-3_v-100-100-100_r-65.2FAIL3600
Q_2-2-3_v-100-100-100_r-75.0FAIL3600
Q_2-2-3_v-100-100-100_r-75.8FAIL3600
Q_2-2-3_v-100-100-100_r-35.1FAIL3600
Q_2-2-3_v-100-100-100_r-35.9FAIL3600
Q_2-2-3_v-100-100-100_r-45.7FAIL3600
Q_2-2-3_v-100-100-100_r-55.5FAIL3600
Q_2-2-3_v-100-100-100_r-65.3FAIL3600
Q_2-2-3_v-100-100-100_r-75.1FAIL3600
Q_2-2-3_v-100-100-100_r-75.9FAIL3600
Q_2-2-3_v-100-100-100_r-35.2FAIL3600
Q_2-2-3_v-100-100-100_r-45.0FAIL3600
Q_2-2-3_v-100-100-100_r-45.8FAIL3600
Q_2-2-3_v-100-100-100_r-55.6FAIL3600
Q_2-2-3_v-100-100-100_r-65.4FAIL3600
Q_2-2-3_v-100-100-100_r-75.2FAIL3600