QBF Solver Evaluation Portal
qbflib.orgUnique instances for caqe-minisat-par
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.
| Instance | Time | Result |
|---|---|---|
| c2_Debug_s3_f1_e1_v2 | 600 | SAT |
| dungeon_i25-m12-u5-v0.pddl_planlen=170 | 600 | SAT |