<a href='http://' target=_blank>depqbf_prefix_opt


	Submitter:	Florian Lonsing

	Description:

	Results:	2020 - Track 1 2020 - Track 2 2019 - Track 1 2018 - Track 1 2018 - Track 3

The Quantified Boolean Formulas Satisfiability Library