Instances of family (D)-QBF_Autarkies solved by dqbdd
DQBF Solvers Track

InstanceResultTime
DeQuBlRaGe_400_700_3545989440129490335.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129704812.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129287368.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129545215.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129712723.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129288256.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129581167.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129740410.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129333271.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129626897.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129766070.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129361523.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129641106.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129788791.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129390151.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129645006.dqdimacsSAT0
DeQuBlRaGe_28_57_3551281699345079997.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129428353.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129698820.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129444764.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129699164.dqdimacsSAT0
DeQuBlRaGe_28_57_3551281699345079936.dqdimacsSAT4.81
DeQuBlRaGe_28_57_3551281699345079872.dqdimacsSAT6.6
DeQuBlRaGe_28_57_3551281699345079892.dqdimacsSAT7.05
DeQuBlRaGe_28_57_3551281699345079939.dqdimacsSAT7.28
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacsSAT9.78
DeQuBlRaGe_28_57_3551281699345079963.dqdimacsSAT10.45
DeQuBlRaGe_28_57_3551281699345079906.dqdimacsSAT11.51
DeQuBlRaGe_28_57_3551281699345079841.dqdimacsSAT12.03
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacsSAT12.82
DeQuBlRaGe_28_57_3551281699345079959.dqdimacsSAT12.95
DeQuBlRaGe_28_57_3551281699345079868.dqdimacsSAT14.25
DeQuBlRaGe_28_57_3551281699345079870.dqdimacsSAT14.95
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacsSAT16.08
DeQuBlRaGe_28_57_3551281699345080028.dqdimacsSAT16.42
DeQuBlRaGe_28_57_3551281699345079954.dqdimacsSAT16.86
DeQuBlRaGe_28_57_3551281699345079974.dqdimacsSAT16.99
DeQuBlRaGe_28_57_3551281699345079858.dqdimacsSAT18.12
DeQuBlRaGe_28_57_3551281699345079926.dqdimacsSAT21.31
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacsSAT21.4
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacsSAT23.41
DeQuBlRaGe_28_57_3551281699345079867.dqdimacsSAT24.4
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacsSAT25.05
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacsSAT28.71
DeQuBlRaGe_28_57_3551281699345080002.dqdimacsSAT28.96
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacsSAT40.78
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacsSAT48.19
DeQuBlRaGe_28_57_3551281699345079952.dqdimacsSAT64.94
DeQuBlRaGe_28_57_3551281699345079876.dqdimacsSAT194.98
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacsFAIL900