Sota solver results for family C6288
QBFEVAL'06


InstanceSolverResultTime
C6288.blif_0.10_1.00_0_1_out_exactsKizzo-0.9-grnSAT0.64