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

InstanceResultTime
DeQuBlRaGe_400_700_3545989440129428353.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129698820.dqdimacsSAT0
DeQuBlRaGe_28_57_3551281699345079997.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129444764.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129699164.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129490335.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129704812.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_3551281699345079867.dqdimacsFAIL7.23
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacsSAT7.36
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacsSAT9.8
DeQuBlRaGe_28_57_3551281699345079939.dqdimacsFAIL12.14
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacsSAT14.04
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacsSAT15.61
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacsSAT15.74
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacsSAT16.53
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacsSAT20.49
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacsSAT24.65
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacsSAT25.61
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacsSAT27.55
DeQuBlRaGe_28_57_3551281699345079870.dqdimacsFAIL34.09
DeQuBlRaGe_28_57_3551281699345079841.dqdimacsFAIL35.27
DeQuBlRaGe_28_57_3551281699345079952.dqdimacsFAIL46.86
DeQuBlRaGe_28_57_3551281699345079906.dqdimacsFAIL47.9
DeQuBlRaGe_28_57_3551281699345080028.dqdimacsFAIL51
DeQuBlRaGe_28_57_3551281699345079892.dqdimacsFAIL101.19
DeQuBlRaGe_28_57_3551281699345079926.dqdimacsFAIL135.83
DeQuBlRaGe_28_57_3551281699345079936.dqdimacsFAIL258.25
DeQuBlRaGe_28_57_3551281699345079954.dqdimacsFAIL309.84
DeQuBlRaGe_28_57_3551281699345080002.dqdimacsFAIL318.17
DeQuBlRaGe_28_57_3551281699345079872.dqdimacsFAIL475.64
DeQuBlRaGe_28_57_3551281699345079858.dqdimacsFAIL900
DeQuBlRaGe_28_57_3551281699345079868.dqdimacsFAIL900
DeQuBlRaGe_400_700_3545989440129287368.dqdimacsFAIL900
DeQuBlRaGe_28_57_3551281699345079876.dqdimacsFAIL900
DeQuBlRaGe_28_57_3551281699345079959.dqdimacsFAIL900
DeQuBlRaGe_28_57_3551281699345079963.dqdimacsFAIL900
DeQuBlRaGe_28_57_3551281699345079974.dqdimacsFAIL900