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

	Name	Last modified	Size	Description
	Parent Directory		-
	osafree__t1_osafree	2021-07-17 23:09	40K
	osafree__t1_osafree.vout	2021-07-25 15:21	5.8K
	osafree__t2_osafree	2021-07-17 23:10	40K
	osafree__t2_osafree.vout	2021-07-25 18:23	4.7K
	osafree__t3_osafree	2021-07-17 23:10	51K
	osafree__t3_osafree.vout	2021-07-25 19:03	3.7K
	osafree__t4_osafree	2021-07-17 23:11	38K
	osafree__t4_osafree.vout	2021-07-25 17:59	4.7K
	osafree__t5_osafree	2021-07-17 23:12	57K
	osafree__t5_osafree.vout	2021-07-25 18:46	4.2K
	osafree__t6_osafree	2021-07-17 23:13	52K
	osafree__t6_osafree.vout	2021-07-25 16:17	7.3K
	osafree__t7_osafree	2021-07-17 23:14	63K
	osafree__t7_osafree.vout	2021-07-25 17:49	3.7K
	osafree__t8_osafree	2021-07-17 23:14	51K
	osafree__t8_osafree.vout	2021-07-25 16:05	4.2K
	osafree__t9_osafree	2021-07-17 23:48	50K
	osafree__t9_osafree.vout	2021-07-25 15:57	7.3K
	osafree__t10_osafree	2021-07-17 23:15	53K
	osafree__t10_osafree.vout	2021-07-25 17:57	4.2K
	osafree__t11_osafree	2021-07-17 23:16	70K
	osafree__t11_osafree.vout	2021-07-25 17:43	3.7K
	osafree__t12_osafree	2021-07-17 23:17	69K
	osafree__t12_osafree.vout	2021-07-25 20:23	7.3K
	osafree__t13_osafree	2021-07-17 23:18	57K
	osafree__t13_osafree.vout	2021-07-25 20:38	7.3K
	osafree__t14_osafree	2021-07-17 23:18	47K
	osafree__t14_osafree.vout	2021-07-25 20:02	7.3K
	osafree__t15_osafree	2021-07-17 23:19	50K
	osafree__t15_osafree.vout	2021-07-25 15:06	4.7K
	osafree__t16_osafree	2021-07-17 23:20	49K
	osafree__t16_osafree.vout	2021-07-25 16:49	4.7K
	osafree__t17_osafree	2021-07-17 23:21	62K
	osafree__t17_osafree.vout	2021-07-25 20:51	4.7K
	osafree__t18_osafree	2021-07-17 23:21	61K
	osafree__t18_osafree.vout	2021-07-25 18:22	7.3K
	osafree__t19_osafree	2021-07-17 23:22	88K
	osafree__t19_osafree.vout	2021-07-25 19:49	4.2K
	osafree__t20_osafree	2021-07-17 23:23	78K
	osafree__t20_osafree.vout	2021-07-25 20:12	4.2K
	osafree__t21_osafree	2021-07-17 23:25	80K
	osafree__t21_osafree.vout	2021-07-25 19:56	4.2K
	osafree__t22_osafree	2021-07-17 23:26	90K
	osafree__t22_osafree.vout	2021-07-25 17:52	4.2K
	osafree__t23_osafree	2021-07-17 23:26	40K
	osafree__t23_osafree.vout	2021-07-25 17:45	7.3K
	osafree__t24_osafree	2021-07-17 23:27	60K
	osafree__t24_osafree.vout	2021-07-25 15:52	7.3K
	osafree__t25_osafree	2021-07-17 23:28	65K
	osafree__t25_osafree.vout	2021-07-25 19:22	7.3K
	osafree__t26_osafree	2021-07-17 23:30	113K
	osafree__t26_osafree.vout	2021-07-25 18:07	4.2K
	osafree__t27_osafree	2021-07-17 23:30	64K
	osafree__t27_osafree.vout	2021-07-25 20:06	4.7K
	osafree__t28_osafree	2021-07-17 23:49	49K
	osafree__t28_osafree.vout	2021-07-25 18:10	3.7K
	osafree__t29_osafree	2021-07-17 23:31	41K
	osafree__t29_osafree.vout	2021-07-25 16:48	4.7K
	osafree__t30_osafree	2021-07-17 23:50	61K
	osafree__t30_osafree.vout	2021-07-25 14:40	3.7K
	osafree__t31_osafree	2021-07-17 23:32	51K
	osafree__t31_osafree.vout	2021-07-25 20:50	4.7K
	osafree__t32_osafree	2021-07-17 23:32	60K
	osafree__t32_osafree.vout	2021-07-25 15:46	7.3K
	osafree__t33_osafree	2021-07-17 23:34	84K
	osafree__t33_osafree.vout	2021-07-25 17:30	6.8K
	osafree__t34_osafree	2021-07-17 23:34	64K
	osafree__t34_osafree.vout	2021-07-25 17:28	6.8K
	osafree__t35_osafree	2021-07-17 23:35	65K
	osafree__t35_osafree.vout	2021-07-25 15:36	4.7K
	osafree__t36_osafree	2021-07-17 23:36	63K
	osafree__t36_osafree.vout	2021-07-25 14:42	3.7K
	osafree__t37_osafree	2021-07-17 23:37	103K
	osafree__t37_osafree.vout	2021-07-25 17:59	3.7K
	osafree__t38_osafree	2021-07-17 23:39	102K
	osafree__t38_osafree.vout	2021-07-25 20:11	5.3K
	osafree__t39_osafree	2021-07-17 23:39	49K
	osafree__t39_osafree.depv1	2021-07-25 20:57	65
	osafree__t39_osafree.depvmin1	2021-07-25 21:03	65
	osafree__t39_osafree.vmin1	2021-07-25 20:57	1.9K
	osafree__t39_osafree.vmin1out	2021-07-25 21:01	28K
	osafree__t39_osafree.vout	2021-07-25 14:34	38K
	osafree__t40_osafree	2021-07-17 23:41	126K
	osafree__t40_osafree.vout	2021-07-25 19:35	3.7K
	osafree__t41_osafree	2021-07-17 23:42	104K
	osafree__t41_osafree.vout	2021-07-25 17:13	3.7K
	osafree__t42_osafree	2021-07-17 23:43	79K
	osafree__t42_osafree.vout	2021-07-25 17:08	7.3K
	osafree__t43_osafree	2021-07-17 23:44	77K
	osafree__t43_osafree.depv1	2021-07-25 20:57	209
	osafree__t43_osafree.depvmin1	2021-07-25 21:03	209
	osafree__t43_osafree.vmin1	2021-07-25 20:57	6.7K
	osafree__t43_osafree.vmin1out	2021-07-25 20:59	95K
	osafree__t43_osafree.vout	2021-07-25 18:25	100K
	osafree__t44_osafree	2021-07-17 23:45	97K
	osafree__t44_osafree.vout	2021-07-25 17:11	4.2K
	osafree__t45_osafree	2021-07-17 23:46	88K
	osafree__t45_osafree.vout	2021-07-25 14:56	5.3K
	osafree__t46_osafree	2021-07-17 23:47	50K
	osafree__t46_osafree.vout	2021-07-25 20:54	4.7K
	osafree__t47_osafree	2021-07-17 23:47	44K
	osafree__t47_osafree.vout	2021-07-25 18:15	4.7K