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