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


InstanceSolverResultTime
C6288.blif_0.10_1.00_0_1_inp_exactaqme-10SAT6.44
C6288.blif_0.10_1.00_0_1_out_exactaqme-10SAT1.98