Index of /~sschulz/WORK/E_DOWNLOAD/V_1.5/E/PROVER

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[TXT]ALL_RULES.lop 2024-05-01 15:59 1.0K 
[   ]BOO001-1+rm_eq_rstfp..>2024-05-01 15:59 1.5K 
[TXT]COL003-1+rm_eq_rstfp..>2024-05-01 15:59 2.5K 
[TXT]GROUP.lop 2024-05-01 15:59 625  
[TXT]GRP001-1_natural.lop 2024-05-01 15:59 338  
[   ]HUMBLE.lop 2024-05-01 15:59 303  
[   ]INVCOM.lop 2024-05-01 15:59 465  
[   ]LAT3a.lop 2024-05-01 15:59 378  
[   ]LAT4.lop 2024-05-01 15:59 495  
[TXT]LTBSampleInput1.txt 2024-05-01 15:59 838  
[TXT]LTBSampleInput2.txt 2024-05-01 15:59 9.9K 
[TXT]LTBSampleInput3.txt 2024-05-01 15:59 412  
[TXT]LTBSampleInput4.txt 2024-05-01 15:59 458  
[TXT]LUSK3.lop 2024-05-01 15:59 1.4K 
[   ]LUSK3.pcl 2024-05-01 15:59 117K 
[TXT]LUSK6.lop 2024-05-01 15:59 1.2K 
[TXT]LUSK6ext.lop 2024-05-01 15:59 1.2K 
[TXT]MSC006-1.lop 2024-05-01 15:59 2.2K 
[TXT]Makefile 2024-05-01 15:59 5.2K 
[   ]Makefile.dependencies 2024-05-01 15:59 81K 
[TXT]NUM030-1+rm_eq_rstfp..>2024-05-01 15:59 20K 
[TXT]PLA002-2+rm_eq_rstfp..>2024-05-01 15:59 3.8K 
[   ]PUZ031-1+rm_eq_rstfp..>2024-05-01 15:59 4.3K 
[TXT]RNG019-6+rm_eq_rstfp..>2024-05-01 15:59 3.1K 
[   ]SET103-6+rm_eq_rstfp..>2024-05-01 15:59 11K 
[TXT]SET366+4+rm_eq_rstfp..>2024-05-01 15:59 2.7K 
[   ]all_rules.p 2024-05-01 15:59 330  
[   ]ans_test01.p 2024-05-01 15:59 184  
[   ]ans_test02.p 2024-05-01 15:59 109  
[   ]ans_test03.p 2024-05-01 15:59 201  
[   ]ans_test04.p 2024-05-01 15:59 88  
[TXT]checkproof.c 2024-05-01 15:59 10K 
[TXT]classify_problem.c 2024-05-01 15:59 24K 
[TXT]direct_examples.c 2024-05-01 15:59 7.8K 
[TXT]e_axfilter.c 2024-05-01 15:59 12K 
[TXT]e_client.c 2024-05-01 15:59 8.9K 
[TXT]e_ltb_runner.c 2024-05-01 15:59 7.6K 
[TXT]e_server.c 2024-05-01 15:59 13K 
[TXT]e_version.h 2024-05-01 15:59 1.7K 
[TXT]edpll.c 2024-05-01 15:59 11K 
[TXT]eground.c 2024-05-01 15:59 22K 
[TXT]ekb_create.c 2024-05-01 15:59 8.1K 
[TXT]ekb_delete.c 2024-05-01 15:59 7.8K 
[TXT]ekb_ginsert.c 2024-05-01 15:59 11K 
[TXT]ekb_insert.c 2024-05-01 15:59 9.1K 
[TXT]epclanalyse.c 2024-05-01 15:59 6.7K 
[TXT]epclextract.c 2024-05-01 15:59 9.8K 
[TXT]epcllemma.c 2024-05-01 15:59 20K 
[TXT]eproof 2024-05-01 15:59 7.1K 
[   ]eproof.pl 2024-05-01 15:59 2.2K 
[TXT]eproof_ram 2024-05-01 15:59 4.2K 
[TXT]eprover.c 2024-05-01 15:59 76K 
[TXT]filters.txt 2024-05-01 15:59 3.9K 
[TXT]filters2.txt 2024-05-01 15:59 190  
[TXT]regression.tptp 2024-05-01 15:59 5.2K 
[   ]split_test.p 2024-05-01 15:59 34  
[TXT]termprops.c 2024-05-01 15:59 5.4K 
[TXT]tsm_classify.c 2024-05-01 15:59 10K 
[TXT]uae.p 2024-05-01 15:59 845