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

	Name	Last modified	Size	Description
	Parent Directory		-
	rfinseq__l5_rfinseq	2021-07-18 02:25	32K
	rfinseq__l5_rfinseq.depv1	2021-07-25 20:57	185
	rfinseq__l5_rfinseq.depvmin1	2021-07-25 21:03	185
	rfinseq__l5_rfinseq.vmin1	2021-07-25 20:57	1.5K
	rfinseq__l5_rfinseq.vmin1out	2021-07-25 21:02	13K
	rfinseq__l5_rfinseq.vout	2021-07-25 18:51	14K
	rfinseq__l6_rfinseq	2021-07-18 02:25	62K
	rfinseq__l6_rfinseq.vout	2021-07-25 20:13	3.7K
	rfinseq__l9_rfinseq	2021-07-18 02:26	35K
	rfinseq__l9_rfinseq.depv1	2021-07-25 20:57	113
	rfinseq__l9_rfinseq.depvmin1	2021-07-25 21:03	113
	rfinseq__l9_rfinseq.vmin1	2021-07-25 20:57	1.2K
	rfinseq__l9_rfinseq.vmin1out	2021-07-25 21:02	16K
	rfinseq__l9_rfinseq.vout	2021-07-25 16:50	14K
	rfinseq__l12_rfinseq	2021-07-18 02:26	72K
	rfinseq__l12_rfinseq.vout	2021-07-25 19:49	7.3K
	rfinseq__l29_rfinseq	2021-07-18 02:27	58K
	rfinseq__l29_rfinseq.vout	2021-07-25 15:32	7.3K
	rfinseq__l30_rfinseq	2021-07-18 02:27	29K
	rfinseq__l30_rfinseq.depv1	2021-07-25 20:57	112
	rfinseq__l30_rfinseq.depvmin1	2021-07-25 21:03	112
	rfinseq__l30_rfinseq.vmin1	2021-07-25 20:57	762
	rfinseq__l30_rfinseq.vmin1out	2021-07-25 20:58	6.8K
	rfinseq__l30_rfinseq.vout	2021-07-25 17:55	6.3K
	rfinseq__l31_rfinseq	2021-07-18 02:28	125K
	rfinseq__l31_rfinseq.vout	2021-07-25 20:19	3.7K
	rfinseq__l33_rfinseq	2021-07-18 02:28	67K
	rfinseq__l33_rfinseq.vout	2021-07-25 17:02	7.3K
	rfinseq__t1_rfinseq	2021-07-18 02:09	32K
	rfinseq__t1_rfinseq.vout	2021-07-25 17:23	2.0K
	rfinseq__t2_rfinseq	2021-07-18 02:09	27K
	rfinseq__t2_rfinseq.vout	2021-07-25 20:03	2.0K
	rfinseq__t3_rfinseq	2021-07-18 02:10	32K
	rfinseq__t3_rfinseq.depv1	2021-07-25 20:57	178
	rfinseq__t3_rfinseq.depvmin1	2021-07-25 21:03	178
	rfinseq__t3_rfinseq.vmin1	2021-07-25 20:57	1.8K
	rfinseq__t3_rfinseq.vmin1out	2021-07-25 20:58	31K
	rfinseq__t3_rfinseq.vout	2021-07-25 17:07	32K
	rfinseq__t4_rfinseq	2021-07-18 02:10	41K
	rfinseq__t4_rfinseq.vout	2021-07-25 16:29	6.8K
	rfinseq__t5_rfinseq	2021-07-18 02:11	33K
	rfinseq__t5_rfinseq.vout	2021-07-25 16:31	7.3K
	rfinseq__t6_rfinseq	2021-07-18 02:11	40K
	rfinseq__t6_rfinseq.vout	2021-07-25 15:10	7.3K
	rfinseq__t7_rfinseq	2021-07-18 02:12	61K
	rfinseq__t7_rfinseq.vout	2021-07-25 17:55	6.8K
	rfinseq__t8_rfinseq	2021-07-18 02:12	44K
	rfinseq__t8_rfinseq.vout	2021-07-25 19:10	7.3K
	rfinseq__t9_rfinseq	2021-07-18 02:13	76K
	rfinseq__t9_rfinseq.vout	2021-07-25 20:14	4.7K
	rfinseq__t10_rfinseq	2021-07-18 02:13	165K
	rfinseq__t10_rfinseq.vout	2021-07-25 15:25	7.3K
	rfinseq__t11_rfinseq	2021-07-18 02:14	165K
	rfinseq__t11_rfinseq.vout	2021-07-25 17:07	6.8K
	rfinseq__t12_rfinseq	2021-07-18 02:14	35K
	rfinseq__t12_rfinseq.depv1	2021-07-25 20:57	371
	rfinseq__t12_rfinseq.depvmin1	2021-07-25 21:03	228
	rfinseq__t12_rfinseq.vmin1	2021-07-25 20:57	3.4K
	rfinseq__t12_rfinseq.vmin1out	2021-07-25 20:59	25K
	rfinseq__t12_rfinseq.vout	2021-07-25 19:12	31K
	rfinseq__t13_rfinseq	2021-07-18 02:15	41K
	rfinseq__t13_rfinseq.depv1	2021-07-25 20:57	168
	rfinseq__t13_rfinseq.depvmin1	2021-07-25 21:03	168
	rfinseq__t13_rfinseq.vmin1	2021-07-25 20:57	1.6K
	rfinseq__t13_rfinseq.vmin1out	2021-07-25 21:00	28K
	rfinseq__t13_rfinseq.vout	2021-07-25 15:30	28K
	rfinseq__t14_rfinseq	2021-07-18 02:15	60K
	rfinseq__t14_rfinseq.vout	2021-07-25 17:47	7.9K
	rfinseq__t15_rfinseq	2021-07-18 02:16	59K
	rfinseq__t15_rfinseq.vout	2021-07-25 15:30	7.3K
	rfinseq__t16_rfinseq	2021-07-18 02:16	116K
	rfinseq__t16_rfinseq.vout	2021-07-25 15:01	7.8K
	rfinseq__t17_rfinseq	2021-07-18 02:17	54K
	rfinseq__t17_rfinseq.vout	2021-07-25 14:50	7.3K
	rfinseq__t18_rfinseq	2021-07-18 02:17	38K
	rfinseq__t18_rfinseq.depv1	2021-07-25 20:57	334
	rfinseq__t18_rfinseq.depvmin1	2021-07-25 21:03	307
	rfinseq__t18_rfinseq.vmin1	2021-07-25 20:57	2.7K
	rfinseq__t18_rfinseq.vmin1out	2021-07-25 21:00	20K
	rfinseq__t18_rfinseq.vout	2021-07-25 19:01	27K
	rfinseq__t19_rfinseq	2021-07-18 02:18	34K
	rfinseq__t19_rfinseq.vout	2021-07-25 17:15	2.0K
	rfinseq__t20_rfinseq	2021-07-18 02:18	47K
	rfinseq__t20_rfinseq.vout	2021-07-25 19:36	7.3K
	rfinseq__t21_rfinseq	2021-07-18 02:19	45K
	rfinseq__t21_rfinseq.vout	2021-07-25 16:15	7.3K
	rfinseq__t22_rfinseq	2021-07-18 02:19	33K
	rfinseq__t22_rfinseq.depv1	2021-07-25 20:57	144
	rfinseq__t22_rfinseq.depvmin1	2021-07-25 21:03	144
	rfinseq__t22_rfinseq.vmin1	2021-07-25 20:57	2.2K
	rfinseq__t22_rfinseq.vmin1out	2021-07-25 20:59	39K
	rfinseq__t22_rfinseq.vout	2021-07-25 16:33	37K
	rfinseq__t23_rfinseq	2021-07-18 02:19	29K
	rfinseq__t23_rfinseq.depv1	2021-07-25 20:57	107
	rfinseq__t23_rfinseq.depvmin1	2021-07-25 21:03	107
	rfinseq__t23_rfinseq.vmin1	2021-07-25 20:57	1.1K
	rfinseq__t23_rfinseq.vmin1out	2021-07-25 21:00	8.5K
	rfinseq__t23_rfinseq.vout	2021-07-25 18:31	8.0K
	rfinseq__t24_rfinseq	2021-07-18 02:20	57K
	rfinseq__t24_rfinseq.vout	2021-07-25 18:50	3.7K
	rfinseq__t25_rfinseq	2021-07-18 02:21	51K
	rfinseq__t25_rfinseq.vout	2021-07-25 18:50	3.7K
	rfinseq__t26_rfinseq	2021-07-18 02:21	24K
	rfinseq__t26_rfinseq.vout	2021-07-25 18:52	2.0K
	rfinseq__t27_rfinseq	2021-07-18 02:21	36K
	rfinseq__t27_rfinseq.vout	2021-07-25 20:08	7.3K
	rfinseq__t28_rfinseq	2021-07-18 02:22	55K
	rfinseq__t28_rfinseq.vout	2021-07-25 19:13	6.8K
	rfinseq__t29_rfinseq	2021-07-18 02:22	40K
	rfinseq__t29_rfinseq.depv1	2021-07-25 20:57	298
	rfinseq__t29_rfinseq.depvmin1	2021-07-25 21:03	298
	rfinseq__t29_rfinseq.vmin1	2021-07-25 20:57	3.0K
	rfinseq__t29_rfinseq.vmin1out	2021-07-25 21:01	32K
	rfinseq__t29_rfinseq.vout	2021-07-25 20:49	39K
	rfinseq__t30_rfinseq	2021-07-18 02:23	38K
	rfinseq__t30_rfinseq.vout	2021-07-25 14:41	7.3K
	rfinseq__t31_rfinseq	2021-07-18 02:23	32K
	rfinseq__t31_rfinseq.vout	2021-07-25 17:00	2.0K
	rfinseq__t32_rfinseq	2021-07-18 02:24	61K
	rfinseq__t32_rfinseq.vout	2021-07-25 18:39	6.8K
	rfinseq__t33_rfinseq	2021-07-18 02:24	33K
	rfinseq__t33_rfinseq.depv1	2021-07-25 20:57	118
	rfinseq__t33_rfinseq.depvmin1	2021-07-25 21:03	118
	rfinseq__t33_rfinseq.vmin1	2021-07-25 20:57	1.2K
	rfinseq__t33_rfinseq.vmin1out	2021-07-25 21:01	12K
	rfinseq__t33_rfinseq.vout	2021-07-25 17:35	17K