Detail page for hyperLTL family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	2

	Results:	2017 - Track 1 2017 - Track 2

	Instances:	halfadder_match2.sat halfadder_match2.unsat

The Quantified Boolean Formulas Satisfiability Library