Sota solver results for family C499
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
C499.blif_0.10_0.20_0_0_inp_exactAIGSolveUNSAT9.75
C499.blif_0.10_0.20_0_0_out_exactAIGSolveUNSAT1.64
C499.blif_0.10_0.20_0_1_inp_exacthiqqer1ldsqSAT0.21
C499.blif_0.10_0.20_0_1_out_exactAIGSolveUNSAT1.87
C499.blif_0.10_1.00_0_0_inp_exactrareqsUNSAT0.09
C499.blif_0.10_1.00_0_0_out_exactqstsSAT0.07
C499.blif_0.10_1.00_0_1_inp_exactqstsSAT0.02
C499.blif_0.10_1.00_0_1_out_exactqstsSAT0.02