![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/p.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| SAT5000 | 2004-11-10 19:50 | 417K | |
| SatChecker.pl | 2004-11-10 19:50 | 964 | |
| SatGenerator.pl | 2004-11-10 19:50 | 875 | |
| SatGenerator_atleastOneValid.pl | 2004-11-10 19:50 | 1.2K | |
| big100Problem | 2004-11-10 19:50 | 5.4K | |
| big100Problem2 | 2004-11-10 19:50 | 6.0K | |
| bigProblem100_withValid | 2004-11-10 19:50 | 6.0K | |
| bigProblem1000_withValid | 2004-11-10 19:50 | 72K | |
| notSatis | 2004-11-10 19:50 | 210 | |
| oneValid4 | 2004-11-10 19:50 | 180 | |
| sat10.43.3 | 2004-11-10 19:50 | 526 | |
| sat50.215.3 | 2004-11-10 19:50 | 3.0K | |
| sat100.413.3 | 2004-11-10 19:50 | 5.8K | |
| sat500.2150.3 | 2004-11-10 19:50 | 35K | |
| sat1000.4300.3 | 2004-11-10 19:50 | 72K | |
| sat_valid_1K_2K_3 | 2004-11-10 19:50 | 34K | |
| sat_valid_1K_3800_3 | 2004-11-10 19:50 | 64K | |
| splitProblem.pl | 2004-11-10 19:50 | 502 | |
| test | 2004-11-10 19:50 | 19 | |