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

InstanceResultTime
Q_3-3-3_v-100-100-100_r-60.7FAIL152.24
Q_3-3-3_v-100-100-100_r-60.6FAIL152.35
Q_3-3-3_v-100-100-100_r-60.5FAIL152.74
Q_3-3-3_v-100-100-100_r-60.3FAIL152.75
Q_3-3-3_v-100-100-100_r-60.4FAIL152.84
Q_3-3-3_v-100-100-100_r-60.0FAIL152.95
Q_3-3-3_v-100-100-100_r-60.2FAIL153.24
Q_3-3-3_v-100-100-100_r-60.9FAIL153.44
Q_3-3-3_v-100-100-100_r-60.1FAIL153.54
Q_3-3-3_v-100-100-100_r-60.8FAIL153.74
Q_3-3-3_v-100-100-100_r-70.2FAIL176.94
Q_3-3-3_v-100-100-100_r-70.9FAIL177.45
Q_3-3-3_v-100-100-100_r-70.1FAIL177.54
Q_3-3-3_v-100-100-100_r-70.7FAIL177.64
Q_3-3-3_v-100-100-100_r-70.8FAIL177.64
Q_3-3-3_v-100-100-100_r-70.0FAIL177.65
Q_3-3-3_v-100-100-100_r-70.3FAIL177.85
Q_3-3-3_v-100-100-100_r-70.6FAIL177.96
Q_3-3-3_v-100-100-100_r-70.4FAIL178.06
Q_3-3-3_v-100-100-100_r-70.5FAIL181.14
Q_3-3-3_v-100-100-100_r-50.4FAIL224.64
Q_3-3-3_v-100-100-100_r-50.8FAIL226.47
Q_3-3-3_v-100-100-100_r-50.1FAIL229.54
Q_3-3-3_v-100-100-100_r-50.3FAIL231.15
Q_3-3-3_v-100-100-100_r-50.9FAIL232.44
Q_3-3-3_v-100-100-100_r-50.5FAIL233.14
Q_3-3-3_v-100-100-100_r-50.0FAIL234.84
Q_3-3-3_v-100-100-100_r-50.2FAIL235.84
Q_3-3-3_v-100-100-100_r-50.6FAIL237.75
Q_3-3-3_v-100-100-100_r-50.7FAIL241.84
Q_3-3-3_v-100-100-100_r-40.1FAIL275.06
Q_3-3-3_v-100-100-100_r-40.4FAIL275.84
Q_3-3-3_v-100-100-100_r-40.7FAIL278.45
Q_3-3-3_v-100-100-100_r-40.2FAIL287.25
Q_3-3-3_v-100-100-100_r-40.6FAIL287.44
Q_3-3-3_v-100-100-100_r-40.8FAIL289.04
Q_3-3-3_v-100-100-100_r-40.3FAIL290.55
Q_3-3-3_v-100-100-100_r-30.5FAIL291.24
Q_3-3-3_v-100-100-100_r-40.0FAIL295.95
Q_3-3-3_v-100-100-100_r-40.9FAIL298.84
Q_3-3-3_v-100-100-100_r-30.3FAIL300.14
Q_3-3-3_v-100-100-100_r-40.5FAIL322.54
Q_3-3-3_v-100-100-100_r-30.6FAIL345.14
Q_3-3-3_v-100-100-100_r-30.4FAIL350.64
Q_3-3-3_v-100-100-100_r-30.7FAIL376.74
Q_3-3-3_v-100-100-100_r-30.0FAIL377.94
Q_3-3-3_v-100-100-100_r-30.8FAIL400.95
Q_3-3-3_v-100-100-100_r-30.2FAIL402.65
Q_3-3-3_v-100-100-100_r-30.9FAIL408.94
Q_3-3-3_v-100-100-100_r-30.1FAIL449.95