QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Abduction
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ii8d1-00 | caqe_2017_v1 | SAT | 5.46 |  |
| ii8d1-90 | xb-qsts_bqsts2.0 | UNSAT | 39.8 | |
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ii8d1-00 | caqe_2017_v1 | SAT | 5.46 | |
| ii8d1-90 | xb-qsts_bqsts2.0 | UNSAT | 39.8 | |