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

InstanceResultTime
Q_2-2-3_v-100-100-100_r-45.1FAIL327.09
Q_2-2-3_v-100-100-100_r-45.6FAIL331.81
Q_2-2-3_v-100-100-100_r-45.7FAIL339.03
Q_2-2-3_v-100-100-100_r-35.4FAIL341.32
Q_2-2-3_v-100-100-100_r-45.2FAIL344.91
Q_2-2-3_v-100-100-100_r-35.1FAIL346.02
Q_2-2-3_v-100-100-100_r-55.9FAIL346.52
Q_2-2-3_v-100-100-100_r-35.9FAIL348.02
Q_2-2-3_v-100-100-100_r-45.3FAIL349.12
Q_2-2-3_v-100-100-100_r-45.8FAIL351.16
Q_2-2-3_v-100-100-100_r-35.6FAIL351.5
Q_2-2-3_v-100-100-100_r-35.7FAIL354.17
Q_2-2-3_v-100-100-100_r-65.3FAIL355.34
Q_2-2-3_v-100-100-100_r-55.1FAIL358.34
Q_2-2-3_v-100-100-100_r-75.2FAIL358.56
Q_2-2-3_v-100-100-100_r-55.5FAIL363.42
Q_2-2-3_v-100-100-100_r-65.7FAIL364.48
Q_2-2-3_v-100-100-100_r-55.0FAIL368.67
Q_2-2-3_v-100-100-100_r-35.8FAIL369.97
Q_2-2-3_v-100-100-100_r-75.3FAIL370.66
Q_2-2-3_v-100-100-100_r-75.6FAIL371.71
Q_2-2-3_v-100-100-100_r-65.2FAIL372.76
Q_2-2-3_v-100-100-100_r-65.0FAIL372.82
Q_2-2-3_v-100-100-100_r-45.5FAIL374.11
Q_2-2-3_v-100-100-100_r-55.8FAIL378.96
Q_2-2-3_v-100-100-100_r-45.0FAIL383.23
Q_2-2-3_v-100-100-100_r-55.7FAIL384.34
Q_2-2-3_v-100-100-100_r-35.3FAIL386.45
Q_2-2-3_v-100-100-100_r-75.4FAIL387.04
Q_2-2-3_v-100-100-100_r-35.5FAIL388.25
Q_2-2-3_v-100-100-100_r-75.5FAIL389.89
Q_2-2-3_v-100-100-100_r-55.6FAIL393.64
Q_2-2-3_v-100-100-100_r-55.2FAIL399.42
Q_2-2-3_v-100-100-100_r-65.6FAIL401.68
Q_2-2-3_v-100-100-100_r-55.4FAIL404.15
Q_2-2-3_v-100-100-100_r-45.9FAIL410.78
Q_2-2-3_v-100-100-100_r-75.1FAIL420.82
Q_2-2-3_v-100-100-100_r-75.8FAIL421.66
Q_2-2-3_v-100-100-100_r-55.3FAIL430.67
Q_2-2-3_v-100-100-100_r-65.8FAIL431.84
Q_2-2-3_v-100-100-100_r-75.7FAIL439.84
Q_2-2-3_v-100-100-100_r-65.1FAIL440.03
Q_2-2-3_v-100-100-100_r-45.4FAIL445.02
Q_2-2-3_v-100-100-100_r-35.2FAIL447.2
Q_2-2-3_v-100-100-100_r-35.0FAIL448.02
Q_2-2-3_v-100-100-100_r-75.0FAIL458.05
Q_2-2-3_v-100-100-100_r-65.5FAIL460.55
Q_2-2-3_v-100-100-100_r-75.9FAIL484.29
Q_2-2-3_v-100-100-100_r-65.9FAIL538.64
Q_2-2-3_v-100-100-100_r-65.4FAIL652.45