Instances of family QBF-Hardness solved by xb-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT0.41
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT0.51
arbiter-07-comp-error02-qbf-hardness-depth-6UNSAT0.67
arbiter-07-comp-error01-qbf-hardness-depth-11UNSAT1.5
arbiter-06-comp-error01-qbf-hardness-depth-12UNSAT1.51
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT2.04
arbiter-08-comp-error02-qbf-hardness-depth-9SAT2.17
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT2.58
arbiter-07-comp-error01-qbf-hardness-depth-20UNSAT9.03
arbiter-10-comp-error01-qbf-hardness-depth-22UNSAT15.97