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

InstanceResultTime
Q_2-2-3_v-100-100-100_r-75.9FAIL54.84
Q_2-2-3_v-100-100-100_r-75.4FAIL54.84
Q_2-2-3_v-100-100-100_r-75.1FAIL54.94
Q_2-2-3_v-100-100-100_r-75.3FAIL54.94
Q_2-2-3_v-100-100-100_r-75.8FAIL54.94
Q_2-2-3_v-100-100-100_r-75.2FAIL55.05
Q_2-2-3_v-100-100-100_r-75.5FAIL55.05
Q_2-2-3_v-100-100-100_r-75.0FAIL55.05
Q_2-2-3_v-100-100-100_r-75.6FAIL55.15
Q_2-2-3_v-100-100-100_r-75.7FAIL55.15
Q_2-2-3_v-100-100-100_r-65.2FAIL103.94
Q_2-2-3_v-100-100-100_r-55.0FAIL301.94
Q_2-2-3_v-100-100-100_r-55.9FAIL318.24
Q_2-2-3_v-100-100-100_r-55.3FAIL319.25
Q_2-2-3_v-100-100-100_r-55.5FAIL320.34
Q_2-2-3_v-100-100-100_r-55.1FAIL327.44
Q_2-2-3_v-100-100-100_r-55.6FAIL343.54
Q_2-2-3_v-100-100-100_r-55.7FAIL350.13
Q_2-2-3_v-100-100-100_r-55.4FAIL361.04
Q_2-2-3_v-100-100-100_r-45.9FAIL362.74
Q_2-2-3_v-100-100-100_r-35.7FAIL373.44
Q_2-2-3_v-100-100-100_r-55.2FAIL376.84
Q_2-2-3_v-100-100-100_r-45.7FAIL377.35
Q_2-2-3_v-100-100-100_r-45.8FAIL377.45
Q_2-2-3_v-100-100-100_r-35.8FAIL377.45
Q_2-2-3_v-100-100-100_r-45.1FAIL389.63
Q_2-2-3_v-100-100-100_r-35.5FAIL394.24
Q_2-2-3_v-100-100-100_r-45.5FAIL397.53
Q_2-2-3_v-100-100-100_r-35.6FAIL399.45
Q_2-2-3_v-100-100-100_r-35.2FAIL399.84
Q_2-2-3_v-100-100-100_r-55.8FAIL400.14
Q_2-2-3_v-100-100-100_r-35.1FAIL404.04
Q_2-2-3_v-100-100-100_r-45.4FAIL406.14
Q_2-2-3_v-100-100-100_r-35.0FAIL408.44
Q_2-2-3_v-100-100-100_r-45.2FAIL410.74
Q_2-2-3_v-100-100-100_r-65.5FAIL428.53
Q_2-2-3_v-100-100-100_r-45.0FAIL428.94
Q_2-2-3_v-100-100-100_r-35.4FAIL431.25
Q_2-2-3_v-100-100-100_r-35.9FAIL434.34
Q_2-2-3_v-100-100-100_r-35.3FAIL437.44
Q_2-2-3_v-100-100-100_r-45.3FAIL448.14
Q_2-2-3_v-100-100-100_r-45.6FAIL448.44
Q_2-2-3_v-100-100-100_r-65.4FAIL599.21
Q_2-2-3_v-100-100-100_r-65.3FAIL599.22
Q_2-2-3_v-100-100-100_r-65.6FAIL599.22
Q_2-2-3_v-100-100-100_r-65.7FAIL599.22
Q_2-2-3_v-100-100-100_r-65.0FAIL599.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