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

	Name	Last modified	Size	Description
	Parent Directory		-
	ckspace1__l18_ckspace1	2021-07-18 03:48	35K
	ckspace1__l18_ckspace1.vout	2021-07-25 15:22	3.7K
	ckspace1__l19_ckspace1	2021-07-18 03:48	28K
	ckspace1__l19_ckspace1.depv1	2021-07-25 20:57	254
	ckspace1__l19_ckspace1.depvmin1	2021-07-25 21:03	254
	ckspace1__l19_ckspace1.vmin1	2021-07-25 20:57	2.5K
	ckspace1__l19_ckspace1.vmin1out	2021-07-25 20:59	36K
	ckspace1__l19_ckspace1.vout	2021-07-25 20:53	32K
	ckspace1__t1_ckspace1	2021-07-18 03:32	57K
	ckspace1__t1_ckspace1.vout	2021-07-25 17:24	4.7K
	ckspace1__t2_ckspace1	2021-07-18 03:32	58K
	ckspace1__t2_ckspace1.vout	2021-07-25 15:21	3.7K
	ckspace1__t3_ckspace1	2021-07-18 03:33	59K
	ckspace1__t3_ckspace1.vout	2021-07-25 18:48	3.7K
	ckspace1__t4_ckspace1	2021-07-18 03:34	52K
	ckspace1__t4_ckspace1.vout	2021-07-25 20:17	7.3K
	ckspace1__t5_ckspace1	2021-07-18 03:35	47K
	ckspace1__t5_ckspace1.vout	2021-07-25 18:27	7.4K
	ckspace1__t6_ckspace1	2021-07-18 03:35	52K
	ckspace1__t6_ckspace1.vout	2021-07-25 17:42	7.3K
	ckspace1__t7_ckspace1	2021-07-18 03:36	63K
	ckspace1__t7_ckspace1.vout	2021-07-25 15:56	3.7K
	ckspace1__t8_ckspace1	2021-07-18 03:30	41K
	ckspace1__t8_ckspace1.depv1	2021-07-25 20:57	128
	ckspace1__t8_ckspace1.depvmin1	2021-07-25 21:03	128
	ckspace1__t8_ckspace1.vmin1	2021-07-25 20:57	2.1K
	ckspace1__t8_ckspace1.vmin1out	2021-07-25 20:58	24K
	ckspace1__t8_ckspace1.vout	2021-07-25 14:32	45K
	ckspace1__t9_ckspace1	2021-07-18 03:37	51K
	ckspace1__t9_ckspace1.vout	2021-07-25 19:31	6.8K
	ckspace1__t10_ckspace1	2021-07-18 03:31	33K
	ckspace1__t10_ckspace1.depv1	2021-07-25 20:57	156
	ckspace1__t10_ckspace1.depvmin1	2021-07-25 21:03	156
	ckspace1__t10_ckspace1.vmin1	2021-07-25 20:57	2.3K
	ckspace1__t10_ckspace1.vmin1out	2021-07-25 20:59	45K
	ckspace1__t10_ckspace1.vout	2021-07-25 16:21	39K
	ckspace1__t11_ckspace1	2021-07-18 03:37	77K
	ckspace1__t11_ckspace1.vout	2021-07-25 19:17	3.7K
	ckspace1__t12_ckspace1	2021-07-18 03:38	64K
	ckspace1__t12_ckspace1.vout	2021-07-25 17:21	3.7K
	ckspace1__t13_ckspace1	2021-07-18 03:39	43K
	ckspace1__t13_ckspace1.vout	2021-07-25 17:46	4.7K
	ckspace1__t14_ckspace1	2021-07-18 03:40	37K
	ckspace1__t14_ckspace1.vout	2021-07-25 17:07	6.8K
	ckspace1__t15_ckspace1	2021-07-18 03:40	49K
	ckspace1__t15_ckspace1.vout	2021-07-25 19:53	6.8K
	ckspace1__t16_ckspace1	2021-07-18 03:41	48K
	ckspace1__t16_ckspace1.vout	2021-07-25 15:59	4.7K
	ckspace1__t17_ckspace1	2021-07-18 03:41	46K
	ckspace1__t17_ckspace1.vout	2021-07-25 20:29	3.7K
	ckspace1__t18_ckspace1	2021-07-18 03:42	62K
	ckspace1__t18_ckspace1.vout	2021-07-25 17:10	3.7K
	ckspace1__t19_ckspace1	2021-07-18 03:43	43K
	ckspace1__t19_ckspace1.vout	2021-07-25 20:43	4.2K
	ckspace1__t20_ckspace1	2021-07-18 03:44	57K
	ckspace1__t20_ckspace1.vout	2021-07-25 16:33	4.2K
	ckspace1__t21_ckspace1	2021-07-18 03:45	54K
	ckspace1__t21_ckspace1.vout	2021-07-25 14:31	3.7K
	ckspace1__t22_ckspace1	2021-07-18 03:46	57K
	ckspace1__t22_ckspace1.vout	2021-07-25 14:50	3.6K
	ckspace1__t23_ckspace1	2021-07-18 03:46	51K
	ckspace1__t23_ckspace1.vout	2021-07-25 20:52	6.8K
	ckspace1__t24_ckspace1	2021-07-18 03:47	51K
	ckspace1__t24_ckspace1.vout	2021-07-25 19:58	6.8K