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