]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/tptp_grafite/heq_problems
More exceptions pretty-printed.
[helm.git] / helm / software / components / tptp_grafite / heq_problems
1 ANA003-1
2 ANA004-1
3 ANA005-1
4 CAT018-4
5 COL003-10
6 COL003-2
7 COL003-3
8 COL003-4
9 COL003-5
10 COL003-6
11 COL003-7
12 COL003-8
13 COL003-9
14 COL006-2
15 COL006-3
16 COL006-4
17 COL042-2
18 COL042-3
19 COL042-4
20 COL042-5
21 COL043-2
22 COL044-2
23 COL044-3
24 COL044-4
25 COL044-5
26 HWC002-1
27 HWC003-1
28 HWC003-2
29 HWV002-1
30 HWV003-1
31 HWV004-1
32 LAT001-1
33 LAT002-1
34 LAT041-1
35 LCL109-4
36 LCL149-1
37 LCL150-1
38 LCL152-1
39 LCL181-3
40 LCL191-3
41 LCL192-3
42 LCL193-3
43 LCL194-3
44 LCL195-3
45 LCL208-3
46 LCL213-3
47 LCL214-3
48 LCL215-3
49 LCL216-3
50 LCL217-3
51 LCL220-3
52 LCL221-3
53 LCL222-3
54 LCL223-3
55 LCL224-3
56 LCL225-3
57 LCL227-3
58 LCL229-3
59 LCL230-3
60 LCL231-3
61 LCL242-3
62 LCL243-3
63 LCL245-3
64 LCL246-3
65 LCL247-3
66 LCL249-3
67 LCL251-3
68 LCL252-3
69 LCL253-3
70 LCL254-3
71 LCL255-3
72 LCL260-3
73 LCL262-3
74 LCL263-3
75 LCL264-3
76 LCL265-3
77 LCL266-3
78 LCL269-3
79 LCL270-3
80 LCL271-3
81 LCL272-3
82 LCL273-3
83 LCL274-3
84 LCL275-3
85 LCL276-3
86 LCL277-3
87 LCL278-3
88 LCL281-3
89 LCL282-3
90 LCL283-3
91 LCL284-3
92 LCL285-3
93 LCL286-3
94 LCL289-3
95 LCL293-3
96 LCL295-3
97 LCL298-3
98 LCL299-3
99 LCL300-3
100 LCL302-3
101 LCL303-3
102 LCL304-3
103 LCL305-3
104 LCL306-3
105 LCL307-3
106 LCL308-3
107 LCL309-3
108 LCL310-3
109 LCL311-3
110 LCL312-3
111 LCL313-3
112 LCL314-3
113 LCL315-3
114 LCL316-3
115 LCL319-3
116 LCL324-3
117 LCL325-3
118 LCL327-3
119 LCL328-3
120 LCL329-3
121 LCL330-3
122 LCL331-3
123 LCL332-3
124 LCL334-3
125 LCL335-3
126 LCL336-3
127 LCL337-3
128 LCL339-3
129 LCL340-3
130 LCL341-3
131 LCL344-3
132 LCL345-3
133 LCL346-3
134 LCL347-3
135 LCL348-3
136 LCL349-3
137 LCL351-3
138 LCL353-3
139 LDA004-1
140 ROB014-1
141 ROB015-2
142 ROB018-1