Index of /~dprl/data/InftyMCCDB-2/ids

	Name	Last modified	Size	Description

	Parent Directory		-
	all_formulas.txt	2019-09-15 17:47	170K
	test.txt	2021-12-02 20:27	60K
	train.txt	2021-12-02 20:27	110K

Apache/2.4.41 (Ubuntu) Server at www.cs.rit.edu Port 443