QBF Solver Evaluation Portal
qbflib.orgInstances of family irqlkeapclte solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt23_66_67 | SAT | 3.92 | |
| stmt17_63_70 | SAT | 4.15 | |
| stmt19_64_87 | SAT | 6.02 | |
| stmt28_68_69 | SAT | 6.85 | |
| stmt17_62_78 | SAT | 8.02 | |
| stmt17_63_78 | SAT | 8.2 | |
| stmt28_68_73 | SAT | 8.99 | |
| stmt17_70_78 | SAT | 9.15 | |
| stmt23_66_76 | SAT | 9.86 | |
| stmt23_67_92 | SAT | 10.09 | |
| stmt17_70_82 | SAT | 10.39 | |
| stmt17_70_86 | SAT | 10.73 | |
| stmt17_74_90 | SAT | 11.1 | |
| stmt17_74_78 | SAT | 13.09 | |
| stmt28_73_85 | SAT | 13.13 | |
| stmt19_83_91 | SAT | 13.38 | |
| stmt17_82_86 | SAT | 13.4 | |
| stmt19_64_91 | SAT | 13.75 | |
| stmt17_78_90 | SAT | 14.12 | |
| stmt19_71_95 | SAT | 14.51 | |
| stmt17_82_94 | SAT | 14.8 | |
| stmt19_75_83 | SAT | 16.19 | |
| stmt19_65_95 | SAT | 16.66 | |
| stmt19_65_87 | SAT | 17.07 | |
| stmt17_78_94 | SAT | 17.1 | |
| stmt19_79_87 | SAT | 17.56 | |
| stmt17_94_98 | SAT | 18.5 | |
| stmt23_92_96 | SAT | 19.69 | |
| stmt28_89_97 | SAT | 19.87 | |
| stmt23_88_92 | SAT | 21.44 | |
| stmt19_87_95 | SAT | 21.7 | |
| stmt19_75_95 | SAT | 23.89 | |
| stmt17_78_98 | SAT | 24.86 | |
| stmt19_79_83 | SAT | 25.05 | |
| stmt28_73_97 | SAT | 27.74 |