| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| predicate01.out | 51 B | 2024-Aug-22 13:25 |
| predicate02.out | 51 B | 2024-Aug-22 13:25 |
| predicate03.out | 51 B | 2024-Aug-22 13:25 |
| predicate04.out | 51 B | 2024-Aug-22 13:25 |
| predicate05.out | 51 B | 2024-Aug-22 13:25 |
| predicate06.out | 65 B | 2024-Aug-22 13:25 |
| predicate07.out | 54 B | 2024-Aug-22 13:25 |
| predicate08.out | 54 B | 2024-Aug-22 13:25 |
| predicate09.out | 53 B | 2024-Aug-22 13:25 |
| predicate10.out | 54 B | 2024-Aug-22 13:25 |
| predicate11.out | 65 B | 2024-Aug-22 13:25 |
| predicate12.out | 66 B | 2024-Aug-22 13:25 |
| predicate13.out | 51 B | 2024-Aug-22 13:25 |
| predicate14.out | 54 B | 2024-Aug-22 13:25 |
| predicate15.out | 52 B | 2024-Aug-22 13:25 |
| predicate16.out | 54 B | 2024-Aug-22 13:25 |
| predicate17.out | 66 B | 2024-Aug-22 13:25 |
| predicate18.out | 51 B | 2024-Aug-22 13:25 |
| predicate19.out | 55 B | 2024-Aug-22 13:25 |
| predicate20.out | 65 B | 2024-Aug-22 13:25 |
| predicate21.out | 57 B | 2024-Aug-22 13:25 |
| predicate22.out | 57 B | 2024-Aug-22 13:25 |
| predicate23.out | 53 B | 2024-Aug-22 13:25 |
| predicate24.out | 53 B | 2024-Aug-22 13:25 |
| predicate25.out | 53 B | 2024-Aug-22 13:25 |
| predicate26.out | 52 B | 2024-Aug-22 13:25 |
| predicate27.out | 52 B | 2024-Aug-22 13:25 |
| predicate28.out | 52 B | 2024-Aug-22 13:25 |
| predicate29.out | 51 B | 2024-Aug-22 13:25 |
| predicate30.out | 52 B | 2024-Aug-22 13:25 |
| predicate31.out | 53 B | 2024-Aug-22 13:25 |
| predicate32.out | 51 B | 2024-Aug-22 13:25 |
| predicate33.out | 53 B | 2024-Aug-22 13:25 |
| predicate34.out | 53 B | 2024-Aug-22 13:25 |
| predicate35.out | 52 B | 2024-Aug-22 13:25 |
| predicate36.out | 54 B | 2024-Aug-22 13:25 |
| predicate37.out | 65 B | 2024-Aug-22 13:25 |
| predicate38.out | 129 B | 2024-Aug-22 13:25 |
| predicate39.out | 66 B | 2024-Aug-22 13:25 |
| predicate40.out | 104 B | 2024-Aug-22 13:25 |
| predicate41.out | 104 B | 2024-Aug-22 13:25 |
| predicate42.out | 104 B | 2024-Aug-22 13:25 |
| predicate43.out | 98 B | 2024-Aug-22 13:25 |
| predicate44.out | 76 B | 2024-Aug-22 13:25 |
| predicate45.out | 76 B | 2024-Aug-22 13:25 |
| predicate46.out | 76 B | 2024-Aug-22 13:25 |
| predicate47.out | 76 B | 2024-Aug-22 13:25 |
| predicate48.out | 117 B | 2024-Aug-22 13:25 |
| predicate49.out | 128 B | 2024-Aug-22 13:25 |
| predicate50.out | 128 B | 2024-Aug-22 13:25 |
| predicate51.out | 134 B | 2024-Aug-22 13:25 |
| predicate52.out | 138 B | 2024-Aug-22 13:25 |
| predicate53.out | 147 B | 2024-Aug-22 13:25 |
| predicate54.out | 141 B | 2024-Aug-22 13:25 |
| predicate55.out | 145 B | 2024-Aug-22 13:25 |
| predicate56.out | 141 B | 2024-Aug-22 13:25 |
| predicate57.out | 141 B | 2024-Aug-22 13:25 |
| predicate58.out | 258 B | 2024-Aug-22 13:25 |