Instances of family QBF-Hardness solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT1.12
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT73.34
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900