QBF Solver Evaluation Portal
qbflib.orgInstances of family irqlkeapclte solved by ASPQ2
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt28_68_69 | FAIL | 700.68 | |
| stmt17_63_78 | FAIL | 700.74 | |
| stmt28_68_73 | FAIL | 700.74 | |
| stmt17_62_78 | FAIL | 700.8 | |
| stmt19_64_87 | FAIL | 700.81 | |
| stmt17_70_78 | FAIL | 700.83 | |
| stmt17_63_70 | FAIL | 700.84 | |
| stmt19_64_91 | FAIL | 700.87 | |
| stmt19_65_87 | FAIL | 700.87 | |
| stmt17_70_82 | FAIL | 700.89 | |
| stmt19_75_83 | FAIL | 700.92 | |
| stmt23_67_92 | FAIL | 700.92 | |
| stmt17_74_78 | FAIL | 700.92 | |
| stmt23_66_67 | FAIL | 700.93 | |
| stmt17_70_86 | FAIL | 700.93 | |
| stmt19_65_95 | FAIL | 700.96 | |
| stmt19_79_83 | FAIL | 700.96 | |
| stmt28_73_85 | FAIL | 700.97 | |
| stmt17_74_90 | FAIL | 701 | |
| stmt19_79_87 | FAIL | 701.01 | |
| stmt19_71_95 | FAIL | 701.02 | |
| stmt23_66_76 | FAIL | 701.02 | |
| stmt19_75_95 | FAIL | 701.05 | |
| stmt17_78_90 | FAIL | 701.06 | |
| stmt17_82_86 | FAIL | 701.06 | |
| stmt17_78_94 | FAIL | 701.09 | |
| stmt19_83_91 | FAIL | 701.11 | |
| stmt28_73_97 | FAIL | 701.12 | |
| stmt17_78_98 | FAIL | 701.13 | |
| stmt23_88_92 | FAIL | 701.15 | |
| stmt17_82_94 | FAIL | 701.17 | |
| stmt19_87_95 | FAIL | 701.19 | |
| stmt23_92_96 | FAIL | 701.23 | |
| stmt28_89_97 | FAIL | 701.3 | |
| stmt17_94_98 | FAIL | 701.3 |