Index of /LNF/linux/ubuntu/22.04/LNFdarwin/reloc/share/doc/darwin/eval
Name Last modified Size Description
Parent Directory -
epr-theq-3.1.0-problems 2022-08-14 07:18 0
epr-shne-3.1.0-problems 2022-08-14 07:18 36
epr-sneq-3.1.0-problems 2022-08-14 07:18 54
epr-sheq-3.1.0-problems 2022-08-14 07:18 81
epr_heq-problems 2022-08-14 07:18 81
epr-tneq-3.1.0-problems 2022-08-14 07:18 99
epr_neq-problems 2022-08-14 07:18 153
casc19_heq-problems 2022-08-14 07:18 180
casc19_hne-problems 2022-08-14 07:18 180
casc19_nne-problems 2022-08-14 07:18 180
casc19_peq-problems 2022-08-14 07:18 180
casc20_hne-problems 2022-08-14 07:18 180
cascj2_peq-problems 2022-08-14 07:18 180
casc20_nne-problems 2022-08-14 07:18 188
all-ope.3.2.0-problems 2022-08-14 07:18 279
casc18_heq-problems 2022-08-14 07:18 315
casc18_hne-problems 2022-08-14 07:18 315
casc18_neq-problems 2022-08-14 07:18 315
casc18_nne-problems 2022-08-14 07:18 315
casc18_peq-problems 2022-08-14 07:18 315
casc18_seq-problems 2022-08-14 07:18 315
casc18_sne-problems 2022-08-14 07:18 315
casc19_seq-problems 2022-08-14 07:18 315
casc19_sne-problems 2022-08-14 07:18 315
cascj2_hne-problems 2022-08-14 07:18 315
cascj2_heq-problems 2022-08-14 07:18 316
casc19_ept-problems 2022-08-14 07:18 323
cascj2_nne-problems 2022-08-14 07:18 323
casc18_ept-problems 2022-08-14 07:18 327
casc19_eps-problems 2022-08-14 07:18 359
casc18_eps-problems 2022-08-14 07:18 367
cascj2_ept-problems 2022-08-14 07:18 372
cascj2_eps-problems 2022-08-14 07:18 412
cascj2_seq-problems 2022-08-14 07:18 450
cascj2_sne-problems 2022-08-14 07:18 450
casc19_neq-problems 2022-08-14 07:18 540
casc20_seq-problems 2022-08-14 07:18 540
casc20_sne-problems 2022-08-14 07:18 540
casc20_eps-problems 2022-08-14 07:18 543
casc20_ept-problems 2022-08-14 07:18 548
shne.3.1.0-problems 2022-08-14 07:18 597
RunCasc.py 2022-08-14 07:18 626
casc19_ueq-problems 2022-08-14 07:18 630
casc18_ueq-problems 2022-08-14 07:18 631
cascj2_neq-problems 2022-08-14 07:18 675
SchmidtPSAT-problems 2022-08-14 07:18 684
SchmidtQBF-problems 2022-08-14 07:18 828
cascj2_ueq-problems 2022-08-14 07:18 901
SOUND-problems 2022-08-14 07:18 915
StatsCasc.py 2022-08-14 07:18 1.1K
hard-problems 2022-08-14 07:18 1.1K
ZipTPTP.py 2022-08-14 07:18 1.1K
CheckModels.py 2022-08-14 07:18 1.3K
sneq.3.1.0-problems 2022-08-14 07:18 1.4K
sheq.3.1.0-problems 2022-08-14 07:18 1.7K
epr-snne-3.1.0-problems 2022-08-14 07:18 1.8K
VerifyAsserts.py 2022-08-14 07:18 2.0K
epr-thne-3.1.0-problems 2022-08-14 07:18 2.0K
epr-tnne-3.1.0-problems 2022-08-14 07:18 2.0K
epr_hne-problems 2022-08-14 07:18 2.0K
FLD-problems 2022-08-14 07:18 2.5K
StatsProblems.py 2022-08-14 07:18 2.7K
StatsRated.py 2022-08-14 07:18 3.3K
nne_sat.3.0.1-problems 2022-08-14 07:18 3.7K
snne.3.1.0-problems 2022-08-14 07:18 3.7K
epr_nne-problems 2022-08-14 07:18 3.8K
SYN-problems 2022-08-14 07:18 4.3K
all-eq-sat.3.1.1-problems 2022-08-14 07:18 5.1K
FindTPTPProblems.py 2022-08-14 07:18 5.5K
epr.3.1.1-problems 2022-08-14 07:18 6.0K
all-neq-sat.3.1.1-problems 2022-08-14 07:18 6.1K
hne.2.5-problems 2022-08-14 07:18 6.7K
hne.2.6-problems 2022-08-14 07:18 6.7K
hne.3.0.1-problems 2022-08-14 07:18 6.7K
hne.2.7-problems 2022-08-14 07:18 6.7K
all-neq-hrn.3.1.1-problems 2022-08-14 07:18 6.8K
hne.3.1.0-problems 2022-08-14 07:18 6.8K
all-unk.3.2.0-problems 2022-08-14 07:18 8.8K
nne.2.5-problems 2022-08-14 07:18 11K
nne.2.6-problems 2022-08-14 07:18 11K
nne.2.7-problems 2022-08-14 07:18 11K
nne.3.0.1-problems 2022-08-14 07:18 11K
nne.3.1.0-problems 2022-08-14 07:18 11K
all-sat.3.1.1-problems 2022-08-14 07:18 11K
all-sat.3.2.0-problems 2022-08-14 07:18 12K
heq.2.6-problems 2022-08-14 07:18 12K
heq.3.0.1-problems 2022-08-14 07:18 12K
heq.2.7-problems 2022-08-14 07:18 12K
all-eq-hnr.3.1.1-problems 2022-08-14 07:18 14K
all-eq-hrn.3.1.1-problems 2022-08-14 07:18 14K
heq.3.1.0-problems 2022-08-14 07:18 14K
all-neq-nhr.3.1.1-problems 2022-08-14 07:18 16K
RunProblems.py 2022-08-14 07:18 17K
neq.2.6-problems 2022-08-14 07:18 19K
neq.3.0.1-problems 2022-08-14 07:18 19K
neq.3.1.0-problems 2022-08-14 07:18 19K
neq.2.7-problems 2022-08-14 07:18 19K
fof-3.1.0-problems 2022-08-14 07:18 20K
all-hrn.3.1.1-problems 2022-08-14 07:18 21K
noeq.3.1.1-problems 2022-08-14 07:18 23K
all-eq-nhr.3.1.1-problems 2022-08-14 07:18 34K
neq-4.0.0-problems 2022-08-14 07:18 42K
eq.3.1.1-problems 2022-08-14 07:18 48K
non-fof.2.6-problems 2022-08-14 07:18 49K
non-fof.2.7-problems 2022-08-14 07:18 49K
all-nhr.3.1.1-problems 2022-08-14 07:18 50K
cnf-3.1.0-problems 2022-08-14 07:18 51K
all-uns.3.1.1-problems 2022-08-14 07:18 51K
all-uns.3.2.0-problems 2022-08-14 07:18 59K
all.3.1.1-problems 2022-08-14 07:18 71K
all.3.2.0-problems 2022-08-14 07:18 80K
Apache/2.4.39 (Unix) OpenSSL/1.0.2u Server at pkg.cs.ovgu.de Port 80