generated from satcompetition/2020
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtrack_nolimits.html
28 lines (26 loc) · 1.1 KB
/
track_nolimits.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>SAT Competition</title>
<link rel="stylesheet" href="main.css" type="text/css">
<link rel="stylesheet" href="template.css" type="text/css">
<link rel="icon" type="image/x-icon" href="doge2.ico">
<script src="https://www.w3schools.com/lib/w3.js"></script>
<style>a#track-nolimits { color:#e17861; }</style>
</head>
<body>
<div class="main">
<div class="navigation" w3-include-html="navigation.html"></div>
<script>w3.includeHTML();</script>
<div class="content">
<h1 class='tpl-name'></h1>
<h2>No-Limits Track</h2>
If your solver does not generate UNSAT proofs or if you do not want to publish your source code,
you can still submit your solver to the No-Limits Track.
<p>Each solver submitted to the Main Track will automatically participate in the No-Limits Track. </p>
<p>The No-Limits Track will only be evaluated with respect to the new benchmarks instances which are submitted to <span class='tpl-name'></span>. </p>
</div>
</div>
</body>
</html>