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

InstanceResultTime
arbiter-06-comp-error02-qbf-hardness-depth-5UNSAT122.38
arbiter-07-comp-error01-qbf-hardness-depth-4UNSAT137.86
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL379.93
arbiter-07-comp-error01-qbf-hardness-depth-11FAIL386.04
arbiter-06-comp-error01-qbf-hardness-depth-12FAIL455.94
arbiter-10-comp-error01-qbf-hardness-depth-10FAIL599.22
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL599.22
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL599.22
arbiter-07-comp-error02-qbf-hardness-depth-6FAIL599.22
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL599.22