Instance | Solver | Result | Time | |
---|---|---|---|---|
b14_PR_1_50 | depqbf_prefix_opt_qdo | SAT | 1.67 | |
b18_PR_4_2 | depqbf_prefix_opt_qdo | SAT | 3.23 | |
b20_PR_7_20 | depqbf_prefix_opt_qdo | SAT | 0.05 | |
b20_PR_9_90 | Caqe-bloqqer | UNSAT | 0 | |
b21_PR_8_20 | depqbf_prefix_opt_qdo | SAT | 0.05 | |
b21_PR_9_90 | Rareqs_2018 | UNSAT | 0 | |
b22_PR_8_20 | predyndep | SAT | 25.99 | |
b22_PR_9_90 | Heretiq-cube | UNSAT | 2.99 |