Discrepancies tables for QBF-Hardness
QBFEVAL'18 - Prenex CNF Track


Instance # Sat # Unsat Minority Solver
arbiter-05-comp-error01-qbf-hardness-depth-8 3 14 Qute_default, Qute_opt500, Qute_random
arbiter-06-comp-error01-qbf-hardness-depth-11 3 14 Qute_default, Qute_opt500, Qute_random
arbiter-06-comp-error01-qbf-hardness-depth-15 3 8 Qute_default, Qute_opt500, Qute_random
arbiter-07-comp-error01-qbf-hardness-depth-20 3 2 Caqe-bloqqer, Caqe-bloqqer-qdo
arbiter-09-comp-error01-qbf-hardness-depth-15 3 8 Qute_default, Qute_opt500, Qute_random
arbiter-09-comp-error01-qbf-hardness-depth-21 1 2 Qute_default
arbiter-10-comp-error01-qbf-hardness-depth-22 1 2 Qute_default
Download table[csv, latex]