Instances of family Q_3_3_3 solved by caqe-picosat
QBFEVAL'16 - Random QBFs Track.

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