branch for universe

[helm.git] / components / tptp_grafite / hne_problems

diff --git a/components/tptp_grafite/hne_problems b/components/tptp_grafite/hne_problems
new file mode 100644 (file)
index 0000000..845ea31
--- /dev/null
+++ b/components/tptp_grafite/hne_problems
@@ -0,0 +1,90 @@
+ANA003-2
+LCL001-1
+LCL002-1
+LCL005-1
+LCL019-1
+LCL020-1
+LCL021-1
+LCL024-1
+LCL032-1
+LCL037-1
+LCL038-1
+LCL061-1
+LCL062-1
+LCL063-1
+LCL074-1
+LCL084-2
+LCL084-3
+LCL085-1
+LCL105-1
+LCL119-1
+LCL122-1
+LCL124-1
+LCL125-1
+LCL166-1
+LCL167-1
+LCL218-1
+LCL227-1
+LCL230-1
+LCL231-1
+LCL249-1
+LCL253-1
+LCL369-1
+LCL375-1
+LCL377-1
+LCL393-1
+LCL394-1
+LCL395-1
+LCL423-1
+LCL425-1
+NUM017-1
+PLA001-1
+PLA004-1
+PLA004-2
+PLA005-1
+PLA005-2
+PLA007-1
+PLA008-1
+PLA009-1
+PLA009-2
+PLA010-1
+PLA011-1
+PLA011-2
+PLA012-1
+PLA013-1
+PLA014-1
+PLA014-2
+PLA015-1
+PLA016-1
+PLA018-1
+PLA019-1
+PLA021-1
+PLA023-1
+PUZ039-1
+PUZ040-1
+PUZ042-1
+PUZ050-1
+RNG001-2
+RNG004-3
+SWV014-1
+SYN556-1
+SYN598-1
+SYN599-1
+SYN600-1
+SYN614-1
+SYN615-1
+SYN617-1
+SYN628-1
+SYN631-1
+SYN639-1
+SYN640-1
+SYN646-1
+SYN647-1
+SYN649-1
+SYN653-1
+SYN654-1
+SYN655-1
+SYN704-1
+SYN707-1
+SYN708-1
+SYN711-1