]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 12 May 2006 15:25:13 +0000 (15:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 12 May 2006 15:25:13 +0000 (15:25 +0000)
components/binaries/tptp2grafite/Makefile
components/binaries/tptp2grafite/unit_equality_problems [new file with mode: 0644]

index 466861d51dc8aa2d1cd1a89342756b2a55858dbf..e96134e5d22449008767ef0fca95a291ea22ebf0 100644 (file)
@@ -12,3 +12,8 @@ tptp2grafite: ast.ml parser.mly lexer.mll main.ml
 
 clean:
        rm -f tptp2grafite *.cmo *.cmi parser.mli parser.ml lexer.ml rm *.output
+
+test: tptp2grafite
+       for X in `cat unit_equality_problems`; do\
+               cat ~/TPTP-v3.1.1/$$X | ./tptp2grafite || echo ERROR PARSING $$X;\
+       done
diff --git a/components/binaries/tptp2grafite/unit_equality_problems b/components/binaries/tptp2grafite/unit_equality_problems
new file mode 100644 (file)
index 0000000..a2aacb3
--- /dev/null
@@ -0,0 +1,880 @@
+Axioms/BOO001-0.ax
+Axioms/BOO003-0.ax
+Axioms/BOO004-0.ax
+Axioms/GRP004-0.ax
+Axioms/GRP004-2.ax
+Axioms/GRP008-0.ax
+Axioms/HWC001-0.ax
+Axioms/HWC002-0.ax
+Axioms/LAT001-0.ax
+Axioms/LAT003-0.ax
+Axioms/LAT004-0.ax
+Axioms/LAT005-0.ax
+Axioms/LCL001-0.ax
+Axioms/LCL001-2.ax
+Axioms/LCL002-0.ax
+Axioms/LCL002-1.ax
+Axioms/RNG002-0.ax
+Axioms/RNG003-0.ax
+Axioms/RNG005-0.ax
+Axioms/ROB001-0.ax
+Problems/ALG/ALG005-1.p
+Problems/ALG/ALG006-1.p
+Problems/ALG/ALG007-1.p
+Problems/BOO/BOO001-1.p
+Problems/BOO/BOO002-1.p
+Problems/BOO/BOO002-2.p
+Problems/BOO/BOO003-2.p
+Problems/BOO/BOO003-4.p
+Problems/BOO/BOO004-2.p
+Problems/BOO/BOO004-4.p
+Problems/BOO/BOO005-2.p
+Problems/BOO/BOO005-4.p
+Problems/BOO/BOO006-2.p
+Problems/BOO/BOO006-4.p
+Problems/BOO/BOO007-2.p
+Problems/BOO/BOO007-4.p
+Problems/BOO/BOO008-2.p
+Problems/BOO/BOO008-4.p
+Problems/BOO/BOO009-2.p
+Problems/BOO/BOO009-4.p
+Problems/BOO/BOO010-2.p
+Problems/BOO/BOO010-4.p
+Problems/BOO/BOO011-2.p
+Problems/BOO/BOO011-4.p
+Problems/BOO/BOO012-2.p
+Problems/BOO/BOO012-4.p
+Problems/BOO/BOO013-2.p
+Problems/BOO/BOO013-4.p
+Problems/BOO/BOO014-2.p
+Problems/BOO/BOO014-4.p
+Problems/BOO/BOO015-2.p
+Problems/BOO/BOO015-4.p
+Problems/BOO/BOO016-2.p
+Problems/BOO/BOO017-2.p
+Problems/BOO/BOO018-4.p
+Problems/BOO/BOO019-1.p
+Problems/BOO/BOO021-1.p
+Problems/BOO/BOO022-1.p
+Problems/BOO/BOO023-1.p
+Problems/BOO/BOO024-1.p
+Problems/BOO/BOO025-1.p
+Problems/BOO/BOO026-1.p
+Problems/BOO/BOO027-1.p
+Problems/BOO/BOO028-1.p
+Problems/BOO/BOO029-1.p
+Problems/BOO/BOO030-1.p
+Problems/BOO/BOO031-1.p
+Problems/BOO/BOO032-1.p
+Problems/BOO/BOO033-1.p
+Problems/BOO/BOO034-1.p
+Problems/BOO/BOO036-1.p
+Problems/BOO/BOO037-2.p
+Problems/BOO/BOO037-3.p
+Problems/BOO/BOO067-1.p
+Problems/BOO/BOO068-1.p
+Problems/BOO/BOO069-1.p
+Problems/BOO/BOO070-1.p
+Problems/BOO/BOO071-1.p
+Problems/BOO/BOO072-1.p
+Problems/BOO/BOO073-1.p
+Problems/BOO/BOO074-1.p
+Problems/BOO/BOO075-1.p
+Problems/BOO/BOO076-1.p
+Problems/BOO/BOO077-1.p
+Problems/BOO/BOO078-1.p
+Problems/BOO/BOO079-1.p
+Problems/BOO/BOO080-1.p
+Problems/BOO/BOO081-1.p
+Problems/BOO/BOO082-1.p
+Problems/BOO/BOO083-1.p
+Problems/BOO/BOO084-1.p
+Problems/BOO/BOO085-1.p
+Problems/BOO/BOO086-1.p
+Problems/BOO/BOO087-1.p
+Problems/BOO/BOO088-1.p
+Problems/BOO/BOO089-1.p
+Problems/BOO/BOO090-1.p
+Problems/BOO/BOO091-1.p
+Problems/BOO/BOO092-1.p
+Problems/BOO/BOO093-1.p
+Problems/BOO/BOO094-1.p
+Problems/BOO/BOO095-1.p
+Problems/BOO/BOO096-1.p
+Problems/BOO/BOO097-1.p
+Problems/BOO/BOO098-1.p
+Problems/BOO/BOO099-1.p
+Problems/BOO/BOO100-1.p
+Problems/BOO/BOO101-1.p
+Problems/BOO/BOO102-1.p
+Problems/BOO/BOO103-1.p
+Problems/BOO/BOO104-1.p
+Problems/BOO/BOO105-1.p
+Problems/BOO/BOO106-1.p
+Problems/BOO/BOO107-1.p
+Problems/BOO/BOO108-1.p
+Problems/COL/COL001-1.p
+Problems/COL/COL001-2.p
+Problems/COL/COL002-1.p
+Problems/COL/COL002-4.p
+Problems/COL/COL002-5.p
+Problems/COL/COL003-1.p
+Problems/COL/COL003-12.p
+Problems/COL/COL003-13.p
+Problems/COL/COL003-14.p
+Problems/COL/COL003-15.p
+Problems/COL/COL003-16.p
+Problems/COL/COL003-17.p
+Problems/COL/COL003-18.p
+Problems/COL/COL003-19.p
+Problems/COL/COL003-20.p
+Problems/COL/COL004-1.p
+Problems/COL/COL004-3.p
+Problems/COL/COL005-1.p
+Problems/COL/COL006-1.p
+Problems/COL/COL006-5.p
+Problems/COL/COL006-6.p
+Problems/COL/COL006-7.p
+Problems/COL/COL007-1.p
+Problems/COL/COL008-1.p
+Problems/COL/COL009-1.p
+Problems/COL/COL010-1.p
+Problems/COL/COL011-1.p
+Problems/COL/COL012-1.p
+Problems/COL/COL013-1.p
+Problems/COL/COL014-1.p
+Problems/COL/COL015-1.p
+Problems/COL/COL016-1.p
+Problems/COL/COL017-1.p
+Problems/COL/COL018-1.p
+Problems/COL/COL019-1.p
+Problems/COL/COL020-1.p
+Problems/COL/COL021-1.p
+Problems/COL/COL022-1.p
+Problems/COL/COL023-1.p
+Problems/COL/COL024-1.p
+Problems/COL/COL025-1.p
+Problems/COL/COL026-1.p
+Problems/COL/COL027-1.p
+Problems/COL/COL029-1.p
+Problems/COL/COL030-1.p
+Problems/COL/COL031-1.p
+Problems/COL/COL032-1.p
+Problems/COL/COL033-1.p
+Problems/COL/COL034-1.p
+Problems/COL/COL035-1.p
+Problems/COL/COL036-1.p
+Problems/COL/COL037-1.p
+Problems/COL/COL038-1.p
+Problems/COL/COL039-1.p
+Problems/COL/COL041-1.p
+Problems/COL/COL042-1.p
+Problems/COL/COL042-6.p
+Problems/COL/COL042-7.p
+Problems/COL/COL042-8.p
+Problems/COL/COL042-9.p
+Problems/COL/COL043-1.p
+Problems/COL/COL043-3.p
+Problems/COL/COL044-1.p
+Problems/COL/COL044-6.p
+Problems/COL/COL044-7.p
+Problems/COL/COL044-8.p
+Problems/COL/COL044-9.p
+Problems/COL/COL045-1.p
+Problems/COL/COL046-1.p
+Problems/COL/COL047-1.p
+Problems/COL/COL048-1.p
+Problems/COL/COL049-1.p
+Problems/COL/COL050-1.p
+Problems/COL/COL051-1.p
+Problems/COL/COL052-1.p
+Problems/COL/COL053-1.p
+Problems/COL/COL056-1.p
+Problems/COL/COL057-1.p
+Problems/COL/COL058-1.p
+Problems/COL/COL058-2.p
+Problems/COL/COL058-3.p
+Problems/COL/COL059-1.p
+Problems/COL/COL060-1.p
+Problems/COL/COL060-2.p
+Problems/COL/COL060-3.p
+Problems/COL/COL061-1.p
+Problems/COL/COL061-2.p
+Problems/COL/COL061-3.p
+Problems/COL/COL062-1.p
+Problems/COL/COL062-2.p
+Problems/COL/COL062-3.p
+Problems/COL/COL063-1.p
+Problems/COL/COL063-2.p
+Problems/COL/COL063-3.p
+Problems/COL/COL063-4.p
+Problems/COL/COL063-5.p
+Problems/COL/COL063-6.p
+Problems/COL/COL064-1.p
+Problems/COL/COL064-2.p
+Problems/COL/COL064-3.p
+Problems/COL/COL064-4.p
+Problems/COL/COL064-5.p
+Problems/COL/COL064-6.p
+Problems/COL/COL064-7.p
+Problems/COL/COL064-8.p
+Problems/COL/COL064-9.p
+Problems/COL/COL064-10.p
+Problems/COL/COL064-11.p
+Problems/COL/COL065-1.p
+Problems/COL/COL066-1.p
+Problems/COL/COL066-2.p
+Problems/COL/COL066-3.p
+Problems/COL/COL067-1.p
+Problems/COL/COL068-1.p
+Problems/COL/COL069-1.p
+Problems/COL/COL070-1.p
+Problems/COL/COL071-1.p
+Problems/COL/COL073-1.p
+Problems/COL/COL075-2.p
+Problems/COL/COL083-1.p
+Problems/COL/COL084-1.p
+Problems/COL/COL085-1.p
+Problems/COL/COL086-1.p
+Problems/COL/COL087-1.p
+Problems/GRP/GRP001-2.p
+Problems/GRP/GRP001-4.p
+Problems/GRP/GRP002-2.p
+Problems/GRP/GRP002-3.p
+Problems/GRP/GRP002-4.p
+Problems/GRP/GRP010-4.p
+Problems/GRP/GRP011-4.p
+Problems/GRP/GRP012-4.p
+Problems/GRP/GRP014-1.p
+Problems/GRP/GRP022-2.p
+Problems/GRP/GRP023-2.p
+Problems/GRP/GRP024-5.p
+Problems/GRP/GRP114-1.p
+Problems/GRP/GRP115-1.p
+Problems/GRP/GRP116-1.p
+Problems/GRP/GRP117-1.p
+Problems/GRP/GRP118-1.p
+Problems/GRP/GRP119-1.p
+Problems/GRP/GRP120-1.p
+Problems/GRP/GRP121-1.p
+Problems/GRP/GRP122-1.p
+Problems/GRP/GRP136-1.p
+Problems/GRP/GRP137-1.p
+Problems/GRP/GRP138-1.p
+Problems/GRP/GRP139-1.p
+Problems/GRP/GRP140-1.p
+Problems/GRP/GRP141-1.p
+Problems/GRP/GRP142-1.p
+Problems/GRP/GRP143-1.p
+Problems/GRP/GRP144-1.p
+Problems/GRP/GRP145-1.p
+Problems/GRP/GRP146-1.p
+Problems/GRP/GRP147-1.p
+Problems/GRP/GRP148-1.p
+Problems/GRP/GRP149-1.p
+Problems/GRP/GRP150-1.p
+Problems/GRP/GRP151-1.p
+Problems/GRP/GRP152-1.p
+Problems/GRP/GRP153-1.p
+Problems/GRP/GRP154-1.p
+Problems/GRP/GRP155-1.p
+Problems/GRP/GRP156-1.p
+Problems/GRP/GRP157-1.p
+Problems/GRP/GRP158-1.p
+Problems/GRP/GRP159-1.p
+Problems/GRP/GRP160-1.p
+Problems/GRP/GRP161-1.p
+Problems/GRP/GRP162-1.p
+Problems/GRP/GRP163-1.p
+Problems/GRP/GRP164-1.p
+Problems/GRP/GRP164-2.p
+Problems/GRP/GRP165-1.p
+Problems/GRP/GRP165-2.p
+Problems/GRP/GRP166-1.p
+Problems/GRP/GRP166-2.p
+Problems/GRP/GRP166-3.p
+Problems/GRP/GRP166-4.p
+Problems/GRP/GRP167-1.p
+Problems/GRP/GRP167-2.p
+Problems/GRP/GRP167-3.p
+Problems/GRP/GRP167-4.p
+Problems/GRP/GRP167-5.p
+Problems/GRP/GRP168-1.p
+Problems/GRP/GRP168-2.p
+Problems/GRP/GRP169-1.p
+Problems/GRP/GRP169-2.p
+Problems/GRP/GRP170-1.p
+Problems/GRP/GRP170-2.p
+Problems/GRP/GRP170-3.p
+Problems/GRP/GRP170-4.p
+Problems/GRP/GRP171-1.p
+Problems/GRP/GRP171-2.p
+Problems/GRP/GRP172-1.p
+Problems/GRP/GRP172-2.p
+Problems/GRP/GRP173-1.p
+Problems/GRP/GRP174-1.p
+Problems/GRP/GRP175-1.p
+Problems/GRP/GRP175-2.p
+Problems/GRP/GRP175-3.p
+Problems/GRP/GRP175-4.p
+Problems/GRP/GRP176-1.p
+Problems/GRP/GRP176-2.p
+Problems/GRP/GRP177-1.p
+Problems/GRP/GRP177-2.p
+Problems/GRP/GRP178-1.p
+Problems/GRP/GRP178-2.p
+Problems/GRP/GRP179-1.p
+Problems/GRP/GRP179-2.p
+Problems/GRP/GRP179-3.p
+Problems/GRP/GRP180-1.p
+Problems/GRP/GRP180-2.p
+Problems/GRP/GRP181-1.p
+Problems/GRP/GRP181-2.p
+Problems/GRP/GRP181-3.p
+Problems/GRP/GRP181-4.p
+Problems/GRP/GRP182-1.p
+Problems/GRP/GRP182-2.p
+Problems/GRP/GRP182-3.p
+Problems/GRP/GRP182-4.p
+Problems/GRP/GRP183-1.p
+Problems/GRP/GRP183-2.p
+Problems/GRP/GRP183-3.p
+Problems/GRP/GRP183-4.p
+Problems/GRP/GRP184-1.p
+Problems/GRP/GRP184-2.p
+Problems/GRP/GRP184-3.p
+Problems/GRP/GRP184-4.p
+Problems/GRP/GRP185-1.p
+Problems/GRP/GRP185-2.p
+Problems/GRP/GRP185-3.p
+Problems/GRP/GRP185-4.p
+Problems/GRP/GRP186-1.p
+Problems/GRP/GRP186-2.p
+Problems/GRP/GRP186-3.p
+Problems/GRP/GRP186-4.p
+Problems/GRP/GRP187-1.p
+Problems/GRP/GRP188-1.p
+Problems/GRP/GRP188-2.p
+Problems/GRP/GRP189-1.p
+Problems/GRP/GRP189-2.p
+Problems/GRP/GRP190-1.p
+Problems/GRP/GRP190-2.p
+Problems/GRP/GRP191-1.p
+Problems/GRP/GRP191-2.p
+Problems/GRP/GRP192-1.p
+Problems/GRP/GRP193-1.p
+Problems/GRP/GRP193-2.p
+Problems/GRP/GRP195-1.p
+Problems/GRP/GRP196-1.p
+Problems/GRP/GRP200-1.p
+Problems/GRP/GRP201-1.p
+Problems/GRP/GRP202-1.p
+Problems/GRP/GRP203-1.p
+Problems/GRP/GRP204-1.p
+Problems/GRP/GRP205-1.p
+Problems/GRP/GRP206-1.p
+Problems/GRP/GRP207-1.p
+Problems/GRP/GRP393-2.p
+Problems/GRP/GRP394-3.p
+Problems/GRP/GRP399-1.p
+Problems/GRP/GRP403-1.p
+Problems/GRP/GRP404-1.p
+Problems/GRP/GRP405-1.p
+Problems/GRP/GRP406-1.p
+Problems/GRP/GRP407-1.p
+Problems/GRP/GRP408-1.p
+Problems/GRP/GRP409-1.p
+Problems/GRP/GRP410-1.p
+Problems/GRP/GRP411-1.p
+Problems/GRP/GRP412-1.p
+Problems/GRP/GRP413-1.p
+Problems/GRP/GRP414-1.p
+Problems/GRP/GRP415-1.p
+Problems/GRP/GRP416-1.p
+Problems/GRP/GRP417-1.p
+Problems/GRP/GRP418-1.p
+Problems/GRP/GRP419-1.p
+Problems/GRP/GRP420-1.p
+Problems/GRP/GRP421-1.p
+Problems/GRP/GRP422-1.p
+Problems/GRP/GRP423-1.p
+Problems/GRP/GRP424-1.p
+Problems/GRP/GRP425-1.p
+Problems/GRP/GRP426-1.p
+Problems/GRP/GRP427-1.p
+Problems/GRP/GRP428-1.p
+Problems/GRP/GRP429-1.p
+Problems/GRP/GRP430-1.p
+Problems/GRP/GRP431-1.p
+Problems/GRP/GRP432-1.p
+Problems/GRP/GRP433-1.p
+Problems/GRP/GRP434-1.p
+Problems/GRP/GRP435-1.p
+Problems/GRP/GRP436-1.p
+Problems/GRP/GRP437-1.p
+Problems/GRP/GRP438-1.p
+Problems/GRP/GRP439-1.p
+Problems/GRP/GRP440-1.p
+Problems/GRP/GRP441-1.p
+Problems/GRP/GRP442-1.p
+Problems/GRP/GRP443-1.p
+Problems/GRP/GRP444-1.p
+Problems/GRP/GRP445-1.p
+Problems/GRP/GRP446-1.p
+Problems/GRP/GRP447-1.p
+Problems/GRP/GRP448-1.p
+Problems/GRP/GRP449-1.p
+Problems/GRP/GRP450-1.p
+Problems/GRP/GRP451-1.p
+Problems/GRP/GRP452-1.p
+Problems/GRP/GRP453-1.p
+Problems/GRP/GRP454-1.p
+Problems/GRP/GRP455-1.p
+Problems/GRP/GRP456-1.p
+Problems/GRP/GRP457-1.p
+Problems/GRP/GRP458-1.p
+Problems/GRP/GRP459-1.p
+Problems/GRP/GRP460-1.p
+Problems/GRP/GRP461-1.p
+Problems/GRP/GRP462-1.p
+Problems/GRP/GRP463-1.p
+Problems/GRP/GRP464-1.p
+Problems/GRP/GRP465-1.p
+Problems/GRP/GRP466-1.p
+Problems/GRP/GRP467-1.p
+Problems/GRP/GRP468-1.p
+Problems/GRP/GRP469-1.p
+Problems/GRP/GRP470-1.p
+Problems/GRP/GRP471-1.p
+Problems/GRP/GRP472-1.p
+Problems/GRP/GRP473-1.p
+Problems/GRP/GRP474-1.p
+Problems/GRP/GRP475-1.p
+Problems/GRP/GRP476-1.p
+Problems/GRP/GRP477-1.p
+Problems/GRP/GRP478-1.p
+Problems/GRP/GRP479-1.p
+Problems/GRP/GRP480-1.p
+Problems/GRP/GRP481-1.p
+Problems/GRP/GRP482-1.p
+Problems/GRP/GRP483-1.p
+Problems/GRP/GRP484-1.p
+Problems/GRP/GRP485-1.p
+Problems/GRP/GRP486-1.p
+Problems/GRP/GRP487-1.p
+Problems/GRP/GRP488-1.p
+Problems/GRP/GRP489-1.p
+Problems/GRP/GRP490-1.p
+Problems/GRP/GRP491-1.p
+Problems/GRP/GRP492-1.p
+Problems/GRP/GRP493-1.p
+Problems/GRP/GRP494-1.p
+Problems/GRP/GRP495-1.p
+Problems/GRP/GRP496-1.p
+Problems/GRP/GRP497-1.p
+Problems/GRP/GRP498-1.p
+Problems/GRP/GRP499-1.p
+Problems/GRP/GRP500-1.p
+Problems/GRP/GRP501-1.p
+Problems/GRP/GRP502-1.p
+Problems/GRP/GRP503-1.p
+Problems/GRP/GRP504-1.p
+Problems/GRP/GRP505-1.p
+Problems/GRP/GRP506-1.p
+Problems/GRP/GRP507-1.p
+Problems/GRP/GRP508-1.p
+Problems/GRP/GRP509-1.p
+Problems/GRP/GRP510-1.p
+Problems/GRP/GRP511-1.p
+Problems/GRP/GRP512-1.p
+Problems/GRP/GRP513-1.p
+Problems/GRP/GRP514-1.p
+Problems/GRP/GRP515-1.p
+Problems/GRP/GRP516-1.p
+Problems/GRP/GRP517-1.p
+Problems/GRP/GRP518-1.p
+Problems/GRP/GRP519-1.p
+Problems/GRP/GRP520-1.p
+Problems/GRP/GRP521-1.p
+Problems/GRP/GRP522-1.p
+Problems/GRP/GRP523-1.p
+Problems/GRP/GRP524-1.p
+Problems/GRP/GRP525-1.p
+Problems/GRP/GRP526-1.p
+Problems/GRP/GRP527-1.p
+Problems/GRP/GRP528-1.p
+Problems/GRP/GRP529-1.p
+Problems/GRP/GRP530-1.p
+Problems/GRP/GRP531-1.p
+Problems/GRP/GRP532-1.p
+Problems/GRP/GRP533-1.p
+Problems/GRP/GRP534-1.p
+Problems/GRP/GRP535-1.p
+Problems/GRP/GRP536-1.p
+Problems/GRP/GRP537-1.p
+Problems/GRP/GRP538-1.p
+Problems/GRP/GRP539-1.p
+Problems/GRP/GRP540-1.p
+Problems/GRP/GRP541-1.p
+Problems/GRP/GRP542-1.p
+Problems/GRP/GRP543-1.p
+Problems/GRP/GRP544-1.p
+Problems/GRP/GRP545-1.p
+Problems/GRP/GRP546-1.p
+Problems/GRP/GRP547-1.p
+Problems/GRP/GRP548-1.p
+Problems/GRP/GRP549-1.p
+Problems/GRP/GRP550-1.p
+Problems/GRP/GRP551-1.p
+Problems/GRP/GRP552-1.p
+Problems/GRP/GRP553-1.p
+Problems/GRP/GRP554-1.p
+Problems/GRP/GRP555-1.p
+Problems/GRP/GRP556-1.p
+Problems/GRP/GRP557-1.p
+Problems/GRP/GRP558-1.p
+Problems/GRP/GRP559-1.p
+Problems/GRP/GRP560-1.p
+Problems/GRP/GRP561-1.p
+Problems/GRP/GRP562-1.p
+Problems/GRP/GRP563-1.p
+Problems/GRP/GRP564-1.p
+Problems/GRP/GRP565-1.p
+Problems/GRP/GRP566-1.p
+Problems/GRP/GRP567-1.p
+Problems/GRP/GRP568-1.p
+Problems/GRP/GRP569-1.p
+Problems/GRP/GRP570-1.p
+Problems/GRP/GRP571-1.p
+Problems/GRP/GRP572-1.p
+Problems/GRP/GRP573-1.p
+Problems/GRP/GRP574-1.p
+Problems/GRP/GRP575-1.p
+Problems/GRP/GRP576-1.p
+Problems/GRP/GRP577-1.p
+Problems/GRP/GRP578-1.p
+Problems/GRP/GRP579-1.p
+Problems/GRP/GRP580-1.p
+Problems/GRP/GRP581-1.p
+Problems/GRP/GRP582-1.p
+Problems/GRP/GRP583-1.p
+Problems/GRP/GRP584-1.p
+Problems/GRP/GRP585-1.p
+Problems/GRP/GRP586-1.p
+Problems/GRP/GRP587-1.p
+Problems/GRP/GRP588-1.p
+Problems/GRP/GRP589-1.p
+Problems/GRP/GRP590-1.p
+Problems/GRP/GRP591-1.p
+Problems/GRP/GRP592-1.p
+Problems/GRP/GRP593-1.p
+Problems/GRP/GRP594-1.p
+Problems/GRP/GRP595-1.p
+Problems/GRP/GRP596-1.p
+Problems/GRP/GRP597-1.p
+Problems/GRP/GRP598-1.p
+Problems/GRP/GRP599-1.p
+Problems/GRP/GRP600-1.p
+Problems/GRP/GRP601-1.p
+Problems/GRP/GRP602-1.p
+Problems/GRP/GRP603-1.p
+Problems/GRP/GRP604-1.p
+Problems/GRP/GRP605-1.p
+Problems/GRP/GRP606-1.p
+Problems/GRP/GRP607-1.p
+Problems/GRP/GRP608-1.p
+Problems/GRP/GRP609-1.p
+Problems/GRP/GRP610-1.p
+Problems/GRP/GRP611-1.p
+Problems/GRP/GRP612-1.p
+Problems/GRP/GRP613-1.p
+Problems/GRP/GRP614-1.p
+Problems/GRP/GRP615-1.p
+Problems/GRP/GRP616-1.p
+Problems/HWC/HWC004-1.p
+Problems/HWC/HWC004-2.p
+Problems/LAT/LAT006-1.p
+Problems/LAT/LAT007-1.p
+Problems/LAT/LAT008-1.p
+Problems/LAT/LAT009-1.p
+Problems/LAT/LAT010-1.p
+Problems/LAT/LAT011-1.p
+Problems/LAT/LAT012-1.p
+Problems/LAT/LAT013-1.p
+Problems/LAT/LAT014-1.p
+Problems/LAT/LAT016-1.p
+Problems/LAT/LAT017-1.p
+Problems/LAT/LAT018-1.p
+Problems/LAT/LAT019-1.p
+Problems/LAT/LAT020-1.p
+Problems/LAT/LAT021-1.p
+Problems/LAT/LAT022-1.p
+Problems/LAT/LAT023-1.p
+Problems/LAT/LAT024-1.p
+Problems/LAT/LAT025-1.p
+Problems/LAT/LAT026-1.p
+Problems/LAT/LAT027-1.p
+Problems/LAT/LAT028-1.p
+Problems/LAT/LAT031-1.p
+Problems/LAT/LAT032-1.p
+Problems/LAT/LAT033-1.p
+Problems/LAT/LAT034-1.p
+Problems/LAT/LAT038-1.p
+Problems/LAT/LAT039-1.p
+Problems/LAT/LAT039-2.p
+Problems/LAT/LAT040-1.p
+Problems/LAT/LAT042-1.p
+Problems/LAT/LAT043-1.p
+Problems/LAT/LAT044-1.p
+Problems/LAT/LAT045-1.p
+Problems/LAT/LAT046-1.p
+Problems/LAT/LAT047-1.p
+Problems/LAT/LAT048-1.p
+Problems/LAT/LAT049-1.p
+Problems/LAT/LAT050-1.p
+Problems/LAT/LAT051-1.p
+Problems/LAT/LAT052-1.p
+Problems/LAT/LAT053-1.p
+Problems/LAT/LAT054-1.p
+Problems/LAT/LAT055-2.p
+Problems/LAT/LAT059-1.p
+Problems/LAT/LAT060-1.p
+Problems/LAT/LAT061-1.p
+Problems/LAT/LAT062-1.p
+Problems/LAT/LAT063-1.p
+Problems/LAT/LAT070-1.p
+Problems/LAT/LAT071-1.p
+Problems/LAT/LAT072-1.p
+Problems/LAT/LAT073-1.p
+Problems/LAT/LAT074-1.p
+Problems/LAT/LAT075-1.p
+Problems/LAT/LAT076-1.p
+Problems/LAT/LAT077-1.p
+Problems/LAT/LAT078-1.p
+Problems/LAT/LAT079-1.p
+Problems/LAT/LAT080-1.p
+Problems/LAT/LAT081-1.p
+Problems/LAT/LAT082-1.p
+Problems/LAT/LAT083-1.p
+Problems/LAT/LAT084-1.p
+Problems/LAT/LAT085-1.p
+Problems/LAT/LAT086-1.p
+Problems/LAT/LAT087-1.p
+Problems/LAT/LAT088-1.p
+Problems/LAT/LAT089-1.p
+Problems/LAT/LAT090-1.p
+Problems/LAT/LAT091-1.p
+Problems/LAT/LAT092-1.p
+Problems/LAT/LAT093-1.p
+Problems/LAT/LAT094-1.p
+Problems/LAT/LAT095-1.p
+Problems/LAT/LAT096-1.p
+Problems/LAT/LAT097-1.p
+Problems/LAT/LAT098-1.p
+Problems/LAT/LAT099-1.p
+Problems/LAT/LAT100-1.p
+Problems/LAT/LAT101-1.p
+Problems/LAT/LAT102-1.p
+Problems/LAT/LAT103-1.p
+Problems/LAT/LAT104-1.p
+Problems/LAT/LAT105-1.p
+Problems/LAT/LAT106-1.p
+Problems/LAT/LAT107-1.p
+Problems/LAT/LAT108-1.p
+Problems/LAT/LAT109-1.p
+Problems/LAT/LAT110-1.p
+Problems/LAT/LAT111-1.p
+Problems/LAT/LAT112-1.p
+Problems/LAT/LAT113-1.p
+Problems/LAT/LAT114-1.p
+Problems/LAT/LAT115-1.p
+Problems/LAT/LAT116-1.p
+Problems/LAT/LAT117-1.p
+Problems/LAT/LAT118-1.p
+Problems/LAT/LAT119-1.p
+Problems/LAT/LAT120-1.p
+Problems/LAT/LAT121-1.p
+Problems/LAT/LAT122-1.p
+Problems/LAT/LAT123-1.p
+Problems/LAT/LAT124-1.p
+Problems/LAT/LAT125-1.p
+Problems/LAT/LAT126-1.p
+Problems/LAT/LAT127-1.p
+Problems/LAT/LAT128-1.p
+Problems/LAT/LAT129-1.p
+Problems/LAT/LAT130-1.p
+Problems/LAT/LAT131-1.p
+Problems/LAT/LAT132-1.p
+Problems/LAT/LAT133-1.p
+Problems/LAT/LAT134-1.p
+Problems/LAT/LAT135-1.p
+Problems/LAT/LAT136-1.p
+Problems/LAT/LAT137-1.p
+Problems/LAT/LAT138-1.p
+Problems/LAT/LAT139-1.p
+Problems/LAT/LAT140-1.p
+Problems/LAT/LAT141-1.p
+Problems/LAT/LAT142-1.p
+Problems/LAT/LAT143-1.p
+Problems/LAT/LAT144-1.p
+Problems/LAT/LAT145-1.p
+Problems/LAT/LAT146-1.p
+Problems/LAT/LAT147-1.p
+Problems/LAT/LAT148-1.p
+Problems/LAT/LAT149-1.p
+Problems/LAT/LAT150-1.p
+Problems/LAT/LAT151-1.p
+Problems/LAT/LAT152-1.p
+Problems/LAT/LAT153-1.p
+Problems/LAT/LAT154-1.p
+Problems/LAT/LAT155-1.p
+Problems/LAT/LAT156-1.p
+Problems/LAT/LAT157-1.p
+Problems/LAT/LAT158-1.p
+Problems/LAT/LAT159-1.p
+Problems/LAT/LAT160-1.p
+Problems/LAT/LAT161-1.p
+Problems/LAT/LAT162-1.p
+Problems/LAT/LAT163-1.p
+Problems/LAT/LAT164-1.p
+Problems/LAT/LAT165-1.p
+Problems/LAT/LAT166-1.p
+Problems/LAT/LAT167-1.p
+Problems/LAT/LAT168-1.p
+Problems/LAT/LAT169-1.p
+Problems/LAT/LAT170-1.p
+Problems/LAT/LAT171-1.p
+Problems/LAT/LAT172-1.p
+Problems/LAT/LAT173-1.p
+Problems/LAT/LAT174-1.p
+Problems/LAT/LAT175-1.p
+Problems/LAT/LAT176-1.p
+Problems/LAT/LAT177-1.p
+Problems/LCL/LCL109-2.p
+Problems/LCL/LCL109-6.p
+Problems/LCL/LCL110-2.p
+Problems/LCL/LCL111-2.p
+Problems/LCL/LCL112-2.p
+Problems/LCL/LCL113-2.p
+Problems/LCL/LCL114-2.p
+Problems/LCL/LCL115-2.p
+Problems/LCL/LCL116-2.p
+Problems/LCL/LCL132-1.p
+Problems/LCL/LCL133-1.p
+Problems/LCL/LCL134-1.p
+Problems/LCL/LCL135-1.p
+Problems/LCL/LCL136-1.p
+Problems/LCL/LCL137-1.p
+Problems/LCL/LCL138-1.p
+Problems/LCL/LCL139-1.p
+Problems/LCL/LCL140-1.p
+Problems/LCL/LCL141-1.p
+Problems/LCL/LCL153-1.p
+Problems/LCL/LCL154-1.p
+Problems/LCL/LCL155-1.p
+Problems/LCL/LCL156-1.p
+Problems/LCL/LCL157-1.p
+Problems/LCL/LCL158-1.p
+Problems/LCL/LCL159-1.p
+Problems/LCL/LCL160-1.p
+Problems/LCL/LCL161-1.p
+Problems/LCL/LCL162-1.p
+Problems/LCL/LCL163-1.p
+Problems/LCL/LCL164-1.p
+Problems/LCL/LCL165-1.p
+Problems/LCL/LCL407-1.p
+Problems/LCL/LCL407-2.p
+Problems/LCL/LCL409-1.p
+Problems/LCL/LCL410-1.p
+Problems/LDA/LDA001-1.p
+Problems/LDA/LDA002-1.p
+Problems/LDA/LDA007-3.p
+Problems/RNG/RNG007-4.p
+Problems/RNG/RNG008-3.p
+Problems/RNG/RNG008-4.p
+Problems/RNG/RNG008-7.p
+Problems/RNG/RNG009-5.p
+Problems/RNG/RNG009-7.p
+Problems/RNG/RNG010-5.p
+Problems/RNG/RNG010-6.p
+Problems/RNG/RNG010-7.p
+Problems/RNG/RNG011-5.p
+Problems/RNG/RNG012-6.p
+Problems/RNG/RNG013-6.p
+Problems/RNG/RNG014-6.p
+Problems/RNG/RNG015-6.p
+Problems/RNG/RNG016-6.p
+Problems/RNG/RNG017-6.p
+Problems/RNG/RNG018-6.p
+Problems/RNG/RNG019-6.p
+Problems/RNG/RNG019-7.p
+Problems/RNG/RNG020-6.p
+Problems/RNG/RNG020-7.p
+Problems/RNG/RNG021-6.p
+Problems/RNG/RNG021-7.p
+Problems/RNG/RNG023-6.p
+Problems/RNG/RNG023-7.p
+Problems/RNG/RNG024-6.p
+Problems/RNG/RNG024-7.p
+Problems/RNG/RNG025-4.p
+Problems/RNG/RNG025-5.p
+Problems/RNG/RNG025-6.p
+Problems/RNG/RNG025-7.p
+Problems/RNG/RNG025-8.p
+Problems/RNG/RNG025-9.p
+Problems/RNG/RNG026-6.p
+Problems/RNG/RNG026-7.p
+Problems/RNG/RNG027-5.p
+Problems/RNG/RNG027-7.p
+Problems/RNG/RNG027-8.p
+Problems/RNG/RNG027-9.p
+Problems/RNG/RNG028-5.p
+Problems/RNG/RNG028-7.p
+Problems/RNG/RNG028-8.p
+Problems/RNG/RNG028-9.p
+Problems/RNG/RNG029-5.p
+Problems/RNG/RNG029-6.p
+Problems/RNG/RNG029-7.p
+Problems/RNG/RNG030-6.p
+Problems/RNG/RNG030-7.p
+Problems/RNG/RNG031-6.p
+Problems/RNG/RNG031-7.p
+Problems/RNG/RNG032-6.p
+Problems/RNG/RNG032-7.p
+Problems/RNG/RNG033-6.p
+Problems/RNG/RNG033-7.p
+Problems/RNG/RNG033-8.p
+Problems/RNG/RNG033-9.p
+Problems/RNG/RNG035-7.p
+Problems/RNG/RNG036-7.p
+Problems/RNG/RNG042-2.p
+Problems/RNG/RNG042-3.p
+Problems/RNG/RNG043-1.p
+Problems/ROB/ROB001-1.p
+Problems/ROB/ROB002-1.p
+Problems/ROB/ROB003-1.p
+Problems/ROB/ROB004-1.p
+Problems/ROB/ROB005-1.p
+Problems/ROB/ROB006-1.p
+Problems/ROB/ROB006-2.p
+Problems/ROB/ROB007-1.p
+Problems/ROB/ROB007-2.p
+Problems/ROB/ROB008-1.p
+Problems/ROB/ROB009-1.p
+Problems/ROB/ROB010-1.p
+Problems/ROB/ROB013-1.p
+Problems/ROB/ROB020-1.p
+Problems/ROB/ROB020-2.p
+Problems/ROB/ROB022-1.p
+Problems/ROB/ROB023-1.p
+Problems/ROB/ROB024-1.p
+Problems/ROB/ROB026-1.p
+Problems/ROB/ROB027-1.p
+Problems/ROB/ROB028-1.p
+Problems/ROB/ROB030-1.p
+Problems/ROB/ROB031-1.p
+Problems/ROB/ROB032-1.p
+Problems/SYN/SYN080-1.p
+Problems/SYN/SYN083-1.p
+Problems/SYN/SYN305-1.p
+Problems/SYN/SYN552-1.p