navigation.html

<img src="logo2020.png" border="0" width="180">
<h3>SAT Competition 2020</h3>
<a href='index.html' id='index'>Overview</a><br>
<a href='rules.html' id='rules'>General Rules</a><br>
<ul>
<li><a href='certificates.html' id='certificates'> Unsat Certificates</a></li>
</ul>
<a href='tracks.html' id='tracks'>Competition Tracks</a><br>
<ul>
<li>
	<a href='track_main.html' id='track-main'>Main Track</a>
	<ul>
		<li><a href='track_hack.html' id='track-hack'>Glucose Hacks</a></li>
		<li><a href='track_planning.html' id='track-planning'>Planning Track</a></li>
		<li><a href='track_nolimits.html' id='track-nolimits'>No Limits</a></li>
	</ul>
</li>
<li><a href='track_incremental.html' id='track-incremental'>Incremental Library Track</a></li>
<li><a href='track_parallel.html' id='track-parallel'>Parallel Track</a></li>
<li><a href='track_cloud.html' id='track-cloud'>Cloud Track</a></li>
</ul>
<a href='benchmarks.html' id='benchmarks'>Benchmarks</a><br>
<a href='organizers.html' id='organizers'>Organizers</a><br>
<a href='downloads.html' id='downloads'>Downloads</a><br>
<a href='results.html' id='results'>Results</a><br>
<!--<hr/>
<a href='solvers.html' id='solvers'>Solvers</a><br>
<a href='downloads.html' id='downloads'>Downloads</a><br>-->