Instances of family Q_2_3 solved by xb-bid-qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_2-3_v-80-100_r-7.5SAT24.78
Q_2-3_v-80-100_r-13.9SAT25.05
Q_2-3_v-80-100_r-13.2SAT25.58
Q_2-3_v-80-100_r-5.6SAT26.61
Q_2-3_v-80-100_r-13.3SAT26.72
Q_2-3_v-80-100_r-13.6SAT27.25
Q_2-3_v-80-100_r-9.2SAT27.51
Q_2-3_v-80-100_r-5.7SAT27.72
Q_2-3_v-80-100_r-5.0SAT27.83
Q_2-3_v-80-100_r-13.4SAT27.92
Q_2-3_v-80-100_r-7.1SAT27.94
Q_2-3_v-80-100_r-7.8SAT28.04
Q_2-3_v-80-100_r-7.7SAT28.83
Q_2-3_v-80-100_r-11.2SAT29.29
Q_2-3_v-80-100_r-7.4SAT29.32
Q_2-3_v-80-100_r-13.1SAT31.34
Q_2-3_v-80-100_r-7.0SAT31.54
Q_2-3_v-80-100_r-9.4SAT31.86
Q_2-3_v-80-100_r-5.5SAT31.99
Q_2-3_v-80-100_r-11.9SAT32
Q_2-3_v-80-100_r-9.9SAT35.86
Q_2-3_v-80-100_r-11.6SAT36.34
Q_2-3_v-80-100_r-7.3SAT37.37
Q_2-3_v-80-100_r-5.8FAIL599.71
Q_2-3_v-80-100_r-11.4FAIL599.71
Q_2-3_v-80-100_r-5.1FAIL599.71
Q_2-3_v-80-100_r-5.9FAIL599.71
Q_2-3_v-80-100_r-9.5FAIL599.71
Q_2-3_v-80-100_r-5.2FAIL599.71
Q_2-3_v-80-100_r-5.3FAIL599.71
Q_2-3_v-80-100_r-7.9FAIL599.71
Q_2-3_v-80-100_r-9.7FAIL599.71
Q_2-3_v-80-100_r-13.5FAIL599.71
Q_2-3_v-80-100_r-5.4FAIL599.71
Q_2-3_v-80-100_r-7.2FAIL599.71
Q_2-3_v-80-100_r-9.0FAIL599.71
Q_2-3_v-80-100_r-11.8FAIL599.71
Q_2-3_v-80-100_r-11.1FAIL599.71
Q_2-3_v-80-100_r-13.8FAIL599.71
Q_2-3_v-80-100_r-13.0FAIL599.71
Q_2-3_v-80-100_r-9.3FAIL599.71
Q_2-3_v-80-100_r-11.3FAIL599.71
Q_2-3_v-80-100_r-7.6FAIL599.72
Q_2-3_v-80-100_r-11.5FAIL599.72
Q_2-3_v-80-100_r-9.6FAIL599.72
Q_2-3_v-80-100_r-9.8FAIL599.72
Q_2-3_v-80-100_r-9.1FAIL599.72
Q_2-3_v-80-100_r-13.7FAIL599.72
Q_2-3_v-80-100_r-11.7FAIL599.82
Q_2-3_v-80-100_r-11.0FAIL599.92