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

InstanceResultTime
Q_2-2-3_v-100-100-100_r-35.5FAIL33.51
Q_2-2-3_v-100-100-100_r-35.3FAIL33.58
Q_2-2-3_v-100-100-100_r-35.7FAIL33.63
Q_2-2-3_v-100-100-100_r-35.9FAIL33.65
Q_2-2-3_v-100-100-100_r-35.8FAIL33.66
Q_2-2-3_v-100-100-100_r-35.0FAIL33.68
Q_2-2-3_v-100-100-100_r-35.6FAIL33.72
Q_2-2-3_v-100-100-100_r-35.4FAIL33.74
Q_2-2-3_v-100-100-100_r-35.1FAIL33.74
Q_2-2-3_v-100-100-100_r-35.2FAIL33.77
Q_2-2-3_v-100-100-100_r-45.2FAIL34.62
Q_2-2-3_v-100-100-100_r-45.5FAIL34.87
Q_2-2-3_v-100-100-100_r-45.6FAIL34.9
Q_2-2-3_v-100-100-100_r-45.9FAIL34.98
Q_2-2-3_v-100-100-100_r-45.4FAIL35.01
Q_2-2-3_v-100-100-100_r-45.8FAIL35.06
Q_2-2-3_v-100-100-100_r-45.3FAIL35.18
Q_2-2-3_v-100-100-100_r-45.7FAIL35.29
Q_2-2-3_v-100-100-100_r-45.0FAIL35.35
Q_2-2-3_v-100-100-100_r-45.1FAIL35.59
Q_2-2-3_v-100-100-100_r-55.4FAIL67.35
Q_2-2-3_v-100-100-100_r-55.8FAIL67.55
Q_2-2-3_v-100-100-100_r-55.9FAIL67.65
Q_2-2-3_v-100-100-100_r-55.0FAIL67.66
Q_2-2-3_v-100-100-100_r-55.3FAIL67.82
Q_2-2-3_v-100-100-100_r-55.6FAIL67.91
Q_2-2-3_v-100-100-100_r-55.7FAIL68.32
Q_2-2-3_v-100-100-100_r-55.5FAIL68.76
Q_2-2-3_v-100-100-100_r-55.2FAIL69.09
Q_2-2-3_v-100-100-100_r-55.1FAIL71.06
Q_2-2-3_v-100-100-100_r-65.4FAIL96.18
Q_2-2-3_v-100-100-100_r-65.2FAIL97.83
Q_2-2-3_v-100-100-100_r-65.3FAIL99.65
Q_2-2-3_v-100-100-100_r-65.7FAIL126.63
Q_2-2-3_v-100-100-100_r-65.9FAIL147.18
Q_2-2-3_v-100-100-100_r-65.1FAIL188.15
Q_2-2-3_v-100-100-100_r-75.2FAIL195.98
Q_2-2-3_v-100-100-100_r-75.3FAIL196.17
Q_2-2-3_v-100-100-100_r-75.4FAIL196.77
Q_2-2-3_v-100-100-100_r-75.0FAIL197.73
Q_2-2-3_v-100-100-100_r-75.6FAIL197.86
Q_2-2-3_v-100-100-100_r-75.5FAIL199.03
Q_2-2-3_v-100-100-100_r-75.9FAIL199.14
Q_2-2-3_v-100-100-100_r-75.7FAIL199.67
Q_2-2-3_v-100-100-100_r-65.5FAIL200.39
Q_2-2-3_v-100-100-100_r-75.8FAIL200.86
Q_2-2-3_v-100-100-100_r-75.1FAIL201.98
Q_2-2-3_v-100-100-100_r-65.8FAIL266.77
Q_2-2-3_v-100-100-100_r-65.0FAIL274.17
Q_2-2-3_v-100-100-100_r-65.6FAIL315.32