Sota solver results for family QBF-Hardness
Prenex CNF Track


InstanceSolverResultTime
arbiter-05-comp-error01-qbf-hardness-depth-8depqbf_prefix_opt_qdoUNSAT0
arbiter-06-comp-error01-qbf-hardness-depth-11Caqe-bloqqer-qdoUNSAT4.46
arbiter-06-comp-error01-qbf-hardness-depth-15Caqe-bloqqer-qdoUNSAT6.82
arbiter-07-comp-error01-qbf-hardness-depth-20Caqe-bloqqer-qdoUNSAT17.87
arbiter-08-comp-error02-qbf-hardness-depth-9Caqe-bloqqer-qdoSAT3.24
arbiter-09-comp-error01-qbf-hardness-depth-15Caqe-bloqqer-qdoUNSAT13.49
arbiter-09-comp-error01-qbf-hardness-depth-21Caqe-bloqqer-qdoUNSAT34.71
arbiter-10-comp-error01-qbf-hardness-depth-22Caqe-bloqqer-qdoUNSAT61.15
arbiter-10-comp-error01-qbf-hardness-depth-23Caqe-bloqqer-qdoUNSAT155.54
arbiter-10-comp-error01-qbf-hardness-depth-24Caqe-bloqqer-qdoUNSAT162.39