git.libre-soc.org Git - cvc5.git/tree - test/regress/regress0/tptp/

drwxr-xr-x		..
-rw-r--r--	1431	ARI086=1.p	blob \| history \| raw
drwxr-xr-x	-	Axioms	tree \| history
-rw-r--r--	1345	BOO003-4.p	blob \| history \| raw
-rw-r--r--	2017	BOO027-1.p	blob \| history \| raw
-rw-r--r--	2035	DAT001=1.p	blob \| history \| raw
-rw-r--r--	2134	KRS018+1.p	blob \| history \| raw
-rw-r--r--	4624	KRS063+1.p	blob \| history \| raw
-rw-r--r--	3844	MGT019+2.p	blob \| history \| raw
-rw-r--r--	3272	MGT031-1.p	blob \| history \| raw
-rw-r--r--	2134	MGT041-2.p	blob \| history \| raw
-rw-r--r--	4802	NLP114-1.p	blob \| history \| raw
-rw-r--r--	3238	PUZ131_1.p	blob \| history \| raw
-rw-r--r--	2619	SYN000+1.p	blob \| history \| raw
-rw-r--r--	3476	SYN000+2.p	blob \| history \| raw
-rw-r--r--	2107	SYN000-1.p	blob \| history \| raw
-rw-r--r--	3078	SYN000-2.p	blob \| history \| raw
-rw-r--r--	6595	SYN000=2.p	blob \| history \| raw
-rw-r--r--	3807	SYN000_1.p	blob \| history \| raw
-rw-r--r--	3798	SYN000_2.p	blob \| history \| raw
-rw-r--r--	1806	SYN075+1.p	blob \| history \| raw
-rw-r--r--	2259	SYN075-1.p	blob \| history \| raw
-rw-r--r--	319	is_rat_simple.p	blob \| history \| raw
-rw-r--r--	901	tff0-arith.p	blob \| history \| raw
-rw-r--r--	1484	tff0.p	blob \| history \| raw
-rw-r--r--	355	tptp_parser.p	blob \| history \| raw
-rw-r--r--	271	tptp_parser10.p	blob \| history \| raw
-rw-r--r--	310	tptp_parser2.p	blob \| history \| raw
-rw-r--r--	324	tptp_parser3.p	blob \| history \| raw
-rw-r--r--	360	tptp_parser4.p	blob \| history \| raw
-rw-r--r--	388	tptp_parser5.p	blob \| history \| raw
-rw-r--r--	402	tptp_parser6.p	blob \| history \| raw
-rw-r--r--	388	tptp_parser7.p	blob \| history \| raw
-rw-r--r--	319	tptp_parser8.p	blob \| history \| raw
-rw-r--r--	377	tptp_parser9.p	blob \| history \| raw