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


	Submitter:	Marco Benedetti

	Description:	sKizzo version 0.10 (r416), standard configuration

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

The Quantified Boolean Formulas Satisfiability Library