Detail page for LTL2DPA family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	4

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

	Instances:	ltl2dpa_C26_comp2_REAL.sat ltl2dpa_C26_comp2_REAL.unsat ltl2dpa_C26_comp3_REAL.sat ltl2dpa_C26_comp3_REAL.unsat

The Quantified Boolean Formulas Satisfiability Library