Instances of family Q_3_3_3 solved by ijtihad_v2
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
Q_3-3-3_v-100-100-100_r-30.1FAIL900
Q_3-3-3_v-100-100-100_r-30.9FAIL900
Q_3-3-3_v-100-100-100_r-40.7FAIL900
Q_3-3-3_v-100-100-100_r-50.5FAIL900
Q_3-3-3_v-100-100-100_r-60.3FAIL900
Q_3-3-3_v-100-100-100_r-70.1FAIL900
Q_3-3-3_v-100-100-100_r-70.9FAIL900
Q_3-3-3_v-100-100-100_r-30.2FAIL900
Q_3-3-3_v-100-100-100_r-40.0FAIL900
Q_3-3-3_v-100-100-100_r-40.8FAIL900
Q_3-3-3_v-100-100-100_r-50.6FAIL900
Q_3-3-3_v-100-100-100_r-60.4FAIL900
Q_3-3-3_v-100-100-100_r-70.2FAIL900
Q_3-3-3_v-100-100-100_r-30.3FAIL900
Q_3-3-3_v-100-100-100_r-40.1FAIL900
Q_3-3-3_v-100-100-100_r-40.9FAIL900
Q_3-3-3_v-100-100-100_r-50.7FAIL900
Q_3-3-3_v-100-100-100_r-60.5FAIL900
Q_3-3-3_v-100-100-100_r-70.3FAIL900
Q_3-3-3_v-100-100-100_r-30.4FAIL900
Q_3-3-3_v-100-100-100_r-40.2FAIL900
Q_3-3-3_v-100-100-100_r-50.0FAIL900
Q_3-3-3_v-100-100-100_r-50.8FAIL900
Q_3-3-3_v-100-100-100_r-60.6FAIL900
Q_3-3-3_v-100-100-100_r-70.4FAIL900
Q_3-3-3_v-100-100-100_r-30.5FAIL900
Q_3-3-3_v-100-100-100_r-40.3FAIL900
Q_3-3-3_v-100-100-100_r-50.1FAIL900
Q_3-3-3_v-100-100-100_r-50.9FAIL900
Q_3-3-3_v-100-100-100_r-60.7FAIL900
Q_3-3-3_v-100-100-100_r-70.5FAIL900
Q_3-3-3_v-100-100-100_r-30.6FAIL900
Q_3-3-3_v-100-100-100_r-40.4FAIL900
Q_3-3-3_v-100-100-100_r-50.2FAIL900
Q_3-3-3_v-100-100-100_r-60.0FAIL900
Q_3-3-3_v-100-100-100_r-60.8FAIL900
Q_3-3-3_v-100-100-100_r-70.6FAIL900
Q_3-3-3_v-100-100-100_r-30.7FAIL900
Q_3-3-3_v-100-100-100_r-40.5FAIL900
Q_3-3-3_v-100-100-100_r-50.3FAIL900
Q_3-3-3_v-100-100-100_r-60.1FAIL900
Q_3-3-3_v-100-100-100_r-60.9FAIL900
Q_3-3-3_v-100-100-100_r-70.7FAIL900
Q_3-3-3_v-100-100-100_r-30.0FAIL900
Q_3-3-3_v-100-100-100_r-30.8FAIL900
Q_3-3-3_v-100-100-100_r-40.6FAIL900
Q_3-3-3_v-100-100-100_r-50.4FAIL900
Q_3-3-3_v-100-100-100_r-60.2FAIL900
Q_3-3-3_v-100-100-100_r-70.0FAIL900
Q_3-3-3_v-100-100-100_r-70.8FAIL900