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


InstanceSolverResultTime
C432.blif_0.10_0.20_0_0_inp_exactAIGSolveUNSAT2.91
C432.blif_0.10_0.20_0_0_out_exactAIGSolveUNSAT0.18
C432.blif_0.10_0.20_0_1_inp_exactdepqbf-v1SAT0.07
C432.blif_0.10_0.20_0_1_out_exactAIGSolveUNSAT0.18
C432.blif_0.10_1.00_0_0_inp_exactqstsUNSAT0.02
C432.blif_0.10_1.00_0_0_out_exactqestoUNSAT0.04
C432.blif_0.10_1.00_0_1_inp_exactqstsSAT0.01
C432.blif_0.10_1.00_0_1_out_exactrareqsSAT0.02