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

	Name	Last modified	Size	Description
	Parent Directory		-
	rsspace4__l1_rsspace4	2021-07-18 02:15	25K
	rsspace4__l1_rsspace4.vout	2021-07-25 15:26	2.0K
	rsspace4__l2_rsspace4	2021-07-18 02:16	29K
	rsspace4__l2_rsspace4.vout	2021-07-25 19:16	7.3K
	rsspace4__l4_rsspace4	2021-07-18 01:59	34K
	rsspace4__l4_rsspace4.depv1	2021-07-25 20:57	103
	rsspace4__l4_rsspace4.depvmin1	2021-07-25 21:03	103
	rsspace4__l4_rsspace4.vmin1	2021-07-25 20:57	1.3K
	rsspace4__l4_rsspace4.vmin1out	2021-07-25 21:02	10K
	rsspace4__l4_rsspace4.vout	2021-07-25 16:38	9.9K
	rsspace4__l5_rsspace4	2021-07-18 02:00	35K
	rsspace4__l5_rsspace4.depv1	2021-07-25 20:57	25
	rsspace4__l5_rsspace4.depvmin1	2021-07-25 21:03	25
	rsspace4__l5_rsspace4.vmin1	2021-07-25 20:57	2.6K
	rsspace4__l5_rsspace4.vmin1out	2021-07-25 21:01	14K
	rsspace4__l5_rsspace4.vout	2021-07-25 18:29	13K
	rsspace4__l7_rsspace4	2021-07-18 02:16	38K
	rsspace4__l7_rsspace4.vout	2021-07-25 17:10	6.8K
	rsspace4__l8_rsspace4	2021-07-18 02:16	32K
	rsspace4__l8_rsspace4.vout	2021-07-25 15:43	4.7K
	rsspace4__t1_rsspace4	2021-07-18 01:57	29K
	rsspace4__t1_rsspace4.depv1	2021-07-25 20:57	87
	rsspace4__t1_rsspace4.depvmin1	2021-07-25 21:03	87
	rsspace4__t1_rsspace4.vmin1	2021-07-25 20:57	1.4K
	rsspace4__t1_rsspace4.vmin1out	2021-07-25 21:02	21K
	rsspace4__t1_rsspace4.vout	2021-07-25 19:43	26K
	rsspace4__t2_rsspace4	2021-07-18 02:00	94K
	rsspace4__t2_rsspace4.vout	2021-07-25 20:13	8.4K
	rsspace4__t3_rsspace4	2021-07-18 02:02	100K
	rsspace4__t3_rsspace4.vout	2021-07-25 16:57	4.7K
	rsspace4__t4_rsspace4	2021-07-18 02:03	121K
	rsspace4__t4_rsspace4.vout	2021-07-25 18:39	4.7K
	rsspace4__t5_rsspace4	2021-07-18 02:04	31K
	rsspace4__t5_rsspace4.depv1	2021-07-25 20:57	193
	rsspace4__t5_rsspace4.depvmin1	2021-07-25 21:03	193
	rsspace4__t5_rsspace4.vmin1	2021-07-25 20:57	2.5K
	rsspace4__t5_rsspace4.vmin1out	2021-07-25 21:02	97K
	rsspace4__t5_rsspace4.vout	2021-07-25 20:17	36K
	rsspace4__t6_rsspace4	2021-07-18 02:04	54K
	rsspace4__t6_rsspace4.vout	2021-07-25 16:49	4.7K
	rsspace4__t7_rsspace4	2021-07-18 01:58	32K
	rsspace4__t7_rsspace4.depv1	2021-07-25 20:57	94
	rsspace4__t7_rsspace4.depvmin1	2021-07-25 21:03	94
	rsspace4__t7_rsspace4.vmin1	2021-07-25 20:57	2.9K
	rsspace4__t7_rsspace4.vmin1out	2021-07-25 20:58	57K
	rsspace4__t7_rsspace4.vout	2021-07-25 16:00	53K
	rsspace4__t8_rsspace4	2021-07-18 02:05	43K
	rsspace4__t8_rsspace4.vout	2021-07-25 19:26	4.7K
	rsspace4__t9_rsspace4	2021-07-18 02:06	41K
	rsspace4__t9_rsspace4.vout	2021-07-25 18:23	4.7K
	rsspace4__t10_rsspace4	2021-07-18 02:06	38K
	rsspace4__t10_rsspace4.depv1	2021-07-25 20:57	195
	rsspace4__t10_rsspace4.depvmin1	2021-07-25 21:03	132
	rsspace4__t10_rsspace4.vmin1	2021-07-25 20:57	6.2K
	rsspace4__t10_rsspace4.vmin1out	2021-07-25 20:59	83K
	rsspace4__t10_rsspace4.vout	2021-07-25 18:51	173K
	rsspace4__t11_rsspace4	2021-07-18 02:07	33K
	rsspace4__t11_rsspace4.depv1	2021-07-25 20:57	153
	rsspace4__t11_rsspace4.depvmin1	2021-07-25 21:03	153
	rsspace4__t11_rsspace4.vmin1	2021-07-25 20:57	3.6K
	rsspace4__t11_rsspace4.vmin1out	2021-07-25 21:00	87K
	rsspace4__t11_rsspace4.vout	2021-07-25 17:19	41K
	rsspace4__t12_rsspace4	2021-07-18 02:07	35K
	rsspace4__t12_rsspace4.vout	2021-07-25 15:29	7.9K
	rsspace4__t13_rsspace4	2021-07-18 02:08	29K
	rsspace4__t13_rsspace4.depv1	2021-07-25 20:57	144
	rsspace4__t13_rsspace4.depvmin1	2021-07-25 21:03	99
	rsspace4__t13_rsspace4.vmin1	2021-07-25 20:57	2.7K
	rsspace4__t13_rsspace4.vmin1out	2021-07-25 21:01	27K
	rsspace4__t13_rsspace4.vout	2021-07-25 15:57	36K
	rsspace4__t14_rsspace4	2021-07-18 02:08	35K
	rsspace4__t14_rsspace4.depv1	2021-07-25 20:57	142
	rsspace4__t14_rsspace4.depvmin1	2021-07-25 21:03	142
	rsspace4__t14_rsspace4.vmin1	2021-07-25 20:57	4.3K
	rsspace4__t14_rsspace4.vmin1out	2021-07-25 20:58	42K
	rsspace4__t14_rsspace4.vout	2021-07-25 19:08	75K
	rsspace4__t15_rsspace4	2021-07-18 02:09	40K
	rsspace4__t15_rsspace4.vout	2021-07-25 15:48	7.3K
	rsspace4__t16_rsspace4	2021-07-18 02:10	42K
	rsspace4__t16_rsspace4.vout	2021-07-25 20:10	7.3K
	rsspace4__t17_rsspace4	2021-07-18 02:10	43K
	rsspace4__t17_rsspace4.vout	2021-07-25 15:37	7.9K
	rsspace4__t18_rsspace4	2021-07-18 02:11	46K
	rsspace4__t18_rsspace4.vout	2021-07-25 16:44	7.3K
	rsspace4__t19_rsspace4	2021-07-18 02:11	44K
	rsspace4__t19_rsspace4.vout	2021-07-25 14:40	4.7K
	rsspace4__t20_rsspace4	2021-07-18 02:12	43K
	rsspace4__t20_rsspace4.vout	2021-07-25 15:05	4.7K
	rsspace4__t22_rsspace4	2021-07-18 01:58	44K
	rsspace4__t22_rsspace4.vout	2021-07-25 14:53	4.7K
	rsspace4__t23_rsspace4	2021-07-18 02:13	39K
	rsspace4__t23_rsspace4.vout	2021-07-25 18:44	7.9K
	rsspace4__t24_rsspace4	2021-07-18 02:13	43K
	rsspace4__t24_rsspace4.vout	2021-07-25 17:44	4.7K
	rsspace4__t25_rsspace4	2021-07-18 02:14	81K
	rsspace4__t25_rsspace4.vout	2021-07-25 16:12	6.8K
	rsspace4__t26_rsspace4	2021-07-18 02:15	35K
	rsspace4__t26_rsspace4.depv1	2021-07-25 20:57	67
	rsspace4__t26_rsspace4.depvmin1	2021-07-25 21:03	67
	rsspace4__t26_rsspace4.vmin1	2021-07-25 20:57	3.2K
	rsspace4__t26_rsspace4.vmin1out	2021-07-25 20:59	67K
	rsspace4__t26_rsspace4.vout	2021-07-25 14:47	68K