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

InstanceResultTime
Q_2-2-3_v-100-100-100_r-75.4FAIL55.44
Q_2-2-3_v-100-100-100_r-75.9FAIL55.54
Q_2-2-3_v-100-100-100_r-75.2FAIL55.54
Q_2-2-3_v-100-100-100_r-75.8FAIL55.64
Q_2-2-3_v-100-100-100_r-75.3FAIL55.73
Q_2-2-3_v-100-100-100_r-75.0FAIL55.76
Q_2-2-3_v-100-100-100_r-75.5FAIL55.84
Q_2-2-3_v-100-100-100_r-75.7FAIL55.85
Q_2-2-3_v-100-100-100_r-75.1FAIL55.94
Q_2-2-3_v-100-100-100_r-75.6FAIL55.94
Q_2-2-3_v-100-100-100_r-65.2FAIL90.63
Q_2-2-3_v-100-100-100_r-55.0FAIL289.84
Q_2-2-3_v-100-100-100_r-55.6FAIL294.74
Q_2-2-3_v-100-100-100_r-55.3FAIL309.34
Q_2-2-3_v-100-100-100_r-55.9FAIL310.54
Q_2-2-3_v-100-100-100_r-55.5FAIL312.55
Q_2-2-3_v-100-100-100_r-35.9FAIL317.95
Q_2-2-3_v-100-100-100_r-45.7FAIL319.93
Q_2-2-3_v-100-100-100_r-55.7FAIL323.04
Q_2-2-3_v-100-100-100_r-35.4FAIL329.84
Q_2-2-3_v-100-100-100_r-45.1FAIL348.14
Q_2-2-3_v-100-100-100_r-35.6FAIL351.84
Q_2-2-3_v-100-100-100_r-45.8FAIL357.04
Q_2-2-3_v-100-100-100_r-55.8FAIL359.34
Q_2-2-3_v-100-100-100_r-45.6FAIL364.64
Q_2-2-3_v-100-100-100_r-55.4FAIL365.13
Q_2-2-3_v-100-100-100_r-55.2FAIL373.84
Q_2-2-3_v-100-100-100_r-35.2FAIL374.44
Q_2-2-3_v-100-100-100_r-45.5FAIL384.44
Q_2-2-3_v-100-100-100_r-45.9FAIL384.83
Q_2-2-3_v-100-100-100_r-55.1FAIL388.74
Q_2-2-3_v-100-100-100_r-45.4FAIL393.85
Q_2-2-3_v-100-100-100_r-35.8FAIL404.84
Q_2-2-3_v-100-100-100_r-35.0FAIL410.14
Q_2-2-3_v-100-100-100_r-45.0FAIL415.04
Q_2-2-3_v-100-100-100_r-35.5FAIL417.05
Q_2-2-3_v-100-100-100_r-45.3FAIL438.84
Q_2-2-3_v-100-100-100_r-45.2FAIL446.14
Q_2-2-3_v-100-100-100_r-35.1FAIL457.65
Q_2-2-3_v-100-100-100_r-35.7FAIL459.44
Q_2-2-3_v-100-100-100_r-35.3FAIL465.23
Q_2-2-3_v-100-100-100_r-65.5FAIL517.54
Q_2-2-3_v-100-100-100_r-65.7FAIL599.22
Q_2-2-3_v-100-100-100_r-65.8FAIL599.22
Q_2-2-3_v-100-100-100_r-65.1FAIL599.22
Q_2-2-3_v-100-100-100_r-65.9FAIL599.22
Q_2-2-3_v-100-100-100_r-65.3FAIL599.23
Q_2-2-3_v-100-100-100_r-65.4FAIL599.23
Q_2-2-3_v-100-100-100_r-65.6FAIL599.23
Q_2-2-3_v-100-100-100_r-65.0FAIL599.23