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

InstanceResultTime
Q_3-3-3_v-100-100-100_r-30.5FAIL33.7
Q_3-3-3_v-100-100-100_r-30.2FAIL33.76
Q_3-3-3_v-100-100-100_r-30.6FAIL33.76
Q_3-3-3_v-100-100-100_r-30.1FAIL33.79
Q_3-3-3_v-100-100-100_r-30.8FAIL33.81
Q_3-3-3_v-100-100-100_r-30.9FAIL33.83
Q_3-3-3_v-100-100-100_r-30.4FAIL33.84
Q_3-3-3_v-100-100-100_r-30.7FAIL33.95
Q_3-3-3_v-100-100-100_r-30.0FAIL33.96
Q_3-3-3_v-100-100-100_r-30.3FAIL33.96
Q_3-3-3_v-100-100-100_r-40.1FAIL35.04
Q_3-3-3_v-100-100-100_r-40.9FAIL35.11
Q_3-3-3_v-100-100-100_r-40.3FAIL35.11
Q_3-3-3_v-100-100-100_r-40.6FAIL35.16
Q_3-3-3_v-100-100-100_r-40.2FAIL35.16
Q_3-3-3_v-100-100-100_r-40.4FAIL35.16
Q_3-3-3_v-100-100-100_r-40.8FAIL35.17
Q_3-3-3_v-100-100-100_r-40.5FAIL35.22
Q_3-3-3_v-100-100-100_r-40.0FAIL35.3
Q_3-3-3_v-100-100-100_r-40.7FAIL35.33
Q_3-3-3_v-100-100-100_r-50.2FAIL37.17
Q_3-3-3_v-100-100-100_r-50.4FAIL37.22
Q_3-3-3_v-100-100-100_r-50.5FAIL37.23
Q_3-3-3_v-100-100-100_r-50.8FAIL37.24
Q_3-3-3_v-100-100-100_r-50.1FAIL37.26
Q_3-3-3_v-100-100-100_r-50.7FAIL37.27
Q_3-3-3_v-100-100-100_r-50.0FAIL37.31
Q_3-3-3_v-100-100-100_r-50.3FAIL37.34
Q_3-3-3_v-100-100-100_r-50.9FAIL37.37
Q_3-3-3_v-100-100-100_r-50.6FAIL37.47
Q_3-3-3_v-100-100-100_r-60.3FAIL39.21
Q_3-3-3_v-100-100-100_r-60.2FAIL39.26
Q_3-3-3_v-100-100-100_r-60.4FAIL39.35
Q_3-3-3_v-100-100-100_r-60.1FAIL39.36
Q_3-3-3_v-100-100-100_r-60.0FAIL39.37
Q_3-3-3_v-100-100-100_r-60.8FAIL39.38
Q_3-3-3_v-100-100-100_r-60.9FAIL39.39
Q_3-3-3_v-100-100-100_r-60.5FAIL39.5
Q_3-3-3_v-100-100-100_r-60.7FAIL39.51
Q_3-3-3_v-100-100-100_r-60.6FAIL41.3
Q_3-3-3_v-100-100-100_r-70.2FAIL41.33
Q_3-3-3_v-100-100-100_r-70.6FAIL41.47
Q_3-3-3_v-100-100-100_r-70.5FAIL41.54
Q_3-3-3_v-100-100-100_r-70.1FAIL41.57
Q_3-3-3_v-100-100-100_r-70.4FAIL41.65
Q_3-3-3_v-100-100-100_r-70.9FAIL41.75
Q_3-3-3_v-100-100-100_r-70.8FAIL41.76
Q_3-3-3_v-100-100-100_r-70.0FAIL41.78
Q_3-3-3_v-100-100-100_r-70.3FAIL41.8
Q_3-3-3_v-100-100-100_r-70.7FAIL41.85