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


InstanceSolverResultTime
C880.blif_0.10_0.20_0_0_inp_exactghostq-plainUNSAT218.92
C880.blif_0.10_0.20_0_0_out_exactqstsSAT0.25
C880.blif_0.10_0.20_0_1_inp_exactghostq-plainUNSAT189.5
C880.blif_0.10_0.20_0_1_out_exactqstsSAT0.24
C880.blif_0.10_1.00_0_0_inp_exactghostq-plainUNSAT4.39
C880.blif_0.10_1.00_0_0_out_exactqstsSAT0.15
C880.blif_0.10_1.00_0_1_inp_exactqstsSAT0.05
C880.blif_0.10_1.00_0_1_out_exactaqua-f3vSAT0.05