QBF Solver Evaluation Portal
qbflib.orgInstances of family irqlkeapclte solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex 2QBF Track
| Instance | Result | Time | |
|---|---|---|---|
| stmt23_66_67 | SAT | 78.48 | |
| stmt17_63_70 | SAT | 79.07 | |
| stmt23_66_76 | SAT | 79.98 | |
| stmt28_68_73 | SAT | 82.03 | |
| stmt28_68_69 | SAT | 85.81 | |
| stmt17_63_78 | SAT | 86.88 | |
| stmt17_70_86 | FAIL | 888.19 | |
| stmt23_92_96 | FAIL | 888.32 | |
| stmt17_78_98 | FAIL | 888.37 | |
| stmt19_79_83 | FAIL | 888.46 | |
| stmt17_82_86 | FAIL | 888.48 | |
| stmt19_83_91 | FAIL | 888.56 | |
| stmt17_94_98 | FAIL | 888.63 | |
| stmt17_74_90 | FAIL | 888.66 | |
| stmt17_78_90 | FAIL | 888.79 | |
| stmt19_75_95 | FAIL | 889.06 | |
| stmt17_82_94 | FAIL | 889.06 | |
| stmt17_74_78 | FAIL | 889.06 | |
| stmt23_67_92 | FAIL | 889.15 | |
| stmt19_71_95 | FAIL | 889.23 | |
| stmt28_89_97 | FAIL | 889.25 | |
| stmt19_65_87 | FAIL | 889.74 | |
| stmt17_62_78 | FAIL | 889.76 | |
| stmt23_88_92 | FAIL | 889.81 | |
| stmt19_75_83 | FAIL | 889.88 | |
| stmt28_73_97 | FAIL | 889.99 | |
| stmt19_64_87 | FAIL | 890.23 | |
| stmt17_78_94 | FAIL | 890.24 | |
| stmt17_70_78 | FAIL | 890.27 | |
| stmt28_73_85 | FAIL | 890.49 | |
| stmt19_65_95 | FAIL | 890.68 | |
| stmt19_79_87 | FAIL | 890.83 | |
| stmt19_64_91 | FAIL | 890.91 | |
| stmt17_70_82 | FAIL | 890.96 | |
| stmt19_87_95 | FAIL | 893.84 |