Compare commits
2 commits
e801e2d9b9
...
f643015867
Author | SHA1 | Date | |
---|---|---|---|
|
f643015867 | ||
|
e96af15a61 |
254 changed files with 15 additions and 6 deletions
|
@ -1,14 +1,22 @@
|
|||
---
|
||||
title: Runaway Planning Results
|
||||
title: Runaway Planning Animations
|
||||
---
|
||||
|
||||
{{< dummy >}}
|
||||
|
||||
<input type="number" id="resultId" min="0" max="99" default="0">
|
||||
<input type="submit" id="showResultButton">
|
||||
<h2>
|
||||
Please enter a number in the field below, and press enter. The corresponding
|
||||
dataset will be loaded.
|
||||
</h2>
|
||||
|
||||
<p>If the video does not load for a given algorithm, that means it failed to
|
||||
compute a solution (within the 10s timeout).</p>
|
||||
<input type="number" id="resultId" min="0" max="99" default="0" />
|
||||
<input type="submit" id="showResultButton" value="Load dataset" />
|
||||
|
||||
|
||||
<h3>
|
||||
If the video does not load for a given algorithm, that means it failed to
|
||||
compute a solution (within the 10s timeout).
|
||||
</h3>
|
||||
|
||||
<div>
|
||||
<p>Raw CBS</p>
|
||||
|
@ -35,6 +43,7 @@ compute a solution (within the 10s timeout).</p>
|
|||
var idField = document.getElementById("resultId");
|
||||
var button = document.getElementById("showResultButton");
|
||||
button.addEventListener("click", () => show_all_videos(idField.value));
|
||||
idField.addEventListener("keypress", (event) => event.key === "Enter" && button.click());
|
||||
|
||||
function show_one_video(videoDiv, n) {
|
||||
const videoLoc = "./" + videoDiv.id + "/from_generated_" + n + ".mp4";
|
Some files were not shown because too many files have changed in this diff Show more
Loading…
Reference in a new issue