Instances of family Q_2_2_3 solved by aqua-s2v
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_2-2-3_v-100-100-100_r-35.6FAIL599.72
Q_2-2-3_v-100-100-100_r-65.0FAIL599.72
Q_2-2-3_v-100-100-100_r-75.2FAIL599.72
Q_2-2-3_v-100-100-100_r-35.3FAIL599.72
Q_2-2-3_v-100-100-100_r-65.6FAIL599.72
Q_2-2-3_v-100-100-100_r-75.4FAIL599.72
Q_2-2-3_v-100-100-100_r-55.1FAIL599.73
Q_2-2-3_v-100-100-100_r-45.2FAIL599.74
Q_2-2-3_v-100-100-100_r-35.5FAIL599.82
Q_2-2-3_v-100-100-100_r-55.9FAIL599.82
Q_2-2-3_v-100-100-100_r-75.5FAIL599.82
Q_2-2-3_v-100-100-100_r-45.4FAIL599.82
Q_2-2-3_v-100-100-100_r-55.2FAIL599.82
Q_2-2-3_v-100-100-100_r-65.8FAIL599.82
Q_2-2-3_v-100-100-100_r-35.7FAIL599.82
Q_2-2-3_v-100-100-100_r-45.5FAIL599.82
Q_2-2-3_v-100-100-100_r-55.3FAIL599.82
Q_2-2-3_v-100-100-100_r-65.1FAIL599.82
Q_2-2-3_v-100-100-100_r-75.7FAIL599.82
Q_2-2-3_v-100-100-100_r-35.0FAIL599.82
Q_2-2-3_v-100-100-100_r-45.6FAIL599.82
Q_2-2-3_v-100-100-100_r-55.4FAIL599.82
Q_2-2-3_v-100-100-100_r-65.2FAIL599.82
Q_2-2-3_v-100-100-100_r-75.0FAIL599.82
Q_2-2-3_v-100-100-100_r-75.8FAIL599.82
Q_2-2-3_v-100-100-100_r-55.5FAIL599.82
Q_2-2-3_v-100-100-100_r-65.3FAIL599.82
Q_2-2-3_v-100-100-100_r-75.9FAIL599.82
Q_2-2-3_v-100-100-100_r-35.2FAIL599.82
Q_2-2-3_v-100-100-100_r-45.8FAIL599.82
Q_2-2-3_v-100-100-100_r-65.4FAIL599.82
Q_2-2-3_v-100-100-100_r-45.9FAIL599.82
Q_2-2-3_v-100-100-100_r-55.7FAIL599.82
Q_2-2-3_v-100-100-100_r-75.3FAIL599.82
Q_2-2-3_v-100-100-100_r-55.8FAIL599.82
Q_2-2-3_v-100-100-100_r-45.3FAIL599.83
Q_2-2-3_v-100-100-100_r-65.7FAIL599.83
Q_2-2-3_v-100-100-100_r-75.6FAIL599.83
Q_2-2-3_v-100-100-100_r-65.9FAIL599.83
Q_2-2-3_v-100-100-100_r-35.8FAIL599.83
Q_2-2-3_v-100-100-100_r-45.7FAIL599.83
Q_2-2-3_v-100-100-100_r-75.1FAIL599.83
Q_2-2-3_v-100-100-100_r-45.0FAIL599.83
Q_2-2-3_v-100-100-100_r-55.6FAIL599.83
Q_2-2-3_v-100-100-100_r-65.5FAIL599.83
Q_2-2-3_v-100-100-100_r-55.0FAIL599.83
Q_2-2-3_v-100-100-100_r-35.1FAIL599.92
Q_2-2-3_v-100-100-100_r-35.9FAIL599.92
Q_2-2-3_v-100-100-100_r-45.1FAIL599.92
Q_2-2-3_v-100-100-100_r-35.4FAIL599.92