Instances of family QBF-Hardness solved by caqe-pre
Prenex CNF Track

InstanceResultTime
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT4
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT15.8
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT52.9
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT120.15
arbiter-08-comp-error02-qbf-hardness-depth-9SAT267.36
arbiter-07-comp-error01-qbf-hardness-depth-20UNSAT466.18
arbiter-09-comp-error01-qbf-hardness-depth-21UNSAT482.75
arbiter-10-comp-error01-qbf-hardness-depth-22UNSAT486.16
arbiter-10-comp-error01-qbf-hardness-depth-23UNSAT518.74
arbiter-10-comp-error01-qbf-hardness-depth-24UNSAT533.13