No higher resolution available.
Rush_Hour_solution_-_hardest_configuration.gif (400 × 400 pixels, file size: 110 KB, MIME type: image/gif, looped, 294 frames, 12 s)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
Summary
| Description |
English: Minimum solution of the hardest possible Rush Hour configuration. The number of steps is 93. The UPPAAL model checker was used to compute the solution. It was visualised using the Pygame library.
See http://www.ulb.ac.be/di/algo/secollet/papers/crs06.pdf |
| Date | |
| Source | Own work |
| Author | Árni Dagur, Bernhard Linn, Eva Ósk, Frosti Bjarnason, Sindri Ingólfsson |
Licensing
I, the copyright holder of this work, hereby publish it under the following license:
 
|
This file is made available under the Creative Commons CC0 1.0 Universal Public Domain Dedication. |
| The person who associated a work with this deed has dedicated the work to the public domain by waiving all of their rights to the work worldwide under copyright law, including all related and neighboring rights, to the extent allowed by law. You can copy, modify, distribute and perform the work, even for commercial purposes, all without asking permission.
|
Reproduction
The following ffmpeg command was used to turn individual frames into a gif:
ffmpeg -f image2 -i frame%d.jpeg -framerate 15 -s 400x400 out.gif
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 21:50, 25 May 2019 | | 400 × 400 (110 KB) | ArniDagur | Made image smaller |
| 21:10, 25 May 2019 |  | 600 × 600 (157 KB) | ArniDagur | User created page with UploadWizard |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on de.wikipedia.org
- Usage on ru.wikipedia.org
