Sota solver results for family C6288
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
C6288.blif_0.10_1.00_0_1_inp_exactaqme-10SAT16.38
C6288.blif_0.10_1.00_0_1_out_exactQuBE7-cSAT0.5