QBF Solver Evaluation Portal
qbflib.orgSota solver results for family jmc_quant_squaring
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| test3_quant_squaring2 | Qute_rrs | UNSAT | 1.24 |  |
| test4_quant_squaring2 | Qute_default | UNSAT | 0 | |
| test5_quant_squaring5 | depqbf_prefix_opt_qdo | SAT | 17.23 | |