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

InstanceResultTime
Q_3-3-3_v-100-100-100_r-70.5FAIL599.63
Q_3-3-3_v-100-100-100_r-30.7FAIL599.71
Q_3-3-3_v-100-100-100_r-50.3FAIL599.71
Q_3-3-3_v-100-100-100_r-60.1FAIL599.71
Q_3-3-3_v-100-100-100_r-60.9FAIL599.71
Q_3-3-3_v-100-100-100_r-70.7FAIL599.71
Q_3-3-3_v-100-100-100_r-30.0FAIL599.71
Q_3-3-3_v-100-100-100_r-30.8FAIL599.71
Q_3-3-3_v-100-100-100_r-40.6FAIL599.71
Q_3-3-3_v-100-100-100_r-50.4FAIL599.71
Q_3-3-3_v-100-100-100_r-60.2FAIL599.71
Q_3-3-3_v-100-100-100_r-70.0FAIL599.71
Q_3-3-3_v-100-100-100_r-70.8FAIL599.71
Q_3-3-3_v-100-100-100_r-30.1FAIL599.71
Q_3-3-3_v-100-100-100_r-30.9FAIL599.71
Q_3-3-3_v-100-100-100_r-40.7FAIL599.71
Q_3-3-3_v-100-100-100_r-70.1FAIL599.71
Q_3-3-3_v-100-100-100_r-70.9FAIL599.71
Q_3-3-3_v-100-100-100_r-30.2FAIL599.71
Q_3-3-3_v-100-100-100_r-40.0FAIL599.71
Q_3-3-3_v-100-100-100_r-40.8FAIL599.71
Q_3-3-3_v-100-100-100_r-50.6FAIL599.71
Q_3-3-3_v-100-100-100_r-60.4FAIL599.71
Q_3-3-3_v-100-100-100_r-70.2FAIL599.71
Q_3-3-3_v-100-100-100_r-40.1FAIL599.71
Q_3-3-3_v-100-100-100_r-50.7FAIL599.71
Q_3-3-3_v-100-100-100_r-60.5FAIL599.71
Q_3-3-3_v-100-100-100_r-70.3FAIL599.71
Q_3-3-3_v-100-100-100_r-30.4FAIL599.71
Q_3-3-3_v-100-100-100_r-40.2FAIL599.71
Q_3-3-3_v-100-100-100_r-50.0FAIL599.71
Q_3-3-3_v-100-100-100_r-50.8FAIL599.71
Q_3-3-3_v-100-100-100_r-60.6FAIL599.71
Q_3-3-3_v-100-100-100_r-70.4FAIL599.71
Q_3-3-3_v-100-100-100_r-30.5FAIL599.71
Q_3-3-3_v-100-100-100_r-40.3FAIL599.71
Q_3-3-3_v-100-100-100_r-50.1FAIL599.71
Q_3-3-3_v-100-100-100_r-60.7FAIL599.71
Q_3-3-3_v-100-100-100_r-30.6FAIL599.71
Q_3-3-3_v-100-100-100_r-40.4FAIL599.71
Q_3-3-3_v-100-100-100_r-50.2FAIL599.71
Q_3-3-3_v-100-100-100_r-60.0FAIL599.71
Q_3-3-3_v-100-100-100_r-60.8FAIL599.71
Q_3-3-3_v-100-100-100_r-40.5FAIL599.72
Q_3-3-3_v-100-100-100_r-50.5FAIL599.72
Q_3-3-3_v-100-100-100_r-60.3FAIL599.72
Q_3-3-3_v-100-100-100_r-30.3FAIL599.72
Q_3-3-3_v-100-100-100_r-70.6FAIL599.72
Q_3-3-3_v-100-100-100_r-40.9FAIL599.81
Q_3-3-3_v-100-100-100_r-50.9FAIL599.81