<a href='http://sKizzo.info' target=_blank>sKizzo-0.10-qck</a>


	Submitter:	Marco Benedetti

	Description:	sKizzo version 0.10 (revision 416), with quicker rule timeout

	Results:	2007 - Track 1 2007 - Track 2 2007 - Track 3

The Quantified Boolean Formulas Satisfiability Library