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

	Name	Last modified	Size	Description
	Parent Directory		-
	finseq_7__t6_finseq_7.depv1	2021-07-25 20:57	25
	finseq_7__t6_finseq_7.depvmin1	2021-07-25 21:03	25
	finseq_7__t4_finseq_7.depv1	2021-07-25 20:57	104
	finseq_7__t4_finseq_7.depvmin1	2021-07-25 21:03	104
	finseq_7__t5_finseq_7.depv1	2021-07-25 20:57	104
	finseq_7__t5_finseq_7.depvmin1	2021-07-25 21:03	104
	finseq_7__t22_finseq_7.depv1	2021-07-25 20:57	106
	finseq_7__t22_finseq_7.depvmin1	2021-07-25 21:03	106
	finseq_7__t3_finseq_7.depv1	2021-07-25 20:57	115
	finseq_7__t3_finseq_7.depvmin1	2021-07-25 21:03	115
	finseq_7__l10_finseq_7.depvmin1	2021-07-25 21:03	192
	finseq_7__t7_finseq_7.depvmin1	2021-07-25 21:03	192
	finseq_7__t10_finseq_7.depv1	2021-07-25 20:57	205
	finseq_7__t10_finseq_7.depvmin1	2021-07-25 21:03	205
	finseq_7__l10_finseq_7.depv1	2021-07-25 20:57	217
	finseq_7__t7_finseq_7.depv1	2021-07-25 20:57	217
	finseq_7__t8_finseq_7.depv1	2021-07-25 20:57	217
	finseq_7__t8_finseq_7.depvmin1	2021-07-25 21:03	217
	finseq_7__t30_finseq_7.depv1	2021-07-25 20:57	233
	finseq_7__t30_finseq_7.depvmin1	2021-07-25 21:03	233
	finseq_7__t6_finseq_7.vmin1	2021-07-25 20:57	433
	finseq_7__t22_finseq_7.vmin1	2021-07-25 20:57	1.0K
	finseq_7__t5_finseq_7.vmin1	2021-07-25 20:57	1.0K
	finseq_7__t4_finseq_7.vmin1	2021-07-25 20:57	1.3K
	finseq_7__t3_finseq_7.vmin1	2021-07-25 20:57	1.9K
	finseq_7__l10_finseq_7.vmin1	2021-07-25 20:57	2.0K
	finseq_7__t7_finseq_7.vmin1	2021-07-25 20:57	2.0K
	finseq_7__t20_finseq_7.vout	2021-07-25 20:53	2.0K
	finseq_7__t21_finseq_7.vout	2021-07-25 20:53	2.0K
	finseq_7__l23_finseq_7.vout	2021-07-25 17:08	2.0K
	finseq_7__l5_finseq_7.vout	2021-07-25 20:37	2.0K
	finseq_7__t31_finseq_7.vout	2021-07-25 20:05	2.0K
	finseq_7__t18_finseq_7.vout	2021-07-25 16:31	2.0K
	finseq_7__t19_finseq_7.vout	2021-07-25 20:47	2.0K
	finseq_7__t10_finseq_7.vmin1	2021-07-25 20:57	2.1K
	finseq_7__t8_finseq_7.vmin1	2021-07-25 20:57	2.1K
	finseq_7__t30_finseq_7.vmin1	2021-07-25 20:57	2.6K
	finseq_7__t34_finseq_7.vout	2021-07-25 19:56	4.1K
	finseq_7__t33_finseq_7.vout	2021-07-25 17:20	4.1K
	finseq_7__t35_finseq_7.vout	2021-07-25 20:09	4.2K
	finseq_7__t6_finseq_7.vmin1out	2021-07-25 20:58	4.4K
	finseq_7__t6_finseq_7.vout	2021-07-25 19:03	4.5K
	finseq_7__t1_finseq_7.vout	2021-07-25 17:27	6.8K
	finseq_7__t9_finseq_7.vout	2021-07-25 16:39	6.8K
	finseq_7__t11_finseq_7.vout	2021-07-25 17:49	6.8K
	finseq_7__t27_finseq_7.vout	2021-07-25 19:23	6.8K
	finseq_7__t12_finseq_7.vout	2021-07-25 16:54	7.3K
	finseq_7__t32_finseq_7.vout	2021-07-25 15:35	7.3K
	finseq_7__t2_finseq_7.vout	2021-07-25 20:45	7.3K
	finseq_7__t28_finseq_7.vout	2021-07-25 15:06	7.3K
	finseq_7__t29_finseq_7.vout	2021-07-25 16:40	7.3K
	finseq_7__l35_finseq_7.vout	2021-07-25 14:33	7.3K
	finseq_7__t17_finseq_7.vout	2021-07-25 15:41	7.4K
	finseq_7__t15_finseq_7.vout	2021-07-25 17:26	7.4K
	finseq_7__t16_finseq_7.vout	2021-07-25 16:19	7.4K
	finseq_7__t13_finseq_7.vout	2021-07-25 20:44	7.4K
	finseq_7__t14_finseq_7.vout	2021-07-25 17:49	7.4K
	finseq_7__t24_finseq_7.vout	2021-07-25 20:03	7.9K
	finseq_7__t25_finseq_7.vout	2021-07-25 15:56	7.9K
	finseq_7__t26_finseq_7.vout	2021-07-25 17:10	7.9K
	finseq_7__t23_finseq_7.vout	2021-07-25 14:31	7.9K
	finseq_7__t22_finseq_7.vmin1out	2021-07-25 20:58	8.5K
	finseq_7__t22_finseq_7.vout	2021-07-25 15:59	8.7K
	finseq_7__t5_finseq_7.vmin1out	2021-07-25 20:59	9.0K
	finseq_7__t5_finseq_7.vout	2021-07-25 16:38	9.1K
	finseq_7__t4_finseq_7.vmin1out	2021-07-25 21:01	13K
	finseq_7__t4_finseq_7.vout	2021-07-25 17:03	13K
	finseq_7__l5_finseq_7	2021-07-18 01:05	14K
	finseq_7__t6_finseq_7	2021-07-18 00:52	15K
	finseq_7__l10_finseq_7.vout	2021-07-25 17:07	16K
	finseq_7__t7_finseq_7.vout	2021-07-25 15:38	16K
	finseq_7__t8_finseq_7.vout	2021-07-25 20:54	16K
	finseq_7__t22_finseq_7	2021-07-18 00:52	17K
	finseq_7__l10_finseq_7.vmin1out	2021-07-25 20:59	17K
	finseq_7__t5_finseq_7	2021-07-18 00:52	17K
	finseq_7__t7_finseq_7.vmin1out	2021-07-25 20:59	18K
	finseq_7__t10_finseq_7.vmin1out	2021-07-25 21:00	18K
	finseq_7__t18_finseq_7	2021-07-18 00:58	18K
	finseq_7__t8_finseq_7.vmin1out	2021-07-25 20:58	20K
	finseq_7__t4_finseq_7	2021-07-18 00:51	20K
	finseq_7__t19_finseq_7	2021-07-18 00:59	21K
	finseq_7__t8_finseq_7	2021-07-18 00:54	21K
	finseq_7__l35_finseq_7	2021-07-18 01:06	21K
	finseq_7__l10_finseq_7	2021-07-18 01:05	21K
	finseq_7__t10_finseq_7	2021-07-18 00:55	21K
	finseq_7__t30_finseq_7	2021-07-18 01:03	21K
	finseq_7__t33_finseq_7	2021-07-18 01:04	21K
	finseq_7__t31_finseq_7	2021-07-18 01:03	21K
	finseq_7__t7_finseq_7	2021-07-18 00:54	22K
	finseq_7__t20_finseq_7	2021-07-18 00:59	22K
	finseq_7__t21_finseq_7	2021-07-18 00:59	22K
	finseq_7__t35_finseq_7	2021-07-18 01:05	22K
	finseq_7__t34_finseq_7	2021-07-18 01:04	23K
	finseq_7__t3_finseq_7	2021-07-18 00:53	23K
	finseq_7__l23_finseq_7	2021-07-18 01:06	23K
	finseq_7__t10_finseq_7.vout	2021-07-25 15:31	24K
	finseq_7__t23_finseq_7	2021-07-18 01:00	32K
	finseq_7__t29_finseq_7	2021-07-18 01:02	32K
	finseq_7__t28_finseq_7	2021-07-18 01:02	32K
	finseq_7__t24_finseq_7	2021-07-18 01:00	33K
	finseq_7__t25_finseq_7	2021-07-18 01:01	33K
	finseq_7__t26_finseq_7	2021-07-18 01:01	33K
	finseq_7__t3_finseq_7.vmin1out	2021-07-25 20:57	33K
	finseq_7__t27_finseq_7	2021-07-18 01:02	33K
	finseq_7__t3_finseq_7.vout	2021-07-25 18:10	33K
	finseq_7__t11_finseq_7	2021-07-18 00:55	36K
	finseq_7__t14_finseq_7	2021-07-18 00:57	36K
	finseq_7__t16_finseq_7	2021-07-18 00:58	37K
	finseq_7__t30_finseq_7.vout	2021-07-25 16:40	37K
	finseq_7__t12_finseq_7	2021-07-18 00:56	37K
	finseq_7__t13_finseq_7	2021-07-18 00:56	38K
	finseq_7__t15_finseq_7	2021-07-18 00:57	38K
	finseq_7__t17_finseq_7	2021-07-18 00:58	40K
	finseq_7__t1_finseq_7	2021-07-18 00:53	42K
	finseq_7__t2_finseq_7	2021-07-18 00:53	44K
	finseq_7__t30_finseq_7.vmin1out	2021-07-25 21:00	45K
	finseq_7__t9_finseq_7	2021-07-18 00:55	45K
	finseq_7__t32_finseq_7	2021-07-18 01:04	58K