Instance | Solver | Result | Time | |
---|---|---|---|---|
stmt17_62_98 | qbfrelay | SAT | 10.51 | |
stmt17_63_82 | qbfrelay | SAT | 6.31 | |
stmt17_70_90 | qbfrelay | SAT | 9.9 | |
stmt17_70_98 | dynQBF-bloqqer-hqspre | SAT | 15.22 | |
stmt17_82_98 | qbfrelay | SAT | 14.7 | |
stmt17_86_98 | dynQBF-bloqqer-hqspre | SAT | 19.25 | |
stmt19_64_99 | qbfrelay | SAT | 8.92 | |
stmt23_66_96 | qbfrelay | SAT | 8.3 | |
stmt23_72_76 | qbfrelay | SAT | 6.74 | |
stmt28_68_81 | qbfrelay | SAT | 7.54 |