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

InstanceResultTime
Q_3-3-3_v-100-100-100_r-30.4FAIL592.52
Q_3-3-3_v-100-100-100_r-30.0FAIL592.72
Q_3-3-3_v-100-100-100_r-50.4FAIL592.72
Q_3-3-3_v-100-100-100_r-60.2FAIL592.72
Q_3-3-3_v-100-100-100_r-70.2FAIL592.72
Q_3-3-3_v-100-100-100_r-60.8FAIL592.72
Q_3-3-3_v-100-100-100_r-30.7FAIL592.72
Q_3-3-3_v-100-100-100_r-30.8FAIL592.83
Q_3-3-3_v-100-100-100_r-70.6FAIL592.83
Q_3-3-3_v-100-100-100_r-40.8FAIL592.93
Q_3-3-3_v-100-100-100_r-60.0FAIL592.94
Q_3-3-3_v-100-100-100_r-70.4FAIL593.02
Q_3-3-3_v-100-100-100_r-60.7FAIL593.02
Q_3-3-3_v-100-100-100_r-70.0FAIL593.22
Q_3-3-3_v-100-100-100_r-30.9FAIL593.22
Q_3-3-3_v-100-100-100_r-50.6FAIL593.22
Q_3-3-3_v-100-100-100_r-60.5FAIL593.22
Q_3-3-3_v-100-100-100_r-50.1FAIL593.22
Q_3-3-3_v-100-100-100_r-70.5FAIL593.22
Q_3-3-3_v-100-100-100_r-50.3FAIL593.22
Q_3-3-3_v-100-100-100_r-60.1FAIL593.22
Q_3-3-3_v-100-100-100_r-60.9FAIL593.22
Q_3-3-3_v-100-100-100_r-40.6FAIL593.32
Q_3-3-3_v-100-100-100_r-60.3FAIL593.32
Q_3-3-3_v-100-100-100_r-70.1FAIL593.32
Q_3-3-3_v-100-100-100_r-60.4FAIL593.32
Q_3-3-3_v-100-100-100_r-30.3FAIL593.32
Q_3-3-3_v-100-100-100_r-70.3FAIL593.32
Q_3-3-3_v-100-100-100_r-50.0FAIL593.32
Q_3-3-3_v-100-100-100_r-50.9FAIL593.32
Q_3-3-3_v-100-100-100_r-70.7FAIL593.32
Q_3-3-3_v-100-100-100_r-30.1FAIL593.42
Q_3-3-3_v-100-100-100_r-40.7FAIL593.42
Q_3-3-3_v-100-100-100_r-30.2FAIL593.42
Q_3-3-3_v-100-100-100_r-40.0FAIL593.42
Q_3-3-3_v-100-100-100_r-50.2FAIL593.42
Q_3-3-3_v-100-100-100_r-70.8FAIL593.52
Q_3-3-3_v-100-100-100_r-50.5FAIL593.52
Q_3-3-3_v-100-100-100_r-50.7FAIL593.52
Q_3-3-3_v-100-100-100_r-40.4FAIL593.52
Q_3-3-3_v-100-100-100_r-40.5FAIL593.52
Q_3-3-3_v-100-100-100_r-30.6FAIL593.53
Q_3-3-3_v-100-100-100_r-70.9FAIL593.62
Q_3-3-3_v-100-100-100_r-50.8FAIL593.62
Q_3-3-3_v-100-100-100_r-40.3FAIL593.62
Q_3-3-3_v-100-100-100_r-60.6FAIL593.63
Q_3-3-3_v-100-100-100_r-40.1FAIL593.72
Q_3-3-3_v-100-100-100_r-40.9FAIL593.72
Q_3-3-3_v-100-100-100_r-40.2FAIL593.72
Q_3-3-3_v-100-100-100_r-30.5FAIL593.82