Detail page for Rewriting family


	Submitter:	Tomas Peitl

	Suite:	Peitl

	Domain:	Miscellanea

	Description:

	Number of instances:	10

	Results:	2016 - Track 1 2016 - Track 2 2016 - Track 5 2016 - Track 6 2016 - Track 7

	Instances:	rewriting_k_10 rewriting_k_100 rewriting_k_17 rewriting_k_19 rewriting_k_21 rewriting_k_23 rewriting_k_25 rewriting_k_30 rewriting_k_50 rewriting_k_75

The Quantified Boolean Formulas Satisfiability Library