Instances of family QBF-Hardness solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0.66
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT1.46
arbiter-08-comp-error02-qbf-hardness-depth-9SAT2.61
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT2.94
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT3.92
arbiter-07-comp-error01-qbf-hardness-depth-20UNSAT10.23
arbiter-09-comp-error01-qbf-hardness-depth-21UNSAT22.91
arbiter-10-comp-error01-qbf-hardness-depth-22UNSAT24.8
arbiter-10-comp-error01-qbf-hardness-depth-23UNSAT38.35
arbiter-10-comp-error01-qbf-hardness-depth-24UNSAT53.05