Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/cvc5/test/regress/cli/regress0/tptp

	Name	Last modified	Size	Description
	Parent Directory		-
	ARI086=1.p	2024-09-15 02:50	1.4K
	Axioms/	2024-09-15 02:50	-
	BOO003-4.p	2024-09-15 02:50	1.3K
	BOO027-1.p	2024-09-15 02:50	2.0K
	DAT001=1.p	2024-09-15 02:50	2.0K
	KRS018+1.p	2024-09-15 02:50	2.1K
	KRS063+1.p	2024-09-15 02:50	4.5K
	MGT019+2.p	2024-09-15 02:50	3.8K
	MGT031-1.p	2024-09-15 02:50	3.2K
	MGT041-2.p	2024-09-15 02:50	2.1K
	NLP114-1.p	2024-09-15 02:50	4.7K
	PUZ131_1.p	2024-09-15 02:50	3.2K
	SYN000+1.p	2024-09-15 02:50	2.6K
	SYN000+2.p	2024-09-15 02:50	3.4K
	SYN000-1.p	2024-09-15 02:50	2.1K
	SYN000-2.p	2024-09-15 02:50	3.0K
	SYN000=2.p	2024-09-15 02:50	6.4K
	SYN000_1.p	2024-09-15 02:50	3.7K
	SYN000_2.p	2024-09-15 02:50	3.7K
	SYN075+1.p	2024-09-15 02:50	1.8K
	SYN075-1.p	2024-09-15 02:50	2.2K
	is_rat_simple.p	2024-09-15 02:50	312
	parse-neg-rational.p	2024-09-15 02:50	1.5K
	tff0-arith.p	2024-09-15 02:50	907
	tff0.p	2024-09-15 02:50	1.5K
	tptp_parser.p	2024-09-15 02:50	355
	tptp_parser2.p	2024-09-15 02:50	310
	tptp_parser3.p	2024-09-15 02:50	324
	tptp_parser4.p	2024-09-15 02:50	360
	tptp_parser5.p	2024-09-15 02:50	388
	tptp_parser6.p	2024-09-15 02:50	402
	tptp_parser7.p	2024-09-15 02:50	388
	tptp_parser8.p	2024-09-15 02:50	319
	tptp_parser9.p	2024-09-15 02:50	370
	tptp_parser10.p	2024-09-15 02:50	277