Hard QBF Encodings made easy: Dream or Reality?