Detail page for driver family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	48

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

	Instances:	driver_a10n.sat driver_a10n.unsat driver_a10y.sat driver_a10y.unsat driver_a8n.sat driver_a8n.unsat driver_a8y.sat driver_a8y.unsat driver_a9n.sat driver_a9n.unsat driver_a9y.sat driver_a9y.unsat driver_b10n.sat driver_b10n.unsat driver_b10y.sat driver_b10y.unsat driver_b8n.sat driver_b8n.unsat driver_b8y.sat driver_b8y.unsat driver_b9n.sat driver_b9n.unsat driver_b9y.sat driver_b9y.unsat driver_c10n.sat driver_c10n.unsat driver_c10y.sat driver_c10y.unsat driver_c8n.sat driver_c8n.unsat driver_c8y.sat driver_c8y.unsat driver_c9n.sat driver_c9n.unsat driver_c9y.sat driver_c9y.unsat driver_d10n.sat driver_d10n.unsat driver_d10y.sat driver_d10y.unsat driver_d8n.sat driver_d8n.unsat driver_d8y.sat driver_d8y.unsat driver_d9n.sat driver_d9n.unsat driver_d9y.sat driver_d9y.unsat

The Quantified Boolean Formulas Satisfiability Library