Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/p.gif){kind=icon}
CheckModels.py 2020-10-27 16:23 1.3K
![[ ]](/icons/unknown.gif){kind=icon}
FLD-problems 2020-10-27 16:23 2.5K
![[TXT]](/icons/text.gif){kind=icon}
FindTPTPProblems.py 2020-10-27 16:23 5.5K
RunCasc.py 2020-10-27 16:23 626
RunProblems.py 2020-10-27 16:23 17K
SOUND-problems 2020-10-27 16:23 915
SYN-problems 2020-10-27 16:23 4.3K
SchmidtPSAT-problems 2020-10-27 16:23 684
SchmidtQBF-problems 2020-10-27 16:23 828
StatsCasc.py 2020-10-27 16:23 1.1K
StatsProblems.py 2020-10-27 16:23 2.7K
StatsRated.py 2020-10-27 16:23 3.3K
VerifyAsserts.py 2020-10-27 16:23 2.0K
ZipTPTP.py 2020-10-27 16:23 1.1K
all-eq-hnr.3.1.1-problems 2020-10-27 16:23 14K
all-eq-hrn.3.1.1-problems 2020-10-27 16:23 14K
all-eq-nhr.3.1.1-problems 2020-10-27 16:23 34K
all-eq-sat.3.1.1-problems 2020-10-27 16:23 5.1K
all-hrn.3.1.1-problems 2020-10-27 16:23 21K
all-neq-hrn.3.1.1-problems 2020-10-27 16:23 6.8K
all-neq-nhr.3.1.1-problems 2020-10-27 16:23 16K
all-neq-sat.3.1.1-problems 2020-10-27 16:23 6.1K
all-nhr.3.1.1-problems 2020-10-27 16:23 50K
all-ope.3.2.0-problems 2020-10-27 16:23 279
all-sat.3.1.1-problems 2020-10-27 16:23 11K
all-sat.3.2.0-problems 2020-10-27 16:23 12K
all-unk.3.2.0-problems 2020-10-27 16:23 8.8K
all-uns.3.1.1-problems 2020-10-27 16:23 51K
all-uns.3.2.0-problems 2020-10-27 16:23 59K
all.3.1.1-problems 2020-10-27 16:23 71K
all.3.2.0-problems 2020-10-27 16:23 80K
casc18_eps-problems 2020-10-27 16:23 367
casc18_ept-problems 2020-10-27 16:23 327
casc18_heq-problems 2020-10-27 16:23 315
casc18_hne-problems 2020-10-27 16:23 315
casc18_neq-problems 2020-10-27 16:23 315
casc18_nne-problems 2020-10-27 16:23 315
casc18_peq-problems 2020-10-27 16:23 315
casc18_seq-problems 2020-10-27 16:23 315
casc18_sne-problems 2020-10-27 16:23 315
casc18_ueq-problems 2020-10-27 16:23 631
casc19_eps-problems 2020-10-27 16:23 359
casc19_ept-problems 2020-10-27 16:23 323
casc19_heq-problems 2020-10-27 16:23 180
casc19_hne-problems 2020-10-27 16:23 180
casc19_neq-problems 2020-10-27 16:23 540
casc19_nne-problems 2020-10-27 16:23 180
casc19_peq-problems 2020-10-27 16:23 180
casc19_seq-problems 2020-10-27 16:23 315
casc19_sne-problems 2020-10-27 16:23 315
casc19_ueq-problems 2020-10-27 16:23 630
casc20_eps-problems 2020-10-27 16:23 543
casc20_ept-problems 2020-10-27 16:23 548
casc20_hne-problems 2020-10-27 16:23 180
casc20_nne-problems 2020-10-27 16:23 188
casc20_seq-problems 2020-10-27 16:23 540
casc20_sne-problems 2020-10-27 16:23 540
cascj2_eps-problems 2020-10-27 16:23 412
cascj2_ept-problems 2020-10-27 16:23 372
cascj2_heq-problems 2020-10-27 16:23 316
cascj2_hne-problems 2020-10-27 16:23 315
cascj2_neq-problems 2020-10-27 16:23 675
cascj2_nne-problems 2020-10-27 16:23 323
cascj2_peq-problems 2020-10-27 16:23 180
cascj2_seq-problems 2020-10-27 16:23 450
cascj2_sne-problems 2020-10-27 16:23 450
cascj2_ueq-problems 2020-10-27 16:23 901
cnf-3.1.0-problems 2020-10-27 16:23 51K
epr-sheq-3.1.0-problems 2020-10-27 16:23 81
epr-shne-3.1.0-problems 2020-10-27 16:23 36
epr-sneq-3.1.0-problems 2020-10-27 16:23 54
epr-snne-3.1.0-problems 2020-10-27 16:23 1.8K
epr-theq-3.1.0-problems 2020-10-27 16:23 0
epr-thne-3.1.0-problems 2020-10-27 16:23 2.0K
epr-tneq-3.1.0-problems 2020-10-27 16:23 99
epr-tnne-3.1.0-problems 2020-10-27 16:23 2.0K
epr.3.1.1-problems 2020-10-27 16:23 6.0K
epr_heq-problems 2020-10-27 16:23 81
epr_hne-problems 2020-10-27 16:23 2.0K
epr_neq-problems 2020-10-27 16:23 153
epr_nne-problems 2020-10-27 16:23 3.8K
eq.3.1.1-problems 2020-10-27 16:23 48K
fof-3.1.0-problems 2020-10-27 16:23 20K
hard-problems 2020-10-27 16:23 1.1K
heq.2.6-problems 2020-10-27 16:23 12K
heq.2.7-problems 2020-10-27 16:23 12K
heq.3.0.1-problems 2020-10-27 16:23 12K
heq.3.1.0-problems 2020-10-27 16:23 14K
hne.2.5-problems 2020-10-27 16:23 6.7K
hne.2.6-problems 2020-10-27 16:23 6.7K
hne.2.7-problems 2020-10-27 16:23 6.7K
hne.3.0.1-problems 2020-10-27 16:23 6.7K
hne.3.1.0-problems 2020-10-27 16:23 6.8K
neq-4.0.0-problems 2020-10-27 16:23 42K
neq.2.6-problems 2020-10-27 16:23 19K
neq.2.7-problems 2020-10-27 16:23 19K
neq.3.0.1-problems 2020-10-27 16:23 19K
neq.3.1.0-problems 2020-10-27 16:23 19K
nne.2.5-problems 2020-10-27 16:23 11K
nne.2.6-problems 2020-10-27 16:23 11K
nne.2.7-problems 2020-10-27 16:23 11K
nne.3.0.1-problems 2020-10-27 16:23 11K
nne.3.1.0-problems 2020-10-27 16:23 11K
nne_sat.3.0.1-problems 2020-10-27 16:23 3.7K
noeq.3.1.1-problems 2020-10-27 16:23 23K
non-fof.2.6-problems 2020-10-27 16:23 49K
non-fof.2.7-problems 2020-10-27 16:23 49K
sheq.3.1.0-problems 2020-10-27 16:23 1.7K
shne.3.1.0-problems 2020-10-27 16:23 597
sneq.3.1.0-problems 2020-10-27 16:23 1.4K
snne.3.1.0-problems 2020-10-27 16:23 3.7K