Instance | # Sat | # Unsat | Minority Solver |
---|---|---|---|
C880.blif_0.10_0.20_0_1_inp_exact | 1 | 2 | qsts |
C880.blif_0.10_0.20_0_1_out_exact | 3 | 3 | ghostq-cegar, ghostq-plain, qsts, rareqs-nn, xb-bid-qsts, xb-qsts |
C880.blif_0.10_1.00_0_0_out_exact | 2 | 6 | xb-bid-qsts, xb-qsts |