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

InstanceResultTime
Q_2-3_v-80-100_r-5.8FAIL594.25
Q_2-3_v-80-100_r-9.3FAIL646.29
Q_2-3_v-80-100_r-11.2FAIL672.75
Q_2-3_v-80-100_r-5.2FAIL722.67
Q_2-3_v-80-100_r-5.0FAIL722.79
Q_2-3_v-80-100_r-7.4FAIL723.88
Q_2-3_v-80-100_r-5.7FAIL731.29
Q_2-3_v-80-100_r-7.9FAIL735.34
Q_2-3_v-80-100_r-7.1FAIL754.81
Q_2-3_v-80-100_r-5.5FAIL757.67
Q_2-3_v-80-100_r-11.4FAIL766.8
Q_2-3_v-80-100_r-9.0FAIL768.54
Q_2-3_v-80-100_r-7.8FAIL772.88
Q_2-3_v-80-100_r-7.5FAIL798.63
Q_2-3_v-80-100_r-5.3FAIL813.4
Q_2-3_v-80-100_r-13.1FAIL814.01
Q_2-3_v-80-100_r-9.4FAIL826.65
Q_2-3_v-80-100_r-13.5FAIL829.97
Q_2-3_v-80-100_r-5.9FAIL839.91
Q_2-3_v-80-100_r-5.4FAIL840.2
Q_2-3_v-80-100_r-5.1FAIL871.34
Q_2-3_v-80-100_r-11.5FAIL876.7
Q_2-3_v-80-100_r-11.3FAIL878.86
Q_2-3_v-80-100_r-9.5FAIL890.54
Q_2-3_v-80-100_r-9.2FAIL895.37
Q_2-3_v-80-100_r-13.0FAIL900
Q_2-3_v-80-100_r-7.7FAIL900
Q_2-3_v-80-100_r-7.0FAIL900
Q_2-3_v-80-100_r-9.6FAIL900
Q_2-3_v-80-100_r-13.4FAIL900
Q_2-3_v-80-100_r-9.7FAIL900
Q_2-3_v-80-100_r-7.2FAIL900
Q_2-3_v-80-100_r-9.8FAIL900
Q_2-3_v-80-100_r-11.6FAIL900
Q_2-3_v-80-100_r-13.6FAIL900
Q_2-3_v-80-100_r-7.3FAIL900
Q_2-3_v-80-100_r-9.1FAIL900
Q_2-3_v-80-100_r-9.9FAIL900
Q_2-3_v-80-100_r-11.7FAIL900
Q_2-3_v-80-100_r-13.7FAIL900
Q_2-3_v-80-100_r-5.6FAIL900
Q_2-3_v-80-100_r-11.0FAIL900
Q_2-3_v-80-100_r-11.8FAIL900
Q_2-3_v-80-100_r-13.8FAIL900
Q_2-3_v-80-100_r-11.1FAIL900
Q_2-3_v-80-100_r-11.9FAIL900
Q_2-3_v-80-100_r-7.6FAIL900