![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | task3.txt | 2004-10-01 21:00 | 1.5K | |
![]() | task3.txt.out | 2004-10-01 21:05 | 1.3K | |
![]() | task4.txt | 2004-10-01 21:25 | 1.6K | |
![]() | task4.txt.out | 2004-10-01 21:26 | 19 | |
![]() | task5nowrecks.txt | 2004-10-01 21:33 | 2.3K | |
![]() | task5nowrecks.txt.out | 2004-10-01 21:33 | 27 | |
![]() | task5safe.txt | 2004-10-01 21:32 | 2.3K | |
![]() | task5safe.txt.out | 2004-10-01 21:30 | 1.3K | |
![]() | task6.txt | 2004-10-01 22:00 | 1.9K | |
![]() | task6.txt.out | 2004-10-01 22:01 | 1.3K | |
![]() | task6_s2_safe.txt | 2004-10-01 22:12 | 2.2K | |
![]() | task6_s2_safe.txt.out | 2004-10-01 22:04 | 1.3K | |
![]() | task6_wreck.txt | 2004-10-01 22:09 | 2.2K | |
![]() | task6_wreck.txt.out | 2004-10-01 22:04 | 1.3K | |
![]() | task7_find_safe_configuration1.txt | 2004-10-01 22:39 | 3.9K | |
![]() | task7_find_safe_configuration1.txt.out | 2004-10-01 22:42 | 1.3K | |
![]() | task7_find_safe_configuration2.txt | 2004-10-01 22:41 | 3.9K | |
![]() | task7_find_safe_configuration2.txt.out | 2004-10-01 22:41 | 1.3K | |
![]() | task7_prove_no_wrecks.txt | 2004-10-01 22:38 | 3.9K | |
![]() | task7_prove_no_wrecks.txt.out | 2004-10-01 22:38 | 35 | |
![]() | task8_reduce.txt | 2004-10-03 02:41 | 5.8K | |
![]() | task8_reduce.txt.out | 2004-10-03 02:41 | 26 | |
![]() | task9test.txt | 2004-10-03 02:39 | 6.3K | |
![]() | task9test.txt.out | 2004-10-03 02:39 | 1.3K | |