Submission files to AMAI

This release contains all compiled instances to qdimacs from submission to AMAI.

Benchmark for QBF Competition 2020

Contains instances and encoder for the QBF benchmark based on the corrective encodings.