Instances of family Q_2_2_3 solved by caqe_2017_v3
QBFEVAL'17 - Random QBFs Track

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