Instances of family QBF-Hardness solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0.31
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT7.02
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT183.13
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT210.72
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL885.43
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL887.66
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL889.58
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL891.72
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL892.81
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL893.07