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

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