Index of /~mptp/mml5.63.1382/MPTP2/problems_small/axioms

	Name	Last modified	Size	Description
	Parent Directory		-
	axioms__l1_axioms	2021-07-17 22:07	14K
	axioms__l1_axioms.depv1	2021-07-25 20:57	164
	axioms__l1_axioms.vmin1	2021-07-25 20:57	2.5K
	axioms__l1_axioms.vmin1out	2021-07-25 21:01	10K
	axioms__l1_axioms.vout	2021-07-25 18:35	49K
	axioms__l2_axioms	2021-07-17 22:07	6.8K
	axioms__l2_axioms.depv1	2021-07-25 20:57	115
	axioms__l2_axioms.vmin1	2021-07-25 20:57	1.0K
	axioms__l2_axioms.vmin1out	2021-07-25 21:01	2.1K
	axioms__l2_axioms.vout	2021-07-25 20:37	13K
	axioms__l3_axioms	2021-07-17 22:08	18K
	axioms__l3_axioms.vout	2021-07-25 20:12	4.7K
	axioms__l4_axioms	2021-07-17 22:05	3.9K
	axioms__l4_axioms.depv1	2021-07-25 20:57	55
	axioms__l4_axioms.vmin1	2021-07-25 20:57	332
	axioms__l4_axioms.vmin1out	2021-07-25 20:58	11K
	axioms__l4_axioms.vout	2021-07-25 19:43	3.7K
	axioms__t1_axioms	2021-07-17 22:05	19K
	axioms__t1_axioms.vout	2021-07-25 15:57	3.6K
	axioms__t2_axioms	2021-07-17 22:06	21K
	axioms__t2_axioms.vout	2021-07-25 14:38	7.8K
	axioms__t3_axioms	2021-07-17 22:06	18K
	axioms__t3_axioms.vout	2021-07-25 16:35	3.6K
	axioms__t4_axioms	2021-07-17 22:07	7.6K
	axioms__t4_axioms.vout	2021-07-25 18:13	5.8K