X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=components%2Ftptp_grafite%2Fheq_problems;fp=components%2Ftptp_grafite%2Fheq_problems;h=b45d71ce3fe2efba4954741c188a739f3937a52e;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/components/tptp_grafite/heq_problems b/components/tptp_grafite/heq_problems
new file mode 100644
index 000000000..b45d71ce3
--- /dev/null
+++ b/components/tptp_grafite/heq_problems
@@ -0,0 +1,142 @@
+ANA003-1
+ANA004-1
+ANA005-1
+CAT018-4
+COL003-10
+COL003-2
+COL003-3
+COL003-4
+COL003-5
+COL003-6
+COL003-7
+COL003-8
+COL003-9
+COL006-2
+COL006-3
+COL006-4
+COL042-2
+COL042-3
+COL042-4
+COL042-5
+COL043-2
+COL044-2
+COL044-3
+COL044-4
+COL044-5
+HWC002-1
+HWC003-1
+HWC003-2
+HWV002-1
+HWV003-1
+HWV004-1
+LAT001-1
+LAT002-1
+LAT041-1
+LCL109-4
+LCL149-1
+LCL150-1
+LCL152-1
+LCL181-3
+LCL191-3
+LCL192-3
+LCL193-3
+LCL194-3
+LCL195-3
+LCL208-3
+LCL213-3
+LCL214-3
+LCL215-3
+LCL216-3
+LCL217-3
+LCL220-3
+LCL221-3
+LCL222-3
+LCL223-3
+LCL224-3
+LCL225-3
+LCL227-3
+LCL229-3
+LCL230-3
+LCL231-3
+LCL242-3
+LCL243-3
+LCL245-3
+LCL246-3
+LCL247-3
+LCL249-3
+LCL251-3
+LCL252-3
+LCL253-3
+LCL254-3
+LCL255-3
+LCL260-3
+LCL262-3
+LCL263-3
+LCL264-3
+LCL265-3
+LCL266-3
+LCL269-3
+LCL270-3
+LCL271-3
+LCL272-3
+LCL273-3
+LCL274-3
+LCL275-3
+LCL276-3
+LCL277-3
+LCL278-3
+LCL281-3
+LCL282-3
+LCL283-3
+LCL284-3
+LCL285-3
+LCL286-3
+LCL289-3
+LCL293-3
+LCL295-3
+LCL298-3
+LCL299-3
+LCL300-3
+LCL302-3
+LCL303-3
+LCL304-3
+LCL305-3
+LCL306-3
+LCL307-3
+LCL308-3
+LCL309-3
+LCL310-3
+LCL311-3
+LCL312-3
+LCL313-3
+LCL314-3
+LCL315-3
+LCL316-3
+LCL319-3
+LCL324-3
+LCL325-3
+LCL327-3
+LCL328-3
+LCL329-3
+LCL330-3
+LCL331-3
+LCL332-3
+LCL334-3
+LCL335-3
+LCL336-3
+LCL337-3
+LCL339-3
+LCL340-3
+LCL341-3
+LCL344-3
+LCL345-3
+LCL346-3
+LCL347-3
+LCL348-3
+LCL349-3
+LCL351-3
+LCL353-3
+LDA004-1
+ROB014-1
+ROB015-2
+ROB018-1