navigation.html

<img src="logo2021.png" border="0" width="180">
<h3><span class='tpl-name'></span></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'>CaDiCaL Hacks</a></li>
		<li><a href='track_crypto.html' id='track-crypto'>Crypto 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>