Sota solver results for family QBF-Hardness
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
arbiter-06-comp-error01-qbf-hardness-depth-12caqe-portfolioUNSAT6.93
arbiter-06-comp-error01-qbf-hardness-depth-15caqe-portfolioUNSAT37.79
arbiter-06-comp-error02-qbf-hardness-depth-5caqe-portfolioUNSAT0.82
arbiter-07-comp-error01-qbf-hardness-depth-11caqe-portfolioUNSAT6.43
arbiter-07-comp-error01-qbf-hardness-depth-4caqe-portfolioUNSAT0.62
arbiter-07-comp-error02-qbf-hardness-depth-6caqe-portfolioUNSAT0.92
arbiter-08-comp-error02-qbf-hardness-depth-9caqe-portfolioSAT9.04
arbiter-10-comp-error01-qbf-hardness-depth-10caqe-portfolioUNSAT3.93