QBF Solver Evaluation Portal
qbflib.orgInstances of family irqlkeapclte solved by qbfrelay
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt23_66_67 | SAT | 4.1 | |
| stmt17_63_70 | SAT | 4.4 | |
| stmt28_68_69 | SAT | 5.51 | |
| stmt28_68_73 | SAT | 6.16 | |
| stmt19_64_87 | SAT | 6.39 | |
| stmt17_62_78 | SAT | 6.79 | |
| stmt17_63_78 | SAT | 8.02 | |
| stmt23_67_92 | SAT | 8.61 | |
| stmt17_74_78 | SAT | 9.01 | |
| stmt23_66_76 | SAT | 9.3 | |
| stmt28_73_85 | SAT | 9.6 | |
| stmt19_64_91 | SAT | 9.71 | |
| stmt19_65_95 | SAT | 9.79 | |
| stmt17_70_82 | SAT | 9.8 | |
| stmt17_70_78 | SAT | 9.91 | |
| stmt19_79_83 | SAT | 9.91 | |
| stmt19_79_87 | SAT | 10.71 | |
| stmt19_75_95 | SAT | 11.62 | |
| stmt17_82_86 | SAT | 11.68 | |
| stmt28_73_97 | SAT | 11.88 | |
| stmt17_78_90 | SAT | 12 | |
| stmt17_78_94 | SAT | 12.12 | |
| stmt19_83_91 | SAT | 12.44 | |
| stmt17_78_98 | SAT | 13.19 | |
| stmt23_88_92 | SAT | 13.5 | |
| stmt19_65_87 | SAT | 14.28 | |
| stmt19_87_95 | SAT | 14.5 | |
| stmt28_89_97 | SAT | 15.06 | |
| stmt23_92_96 | SAT | 16.13 | |
| stmt17_74_90 | SAT | 16.61 | |
| stmt17_94_98 | SAT | 16.67 | |
| stmt17_82_94 | SAT | 17.38 | |
| stmt17_70_86 | SAT | 41.71 | |
| stmt19_71_95 | SAT | 46.43 | |
| stmt19_75_83 | SAT | 53.46 |