Instances of family QBF-Hardness solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT1.01
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT2.59
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT13.93
arbiter-07-comp-error02-qbf-hardness-depth-6UNSAT39.49
arbiter-06-comp-error01-qbf-hardness-depth-12UNSAT96.44
arbiter-07-comp-error01-qbf-hardness-depth-11UNSAT133.33
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL600
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL600
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL600
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL600