Instances of family Q_2_2_3 solved by depqbf-v1
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_2-2-3_v-100-100-100_r-35.0FAIL592.42
Q_2-2-3_v-100-100-100_r-65.2FAIL592.62
Q_2-2-3_v-100-100-100_r-55.5FAIL592.62
Q_2-2-3_v-100-100-100_r-45.7FAIL592.62
Q_2-2-3_v-100-100-100_r-75.3FAIL592.72
Q_2-2-3_v-100-100-100_r-75.7FAIL592.72
Q_2-2-3_v-100-100-100_r-65.0FAIL592.73
Q_2-2-3_v-100-100-100_r-65.5FAIL592.93
Q_2-2-3_v-100-100-100_r-35.4FAIL592.94
Q_2-2-3_v-100-100-100_r-75.0FAIL592.94
Q_2-2-3_v-100-100-100_r-45.2FAIL593.03
Q_2-2-3_v-100-100-100_r-55.1FAIL593.03
Q_2-2-3_v-100-100-100_r-75.1FAIL593.03
Q_2-2-3_v-100-100-100_r-45.9FAIL593.22
Q_2-2-3_v-100-100-100_r-35.7FAIL593.22
Q_2-2-3_v-100-100-100_r-55.4FAIL593.22
Q_2-2-3_v-100-100-100_r-75.9FAIL593.22
Q_2-2-3_v-100-100-100_r-55.8FAIL593.23
Q_2-2-3_v-100-100-100_r-55.7FAIL593.32
Q_2-2-3_v-100-100-100_r-55.0FAIL593.32
Q_2-2-3_v-100-100-100_r-45.5FAIL593.32
Q_2-2-3_v-100-100-100_r-35.8FAIL593.32
Q_2-2-3_v-100-100-100_r-45.6FAIL593.32
Q_2-2-3_v-100-100-100_r-75.8FAIL593.33
Q_2-2-3_v-100-100-100_r-75.5FAIL593.42
Q_2-2-3_v-100-100-100_r-45.3FAIL593.42
Q_2-2-3_v-100-100-100_r-55.6FAIL593.42
Q_2-2-3_v-100-100-100_r-45.8FAIL593.42
Q_2-2-3_v-100-100-100_r-35.3FAIL593.52
Q_2-2-3_v-100-100-100_r-45.1FAIL593.52
Q_2-2-3_v-100-100-100_r-65.7FAIL593.52
Q_2-2-3_v-100-100-100_r-75.6FAIL593.52
Q_2-2-3_v-100-100-100_r-45.4FAIL593.52
Q_2-2-3_v-100-100-100_r-55.2FAIL593.52
Q_2-2-3_v-100-100-100_r-65.9FAIL593.52
Q_2-2-3_v-100-100-100_r-65.4FAIL593.52
Q_2-2-3_v-100-100-100_r-35.2FAIL593.52
Q_2-2-3_v-100-100-100_r-45.0FAIL593.52
Q_2-2-3_v-100-100-100_r-55.9FAIL593.62
Q_2-2-3_v-100-100-100_r-35.6FAIL593.62
Q_2-2-3_v-100-100-100_r-65.6FAIL593.72
Q_2-2-3_v-100-100-100_r-35.5FAIL593.72
Q_2-2-3_v-100-100-100_r-65.3FAIL593.72
Q_2-2-3_v-100-100-100_r-35.1FAIL593.72
Q_2-2-3_v-100-100-100_r-55.3FAIL593.73
Q_2-2-3_v-100-100-100_r-65.8FAIL593.82
Q_2-2-3_v-100-100-100_r-75.4FAIL593.94
Q_2-2-3_v-100-100-100_r-65.1FAIL593.94
Q_2-2-3_v-100-100-100_r-35.9FAIL593.94
Q_2-2-3_v-100-100-100_r-75.2FAIL593.94