The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for (D)-QBF_Autarkies family
Download (0 Kb)
Submitter:
Ankit Shukla
Suite:
Kullmann-Shukla
Domain:
Miscellanea
Description:
Number of instances:
50
Results:
2020 - Track 4
Instances:
DeQuBlRaGe_28_57_3551281699345079841.dqdimacs
DeQuBlRaGe_28_57_3551281699345079858.dqdimacs
DeQuBlRaGe_28_57_3551281699345079867.dqdimacs
DeQuBlRaGe_28_57_3551281699345079868.dqdimacs
DeQuBlRaGe_28_57_3551281699345079870.dqdimacs
DeQuBlRaGe_28_57_3551281699345079872.dqdimacs
DeQuBlRaGe_28_57_3551281699345079876.dqdimacs
DeQuBlRaGe_28_57_3551281699345079892.dqdimacs
DeQuBlRaGe_28_57_3551281699345079906.dqdimacs
DeQuBlRaGe_28_57_3551281699345079926.dqdimacs
DeQuBlRaGe_28_57_3551281699345079936.dqdimacs
DeQuBlRaGe_28_57_3551281699345079939.dqdimacs
DeQuBlRaGe_28_57_3551281699345079952.dqdimacs
DeQuBlRaGe_28_57_3551281699345079954.dqdimacs
DeQuBlRaGe_28_57_3551281699345079959.dqdimacs
DeQuBlRaGe_28_57_3551281699345079963.dqdimacs
DeQuBlRaGe_28_57_3551281699345079974.dqdimacs
DeQuBlRaGe_28_57_3551281699345079997.dqdimacs
DeQuBlRaGe_28_57_3551281699345080002.dqdimacs
DeQuBlRaGe_28_57_3551281699345080028.dqdimacs
DeQuBlRaGe_400_700_3545989440129287368.dqdimacs
DeQuBlRaGe_400_700_3545989440129288256.dqdimacs
DeQuBlRaGe_400_700_3545989440129333271.dqdimacs
DeQuBlRaGe_400_700_3545989440129361523.dqdimacs
DeQuBlRaGe_400_700_3545989440129390151.dqdimacs
DeQuBlRaGe_400_700_3545989440129428353.dqdimacs
DeQuBlRaGe_400_700_3545989440129444764.dqdimacs
DeQuBlRaGe_400_700_3545989440129490335.dqdimacs
DeQuBlRaGe_400_700_3545989440129545215.dqdimacs
DeQuBlRaGe_400_700_3545989440129581167.dqdimacs
DeQuBlRaGe_400_700_3545989440129626897.dqdimacs
DeQuBlRaGe_400_700_3545989440129641106.dqdimacs
DeQuBlRaGe_400_700_3545989440129645006.dqdimacs
DeQuBlRaGe_400_700_3545989440129698820.dqdimacs
DeQuBlRaGe_400_700_3545989440129699164.dqdimacs
DeQuBlRaGe_400_700_3545989440129704812.dqdimacs
DeQuBlRaGe_400_700_3545989440129712723.dqdimacs
DeQuBlRaGe_400_700_3545989440129740410.dqdimacs
DeQuBlRaGe_400_700_3545989440129766070.dqdimacs
DeQuBlRaGe_400_700_3545989440129788791.dqdimacs
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacs
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacs
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacs
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacs
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacs
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacs
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacs
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacs
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacs
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacs
Contact
|
Organization
|
Links
|
Citing QBFLIB
