Instances of family (D)-QBF_Autarkies solved by <a href='solver_detail.php?solver=356'>iprover_hqspre

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

Instance	Result	Time
DeQuBlRaGe_400_700_3545989440129699164.dqdimacs	SAT	0
DeQuBlRaGe_28_57_3551281699345079858.dqdimacs	SAT	0
DeQuBlRaGe_400_700_3545989440129428353.dqdimacs	SAT	0
DeQuBlRaGe_28_57_3551281699345079997.dqdimacs	SAT	0.06
DeQuBlRaGe_28_57_3551281699345079867.dqdimacs	SAT	0.07
DeQuBlRaGe_400_700_3545989440129740410.dqdimacs	SAT	0.07
DeQuBlRaGe_400_700_3545989440129390151.dqdimacs	SAT	0.07
DeQuBlRaGe_400_700_3545989440129444764.dqdimacs	SAT	0.08
DeQuBlRaGe_28_57_3551281699345079939.dqdimacs	SAT	0.08
DeQuBlRaGe_400_700_3545989440129490335.dqdimacs	SAT	0.08
DeQuBlRaGe_400_700_3545989440129704812.dqdimacs	SAT	0.08
DeQuBlRaGe_400_700_3545989440129287368.dqdimacs	SAT	0.08
DeQuBlRaGe_400_700_3545989440129545215.dqdimacs	SAT	0.08
DeQuBlRaGe_400_700_3545989440129626897.dqdimacs	SAT	0.08
DeQuBlRaGe_400_700_3545989440129645006.dqdimacs	SAT	0.08
DeQuBlRaGe_400_700_3545989440129788791.dqdimacs	SAT	0.09
DeQuBlRaGe_400_700_3545989440129712723.dqdimacs	SAT	0.12
DeQuBlRaGe_28_57_3551281699345079974.dqdimacs	SAT	0.12
DeQuBlRaGe_400_700_3545989440129698820.dqdimacs	SAT	0.12
DeQuBlRaGe_28_57_3551281699345080028.dqdimacs	SAT	0.13
DeQuBlRaGe_400_700_3545989440129766070.dqdimacs	SAT	0.13
DeQuBlRaGe_400_700_3545989440129361523.dqdimacs	SAT	0.13
DeQuBlRaGe_28_57_3551281699345079906.dqdimacs	SAT	0.13
DeQuBlRaGe_400_700_3545989440129288256.dqdimacs	SAT	0.15
DeQuBlRaGe_400_700_3545989440129581167.dqdimacs	SAT	0.15
DeQuBlRaGe_28_57_3551281699345079926.dqdimacs	SAT	0.16
DeQuBlRaGe_28_57_3551281699345080002.dqdimacs	SAT	0.22
DeQuBlRaGe_28_57_3551281699345079954.dqdimacs	SAT	0.3
DeQuBlRaGe_28_57_3551281699345079963.dqdimacs	SAT	0.44
DeQuBlRaGe_28_57_3551281699345079892.dqdimacs	SAT	0.99
DeQuBlRaGe_28_57_3551281699345079872.dqdimacs	SAT	1
DeQuBlRaGe_28_57_3551281699345079952.dqdimacs	SAT	1.1
DeQuBlRaGe_28_57_3551281699345079876.dqdimacs	SAT	1.59
DeQuBlRaGe_28_57_3551281699345079868.dqdimacs	SAT	1.62
DeQuBlRaGe_28_57_3551281699345079959.dqdimacs	SAT	1.62
DeQuBlRaGe_28_57_3551281699345079936.dqdimacs	SAT	1.77
DeQuBlRaGe_28_57_3551281699345079841.dqdimacs	SAT	2.33
DeQuBlRaGe_28_57_3551281699345079870.dqdimacs	SAT	3.11
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacs	SAT	8.35
DeQuBlRaGe_400_700_3545989440129641106.dqdimacs	SAT	8.86
DeQuBlRaGe_400_700_3545989440129333271.dqdimacs	SAT	9.78
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacs	SAT	9.9
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacs	SAT	35.52
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacs	SAT	36.64
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacs	SAT	68.44
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacs	SAT	82.51
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacs	SAT	97.77
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacs	SAT	127.68
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacs	SAT	150.94
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacs	SAT	156.16

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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