Sota solver results for family C499
QBFEVAL'07


InstanceSolverResultTime
C499.blif_0.10_0.20_0_1_inp_exactyQuaffleSAT1.92
C499.blif_0.10_1.00_0_0_out_exactsKizzo-0.10-qckUNSAT0.49