Sota solver results for family (D)-QBF_Autarkies <br> DQBF Solvers Track

Sota solver results for family (D)-QBF_Autarkies
DQBF Solvers Track

Instance	Solver	Result	Time
DeQuBlRaGe_28_57_3551281699345079841.dqdimacs	iprover_hqspre_single	SAT	2.33
DeQuBlRaGe_28_57_3551281699345079858.dqdimacs	iprover_hqspre_single	SAT	0
DeQuBlRaGe_28_57_3551281699345079867.dqdimacs	iprover_hqspre_single	SAT	0.07
DeQuBlRaGe_28_57_3551281699345079868.dqdimacs	iprover_hqspre_single	SAT	1.62
DeQuBlRaGe_28_57_3551281699345079870.dqdimacs	iprover_hqspre_single	SAT	3.11
DeQuBlRaGe_28_57_3551281699345079872.dqdimacs	iprover_hqspre_schedule	SAT	0.99
DeQuBlRaGe_28_57_3551281699345079876.dqdimacs	iprover_hqspre_schedule	SAT	1.58
DeQuBlRaGe_28_57_3551281699345079892.dqdimacs	iprover_hqspre_single	SAT	0.99
DeQuBlRaGe_28_57_3551281699345079906.dqdimacs	iprover_hqspre_schedule	SAT	0.11
DeQuBlRaGe_28_57_3551281699345079926.dqdimacs	iprover_hqspre_single	SAT	0.16
DeQuBlRaGe_28_57_3551281699345079936.dqdimacs	iprover_hqspre_schedule	SAT	1.76
DeQuBlRaGe_28_57_3551281699345079939.dqdimacs	iprover_hqspre_single	SAT	0.08
DeQuBlRaGe_28_57_3551281699345079952.dqdimacs	iprover_hqspre_single	SAT	1.1
DeQuBlRaGe_28_57_3551281699345079954.dqdimacs	iprover_hqspre_schedule	SAT	0.29
DeQuBlRaGe_28_57_3551281699345079959.dqdimacs	iprover_hqspre_schedule	SAT	1.6
DeQuBlRaGe_28_57_3551281699345079963.dqdimacs	iprover_hqspre_single	SAT	0.44
DeQuBlRaGe_28_57_3551281699345079974.dqdimacs	iprover_hqspre_schedule	SAT	0.11
DeQuBlRaGe_28_57_3551281699345079997.dqdimacs	hqs	SAT	0
DeQuBlRaGe_28_57_3551281699345080002.dqdimacs	iprover_hqspre_schedule	SAT	0
DeQuBlRaGe_28_57_3551281699345080028.dqdimacs	iprover_hqspre_schedule	SAT	0.12
DeQuBlRaGe_400_700_3545989440129287368.dqdimacs	dqbdd	SAT	0
DeQuBlRaGe_400_700_3545989440129288256.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129333271.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129361523.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129390151.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129428353.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129444764.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129490335.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129545215.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129581167.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129626897.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129641106.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129645006.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129698820.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129699164.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129704812.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129712723.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129740410.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129766070.dqdimacs	hqs	SAT	0
DeQuBlRaGe_400_700_3545989440129788791.dqdimacs	hqs	SAT	0
DeQuBlRaGe_800_1500_3545957297944809435.dqdimacs	hqs	SAT	16.53
DeQuBlRaGe_800_1500_3545957297944809593.dqdimacs	hqs	SAT	7.36
DeQuBlRaGe_800_1500_3545957297944809611.dqdimacs	hqs	SAT	20.49
DeQuBlRaGe_800_1500_3545957297944809688.dqdimacs	hqs	SAT	24.65
DeQuBlRaGe_800_1500_3545957297944810239.dqdimacs	hqs	SAT	14.04
DeQuBlRaGe_800_1500_3545957297944810507.dqdimacs	dqbdd	SAT	25.05
DeQuBlRaGe_800_1500_3545957297944810994.dqdimacs	iprover_hqspre_single	SAT	8.35
DeQuBlRaGe_800_1500_3545957297944811007.dqdimacs	hqs	SAT	15.61
DeQuBlRaGe_800_1500_3545957297944811252.dqdimacs	iprover_hqspre_single	SAT	9.9
DeQuBlRaGe_800_1500_3545957297944811337.dqdimacs	hqs	SAT	27.55

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family (D)-QBF_Autarkies
DQBF Solvers Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Sota solver results for family (D)-QBF_Autarkies DQBF Solvers Track

Sota solver results for family (D)-QBF_Autarkies
DQBF Solvers Track