QBFEVAL'16 Dataset