header

satcompetition · Aug 27, 2021 · 64e2589 · 64e2589
1 parent ee615fe
commit 64e2589
Show file tree

Hide file tree

Showing 13 changed files with 13 additions and 13 deletions.
diff --git a/benchmarks.html b/benchmarks.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 <h2>Benchmarks</h2>
 
 <h4>Benchmark Submission</h4>

diff --git a/certificates.html b/certificates.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Certified UNSAT</h2>
 <p>

diff --git a/downloads.html b/downloads.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Downloads</h2>
 

diff --git a/hack.html b/hack.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Glucose Hack Track</h2>
 

diff --git a/incremental.html b/incremental.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2><a name="api">Incremental Library Track Rules</a></h2>
 

diff --git a/main.css b/main.css
@@ -1,7 +1,7 @@
 body { 
   margin:0px; 
   padding:5px; 
-  background:#e6ecff;
+  background:#bdd;
   color:black;
   font-family:Helvetica,Arial,sans-serif;
 }

diff --git a/organizers.html b/organizers.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Organizing Committee</h2>
 

diff --git a/related.html b/related.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Related Events</h2>
 

diff --git a/results.html b/results.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <script src="sorttable.js"></script>
 <h2>Results</h2>

diff --git a/rules.html b/rules.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <p>
 <h2>Mandatory participation requirements for SAT solvers</h2>

diff --git a/solvers.html b/solvers.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Participating Solvers</h2>
 

diff --git a/submission.html b/submission.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Submission Instructions</h2>
 <p>

diff --git a/tracks.html b/tracks.html
@@ -15,7 +15,7 @@
   <script>w3.includeHTML();</script> 
 
   <div class="content">
-    <h1>SAT Competition 2020</h1>
+    <h1>SAT Race 2019</h1>
 
 <h2>Just a single track</h2>