QBF Solver Evaluation Portal
qbflib.orgUnique instances for semprop
QBFEVAL'04
| Instance | Time | Result |
|---|---|---|
| C6288.blif_0.10_1.00_0_1_out_exact | 3.93 | SAT |
| k_branch_n-6 | 1.48 | SAT |
| k_branch_n-7 | 12.28 | SAT |
| k_branch_n-9 | 255.29 | SAT |
| C432.blif_0.10_0.20_0_0_inp_exact | 541.58 | UNSAT |