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

InstanceResultTime
Q_3-3_v-100-100_r-11.2FAIL3.27
Q_3-3_v-100-100_r-11.7FAIL3.31
Q_3-3_v-100-100_r-11.1FAIL3.31
Q_3-3_v-100-100_r-13.4FAIL3.32
Q_3-3_v-100-100_r-11.6FAIL3.33
Q_3-3_v-100-100_r-11.9FAIL3.4
Q_3-3_v-100-100_r-13.3FAIL3.45
Q_3-3_v-100-100_r-11.0FAIL3.46
Q_3-3_v-100-100_r-11.3FAIL3.48
Q_3-3_v-100-100_r-13.5FAIL3.54
Q_3-3_v-100-100_r-13.2FAIL3.56
Q_3-3_v-100-100_r-11.8FAIL3.58
Q_3-3_v-100-100_r-17.7FAIL3.6
Q_3-3_v-100-100_r-15.5FAIL3.6
Q_3-3_v-100-100_r-13.8FAIL3.61
Q_3-3_v-100-100_r-15.7FAIL3.61
Q_3-3_v-100-100_r-11.5FAIL3.61
Q_3-3_v-100-100_r-13.6FAIL3.61
Q_3-3_v-100-100_r-13.1FAIL3.63
Q_3-3_v-100-100_r-17.4FAIL3.65
Q_3-3_v-100-100_r-11.4FAIL3.68
Q_3-3_v-100-100_r-15.9FAIL3.73
Q_3-3_v-100-100_r-15.4FAIL3.74
Q_3-3_v-100-100_r-17.3FAIL3.75
Q_3-3_v-100-100_r-15.1FAIL3.77
Q_3-3_v-100-100_r-17.6FAIL3.78
Q_3-3_v-100-100_r-15.8FAIL3.79
Q_3-3_v-100-100_r-17.9FAIL3.79
Q_3-3_v-100-100_r-15.6FAIL3.8
Q_3-3_v-100-100_r-15.0FAIL3.8
Q_3-3_v-100-100_r-13.9FAIL3.83
Q_3-3_v-100-100_r-19.4FAIL3.83
Q_3-3_v-100-100_r-13.0FAIL3.87
Q_3-3_v-100-100_r-17.8FAIL3.88
Q_3-3_v-100-100_r-13.7FAIL3.88
Q_3-3_v-100-100_r-17.0FAIL3.9
Q_3-3_v-100-100_r-17.2FAIL3.91
Q_3-3_v-100-100_r-19.2FAIL3.92
Q_3-3_v-100-100_r-17.5FAIL3.93
Q_3-3_v-100-100_r-15.2FAIL3.93
Q_3-3_v-100-100_r-19.7FAIL3.96
Q_3-3_v-100-100_r-17.1FAIL3.98
Q_3-3_v-100-100_r-19.5FAIL3.99
Q_3-3_v-100-100_r-15.3FAIL4
Q_3-3_v-100-100_r-19.3FAIL4.01
Q_3-3_v-100-100_r-19.1FAIL4.1
Q_3-3_v-100-100_r-19.8FAIL4.11
Q_3-3_v-100-100_r-19.9FAIL4.16
Q_3-3_v-100-100_r-19.0FAIL4.24
Q_3-3_v-100-100_r-19.6FAIL4.87