QBF Solver Evaluation Portal
qbflib.orgInstances of family irqlkeapclte solved by GhostQ-PG_cegar
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt23_66_67 | SAT | 43.06 | |
| stmt28_68_73 | SAT | 48.67 | |
| stmt28_68_69 | SAT | 53.66 | |
| stmt17_63_70 | SAT | 59.15 | |
| stmt23_66_76 | SAT | 59.73 | |
| stmt17_62_78 | SAT | 70.84 | |
| stmt19_79_83 | SAT | 73.01 | |
| stmt17_74_78 | SAT | 73.88 | |
| stmt17_70_78 | SAT | 74.19 | |
| stmt23_88_92 | SAT | 81.36 | |
| stmt17_70_86 | SAT | 81.47 | |
| stmt19_65_87 | SAT | 82.34 | |
| stmt19_79_87 | SAT | 84.35 | |
| stmt17_70_82 | SAT | 86.7 | |
| stmt19_87_95 | SAT | 87.2 | |
| stmt19_75_83 | SAT | 92.53 | |
| stmt23_92_96 | SAT | 93.23 | |
| stmt28_73_85 | SAT | 94.29 | |
| stmt19_83_91 | SAT | 97.34 | |
| stmt17_78_94 | SAT | 98.85 | |
| stmt17_74_90 | SAT | 102.23 | |
| stmt17_63_78 | SAT | 102.68 | |
| stmt17_82_86 | SAT | 104.78 | |
| stmt23_67_92 | SAT | 105.03 | |
| stmt17_78_98 | SAT | 107.06 | |
| stmt19_64_87 | SAT | 107.73 | |
| stmt19_75_95 | SAT | 109.39 | |
| stmt19_71_95 | SAT | 110.98 | |
| stmt17_94_98 | SAT | 112.92 | |
| stmt19_64_91 | SAT | 116.09 | |
| stmt17_82_94 | SAT | 129.93 | |
| stmt28_89_97 | SAT | 132.75 | |
| stmt28_73_97 | SAT | 158.22 | |
| stmt19_65_95 | SAT | 246.93 | |
| stmt17_78_90 | SAT | 268.72 |