Qbfgen
......\3qbf-5cnf-20var-83cl
......\....................\3qbf-5cnf-20var-83cl.0.qdimacs
......\....................\3qbf-5cnf-20var-83cl.1.qdimacs
......\....................\3qbf-5cnf-20var-83cl.10.qdimacs
......\....................\3qbf-5cnf-20var-83cl.11.qdimacs
......\....................\3qbf-5cnf-20var-83cl.12.qdimacs
......\....................\3qbf-5cnf-20var-83cl.13.qdimacs
......\....................\3qbf-5cnf-20var-83cl.14.qdimacs
......\....................\3qbf-5cnf-20var-83cl.15.qdimacs
......\....................\3qbf-5cnf-20var-83cl.16.qdimacs
......\....................\3qbf-5cnf-20var-83cl.17.qdimacs
......\....................\3qbf-5cnf-20var-83cl.18.qdimacs
......\....................\3qbf-5cnf-20var-83cl.19.qdimacs
......\....................\3qbf-5cnf-20var-83cl.2.qdimacs
......\....................\3qbf-5cnf-20var-83cl.20.qdimacs
......\....................\3qbf-5cnf-20var-83cl.21.qdimacs
......\....................\3qbf-5cnf-20var-83cl.22.qdimacs
......\....................\3qbf-5cnf-20var-83cl.23.qdimacs
......\....................\3qbf-5cnf-20var-83cl.24.qdimacs
......\....................\3qbf-5cnf-20var-83cl.25.qdimacs
......\....................\3qbf-5cnf-20var-83cl.26.qdimacs
......\....................\3qbf-5cnf-20var-83cl.27.qdimacs
......\....................\3qbf-5cnf-20var-83cl.28.qdimacs
......\....................\3qbf-5cnf-20var-83cl.29.qdimacs
......\....................\3qbf-5cnf-20var-83cl.3.qdimacs
......\....................\3qbf-5cnf-20var-83cl.30.qdimacs
......\....................\3qbf-5cnf-20var-83cl.31.qdimacs
......\....................\3qbf-5cnf-20var-83cl.32.qdimacs
......\....................\3qbf-5cnf-20var-83cl.33.qdimacs
......\....................\3qbf-5cnf-20var-83cl.34.qdimacs
......\....................\3qbf-5cnf-20var-83cl.35.qdimacs
......\....................\3qbf-5cnf-20var-83cl.36.qdimacs
......\....................\3qbf-5cnf-20var-83cl.37.qdimacs
......\....................\3qbf-5cnf-20var-83cl.38.qdimacs
......\....................\3qbf-5cnf-20var-83cl.39.qdimacs
......\....................\3qbf-5cnf-20var-83cl.4.qdimacs
......\....................\3qbf-5cnf-20var-83cl.40.qdimacs
......\....................\3qbf-5cnf-20var-83cl.41.qdimacs
......\....................\3qbf-5cnf-20var-83cl.42.qdimacs
......\....................\3qbf-5cnf-20var-83cl.43.qdimacs
......\....................\3qbf-5cnf-20var-83cl.44.qdimacs
......\....................\3qbf-5cnf-20var-83cl.45.qdimacs
......\....................\3qbf-5cnf-20var-83cl.46.qdimacs
......\....................\3qbf-5cnf-20var-83cl.47.qdimacs
......\....................\3qbf-5cnf-20var-83cl.48.qdimacs
......\....................\3qbf-5cnf-20var-83cl.49.qdimacs
......\....................\3qbf-5cnf-20var-83cl.5.qdimacs
......\....................\3qbf-5cnf-20var-83cl.50.qdimacs
......\....................\3qbf-5cnf-20var-83cl.51.qdimacs
......\....................\3qbf-5cnf-20var-83cl.52.qdimacs
......\....................\3qbf-5cnf-20var-83cl.53.qdimacs
......\....................\3qbf-5cnf-20var-83cl.54.qdimacs
......\....................\3qbf-5cnf-20var-83cl.55.qdimacs
......\....................\3qbf-5cnf-20var-83cl.56.qdimacs
......\....................\3qbf-5cnf-20var-83cl.57.qdimacs
......\....................\3qbf-5cnf-20var-83cl.58.qdimacs
......\....................\3qbf-5cnf-20var-83cl.59.qdimacs
......\....................\3qbf-5cnf-20var-83cl.6.qdimacs
......\....................\3qbf-5cnf-20var-83cl.60.qdimacs
......\....................\3qbf-5cnf-20var-83cl.61.qdimacs
......\....................\3qbf-5cnf-20var-83cl.62.qdimacs
......\....................\3qbf-5cnf-20var-83cl.63.qdimacs
......\....................\3qbf-5cnf-20var-83cl.64.qdimacs
......\....................\3qbf-5cnf-20var-83cl.65.qdimacs
......\....................\3qbf-5cnf-20var-83cl.66.qdimacs
......\....................\3qbf-5cnf-20var-83cl.67.qdimacs
......\....................\3qbf-5cnf-20var-83cl.68.qdimacs
......\....................\3qbf-5cnf-20var-83cl.69.qdimacs
......\....................\3qbf-5cnf-20var-83cl