Instances of family QBF-Hardness solved by Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT4.12
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT15.82
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT52.98
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT120.66
arbiter-08-comp-error02-qbf-hardness-depth-9SAT267.48
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900.01
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900.01
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900.02
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900.02
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900.03