Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
Family.dol 2022-09-29 11:35 732
Orders.dol 2022-09-29 11:35 896
SPASS.hpf 2022-09-29 11:35 197
family_Fact.hpf 2022-09-29 11:35 89
orders_Darwin.hpf 2022-09-29 11:35 97
orders_EProver.hpf 2022-09-29 11:35 98
orders_Leo-II.hpf 2022-09-29 11:35 97
orders_SPASS.hpf 2022-09-29 11:35 96
orders_Vampire.hpf 2022-09-29 11:35 98
orders_darwin-non-fd.hpf 2022-09-29 11:35 104
orders_darwin.hpf 2022-09-29 11:35 97
orders_eprover.hpf 2022-09-29 11:35 98
orders_leo.hpf 2022-09-29 11:35 94
![[TXT]](/icons/text.gif){kind=icon}
rain.dol 2022-09-29 11:35 536
rain_Darwin.hpf 2022-09-29 11:35 199
rain_EProver.hpf 2022-09-29 11:35 201
rain_Fact.hpf 2022-09-29 11:35 87
rain_Leo-II.hpf 2022-09-29 11:35 199
rain_SPASS.hpf 2022-09-29 11:35 197
rain_Vampire.hpf 2022-09-29 11:35 201
rain_darwin-non-fd.hpf 2022-09-29 11:35 213
rain_darwin.hpf 2022-09-29 11:35 199
rain_eprover.hpf 2022-09-29 11:35 201
rain_leo.hpf 2022-09-29 11:35 193
rain_minisat.hpf 2022-09-29 11:35 93