Instances of family Q_3_3 solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
Q_3-3_v-100-100_r-19.9FAIL887.33
Q_3-3_v-100-100_r-19.1FAIL887.43
Q_3-3_v-100-100_r-19.8FAIL887.69
Q_3-3_v-100-100_r-19.6FAIL887.73
Q_3-3_v-100-100_r-17.9FAIL887.88
Q_3-3_v-100-100_r-17.7FAIL887.89
Q_3-3_v-100-100_r-15.2FAIL888.01
Q_3-3_v-100-100_r-19.4FAIL888.01
Q_3-3_v-100-100_r-13.8FAIL888.05
Q_3-3_v-100-100_r-13.4FAIL888.1
Q_3-3_v-100-100_r-17.5FAIL888.24
Q_3-3_v-100-100_r-17.6FAIL888.3
Q_3-3_v-100-100_r-13.6FAIL888.41
Q_3-3_v-100-100_r-15.9FAIL888.46
Q_3-3_v-100-100_r-15.3FAIL888.47
Q_3-3_v-100-100_r-11.3FAIL888.51
Q_3-3_v-100-100_r-17.3FAIL888.52
Q_3-3_v-100-100_r-13.2FAIL888.55
Q_3-3_v-100-100_r-13.0FAIL888.59
Q_3-3_v-100-100_r-15.0FAIL888.63
Q_3-3_v-100-100_r-11.0FAIL888.83
Q_3-3_v-100-100_r-15.5FAIL888.83
Q_3-3_v-100-100_r-15.8FAIL888.83
Q_3-3_v-100-100_r-13.5FAIL888.9
Q_3-3_v-100-100_r-13.1FAIL888.9
Q_3-3_v-100-100_r-15.1FAIL888.91
Q_3-3_v-100-100_r-17.0FAIL888.93
Q_3-3_v-100-100_r-17.4FAIL889.03
Q_3-3_v-100-100_r-19.2FAIL889.1
Q_3-3_v-100-100_r-11.2FAIL889.29
Q_3-3_v-100-100_r-19.0FAIL889.47
Q_3-3_v-100-100_r-15.6FAIL889.5
Q_3-3_v-100-100_r-15.7FAIL889.6
Q_3-3_v-100-100_r-17.1FAIL889.88
Q_3-3_v-100-100_r-19.7FAIL889.91
Q_3-3_v-100-100_r-11.8FAIL890.01
Q_3-3_v-100-100_r-11.6FAIL890.07
Q_3-3_v-100-100_r-13.7FAIL890.11
Q_3-3_v-100-100_r-11.7FAIL890.15
Q_3-3_v-100-100_r-11.4FAIL890.16
Q_3-3_v-100-100_r-13.9FAIL890.25
Q_3-3_v-100-100_r-17.2FAIL890.35
Q_3-3_v-100-100_r-15.4FAIL890.42
Q_3-3_v-100-100_r-19.5FAIL890.63
Q_3-3_v-100-100_r-11.1FAIL890.78
Q_3-3_v-100-100_r-11.5FAIL890.78
Q_3-3_v-100-100_r-11.9FAIL890.82
Q_3-3_v-100-100_r-13.3FAIL890.91
Q_3-3_v-100-100_r-17.8FAIL893.62
Q_3-3_v-100-100_r-19.3FAIL900