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

	Name	Last modified	Size	Description
	Parent Directory		-
	fdiff_8__t35_fdiff_8.vout	2021-07-25 15:36	7.3K
	fdiff_8__t35_fdiff_8	2021-07-17 21:02	52K
	fdiff_8__t34_fdiff_8.vout	2021-07-25 15:51	7.3K
	fdiff_8__t34_fdiff_8	2021-07-17 21:02	52K
	fdiff_8__t33_fdiff_8.vout	2021-07-25 20:38	7.3K
	fdiff_8__t33_fdiff_8	2021-07-17 21:01	59K
	fdiff_8__t32_fdiff_8.vout	2021-07-25 15:12	7.3K
	fdiff_8__t32_fdiff_8	2021-07-17 21:01	47K
	fdiff_8__t31_fdiff_8.vout	2021-07-25 15:20	7.3K
	fdiff_8__t31_fdiff_8	2021-07-17 21:00	49K
	fdiff_8__t30_fdiff_8.vout	2021-07-25 15:10	7.3K
	fdiff_8__t30_fdiff_8	2021-07-17 20:59	41K
	fdiff_8__t29_fdiff_8.vout	2021-07-25 14:40	6.8K
	fdiff_8__t29_fdiff_8	2021-07-17 20:59	50K
	fdiff_8__t28_fdiff_8.vout	2021-07-25 18:38	6.8K
	fdiff_8__t28_fdiff_8	2021-07-17 20:58	41K
	fdiff_8__t27_fdiff_8.vout	2021-07-25 20:23	6.8K
	fdiff_8__t27_fdiff_8	2021-07-17 20:58	61K
	fdiff_8__t26_fdiff_8.vout	2021-07-25 16:40	6.8K
	fdiff_8__t26_fdiff_8	2021-07-17 20:57	61K
	fdiff_8__t25_fdiff_8.vout	2021-07-25 17:16	7.3K
	fdiff_8__t25_fdiff_8	2021-07-17 20:57	57K
	fdiff_8__t24_fdiff_8.vout	2021-07-25 20:46	7.3K
	fdiff_8__t24_fdiff_8	2021-07-17 20:56	55K
	fdiff_8__t23_fdiff_8.vout	2021-07-25 19:44	7.3K
	fdiff_8__t23_fdiff_8	2021-07-17 20:56	48K
	fdiff_8__t22_fdiff_8.vout	2021-07-25 19:35	7.3K
	fdiff_8__t22_fdiff_8	2021-07-17 20:55	48K
	fdiff_8__t21_fdiff_8.vout	2021-07-25 18:10	6.8K
	fdiff_8__t21_fdiff_8	2021-07-17 20:55	94K
	fdiff_8__t20_fdiff_8.vout	2021-07-25 15:41	6.8K
	fdiff_8__t20_fdiff_8	2021-07-17 20:54	94K
	fdiff_8__t19_fdiff_8.vout	2021-07-25 16:23	6.8K
	fdiff_8__t19_fdiff_8	2021-07-17 20:54	62K
	fdiff_8__t18_fdiff_8.vout	2021-07-25 16:39	6.8K
	fdiff_8__t18_fdiff_8	2021-07-17 20:53	50K
	fdiff_8__t17_fdiff_8.vout	2021-07-25 15:07	7.9K
	fdiff_8__t17_fdiff_8	2021-07-17 20:52	45K
	fdiff_8__t16_fdiff_8.vout	2021-07-25 14:56	8.3K
	fdiff_8__t16_fdiff_8	2021-07-17 20:52	37K
	fdiff_8__t15_fdiff_8.vout	2021-07-25 17:44	7.3K
	fdiff_8__t15_fdiff_8	2021-07-17 20:51	56K
	fdiff_8__t14_fdiff_8.vout	2021-07-25 17:14	7.3K
	fdiff_8__t14_fdiff_8	2021-07-17 20:51	44K
	fdiff_8__t13_fdiff_8.vout	2021-07-25 20:10	7.8K
	fdiff_8__t13_fdiff_8	2021-07-17 20:50	45K
	fdiff_8__t12_fdiff_8.vout	2021-07-25 19:20	8.4K
	fdiff_8__t12_fdiff_8	2021-07-17 20:50	37K
	fdiff_8__t11_fdiff_8.vout	2021-07-25 14:52	6.8K
	fdiff_8__t11_fdiff_8	2021-07-17 20:49	65K
	fdiff_8__t10_fdiff_8.vout	2021-07-25 14:57	6.8K
	fdiff_8__t10_fdiff_8	2021-07-17 20:49	54K
	fdiff_8__t9_fdiff_8.vout	2021-07-25 18:05	6.8K
	fdiff_8__t9_fdiff_8	2021-07-17 20:48	51K
	fdiff_8__t8_fdiff_8.vout	2021-07-25 18:01	6.8K
	fdiff_8__t8_fdiff_8	2021-07-17 20:48	51K
	fdiff_8__t7_fdiff_8.vout	2021-07-25 17:47	6.8K
	fdiff_8__t7_fdiff_8	2021-07-17 20:47	46K
	fdiff_8__t6_fdiff_8.vout	2021-07-25 18:00	6.8K
	fdiff_8__t6_fdiff_8	2021-07-17 20:47	38K
	fdiff_8__t5_fdiff_8.vout	2021-07-25 18:57	6.8K
	fdiff_8__t5_fdiff_8	2021-07-17 20:46	60K
	fdiff_8__t4_fdiff_8.vout	2021-07-25 20:33	6.8K
	fdiff_8__t4_fdiff_8	2021-07-17 20:46	47K
	fdiff_8__t3_fdiff_8.vout	2021-07-25 14:48	7.3K
	fdiff_8__t3_fdiff_8	2021-07-17 20:45	36K
	fdiff_8__t2_fdiff_8.vout	2021-07-25 19:59	7.8K
	fdiff_8__t2_fdiff_8	2021-07-17 20:45	28K
	fdiff_8__t1_fdiff_8.vout	2021-07-25 18:01	7.8K
	fdiff_8__t1_fdiff_8	2021-07-17 20:44	28K
	fdiff_8__l5_fdiff_8.vout	2021-07-25 16:34	23K
	fdiff_8__l5_fdiff_8.vmin1out	2021-07-25 21:00	20K
	fdiff_8__l5_fdiff_8.vmin1	2021-07-25 20:57	1.5K
	fdiff_8__l5_fdiff_8.depvmin1	2021-07-25 21:03	228
	fdiff_8__l5_fdiff_8.depv1	2021-07-25 20:57	228
	fdiff_8__l5_fdiff_8	2021-07-17 20:44	12K