Instances of family QBF-Hardness solved by ghostq-plain
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT0.37
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT0.54
arbiter-07-comp-error02-qbf-hardness-depth-6UNSAT0.91
arbiter-10-comp-error01-qbf-hardness-depth-10UNSAT5.07
arbiter-07-comp-error01-qbf-hardness-depth-11UNSAT42.58
arbiter-06-comp-error01-qbf-hardness-depth-12UNSAT337.41
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL599.81
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL599.81
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL599.91
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL599.91