QBF Solver Evaluation Portal
qbflib.orgInstances of family irqlkeapclte solved by CUED1919_NL
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt19_64_87 | FAIL | 331.28 | |
| stmt17_70_86 | FAIL | 332.58 | |
| stmt17_70_78 | FAIL | 334.06 | |
| stmt19_75_83 | FAIL | 335.8 | |
| stmt19_65_87 | FAIL | 337.25 | |
| stmt19_79_87 | FAIL | 340.23 | |
| stmt19_64_91 | FAIL | 341.08 | |
| stmt17_74_78 | FAIL | 342.98 | |
| stmt19_79_83 | FAIL | 343.71 | |
| stmt17_70_82 | FAIL | 347.12 | |
| stmt17_62_78 | FAIL | 348.35 | |
| stmt19_65_95 | FAIL | 349.18 | |
| stmt17_74_90 | FAIL | 351.17 | |
| stmt28_73_85 | FAIL | 351.53 | |
| stmt23_67_92 | FAIL | 352.07 | |
| stmt17_63_78 | FAIL | 358.95 | |
| stmt19_75_95 | FAIL | 362.99 | |
| stmt17_82_86 | FAIL | 363.1 | |
| stmt23_88_92 | FAIL | 366.92 | |
| stmt19_83_91 | FAIL | 369.13 | |
| stmt19_71_95 | FAIL | 369.9 | |
| stmt28_73_97 | FAIL | 376.84 | |
| stmt19_87_95 | FAIL | 378.45 | |
| stmt17_78_98 | FAIL | 380.02 | |
| stmt28_89_97 | FAIL | 387.13 | |
| stmt17_82_94 | FAIL | 388.79 | |
| stmt23_92_96 | FAIL | 390.14 | |
| stmt17_94_98 | FAIL | 403.69 | |
| stmt17_78_90 | FAIL | 518.78 | |
| stmt17_78_94 | FAIL | 544.06 | |
| stmt28_68_73 | FAIL | 900 | |
| stmt23_66_67 | FAIL | 900 | |
| stmt17_63_70 | FAIL | 900 | |
| stmt28_68_69 | FAIL | 900 | |
| stmt23_66_76 | FAIL | 900 |