![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| INDEX | 2023-01-24 16:04 | 3.3K | |
| optBasket.mod | 2023-02-03 08:10 | 1.6K | |
| marriage.mod | 2023-02-11 14:30 | 1.5K | |
| coarseCorrEq.mod | 2023-01-30 08:04 | 1.4K | |
| corrEq.mod | 2023-01-30 08:04 | 1.3K | |
| hideAndSeek.2.kp59.dat | 2023-01-27 13:18 | 1.1K | |
| 2pers0sum.mod | 2023-01-27 13:18 | 905 | |
| marriage.sm12.dat | 2023-02-11 14:30 | 760 | |
| 2pers0sum.min.mod | 2023-01-24 16:04 | 491 | |
| marriage.sedgewick.dat | 2023-02-11 14:30 | 487 | |
| 2pers0sum.max.mod | 2023-01-24 16:04 | 487 | |
| chicken.kp144.dat | 2023-02-07 13:40 | 423 | |
| chicken.kp79.dat | 2023-02-07 13:41 | 422 | |
| battleSexes.dat | 2023-02-07 13:40 | 418 | |
| trafficLight.r177.dat | 2023-02-07 13:48 | 416 | |
| trafficLight.n14.dat | 2023-02-07 13:47 | 409 | |
| protein.kp334.mod | 2023-02-03 11:38 | 406 | |
| chicken.n45.dat | 2023-02-07 14:09 | 403 | |
| optimal.cce.p3.dat | 2023-01-30 08:05 | 365 | |
| optBasket.2nd.1.dat | 2023-02-03 08:10 | 349 | |
| rps.kp147.dat | 2023-02-07 13:47 | 321 | |
| optBasket.2nd.2.dat | 2023-02-03 08:10 | 303 | |
| optBasket.2nd.3.dat | 2023-02-03 08:10 | 286 | |
| optBasket.2nd.4.dat | 2023-02-03 08:10 | 271 | |
| presElect.dat | 2023-01-27 13:18 | 248 | |
| optBasket.trivial.dat | 2023-02-03 08:10 | 240 | |
| rpsfw.dat | 2023-01-27 13:18 | 233 | |
| rpssl.dat | 2023-01-27 13:18 | 220 | |
| raghavan.p737.dat | 2023-01-27 13:18 | 183 | |
| SCandEB.dat | 2023-01-27 13:18 | 154 | |
| rps.dat | 2023-01-24 16:04 | 136 | |
| rockSP.kp139.dat | 2023-01-27 13:18 | 136 | |
| soccer.kp.p10.dat | 2023-01-27 13:18 | 124 | |
| chooserHider.kp35.dat | 2023-01-27 13:18 | 103 | |