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

	Name	Last modified	Size	Description
	Parent Directory		-
	diff_1__l49_diff_1	2021-07-18 00:15	26K
	diff_1__l49_diff_1.vout	2021-07-25 14:30	7.3K
	diff_1__l50_diff_1	2021-07-18 00:15	52K
	diff_1__l50_diff_1.vout	2021-07-25 17:28	4.7K
	diff_1__t1_diff_1	2021-07-17 23:56	46K
	diff_1__t1_diff_1.vout	2021-07-25 14:41	7.3K
	diff_1__t2_diff_1	2021-07-17 23:57	43K
	diff_1__t2_diff_1.vout	2021-07-25 19:06	4.7K
	diff_1__t3_diff_1	2021-07-17 23:57	42K
	diff_1__t3_diff_1.vout	2021-07-25 19:50	7.3K
	diff_1__t4_diff_1	2021-07-17 23:58	42K
	diff_1__t4_diff_1.vout	2021-07-25 14:27	1.1K
	diff_1__t5_diff_1	2021-07-17 23:58	51K
	diff_1__t5_diff_1.vout	2021-07-25 19:18	7.3K
	diff_1__t6_diff_1	2021-07-17 23:59	52K
	diff_1__t6_diff_1.vout	2021-07-25 19:35	4.7K
	diff_1__t7_diff_1	2021-07-17 23:59	53K
	diff_1__t7_diff_1.vout	2021-07-25 18:06	4.7K
	diff_1__t8_diff_1	2021-07-18 00:00	56K
	diff_1__t8_diff_1.vout	2021-07-25 20:18	4.7K
	diff_1__t9_diff_1	2021-07-18 00:00	56K
	diff_1__t9_diff_1.vout	2021-07-25 18:38	4.7K
	diff_1__t10_diff_1	2021-07-18 00:01	35K
	diff_1__t10_diff_1.vout	2021-07-25 14:40	2.0K
	diff_1__t11_diff_1	2021-07-18 00:01	45K
	diff_1__t11_diff_1.vout	2021-07-25 15:21	4.7K
	diff_1__t12_diff_1	2021-07-18 00:02	43K
	diff_1__t12_diff_1.vout	2021-07-25 20:53	4.7K
	diff_1__t13_diff_1	2021-07-18 00:02	52K
	diff_1__t13_diff_1.vout	2021-07-25 17:38	4.7K
	diff_1__t14_diff_1	2021-07-18 00:03	53K
	diff_1__t14_diff_1.vout	2021-07-25 19:39	4.7K
	diff_1__t15_diff_1	2021-07-18 00:03	53K
	diff_1__t15_diff_1.vout	2021-07-25 17:26	4.7K
	diff_1__t16_diff_1	2021-07-18 00:04	54K
	diff_1__t16_diff_1.vout	2021-07-25 16:46	4.7K
	diff_1__t17_diff_1	2021-07-18 00:04	35K
	diff_1__t17_diff_1.vout	2021-07-25 18:08	2.0K
	diff_1__t18_diff_1	2021-07-18 00:05	45K
	diff_1__t18_diff_1.vout	2021-07-25 18:52	4.7K
	diff_1__t19_diff_1	2021-07-18 00:05	50K
	diff_1__t19_diff_1.vout	2021-07-25 15:56	4.7K
	diff_1__t20_diff_1	2021-07-18 00:06	59K
	diff_1__t20_diff_1.vout	2021-07-25 18:51	4.7K
	diff_1__t21_diff_1	2021-07-18 00:06	90K
	diff_1__t21_diff_1.vout	2021-07-25 19:39	4.7K
	diff_1__t22_diff_1	2021-07-18 00:07	93K
	diff_1__t22_diff_1.vout	2021-07-25 17:19	4.7K
	diff_1__t23_diff_1	2021-07-18 00:07	93K
	diff_1__t23_diff_1.vout	2021-07-25 15:37	4.7K
	diff_1__t24_diff_1	2021-07-18 00:07	35K
	diff_1__t24_diff_1.vout	2021-07-25 14:26	2.0K
	diff_1__t25_diff_1	2021-07-18 00:08	57K
	diff_1__t25_diff_1.vout	2021-07-25 17:12	4.7K
	diff_1__t26_diff_1	2021-07-18 00:08	50K
	diff_1__t26_diff_1.vout	2021-07-25 17:26	4.7K
	diff_1__t27_diff_1	2021-07-18 00:09	121K
	diff_1__t27_diff_1.vout	2021-07-25 17:58	4.7K
	diff_1__t28_diff_1	2021-07-18 00:10	121K
	diff_1__t28_diff_1.vout	2021-07-25 18:54	4.7K
	diff_1__t29_diff_1	2021-07-18 00:10	22K
	diff_1__t29_diff_1.vout	2021-07-25 17:01	2.0K
	diff_1__t30_diff_1	2021-07-18 00:10	28K
	diff_1__t30_diff_1.vout	2021-07-25 18:39	6.8K
	diff_1__t31_diff_1	2021-07-18 00:11	29K
	diff_1__t31_diff_1.vout	2021-07-25 18:58	7.3K
	diff_1__t32_diff_1	2021-07-18 00:11	34K
	diff_1__t32_diff_1.vout	2021-07-25 15:01	2.0K
	diff_1__t33_diff_1	2021-07-18 00:12	37K
	diff_1__t33_diff_1.vout	2021-07-25 15:19	2.0K
	diff_1__t34_diff_1	2021-07-18 00:12	38K
	diff_1__t34_diff_1.vout	2021-07-25 15:00	7.3K
	diff_1__t35_diff_1	2021-07-18 00:12	23K
	diff_1__t35_diff_1.depv1	2021-07-25 20:57	34
	diff_1__t35_diff_1.depvmin1	2021-07-25 21:03	34
	diff_1__t35_diff_1.vmin1	2021-07-25 20:57	934
	diff_1__t35_diff_1.vmin1out	2021-07-25 20:59	21K
	diff_1__t35_diff_1.vout	2021-07-25 17:24	15K
	diff_1__t36_diff_1	2021-07-18 00:13	45K
	diff_1__t36_diff_1.vout	2021-07-25 17:34	4.7K
	diff_1__t37_diff_1	2021-07-18 00:13	75K
	diff_1__t37_diff_1.vout	2021-07-25 18:50	4.7K
	diff_1__t38_diff_1	2021-07-18 00:14	46K
	diff_1__t38_diff_1.vout	2021-07-25 18:26	7.3K
	diff_1__t39_diff_1	2021-07-18 00:14	58K
	diff_1__t39_diff_1.vout	2021-07-25 16:53	7.3K