Instances of family Q_3_3_3 solved by aqua-s3o
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_3-3-3_v-100-100-100_r-60.2FAIL599.73
Q_3-3-3_v-100-100-100_r-40.5FAIL599.82
Q_3-3-3_v-100-100-100_r-60.9FAIL599.82
Q_3-3-3_v-100-100-100_r-50.4FAIL599.82
Q_3-3-3_v-100-100-100_r-70.1FAIL599.82
Q_3-3-3_v-100-100-100_r-70.9FAIL599.82
Q_3-3-3_v-100-100-100_r-40.0FAIL599.82
Q_3-3-3_v-100-100-100_r-70.2FAIL599.82
Q_3-3-3_v-100-100-100_r-30.3FAIL599.82
Q_3-3-3_v-100-100-100_r-40.9FAIL599.82
Q_3-3-3_v-100-100-100_r-40.2FAIL599.82
Q_3-3-3_v-100-100-100_r-50.0FAIL599.82
Q_3-3-3_v-100-100-100_r-50.8FAIL599.82
Q_3-3-3_v-100-100-100_r-60.6FAIL599.82
Q_3-3-3_v-100-100-100_r-50.1FAIL599.82
Q_3-3-3_v-100-100-100_r-50.2FAIL599.82
Q_3-3-3_v-100-100-100_r-60.8FAIL599.82
Q_3-3-3_v-100-100-100_r-50.3FAIL599.83
Q_3-3-3_v-100-100-100_r-30.0FAIL599.83
Q_3-3-3_v-100-100-100_r-40.7FAIL599.83
Q_3-3-3_v-100-100-100_r-50.5FAIL599.83
Q_3-3-3_v-100-100-100_r-30.2FAIL599.83
Q_3-3-3_v-100-100-100_r-40.8FAIL599.83
Q_3-3-3_v-100-100-100_r-50.6FAIL599.83
Q_3-3-3_v-100-100-100_r-50.7FAIL599.83
Q_3-3-3_v-100-100-100_r-60.5FAIL599.83
Q_3-3-3_v-100-100-100_r-70.3FAIL599.83
Q_3-3-3_v-100-100-100_r-30.4FAIL599.83
Q_3-3-3_v-100-100-100_r-40.3FAIL599.83
Q_3-3-3_v-100-100-100_r-50.9FAIL599.83
Q_3-3-3_v-100-100-100_r-70.5FAIL599.83
Q_3-3-3_v-100-100-100_r-30.6FAIL599.83
Q_3-3-3_v-100-100-100_r-70.6FAIL599.83
Q_3-3-3_v-100-100-100_r-30.8FAIL599.84
Q_3-3-3_v-100-100-100_r-70.0FAIL599.84
Q_3-3-3_v-100-100-100_r-60.4FAIL599.84
Q_3-3-3_v-100-100-100_r-40.6FAIL599.91
Q_3-3-3_v-100-100-100_r-30.7FAIL599.92
Q_3-3-3_v-100-100-100_r-60.1FAIL599.92
Q_3-3-3_v-100-100-100_r-70.7FAIL599.92
Q_3-3-3_v-100-100-100_r-30.1FAIL599.92
Q_3-3-3_v-100-100-100_r-30.9FAIL599.92
Q_3-3-3_v-100-100-100_r-40.1FAIL599.92
Q_3-3-3_v-100-100-100_r-30.5FAIL599.92
Q_3-3-3_v-100-100-100_r-60.7FAIL599.92
Q_3-3-3_v-100-100-100_r-40.4FAIL599.92
Q_3-3-3_v-100-100-100_r-60.0FAIL599.92
Q_3-3-3_v-100-100-100_r-70.8FAIL599.93
Q_3-3-3_v-100-100-100_r-60.3FAIL599.93
Q_3-3-3_v-100-100-100_r-70.4FAIL599.93