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

	Name	Last modified	Size	Description
	Parent Directory		-
	prelamb__l26_prelamb	2021-07-18 10:16	54K
	prelamb__l26_prelamb.vout	2021-07-25 14:43	7.3K
	prelamb__l31_prelamb	2021-07-18 10:17	49K
	prelamb__l31_prelamb.vout	2021-07-25 20:11	2.0K
	prelamb__l32_prelamb	2021-07-18 10:17	49K
	prelamb__l32_prelamb.vout	2021-07-25 20:09	2.0K
	prelamb__l33_prelamb	2021-07-18 10:18	45K
	prelamb__l33_prelamb.vout	2021-07-25 15:39	2.0K
	prelamb__l34_prelamb	2021-07-18 10:18	49K
	prelamb__l34_prelamb.vout	2021-07-25 20:45	2.0K
	prelamb__l35_prelamb	2021-07-18 10:19	49K
	prelamb__l35_prelamb.vout	2021-07-25 18:16	2.0K
	prelamb__l36_prelamb	2021-07-18 10:19	45K
	prelamb__l36_prelamb.vout	2021-07-25 20:42	2.0K
	prelamb__l37_prelamb	2021-07-18 10:20	51K
	prelamb__l37_prelamb.vout	2021-07-25 15:47	2.0K
	prelamb__l38_prelamb	2021-07-18 10:20	49K
	prelamb__l38_prelamb.vout	2021-07-25 17:39	2.0K
	prelamb__l39_prelamb	2021-07-18 10:21	47K
	prelamb__l39_prelamb.vout	2021-07-25 19:55	2.0K
	prelamb__t1_prelamb	2021-07-18 10:02	46K
	prelamb__t1_prelamb.vout	2021-07-25 20:42	3.7K
	prelamb__t2_prelamb	2021-07-18 10:03	49K
	prelamb__t2_prelamb.vout	2021-07-25 14:43	3.7K
	prelamb__t3_prelamb	2021-07-18 10:03	60K
	prelamb__t3_prelamb.vout	2021-07-25 19:39	2.0K
	prelamb__t4_prelamb	2021-07-18 10:04	61K
	prelamb__t4_prelamb.vout	2021-07-25 16:06	7.3K
	prelamb__t5_prelamb	2021-07-18 10:04	61K
	prelamb__t5_prelamb.vout	2021-07-25 19:11	7.3K
	prelamb__t6_prelamb	2021-07-18 10:05	62K
	prelamb__t6_prelamb.vout	2021-07-25 14:41	7.3K
	prelamb__t7_prelamb	2021-07-18 10:05	62K
	prelamb__t7_prelamb.vout	2021-07-25 19:12	7.3K
	prelamb__t8_prelamb	2021-07-18 10:06	61K
	prelamb__t8_prelamb.vout	2021-07-25 17:00	7.3K
	prelamb__t9_prelamb	2021-07-18 10:07	61K
	prelamb__t9_prelamb.vout	2021-07-25 18:19	7.3K
	prelamb__t10_prelamb	2021-07-18 10:07	61K
	prelamb__t10_prelamb.vout	2021-07-25 19:26	7.3K
	prelamb__t11_prelamb	2021-07-18 10:08	67K
	prelamb__t11_prelamb.vout	2021-07-25 19:57	7.3K
	prelamb__t12_prelamb	2021-07-18 10:08	51K
	prelamb__t12_prelamb.depv1	2021-07-25 20:57	131
	prelamb__t12_prelamb.depvmin1	2021-07-25 21:03	131
	prelamb__t12_prelamb.vmin1	2021-07-25 20:57	4.8K
	prelamb__t12_prelamb.vmin1out	2021-07-25 20:58	40K
	prelamb__t12_prelamb.vout	2021-07-25 16:12	55K
	prelamb__t13_prelamb	2021-07-18 10:09	50K
	prelamb__t13_prelamb.depv1	2021-07-25 20:57	121
	prelamb__t13_prelamb.depvmin1	2021-07-25 21:03	121
	prelamb__t13_prelamb.vmin1	2021-07-25 20:57	4.5K
	prelamb__t13_prelamb.vmin1out	2021-07-25 20:59	49K
	prelamb__t13_prelamb.vout	2021-07-25 19:35	44K
	prelamb__t14_prelamb	2021-07-18 10:09	51K
	prelamb__t14_prelamb.depv1	2021-07-25 20:57	210
	prelamb__t14_prelamb.vmin1	2021-07-25 20:57	5.4K
	prelamb__t14_prelamb.vmin1out	2021-07-25 20:58	2.0K
	prelamb__t14_prelamb.vout	2021-07-25 18:27	69K
	prelamb__t15_prelamb	2021-07-18 10:10	51K
	prelamb__t15_prelamb.vout	2021-07-25 14:43	2.0K
	prelamb__t16_prelamb	2021-07-18 10:10	51K
	prelamb__t16_prelamb.vout	2021-07-25 17:07	2.0K
	prelamb__t17_prelamb	2021-07-18 10:11	51K
	prelamb__t17_prelamb.vout	2021-07-25 16:40	2.0K
	prelamb__t18_prelamb	2021-07-18 10:11	42K
	prelamb__t18_prelamb.depv1	2021-07-25 20:57	78
	prelamb__t18_prelamb.depvmin1	2021-07-25 21:03	78
	prelamb__t18_prelamb.vmin1	2021-07-25 20:57	1.7K
	prelamb__t18_prelamb.vmin1out	2021-07-25 21:01	16K
	prelamb__t18_prelamb.vout	2021-07-25 17:20	13K
	prelamb__t19_prelamb	2021-07-18 10:12	49K
	prelamb__t19_prelamb.vout	2021-07-25 14:26	2.0K
	prelamb__t20_prelamb	2021-07-18 10:12	49K
	prelamb__t20_prelamb.depv1	2021-07-25 20:57	36
	prelamb__t20_prelamb.depvmin1	2021-07-25 21:03	36
	prelamb__t20_prelamb.vmin1	2021-07-25 20:57	3.5K
	prelamb__t20_prelamb.vmin1out	2021-07-25 21:00	28K
	prelamb__t20_prelamb.vout	2021-07-25 16:48	26K
	prelamb__t21_prelamb	2021-07-18 10:12	42K
	prelamb__t21_prelamb.depv1	2021-07-25 20:57	78
	prelamb__t21_prelamb.depvmin1	2021-07-25 21:03	78
	prelamb__t21_prelamb.vmin1	2021-07-25 20:57	1.7K
	prelamb__t21_prelamb.vmin1out	2021-07-25 20:59	22K
	prelamb__t21_prelamb.vout	2021-07-25 17:57	18K
	prelamb__t22_prelamb	2021-07-18 10:13	42K
	prelamb__t22_prelamb.depv1	2021-07-25 20:57	90
	prelamb__t22_prelamb.depvmin1	2021-07-25 21:03	90
	prelamb__t22_prelamb.vmin1	2021-07-25 20:57	2.2K
	prelamb__t22_prelamb.vmin1out	2021-07-25 21:01	34K
	prelamb__t22_prelamb.vout	2021-07-25 15:01	28K
	prelamb__t23_prelamb	2021-07-18 10:13	50K
	prelamb__t23_prelamb.vout	2021-07-25 15:37	2.0K
	prelamb__t24_prelamb	2021-07-18 10:14	49K
	prelamb__t24_prelamb.vout	2021-07-25 18:38	2.0K
	prelamb__t25_prelamb	2021-07-18 10:02	42K
	prelamb__t25_prelamb.depv1	2021-07-25 20:57	110
	prelamb__t25_prelamb.depvmin1	2021-07-25 21:03	110
	prelamb__t25_prelamb.vmin1	2021-07-25 20:57	2.1K
	prelamb__t25_prelamb.vmin1out	2021-07-25 20:59	28K
	prelamb__t25_prelamb.vout	2021-07-25 17:26	18K
	prelamb__t26_prelamb	2021-07-18 10:14	53K
	prelamb__t26_prelamb.vout	2021-07-25 16:37	2.0K
	prelamb__t27_prelamb	2021-07-18 10:15	51K
	prelamb__t27_prelamb.vout	2021-07-25 16:12	2.0K
	prelamb__t28_prelamb	2021-07-18 10:15	50K
	prelamb__t28_prelamb.depv1	2021-07-25 20:57	121
	prelamb__t28_prelamb.depvmin1	2021-07-25 21:03	121
	prelamb__t28_prelamb.vmin1	2021-07-25 20:57	4.0K
	prelamb__t28_prelamb.vmin1out	2021-07-25 21:00	58K
	prelamb__t28_prelamb.vout	2021-07-25 14:22	55K
	prelamb__t29_prelamb	2021-07-18 10:16	52K
	prelamb__t29_prelamb.vout	2021-07-25 17:19	2.0K