Instances of family Q_3_3 solved by AIGSolve
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
Q_3-3_v-100-100_r-19.1FAIL603.32
Q_3-3_v-100-100_r-17.8FAIL622.49
Q_3-3_v-100-100_r-17.2FAIL622.53
Q_3-3_v-100-100_r-19.2FAIL661.58
Q_3-3_v-100-100_r-19.9FAIL684.71
Q_3-3_v-100-100_r-13.1FAIL689.63
Q_3-3_v-100-100_r-19.7FAIL702.53
Q_3-3_v-100-100_r-15.0FAIL724.67
Q_3-3_v-100-100_r-15.2FAIL726.64
Q_3-3_v-100-100_r-13.4FAIL732.34
Q_3-3_v-100-100_r-15.7FAIL738.42
Q_3-3_v-100-100_r-11.6FAIL748.88
Q_3-3_v-100-100_r-17.1FAIL756.49
Q_3-3_v-100-100_r-17.7FAIL761.68
Q_3-3_v-100-100_r-15.6FAIL766.01
Q_3-3_v-100-100_r-19.4FAIL769.86
Q_3-3_v-100-100_r-15.5FAIL773.15
Q_3-3_v-100-100_r-13.2FAIL784.76
Q_3-3_v-100-100_r-15.1FAIL785.03
Q_3-3_v-100-100_r-19.8FAIL785.05
Q_3-3_v-100-100_r-17.0FAIL785.99
Q_3-3_v-100-100_r-19.6FAIL796.25
Q_3-3_v-100-100_r-17.5FAIL817.29
Q_3-3_v-100-100_r-13.3FAIL823.73
Q_3-3_v-100-100_r-15.8FAIL824
Q_3-3_v-100-100_r-15.4FAIL825.44
Q_3-3_v-100-100_r-19.3FAIL834.46
Q_3-3_v-100-100_r-15.3FAIL836.92
Q_3-3_v-100-100_r-11.1FAIL852.46
Q_3-3_v-100-100_r-11.5FAIL859.24
Q_3-3_v-100-100_r-13.6FAIL860.85
Q_3-3_v-100-100_r-11.4FAIL865.09
Q_3-3_v-100-100_r-13.8FAIL865.33
Q_3-3_v-100-100_r-13.9FAIL881.28
Q_3-3_v-100-100_r-19.5FAIL885.15
Q_3-3_v-100-100_r-17.4FAIL891.1
Q_3-3_v-100-100_r-11.9FAIL900
Q_3-3_v-100-100_r-13.7FAIL900
Q_3-3_v-100-100_r-17.3FAIL900
Q_3-3_v-100-100_r-11.2FAIL900
Q_3-3_v-100-100_r-13.0FAIL900
Q_3-3_v-100-100_r-11.3FAIL900
Q_3-3_v-100-100_r-17.6FAIL900
Q_3-3_v-100-100_r-15.9FAIL900
Q_3-3_v-100-100_r-11.7FAIL900
Q_3-3_v-100-100_r-13.5FAIL900
Q_3-3_v-100-100_r-17.9FAIL900
Q_3-3_v-100-100_r-11.0FAIL900
Q_3-3_v-100-100_r-11.8FAIL900
Q_3-3_v-100-100_r-19.0FAIL900