QBF Solver Evaluation Portal
qbflib.orgUnique instances for mpiDepQBF
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Instance | Time | Result |
|---|---|---|
| cube_c11_par---13_ | 231.09 | UNSAT |
| k_ph_p-12 | 0.97 | SAT |
| k_ph_p-13 | 2.09 | SAT |
| k_ph_p-18 | 25.4 | SAT |
| k_ph_p-20 | 66.52 | SAT |