]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/tests/TPTP/hne_problems.txt
First tests for paramodulation (pretty printer, unification)
[helm.git] / helm / software / matita / tests / TPTP / hne_problems.txt
1 Unsatisfiable/ANA003-2.ma
2 Unsatisfiable/LCL001-1.ma
3 Unsatisfiable/LCL002-1.ma
4 Unsatisfiable/LCL005-1.ma
5 Unsatisfiable/LCL019-1.ma
6 Unsatisfiable/LCL020-1.ma
7 Unsatisfiable/LCL021-1.ma
8 Unsatisfiable/LCL024-1.ma
9 Unsatisfiable/LCL032-1.ma
10 Unsatisfiable/LCL037-1.ma
11 Unsatisfiable/LCL038-1.ma
12 Unsatisfiable/LCL061-1.ma
13 Unsatisfiable/LCL062-1.ma
14 Unsatisfiable/LCL063-1.ma
15 Unsatisfiable/LCL074-1.ma
16 Unsatisfiable/LCL084-2.ma
17 Unsatisfiable/LCL084-3.ma
18 Unsatisfiable/LCL085-1.ma
19 Unsatisfiable/LCL105-1.ma
20 Unsatisfiable/LCL119-1.ma
21 Unsatisfiable/LCL122-1.ma
22 Unsatisfiable/LCL124-1.ma
23 Unsatisfiable/LCL125-1.ma
24 Unsatisfiable/LCL166-1.ma
25 Unsatisfiable/LCL167-1.ma
26 Unsatisfiable/LCL218-1.ma
27 Unsatisfiable/LCL227-1.ma
28 Unsatisfiable/LCL230-1.ma
29 Unsatisfiable/LCL231-1.ma
30 Unsatisfiable/LCL249-1.ma
31 Unsatisfiable/LCL253-1.ma
32 Unsatisfiable/LCL369-1.ma
33 Unsatisfiable/LCL375-1.ma
34 Unsatisfiable/LCL377-1.ma
35 Unsatisfiable/LCL393-1.ma
36 Unsatisfiable/LCL394-1.ma
37 Unsatisfiable/LCL395-1.ma
38 Unsatisfiable/LCL423-1.ma
39 Unsatisfiable/LCL425-1.ma
40 Unsatisfiable/NUM017-1.ma
41 Unsatisfiable/PLA001-1.ma
42 Unsatisfiable/PLA004-1.ma
43 Unsatisfiable/PLA004-2.ma
44 Unsatisfiable/PLA005-1.ma
45 Unsatisfiable/PLA005-2.ma
46 Unsatisfiable/PLA007-1.ma
47 Unsatisfiable/PLA008-1.ma
48 Unsatisfiable/PLA009-1.ma
49 Unsatisfiable/PLA009-2.ma
50 Unsatisfiable/PLA010-1.ma
51 Unsatisfiable/PLA011-1.ma
52 Unsatisfiable/PLA011-2.ma
53 Unsatisfiable/PLA012-1.ma
54 Unsatisfiable/PLA013-1.ma
55 Unsatisfiable/PLA014-1.ma
56 Unsatisfiable/PLA014-2.ma
57 Unsatisfiable/PLA015-1.ma
58 Unsatisfiable/PLA016-1.ma
59 Unsatisfiable/PLA018-1.ma
60 Unsatisfiable/PLA019-1.ma
61 Unsatisfiable/PLA021-1.ma
62 Unsatisfiable/PLA023-1.ma
63 Unsatisfiable/PUZ039-1.ma
64 Unsatisfiable/PUZ040-1.ma
65 Unsatisfiable/PUZ042-1.ma
66 Unsatisfiable/PUZ050-1.ma
67 Unsatisfiable/RNG001-2.ma
68 Unsatisfiable/RNG004-3.ma
69 Unsatisfiable/SWV014-1.ma
70 Unsatisfiable/SYN556-1.ma
71 Unsatisfiable/SYN598-1.ma
72 Unsatisfiable/SYN599-1.ma
73 Unsatisfiable/SYN600-1.ma
74 Unsatisfiable/SYN614-1.ma
75 Unsatisfiable/SYN615-1.ma
76 Unsatisfiable/SYN617-1.ma
77 Unsatisfiable/SYN628-1.ma
78 Unsatisfiable/SYN631-1.ma
79 Unsatisfiable/SYN639-1.ma
80 Unsatisfiable/SYN640-1.ma
81 Unsatisfiable/SYN646-1.ma
82 Unsatisfiable/SYN647-1.ma
83 Unsatisfiable/SYN649-1.ma
84 Unsatisfiable/SYN653-1.ma
85 Unsatisfiable/SYN654-1.ma
86 Unsatisfiable/SYN655-1.ma
87 Unsatisfiable/SYN704-1.ma
88 Unsatisfiable/SYN707-1.ma
89 Unsatisfiable/SYN708-1.ma
90 Unsatisfiable/SYN711-1.ma