QBF Solver Evaluation Portal
qbflib.orgUnique instances for rev_qfun0.1
QBFEVAL'17 - Prenex CNF Track
| Instance | Time | Result |
|---|---|---|
| C6288.blif_0.10_0.20_0_1_out_exact | 25.49 | SAT |
| b20_C_3_2 | 668.06 | SAT |
| b21_C_3_206 | 35.54 | SAT |
| add6_CHOOSE | 677.38 | SAT |