QBF Solver Evaluation Portal
qbflib.orgSota solver results for family disjunctive_decomposition
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| bobtuint31neg | iprover_bloqqer_single | SAT | 0 |  |
| eijkbs3330 | Rareqs_2018 | SAT | 0 | |
| eijkbs4863 | Rareqs_2018 | SAT | 0 | |
| kenflashp04 | iprover_bloqqer_single | SAT | 0 | |
| kenflashp12 | iprover_bloqqer_single | SAT | 0 | |
| neclaftp4001 | nanoqbf_bloqqer | UNSAT | 4.63 | |
| pdtpmsmiim | iprover_bloqqer_single | SAT | 0 | |
| pdtpmsrotate32 | iprover_bloqqer_single | SAT | 0 | |