QBF Solver Evaluation Portal
qbflib.orgInstances of family irqlkeapclte solved by ghostq-cegar
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt23_66_67 | SAT | 50.59 | |
| stmt17_63_70 | SAT | 56.3 | |
| stmt23_66_76 | SAT | 58.34 | |
| stmt28_68_69 | SAT | 58.43 | |
| stmt17_62_78 | SAT | 65.29 | |
| stmt28_68_73 | SAT | 65.39 | |
| stmt17_63_78 | SAT | 65.87 | |
| stmt17_74_78 | SAT | 70.75 | |
| stmt19_64_91 | SAT | 78.53 | |
| stmt19_65_87 | SAT | 80.05 | |
| stmt17_70_78 | SAT | 83.7 | |
| stmt28_73_85 | SAT | 88.92 | |
| stmt19_79_83 | SAT | 93.34 | |
| stmt19_64_87 | SAT | 94.61 | |
| stmt17_70_86 | SAT | 96 | |
| stmt17_70_82 | SAT | 103.77 | |
| stmt19_83_91 | SAT | 106.42 | |
| stmt19_75_95 | SAT | 112.84 | |
| stmt19_79_87 | SAT | 118.86 | |
| stmt19_75_83 | SAT | 121.57 | |
| stmt23_67_92 | SAT | 125.62 | |
| stmt17_74_90 | SAT | 130.96 | |
| stmt19_71_95 | SAT | 132.6 | |
| stmt23_88_92 | SAT | 139.29 | |
| stmt19_87_95 | SAT | 159.45 | |
| stmt28_73_97 | SAT | 159.81 | |
| stmt17_82_86 | SAT | 163.2 | |
| stmt17_94_98 | SAT | 175.16 | |
| stmt17_78_90 | SAT | 186.71 | |
| stmt23_92_96 | SAT | 186.92 | |
| stmt17_78_94 | SAT | 188.78 | |
| stmt17_82_94 | SAT | 208.84 | |
| stmt17_78_98 | SAT | 246.94 | |
| stmt19_65_95 | SAT | 326.22 | |
| stmt28_89_97 | SAT | 680.99 |