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

InstanceResultTime
Q_2-2-3_v-100-100-100_r-35.2FAIL39.46
Q_2-2-3_v-100-100-100_r-35.3FAIL39.77
Q_2-2-3_v-100-100-100_r-35.8FAIL39.88
Q_2-2-3_v-100-100-100_r-35.0FAIL39.93
Q_2-2-3_v-100-100-100_r-35.4FAIL39.95
Q_2-2-3_v-100-100-100_r-35.6FAIL39.96
Q_2-2-3_v-100-100-100_r-35.1FAIL39.98
Q_2-2-3_v-100-100-100_r-35.7FAIL40
Q_2-2-3_v-100-100-100_r-35.9FAIL40.1
Q_2-2-3_v-100-100-100_r-35.5FAIL40.2
Q_2-2-3_v-100-100-100_r-45.7FAIL83.1
Q_2-2-3_v-100-100-100_r-45.0FAIL83.44
Q_2-2-3_v-100-100-100_r-45.8FAIL84.2
Q_2-2-3_v-100-100-100_r-45.6FAIL84.24
Q_2-2-3_v-100-100-100_r-45.2FAIL84.24
Q_2-2-3_v-100-100-100_r-45.4FAIL84.25
Q_2-2-3_v-100-100-100_r-45.5FAIL84.3
Q_2-2-3_v-100-100-100_r-45.1FAIL84.38
Q_2-2-3_v-100-100-100_r-45.3FAIL84.45
Q_2-2-3_v-100-100-100_r-45.9FAIL84.5
Q_2-2-3_v-100-100-100_r-55.9FAIL138.02
Q_2-2-3_v-100-100-100_r-55.0FAIL139.58
Q_2-2-3_v-100-100-100_r-55.4FAIL141.23
Q_2-2-3_v-100-100-100_r-55.2FAIL142.53
Q_2-2-3_v-100-100-100_r-55.1FAIL146.2
Q_2-2-3_v-100-100-100_r-55.7FAIL151.88
Q_2-2-3_v-100-100-100_r-55.3FAIL152.21
Q_2-2-3_v-100-100-100_r-55.5FAIL152.23
Q_2-2-3_v-100-100-100_r-55.8FAIL152.38
Q_2-2-3_v-100-100-100_r-55.6FAIL152.4
Q_2-2-3_v-100-100-100_r-65.0FAIL225.03
Q_2-2-3_v-100-100-100_r-65.3FAIL226.68
Q_2-2-3_v-100-100-100_r-65.2FAIL237.72
Q_2-2-3_v-100-100-100_r-65.8FAIL240.23
Q_2-2-3_v-100-100-100_r-65.7FAIL240.94
Q_2-2-3_v-100-100-100_r-65.1FAIL248.27
Q_2-2-3_v-100-100-100_r-65.6FAIL250.02
Q_2-2-3_v-100-100-100_r-65.5FAIL250.71
Q_2-2-3_v-100-100-100_r-65.9FAIL250.75
Q_2-2-3_v-100-100-100_r-65.4FAIL251.08
Q_2-2-3_v-100-100-100_r-75.2FAIL348.3
Q_2-2-3_v-100-100-100_r-75.9FAIL349.42
Q_2-2-3_v-100-100-100_r-75.0FAIL350.27
Q_2-2-3_v-100-100-100_r-75.7FAIL352
Q_2-2-3_v-100-100-100_r-75.1FAIL355.18
Q_2-2-3_v-100-100-100_r-75.5FAIL355.82
Q_2-2-3_v-100-100-100_r-75.8FAIL359.24
Q_2-2-3_v-100-100-100_r-75.6FAIL364.89
Q_2-2-3_v-100-100-100_r-75.3FAIL366.09
Q_2-2-3_v-100-100-100_r-75.4FAIL376.49