Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/prvect_1

	Name	Last modified	Size	Description
	Parent Directory		-
	prvect_1__l3_prvect_1	2021-07-18 22:50	48K
	prvect_1__l5_prvect_1	2021-07-18 22:42	33K
	prvect_1__l6_prvect_1	2021-07-18 22:42	37K
	prvect_1__l7_prvect_1	2021-07-18 22:50	43K
	prvect_1__l10_prvect_1	2021-07-18 22:51	47K
	prvect_1__s1_prvect_1	2021-07-18 22:42	29K
	prvect_1__t1_prvect_1	2021-07-18 22:43	40K
	prvect_1__t2_prvect_1	2021-07-18 22:43	48K
	prvect_1__t3_prvect_1	2021-07-18 22:44	43K
	prvect_1__t4_prvect_1	2021-07-18 22:44	45K
	prvect_1__t5_prvect_1	2021-07-18 22:44	47K
	prvect_1__t6_prvect_1	2021-07-18 22:45	45K
	prvect_1__t7_prvect_1	2021-07-18 22:45	45K
	prvect_1__t8_prvect_1	2021-07-18 22:45	48K
	prvect_1__t9_prvect_1	2021-07-18 22:46	57K
	prvect_1__t10_prvect_1	2021-07-18 22:46	62K
	prvect_1__t11_prvect_1	2021-07-18 22:47	36K
	prvect_1__t12_prvect_1	2021-07-18 22:47	36K
	prvect_1__t13_prvect_1	2021-07-18 22:47	40K
	prvect_1__t14_prvect_1	2021-07-18 22:48	46K
	prvect_1__t15_prvect_1	2021-07-18 22:48	45K
	prvect_1__t16_prvect_1	2021-07-18 22:48	40K
	prvect_1__t17_prvect_1	2021-07-18 22:48	42K
	prvect_1__t18_prvect_1	2021-07-18 22:49	42K
	prvect_1__t19_prvect_1	2021-07-18 22:49	42K
	prvect_1__t20_prvect_1	2021-07-18 22:50	50K