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


InstanceSolverResultTime
C432.blif_0.10_0.20_0_0_inp_exactsqueezebf+aqmeUNSAT114.17
C432.blif_0.10_0.20_0_0_out_exactsqueezebf+aqmeUNSAT95.07
C432.blif_0.10_0.20_0_1_inp_exactaqme-10SAT0.92
C432.blif_0.10_0.20_0_1_out_exactaqme-10UNSAT140.45
C432.blif_0.10_1.00_0_0_inp_exactcaqe-portfolioUNSAT0.22
C432.blif_0.10_1.00_0_0_out_exactcaqe-portfolioUNSAT0.22
C432.blif_0.10_1.00_0_1_inp_exactcaqe-portfolioSAT0.32
C432.blif_0.10_1.00_0_1_out_exactcaqe-portfolioSAT0.22