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

InstanceResultTime
DeQuBlRaGe_28_57_3551281699345079997.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129428353.dqdimacsSAT0
DeQuBlRaGe_28_57_3551281699345080002.dqdimacsSAT0
DeQuBlRaGe_400_700_3545989440129740410.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129626897.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129390151.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129645006.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129444764.dqdimacsSAT0.08
DeQuBlRaGe_28_57_3551281699345079939.dqdimacsSAT0.08
DeQuBlRaGe_400_700_3545989440129704812.dqdimacsSAT0.08
DeQuBlRaGe_28_57_3551281699345079867.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129699164.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129490335.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129287368.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129545215.dqdimacsSAT0.09
DeQuBlRaGe_400_700_3545989440129788791.dqdimacsSAT0.1
DeQuBlRaGe_400_700_3545989440129712723.dqdimacsSAT0.1
DeQuBlRaGe_400_700_3545989440129766070.dqdimacsSAT0.11
DeQuBlRaGe_28_57_3551281699345079906.dqdimacsSAT0.11
DeQuBlRaGe_28_57_3551281699345079974.dqdimacsSAT0.11
DeQuBlRaGe_400_700_3545989440129698820.dqdimacsSAT0.12
DeQuBlRaGe_28_57_3551281699345080028.dqdimacsSAT0.12
DeQuBlRaGe_400_700_3545989440129361523.dqdimacsSAT0.14
DeQuBlRaGe_400_700_3545989440129288256.dqdimacsSAT0.16
DeQuBlRaGe_400_700_3545989440129581167.dqdimacsSAT0.16
DeQuBlRaGe_28_57_3551281699345079926.dqdimacsSAT0.17
DeQuBlRaGe_28_57_3551281699345079858.dqdimacsSAT0.19
DeQuBlRaGe_28_57_3551281699345079954.dqdimacsSAT0.29
DeQuBlRaGe_28_57_3551281699345079963.dqdimacsSAT0.44
DeQuBlRaGe_28_57_3551281699345079872.dqdimacsSAT0.99
DeQuBlRaGe_28_57_3551281699345079892.dqdimacsSAT1
DeQuBlRaGe_28_57_3551281699345079952.dqdimacsSAT1.11
DeQuBlRaGe_28_57_3551281699345079876.dqdimacsSAT1.58
DeQuBlRaGe_28_57_3551281699345079959.dqdimacsSAT1.6
DeQuBlRaGe_28_57_3551281699345079868.dqdimacsSAT1.62
DeQuBlRaGe_28_57_3551281699345079936.dqdimacsSAT1.76
DeQuBlRaGe_28_57_3551281699345079841.dqdimacsSAT2.33
DeQuBlRaGe_28_57_3551281699345079870.dqdimacsSAT3.11
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacsSAT8.4
DeQuBlRaGe_400_700_3545989440129641106.dqdimacsSAT8.77
DeQuBlRaGe_400_700_3545989440129333271.dqdimacsSAT9.7
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacsSAT9.96
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacsSAT35.56
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacsSAT36.49
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacsSAT68.5
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacsSAT80.79
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacsSAT98.6
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacsSAT129.25
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacsSAT153.9
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacsSAT159.76