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

	Name	Last modified	Size	Description
	Parent Directory		-
	int_7__t31_int_7.vout	2021-07-25 18:01	7.3K
	int_7__t31_int_7	2021-07-17 18:31	115K
	int_7__t30_int_7.vout	2021-07-25 20:39	4.7K
	int_7__t30_int_7	2021-07-17 18:29	56K
	int_7__t29_int_7.vout	2021-07-25 15:58	6.7K
	int_7__t29_int_7	2021-07-17 18:29	110K
	int_7__t28_int_7.vout	2021-07-25 18:34	4.7K
	int_7__t28_int_7	2021-07-17 18:28	73K
	int_7__t27_int_7.vout	2021-07-25 14:27	71K
	int_7__t27_int_7.vmin1out	2021-07-25 20:58	65K
	int_7__t27_int_7.vmin1	2021-07-25 20:57	4.5K
	int_7__t27_int_7.depvmin1	2021-07-25 21:03	253
	int_7__t27_int_7.depv1	2021-07-25 20:57	287
	int_7__t27_int_7	2021-07-17 18:27	56K
	int_7__t26_int_7.vout	2021-07-25 20:02	21K
	int_7__t26_int_7.vmin1out	2021-07-25 20:59	16K
	int_7__t26_int_7.vmin1	2021-07-25 20:57	1.6K
	int_7__t26_int_7.depvmin1	2021-07-25 21:03	149
	int_7__t26_int_7.depv1	2021-07-25 20:57	149
	int_7__t26_int_7	2021-07-17 18:26	62K
	int_7__t25_int_7.vout	2021-07-25 19:41	7.2K
	int_7__t25_int_7	2021-07-17 18:25	56K
	int_7__t24_int_7.vout	2021-07-25 14:44	7.2K
	int_7__t24_int_7	2021-07-17 18:25	61K
	int_7__t23_int_7.vout	2021-07-25 14:32	4.7K
	int_7__t23_int_7	2021-07-17 18:12	56K
	int_7__t22_int_7.vout	2021-07-25 16:39	5.8K
	int_7__t22_int_7	2021-07-17 18:24	77K
	int_7__t21_int_7.vout	2021-07-25 20:56	6.7K
	int_7__t21_int_7	2021-07-17 18:23	75K
	int_7__t20_int_7.vout	2021-07-25 19:39	15K
	int_7__t20_int_7.vmin1out	2021-07-25 21:02	22K
	int_7__t20_int_7.vmin1	2021-07-25 20:57	1.4K
	int_7__t20_int_7.depvmin1	2021-07-25 21:03	65
	int_7__t20_int_7.depv1	2021-07-25 20:57	65
	int_7__t20_int_7	2021-07-17 18:11	66K
	int_7__t19_int_7.vout	2021-07-25 20:52	6.2K
	int_7__t19_int_7	2021-07-17 18:22	76K
	int_7__t18_int_7.vout	2021-07-25 14:40	46K
	int_7__t18_int_7.vmin1out	2021-07-25 21:00	23K
	int_7__t18_int_7.vmin1	2021-07-25 20:57	3.1K
	int_7__t18_int_7.depvmin1	2021-07-25 21:03	493
	int_7__t18_int_7.depv1	2021-07-25 20:57	513
	int_7__t18_int_7	2021-07-17 18:21	39K
	int_7__t17_int_7.vout	2021-07-25 20:02	3.6K
	int_7__t17_int_7	2021-07-17 18:21	70K
	int_7__t16_int_7.vout	2021-07-25 17:21	11K
	int_7__t16_int_7.vmin1out	2021-07-25 21:02	19K
	int_7__t16_int_7.vmin1	2021-07-25 20:57	1.6K
	int_7__t16_int_7.depvmin1	2021-07-25 21:03	64
	int_7__t16_int_7.depv1	2021-07-25 20:57	64
	int_7__t16_int_7	2021-07-17 18:20	32K
	int_7__t15_int_7.vout	2021-07-25 17:13	38K
	int_7__t15_int_7.vmin1out	2021-07-25 21:01	29K
	int_7__t15_int_7.vmin1	2021-07-25 20:57	3.4K
	int_7__t15_int_7.depvmin1	2021-07-25 21:03	277
	int_7__t15_int_7.depv1	2021-07-25 20:57	347
	int_7__t15_int_7	2021-07-17 18:19	34K
	int_7__t14_int_7.vout	2021-07-25 15:20	7.3K
	int_7__t14_int_7	2021-07-17 18:19	53K
	int_7__t13_int_7.vout	2021-07-25 15:59	7.3K
	int_7__t13_int_7	2021-07-17 18:18	57K
	int_7__t12_int_7.vout	2021-07-25 17:09	2.0K
	int_7__t12_int_7	2021-07-17 18:18	32K
	int_7__t11_int_7.vout	2021-07-25 14:32	4.7K
	int_7__t11_int_7	2021-07-17 18:17	41K
	int_7__t10_int_7.vout	2021-07-25 16:54	7.3K
	int_7__t10_int_7	2021-07-17 18:17	39K
	int_7__t9_int_7.vout	2021-07-25 19:52	7.2K
	int_7__t9_int_7	2021-07-17 18:16	44K
	int_7__t8_int_7.vout	2021-07-25 17:30	12K
	int_7__t8_int_7.vmin1out	2021-07-25 20:59	15K
	int_7__t8_int_7.vmin1	2021-07-25 20:57	1.1K
	int_7__t8_int_7.depvmin1	2021-07-25 21:03	29
	int_7__t8_int_7.depv1	2021-07-25 20:57	29
	int_7__t8_int_7	2021-07-17 18:11	33K
	int_7__t7_int_7.vout	2021-07-25 15:07	7.2K
	int_7__t7_int_7	2021-07-17 18:16	47K
	int_7__t6_int_7.vout	2021-07-25 15:16	35K
	int_7__t6_int_7.vmin1out	2021-07-25 21:02	34K
	int_7__t6_int_7.vmin1	2021-07-25 20:57	1.7K
	int_7__t6_int_7.depvmin1	2021-07-25 21:03	89
	int_7__t6_int_7.depv1	2021-07-25 20:57	89
	int_7__t6_int_7	2021-07-17 18:15	50K
	int_7__t5_int_7.vout	2021-07-25 15:53	15K
	int_7__t5_int_7.vmin1out	2021-07-25 21:02	14K
	int_7__t5_int_7.vmin1	2021-07-25 20:57	1.3K
	int_7__t5_int_7.depvmin1	2021-07-25 21:03	72
	int_7__t5_int_7.depv1	2021-07-25 20:57	107
	int_7__t5_int_7	2021-07-17 18:14	25K
	int_7__t4_int_7.vout	2021-07-25 16:45	14K
	int_7__t4_int_7.vmin1out	2021-07-25 20:58	18K
	int_7__t4_int_7.vmin1	2021-07-25 20:57	1.6K
	int_7__t4_int_7.depvmin1	2021-07-25 21:03	104
	int_7__t4_int_7.depv1	2021-07-25 20:57	118
	int_7__t4_int_7	2021-07-17 18:14	43K
	int_7__t3_int_7.vout	2021-07-25 17:37	6.7K
	int_7__t3_int_7	2021-07-17 18:13	42K
	int_7__t2_int_7.vout	2021-07-25 20:02	4.6K
	int_7__t2_int_7	2021-07-17 18:13	42K
	int_7__t1_int_7.vout	2021-07-25 17:52	6.7K
	int_7__t1_int_7	2021-07-17 18:12	45K
	int_7__l46_int_7.vout	2021-07-25 16:44	4.7K
	int_7__l46_int_7	2021-07-17 18:41	112K
	int_7__l42_int_7.vout	2021-07-25 20:54	6.7K
	int_7__l42_int_7	2021-07-17 18:40	146K
	int_7__l33_int_7.vout	2021-07-25 19:32	7.2K
	int_7__l33_int_7	2021-07-17 18:39	66K
	int_7__l26_int_7.vout	2021-07-25 20:06	6.7K
	int_7__l26_int_7	2021-07-17 18:38	82K
	int_7__l23_int_7.vout	2021-07-25 19:08	6.8K
	int_7__l23_int_7	2021-07-17 18:38	83K
	int_7__l22_int_7.vout	2021-07-25 20:20	6.7K
	int_7__l22_int_7	2021-07-17 18:37	72K
	int_7__l21_int_7.vout	2021-07-25 16:09	7.3K
	int_7__l21_int_7	2021-07-17 18:36	63K
	int_7__l14_int_7.vout	2021-07-25 16:57	7.2K
	int_7__l14_int_7	2021-07-17 18:36	54K
	int_7__l12_int_7.vout	2021-07-25 20:57	3.6K
	int_7__l12_int_7	2021-07-17 18:35	88K
	int_7__l11_int_7.vout	2021-07-25 16:53	3.6K
	int_7__l11_int_7	2021-07-17 18:34	109K
	int_7__l10_int_7.vout	2021-07-25 19:59	7.2K
	int_7__l10_int_7	2021-07-17 18:33	60K
	int_7__l7_int_7.vout	2021-07-25 15:22	6.7K
	int_7__l7_int_7	2021-07-17 18:33	69K
	int_7__l6_int_7.vout	2021-07-25 18:26	6.7K
	int_7__l6_int_7	2021-07-17 18:32	63K
	int_7__l1_int_7.vout	2021-07-25 18:49	16K
	int_7__l1_int_7.vmin1out	2021-07-25 20:59	16K
	int_7__l1_int_7.vmin1	2021-07-25 20:57	1.7K
	int_7__l1_int_7.depvmin1	2021-07-25 21:03	172
	int_7__l1_int_7.depv1	2021-07-25 20:57	172
	int_7__l1_int_7	2021-07-17 18:31	44K