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

	Name	Last modified	Size	Description
	Parent Directory		-
	finseq_8__t1_finseq_8	2021-07-18 09:37	40K
	finseq_8__t1_finseq_8.vout	2021-07-25 18:21	7.3K
	finseq_8__t2_finseq_8	2021-07-18 09:37	23K
	finseq_8__t2_finseq_8.vout	2021-07-25 16:16	4.7K
	finseq_8__t3_finseq_8	2021-07-18 09:37	25K
	finseq_8__t3_finseq_8.vout	2021-07-25 14:27	7.3K
	finseq_8__t4_finseq_8	2021-07-18 09:38	27K
	finseq_8__t4_finseq_8.vout	2021-07-25 17:15	7.3K
	finseq_8__t5_finseq_8	2021-07-18 09:38	22K
	finseq_8__t5_finseq_8.vout	2021-07-25 19:49	7.3K
	finseq_8__t6_finseq_8	2021-07-18 09:38	22K
	finseq_8__t6_finseq_8.depv1	2021-07-25 20:57	37
	finseq_8__t6_finseq_8.depvmin1	2021-07-25 21:03	37
	finseq_8__t6_finseq_8.vmin1	2021-07-25 20:57	568
	finseq_8__t6_finseq_8.vmin1out	2021-07-25 20:59	5.9K
	finseq_8__t6_finseq_8.vout	2021-07-25 20:38	8.6K
	finseq_8__t7_finseq_8	2021-07-18 09:38	22K
	finseq_8__t7_finseq_8.vout	2021-07-25 17:28	7.3K
	finseq_8__t8_finseq_8	2021-07-18 09:39	24K
	finseq_8__t8_finseq_8.vout	2021-07-25 20:02	7.3K
	finseq_8__t9_finseq_8	2021-07-18 09:39	24K
	finseq_8__t9_finseq_8.vout	2021-07-25 16:36	7.3K
	finseq_8__t10_finseq_8	2021-07-18 09:39	31K
	finseq_8__t10_finseq_8.vout	2021-07-25 16:36	7.9K
	finseq_8__t11_finseq_8	2021-07-18 09:40	42K
	finseq_8__t11_finseq_8.vout	2021-07-25 16:04	7.4K
	finseq_8__t12_finseq_8	2021-07-18 09:40	30K
	finseq_8__t12_finseq_8.vout	2021-07-25 18:55	7.4K
	finseq_8__t13_finseq_8	2021-07-18 09:40	34K
	finseq_8__t13_finseq_8.vout	2021-07-25 19:16	7.3K
	finseq_8__t14_finseq_8	2021-07-18 09:41	35K
	finseq_8__t14_finseq_8.vout	2021-07-25 14:37	7.9K
	finseq_8__t15_finseq_8	2021-07-18 09:41	39K
	finseq_8__t15_finseq_8.vout	2021-07-25 19:25	7.3K
	finseq_8__t16_finseq_8	2021-07-18 09:41	27K
	finseq_8__t16_finseq_8.vout	2021-07-25 17:23	7.9K
	finseq_8__t17_finseq_8	2021-07-18 09:42	98K
	finseq_8__t17_finseq_8.vout	2021-07-25 19:05	7.3K
	finseq_8__t18_finseq_8	2021-07-18 09:42	18K
	finseq_8__t18_finseq_8.depv1	2021-07-25 20:57	50
	finseq_8__t18_finseq_8.depvmin1	2021-07-25 21:03	50
	finseq_8__t18_finseq_8.vmin1	2021-07-25 20:57	1.0K
	finseq_8__t18_finseq_8.vmin1out	2021-07-25 21:02	28K
	finseq_8__t18_finseq_8.vout	2021-07-25 19:13	28K
	finseq_8__t19_finseq_8	2021-07-18 09:42	22K
	finseq_8__t19_finseq_8.depv1	2021-07-25 20:57	345
	finseq_8__t19_finseq_8.depvmin1	2021-07-25 21:03	295
	finseq_8__t19_finseq_8.vmin1	2021-07-25 20:57	2.8K
	finseq_8__t19_finseq_8.vmin1out	2021-07-25 20:57	26K
	finseq_8__t19_finseq_8.vout	2021-07-25 20:37	27K
	finseq_8__t20_finseq_8	2021-07-18 09:43	30K
	finseq_8__t20_finseq_8.vout	2021-07-25 16:58	7.3K
	finseq_8__t21_finseq_8	2021-07-18 09:43	19K
	finseq_8__t21_finseq_8.depv1	2021-07-25 20:57	174
	finseq_8__t21_finseq_8.depvmin1	2021-07-25 21:03	174
	finseq_8__t21_finseq_8.vmin1	2021-07-25 20:57	1.6K
	finseq_8__t21_finseq_8.vmin1out	2021-07-25 20:59	23K
	finseq_8__t21_finseq_8.vout	2021-07-25 15:05	18K
	finseq_8__t22_finseq_8	2021-07-18 09:43	20K
	finseq_8__t22_finseq_8.depv1	2021-07-25 20:57	140
	finseq_8__t22_finseq_8.depvmin1	2021-07-25 21:03	140
	finseq_8__t22_finseq_8.vmin1	2021-07-25 20:57	1.7K
	finseq_8__t22_finseq_8.vmin1out	2021-07-25 21:01	28K
	finseq_8__t22_finseq_8.vout	2021-07-25 16:43	29K
	finseq_8__t23_finseq_8	2021-07-18 09:43	24K
	finseq_8__t23_finseq_8.depv1	2021-07-25 20:57	120
	finseq_8__t23_finseq_8.depvmin1	2021-07-25 21:03	120
	finseq_8__t23_finseq_8.vmin1	2021-07-25 20:57	1.7K
	finseq_8__t23_finseq_8.vmin1out	2021-07-25 21:01	29K
	finseq_8__t23_finseq_8.vout	2021-07-25 15:40	28K
	finseq_8__t24_finseq_8	2021-07-18 09:44	41K
	finseq_8__t24_finseq_8.vout	2021-07-25 16:43	7.9K
	finseq_8__t25_finseq_8	2021-07-18 09:44	45K
	finseq_8__t25_finseq_8.vout	2021-07-25 15:55	7.9K
	finseq_8__t26_finseq_8	2021-07-18 09:44	20K
	finseq_8__t26_finseq_8.depv1	2021-07-25 20:57	343
	finseq_8__t26_finseq_8.depvmin1	2021-07-25 21:03	293
	finseq_8__t26_finseq_8.vmin1	2021-07-25 20:57	3.0K
	finseq_8__t26_finseq_8.vmin1out	2021-07-25 21:00	32K
	finseq_8__t26_finseq_8.vout	2021-07-25 15:56	32K
	finseq_8__t27_finseq_8	2021-07-18 09:45	38K
	finseq_8__t27_finseq_8.vout	2021-07-25 19:45	7.3K
	finseq_8__t28_finseq_8	2021-07-18 09:45	28K
	finseq_8__t28_finseq_8.vout	2021-07-25 14:57	7.9K
	finseq_8__t29_finseq_8	2021-07-18 09:45	47K
	finseq_8__t29_finseq_8.vout	2021-07-25 20:51	7.3K