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

InstanceResultTime
Q_3-3-3_v-100-100-100_r-30.9FAIL52.82
Q_3-3-3_v-100-100-100_r-30.8FAIL54.85
Q_3-3-3_v-100-100-100_r-30.4FAIL55.03
Q_3-3-3_v-100-100-100_r-30.3FAIL55.46
Q_3-3-3_v-100-100-100_r-30.2FAIL55.49
Q_3-3-3_v-100-100-100_r-30.5FAIL55.67
Q_3-3-3_v-100-100-100_r-30.0FAIL55.7
Q_3-3-3_v-100-100-100_r-30.6FAIL55.71
Q_3-3-3_v-100-100-100_r-30.7FAIL55.79
Q_3-3-3_v-100-100-100_r-30.1FAIL55.81
Q_3-3-3_v-100-100-100_r-40.5FAIL117.87
Q_3-3-3_v-100-100-100_r-40.2FAIL118.85
Q_3-3-3_v-100-100-100_r-40.3FAIL119.78
Q_3-3-3_v-100-100-100_r-40.6FAIL121.88
Q_3-3-3_v-100-100-100_r-40.1FAIL121.9
Q_3-3-3_v-100-100-100_r-40.8FAIL127.92
Q_3-3-3_v-100-100-100_r-40.7FAIL129.24
Q_3-3-3_v-100-100-100_r-40.4FAIL129.9
Q_3-3-3_v-100-100-100_r-40.0FAIL130.04
Q_3-3-3_v-100-100-100_r-40.9FAIL131.55
Q_3-3-3_v-100-100-100_r-50.3FAIL236.62
Q_3-3-3_v-100-100-100_r-50.7FAIL239.67
Q_3-3-3_v-100-100-100_r-50.5FAIL240.01
Q_3-3-3_v-100-100-100_r-50.6FAIL247.58
Q_3-3-3_v-100-100-100_r-50.0FAIL249.62
Q_3-3-3_v-100-100-100_r-50.1FAIL251.94
Q_3-3-3_v-100-100-100_r-50.2FAIL255.69
Q_3-3-3_v-100-100-100_r-50.9FAIL255.8
Q_3-3-3_v-100-100-100_r-50.8FAIL256.16
Q_3-3-3_v-100-100-100_r-50.4FAIL256.2
Q_3-3-3_v-100-100-100_r-60.4FAIL398.97
Q_3-3-3_v-100-100-100_r-60.6FAIL400.28
Q_3-3-3_v-100-100-100_r-60.1FAIL401.11
Q_3-3-3_v-100-100-100_r-60.2FAIL402.63
Q_3-3-3_v-100-100-100_r-60.8FAIL404.37
Q_3-3-3_v-100-100-100_r-60.3FAIL407.67
Q_3-3-3_v-100-100-100_r-60.9FAIL410.37
Q_3-3-3_v-100-100-100_r-60.7FAIL410.54
Q_3-3-3_v-100-100-100_r-60.0FAIL421.39
Q_3-3-3_v-100-100-100_r-60.5FAIL425.79
Q_3-3-3_v-100-100-100_r-70.1FAIL625.66
Q_3-3-3_v-100-100-100_r-70.7FAIL634.12
Q_3-3-3_v-100-100-100_r-70.5FAIL636.14
Q_3-3-3_v-100-100-100_r-70.0FAIL636.35
Q_3-3-3_v-100-100-100_r-70.6FAIL641.15
Q_3-3-3_v-100-100-100_r-70.8FAIL644.44
Q_3-3-3_v-100-100-100_r-70.9FAIL644.86
Q_3-3-3_v-100-100-100_r-70.4FAIL647.89
Q_3-3-3_v-100-100-100_r-70.3FAIL667.27
Q_3-3-3_v-100-100-100_r-70.2FAIL685.97