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

InstanceResultTime
Q_3-3-3_v-100-100-100_r-30.6FAIL288.8
Q_3-3-3_v-100-100-100_r-30.1FAIL318.31
Q_3-3-3_v-100-100-100_r-40.6FAIL330.24
Q_3-3-3_v-100-100-100_r-30.4FAIL332.05
Q_3-3-3_v-100-100-100_r-30.0FAIL332.81
Q_3-3-3_v-100-100-100_r-30.9FAIL332.9
Q_3-3-3_v-100-100-100_r-70.9FAIL334.23
Q_3-3-3_v-100-100-100_r-40.0FAIL334.73
Q_3-3-3_v-100-100-100_r-70.8FAIL335.75
Q_3-3-3_v-100-100-100_r-50.8FAIL336.27
Q_3-3-3_v-100-100-100_r-50.5FAIL338.62
Q_3-3-3_v-100-100-100_r-40.8FAIL338.64
Q_3-3-3_v-100-100-100_r-40.7FAIL340.3
Q_3-3-3_v-100-100-100_r-50.9FAIL341.94
Q_3-3-3_v-100-100-100_r-50.2FAIL343.56
Q_3-3-3_v-100-100-100_r-30.5FAIL347.77
Q_3-3-3_v-100-100-100_r-50.3FAIL348.52
Q_3-3-3_v-100-100-100_r-40.3FAIL349.34
Q_3-3-3_v-100-100-100_r-50.6FAIL349.8
Q_3-3-3_v-100-100-100_r-50.7FAIL351.52
Q_3-3-3_v-100-100-100_r-40.1FAIL354.8
Q_3-3-3_v-100-100-100_r-50.0FAIL355.08
Q_3-3-3_v-100-100-100_r-40.9FAIL357.85
Q_3-3-3_v-100-100-100_r-30.2FAIL359.04
Q_3-3-3_v-100-100-100_r-40.4FAIL360.2
Q_3-3-3_v-100-100-100_r-60.7FAIL360.24
Q_3-3-3_v-100-100-100_r-60.8FAIL362.5
Q_3-3-3_v-100-100-100_r-60.3FAIL364.81
Q_3-3-3_v-100-100-100_r-60.1FAIL365.36
Q_3-3-3_v-100-100-100_r-30.7FAIL365.93
Q_3-3-3_v-100-100-100_r-70.1FAIL367.66
Q_3-3-3_v-100-100-100_r-70.0FAIL368.12
Q_3-3-3_v-100-100-100_r-50.1FAIL368.83
Q_3-3-3_v-100-100-100_r-60.2FAIL370.63
Q_3-3-3_v-100-100-100_r-70.7FAIL377.35
Q_3-3-3_v-100-100-100_r-60.0FAIL381.49
Q_3-3-3_v-100-100-100_r-30.3FAIL382.57
Q_3-3-3_v-100-100-100_r-70.3FAIL384.51
Q_3-3-3_v-100-100-100_r-60.4FAIL387.95
Q_3-3-3_v-100-100-100_r-70.2FAIL389.15
Q_3-3-3_v-100-100-100_r-70.6FAIL391.09
Q_3-3-3_v-100-100-100_r-40.5FAIL395.12
Q_3-3-3_v-100-100-100_r-70.4FAIL396.19
Q_3-3-3_v-100-100-100_r-30.8FAIL412.64
Q_3-3-3_v-100-100-100_r-50.4FAIL418.97
Q_3-3-3_v-100-100-100_r-60.6FAIL421.2
Q_3-3-3_v-100-100-100_r-40.2FAIL424.99
Q_3-3-3_v-100-100-100_r-60.9FAIL426.4
Q_3-3-3_v-100-100-100_r-70.5FAIL428.94
Q_3-3-3_v-100-100-100_r-60.5FAIL484.01