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


InstanceSolverResultTime
C880.blif_0.10_1.00_0_1_inp_exactcaqe-portfolioSAT0.42
C880.blif_0.10_1.00_0_1_out_exactcaqe-portfolioSAT0.42