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

InstanceResultTime
Q_2-3_v-80-100_r-13.4UNSAT0.66
Q_2-3_v-80-100_r-11.2FAIL2.97
Q_2-3_v-80-100_r-11.4FAIL3.08
Q_2-3_v-80-100_r-11.3FAIL3.1
Q_2-3_v-80-100_r-11.6FAIL3.1
Q_2-3_v-80-100_r-11.8FAIL3.13
Q_2-3_v-80-100_r-11.1FAIL3.14
Q_2-3_v-80-100_r-11.5FAIL3.23
Q_2-3_v-80-100_r-11.9FAIL3.24
Q_2-3_v-80-100_r-11.0FAIL3.28
Q_2-3_v-80-100_r-5.0FAIL3.35
Q_2-3_v-80-100_r-13.8FAIL3.4
Q_2-3_v-80-100_r-7.9FAIL3.41
Q_2-3_v-80-100_r-13.7FAIL3.42
Q_2-3_v-80-100_r-13.0FAIL3.43
Q_2-3_v-80-100_r-13.6FAIL3.45
Q_2-3_v-80-100_r-7.3FAIL3.46
Q_2-3_v-80-100_r-13.5FAIL3.47
Q_2-3_v-80-100_r-13.1FAIL3.51
Q_2-3_v-80-100_r-5.7FAIL3.52
Q_2-3_v-80-100_r-5.8FAIL3.52
Q_2-3_v-80-100_r-7.4FAIL3.53
Q_2-3_v-80-100_r-7.5FAIL3.54
Q_2-3_v-80-100_r-7.2FAIL3.56
Q_2-3_v-80-100_r-5.5FAIL3.56
Q_2-3_v-80-100_r-9.4FAIL3.57
Q_2-3_v-80-100_r-11.7FAIL3.58
Q_2-3_v-80-100_r-5.3FAIL3.63
Q_2-3_v-80-100_r-7.6FAIL3.65
Q_2-3_v-80-100_r-9.1FAIL3.65
Q_2-3_v-80-100_r-5.2FAIL3.7
Q_2-3_v-80-100_r-9.6FAIL3.71
Q_2-3_v-80-100_r-9.0FAIL3.72
Q_2-3_v-80-100_r-7.1FAIL3.73
Q_2-3_v-80-100_r-5.9FAIL3.75
Q_2-3_v-80-100_r-7.8FAIL3.77
Q_2-3_v-80-100_r-5.4FAIL3.77
Q_2-3_v-80-100_r-5.6FAIL3.81
Q_2-3_v-80-100_r-7.0FAIL3.81
Q_2-3_v-80-100_r-9.3FAIL3.82
Q_2-3_v-80-100_r-5.1FAIL3.83
Q_2-3_v-80-100_r-9.7FAIL3.84
Q_2-3_v-80-100_r-9.9FAIL3.84
Q_2-3_v-80-100_r-9.5FAIL3.93
Q_2-3_v-80-100_r-9.8FAIL3.96
Q_2-3_v-80-100_r-9.2FAIL4.02
Q_2-3_v-80-100_r-7.7FAIL6.49