QBF Solver Evaluation Portal
qbflib.orgSota solver results for family jmc_quant
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| test3_quant2 | Qute_rrs | UNSAT | 0.75 |  |
| test5_quant7 | Caqe-hqspre | SAT | 0 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| test3_quant2 | Qute_rrs | UNSAT | 0.75 | |
| test5_quant7 | Caqe-hqspre | SAT | 0 | |