| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| opt_dups.txt | 0 B | 2018-Jul-11 10:53 |
| stats_dups.txt | 364 B | 2018-Jul-11 10:53 |
| inter.txt | 862 B | 2018-Jul-11 10:53 |
| inter_30.txt | 899 B | 2018-Jul-11 10:53 |
| stats_dups_hists.m | 9.5 KiB | 2018-Jul-11 10:53 |
| inter_30_hists.m | 11.4 KiB | 2018-Jul-11 10:53 |
| inter_hists.m | 12.0 KiB | 2018-Jul-11 10:53 |
| collisions.txt | 27.4 KiB | 2018-Jul-11 10:53 |