Instances of family QBF-Hardness solved by aqua-f3v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT0.21
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT0.26
arbiter-07-comp-error02-qbf-hardness-depth-6UNSAT0.65
arbiter-07-comp-error01-qbf-hardness-depth-11UNSAT4.63
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT8.33
arbiter-06-comp-error01-qbf-hardness-depth-12UNSAT77.69
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL599.84
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL599.87
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL599.92
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL600