Instances of family Q_3_3_3 solved by iprover-QBF
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
Q_3-3-3_v-100-100-100_r-60.6FAIL152.04
Q_3-3-3_v-100-100-100_r-60.3FAIL152.15
Q_3-3-3_v-100-100-100_r-60.5FAIL152.24
Q_3-3-3_v-100-100-100_r-60.7FAIL152.25
Q_3-3-3_v-100-100-100_r-60.4FAIL152.45
Q_3-3-3_v-100-100-100_r-60.1FAIL152.64
Q_3-3-3_v-100-100-100_r-60.2FAIL152.74
Q_3-3-3_v-100-100-100_r-60.0FAIL152.74
Q_3-3-3_v-100-100-100_r-60.9FAIL153.44
Q_3-3-3_v-100-100-100_r-60.8FAIL153.63
Q_3-3-3_v-100-100-100_r-70.2FAIL175.93
Q_3-3-3_v-100-100-100_r-70.9FAIL176.06
Q_3-3-3_v-100-100-100_r-70.1FAIL176.44
Q_3-3-3_v-100-100-100_r-70.3FAIL176.74
Q_3-3-3_v-100-100-100_r-70.7FAIL176.74
Q_3-3-3_v-100-100-100_r-70.4FAIL176.95
Q_3-3-3_v-100-100-100_r-70.5FAIL177.04
Q_3-3-3_v-100-100-100_r-70.8FAIL177.17
Q_3-3-3_v-100-100-100_r-70.0FAIL177.26
Q_3-3-3_v-100-100-100_r-70.6FAIL177.45
Q_3-3-3_v-100-100-100_r-50.4FAIL265.94
Q_3-3-3_v-100-100-100_r-40.8FAIL289.24
Q_3-3-3_v-100-100-100_r-40.2FAIL291.04
Q_3-3-3_v-100-100-100_r-40.1FAIL301.14
Q_3-3-3_v-100-100-100_r-40.5FAIL301.14
Q_3-3-3_v-100-100-100_r-30.5FAIL302.44
Q_3-3-3_v-100-100-100_r-40.4FAIL305.86
Q_3-3-3_v-100-100-100_r-40.3FAIL308.34
Q_3-3-3_v-100-100-100_r-40.6FAIL311.45
Q_3-3-3_v-100-100-100_r-40.9FAIL313.33
Q_3-3-3_v-100-100-100_r-40.7FAIL315.44
Q_3-3-3_v-100-100-100_r-50.0FAIL329.84
Q_3-3-3_v-100-100-100_r-40.0FAIL331.54
Q_3-3-3_v-100-100-100_r-50.8FAIL342.45
Q_3-3-3_v-100-100-100_r-30.8FAIL349.34
Q_3-3-3_v-100-100-100_r-30.6FAIL350.95
Q_3-3-3_v-100-100-100_r-30.1FAIL360.34
Q_3-3-3_v-100-100-100_r-30.0FAIL363.15
Q_3-3-3_v-100-100-100_r-30.3FAIL363.34
Q_3-3-3_v-100-100-100_r-30.4FAIL371.64
Q_3-3-3_v-100-100-100_r-50.3FAIL377.14
Q_3-3-3_v-100-100-100_r-50.9FAIL398.54
Q_3-3-3_v-100-100-100_r-50.7FAIL398.84
Q_3-3-3_v-100-100-100_r-30.7FAIL404.54
Q_3-3-3_v-100-100-100_r-30.2FAIL406.14
Q_3-3-3_v-100-100-100_r-50.6FAIL412.54
Q_3-3-3_v-100-100-100_r-50.5FAIL436.04
Q_3-3-3_v-100-100-100_r-50.1FAIL448.24
Q_3-3-3_v-100-100-100_r-30.9FAIL451.15
Q_3-3-3_v-100-100-100_r-50.2FAIL459.95