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

	Name	Last modified	Size	Description
	Parent Directory		-
	ordeq_02__t30_ordeq_02.vout	2021-07-25 16:57	3.7K
	ordeq_02__t30_ordeq_02	2021-07-18 06:58	100K
	ordeq_02__t29_ordeq_02.vout	2021-07-25 19:25	6.8K
	ordeq_02__t29_ordeq_02	2021-07-18 06:57	89K
	ordeq_02__t28_ordeq_02.vout	2021-07-25 15:28	4.2K
	ordeq_02__t28_ordeq_02	2021-07-18 06:56	104K
	ordeq_02__t27_ordeq_02.vout	2021-07-25 19:39	3.7K
	ordeq_02__t27_ordeq_02	2021-07-18 06:55	104K
	ordeq_02__t26_ordeq_02.vout	2021-07-25 20:33	7.3K
	ordeq_02__t26_ordeq_02	2021-07-18 06:55	89K
	ordeq_02__t25_ordeq_02.vout	2021-07-25 14:49	7.3K
	ordeq_02__t25_ordeq_02	2021-07-18 06:54	110K
	ordeq_02__t24_ordeq_02.vout	2021-07-25 18:55	6.8K
	ordeq_02__t24_ordeq_02	2021-07-18 06:53	114K
	ordeq_02__t23_ordeq_02.vout	2021-07-25 19:50	3.7K
	ordeq_02__t23_ordeq_02	2021-07-18 06:52	148K
	ordeq_02__t22_ordeq_02.vout	2021-07-25 15:15	3.7K
	ordeq_02__t22_ordeq_02	2021-07-18 06:51	118K
	ordeq_02__t21_ordeq_02.vout	2021-07-25 17:37	3.7K
	ordeq_02__t21_ordeq_02	2021-07-18 06:51	79K
	ordeq_02__t20_ordeq_02.vout	2021-07-25 17:07	3.7K
	ordeq_02__t20_ordeq_02	2021-07-18 06:50	195K
	ordeq_02__t19_ordeq_02.vout	2021-07-25 18:20	3.7K
	ordeq_02__t19_ordeq_02	2021-07-18 06:49	66K
	ordeq_02__t18_ordeq_02.vout	2021-07-25 17:09	3.7K
	ordeq_02__t18_ordeq_02	2021-07-18 06:48	79K
	ordeq_02__t17_ordeq_02.vout	2021-07-25 19:39	3.7K
	ordeq_02__t17_ordeq_02	2021-07-18 06:48	90K
	ordeq_02__t16_ordeq_02.vout	2021-07-25 20:20	60K
	ordeq_02__t16_ordeq_02.vmin1out	2021-07-25 20:59	33K
	ordeq_02__t16_ordeq_02.vmin1	2021-07-25 20:57	3.7K
	ordeq_02__t16_ordeq_02.depvmin1	2021-07-25 21:03	274
	ordeq_02__t16_ordeq_02.depv1	2021-07-25 20:57	314
	ordeq_02__t16_ordeq_02	2021-07-18 06:47	52K
	ordeq_02__t15_ordeq_02.vout	2021-07-25 16:57	3.7K
	ordeq_02__t15_ordeq_02	2021-07-18 06:46	55K
	ordeq_02__t14_ordeq_02.vout	2021-07-25 18:37	3.7K
	ordeq_02__t14_ordeq_02	2021-07-18 06:46	88K
	ordeq_02__t13_ordeq_02.vout	2021-07-25 17:11	3.7K
	ordeq_02__t13_ordeq_02	2021-07-18 06:45	164K
	ordeq_02__t12_ordeq_02.vout	2021-07-25 17:14	3.7K
	ordeq_02__t12_ordeq_02	2021-07-18 06:44	148K
	ordeq_02__t11_ordeq_02.vout	2021-07-25 16:23	3.7K
	ordeq_02__t11_ordeq_02	2021-07-18 06:43	121K
	ordeq_02__t10_ordeq_02.vout	2021-07-25 18:14	7.3K
	ordeq_02__t10_ordeq_02	2021-07-18 06:42	94K
	ordeq_02__t9_ordeq_02.vout	2021-07-25 18:28	6.8K
	ordeq_02__t9_ordeq_02	2021-07-18 06:41	103K
	ordeq_02__t8_ordeq_02.vout	2021-07-25 16:05	6.8K
	ordeq_02__t8_ordeq_02	2021-07-18 06:41	137K
	ordeq_02__t7_ordeq_02.vout	2021-07-25 15:34	4.7K
	ordeq_02__t7_ordeq_02	2021-07-18 06:40	118K
	ordeq_02__t6_ordeq_02.vout	2021-07-25 18:41	3.7K
	ordeq_02__t6_ordeq_02	2021-07-18 06:39	156K
	ordeq_02__t5_ordeq_02.vout	2021-07-25 19:53	3.7K
	ordeq_02__t5_ordeq_02	2021-07-18 06:38	176K
	ordeq_02__t3_ordeq_02.vout	2021-07-25 16:11	6.8K
	ordeq_02__t3_ordeq_02	2021-07-18 06:37	109K
	ordeq_02__t2_ordeq_02.vout	2021-07-25 14:29	6.8K
	ordeq_02__t2_ordeq_02	2021-07-18 06:36	81K
	ordeq_02__t1_ordeq_02.vout	2021-07-25 15:10	6.8K
	ordeq_02__t1_ordeq_02	2021-07-18 06:35	86K
	ordeq_02__l37_ordeq_02.vout	2021-07-25 17:00	6.8K
	ordeq_02__l37_ordeq_02	2021-07-18 07:04	65K
	ordeq_02__l36_ordeq_02.vout	2021-07-25 14:57	2.0K
	ordeq_02__l36_ordeq_02	2021-07-18 07:03	46K
	ordeq_02__l32_ordeq_02.vout	2021-07-25 17:06	6.8K
	ordeq_02__l32_ordeq_02	2021-07-18 07:03	74K
	ordeq_02__l31_ordeq_02.vout	2021-07-25 16:44	3.7K
	ordeq_02__l31_ordeq_02	2021-07-18 07:02	78K
	ordeq_02__l30_ordeq_02.vout	2021-07-25 19:17	4.1K
	ordeq_02__l30_ordeq_02	2021-07-18 07:02	94K
	ordeq_02__l29_ordeq_02.vout	2021-07-25 15:54	4.1K
	ordeq_02__l29_ordeq_02	2021-07-18 07:01	64K
	ordeq_02__l19_ordeq_02.vout	2021-07-25 15:58	2.0K
	ordeq_02__l19_ordeq_02	2021-07-18 07:01	59K
	ordeq_02__l18_ordeq_02.vout	2021-07-25 14:28	3.7K
	ordeq_02__l18_ordeq_02	2021-07-18 07:00	66K
	ordeq_02__l17_ordeq_02.vout	2021-07-25 19:03	3.7K
	ordeq_02__l17_ordeq_02	2021-07-18 07:00	84K
	ordeq_02__l11_ordeq_02.vout	2021-07-25 18:06	5.8K
	ordeq_02__l11_ordeq_02	2021-07-18 06:59	53K
	ordeq_02__l3_ordeq_02.vout	2021-07-25 15:36	24K
	ordeq_02__l3_ordeq_02.vmin1out	2021-07-25 21:01	22K
	ordeq_02__l3_ordeq_02.vmin1	2021-07-25 20:57	1.9K
	ordeq_02__l3_ordeq_02.depvmin1	2021-07-25 21:03	271
	ordeq_02__l3_ordeq_02.depv1	2021-07-25 20:57	271
	ordeq_02__l3_ordeq_02	2021-07-18 06:58	45K
	ordeq_02__l2_ordeq_02.vout	2021-07-25 18:40	9.2K
	ordeq_02__l2_ordeq_02.vmin1out	2021-07-25 21:01	9.1K
	ordeq_02__l2_ordeq_02.vmin1	2021-07-25 20:57	1.0K
	ordeq_02__l2_ordeq_02.depvmin1	2021-07-25 21:03	66
	ordeq_02__l2_ordeq_02.depv1	2021-07-25 20:57	66
	ordeq_02__l2_ordeq_02	2021-07-18 06:34	51K
	ordeq_02__l1_ordeq_02.vout	2021-07-25 20:46	3.7K
	ordeq_02__l1_ordeq_02.vmin1out	2021-07-25 21:02	4.0K
	ordeq_02__l1_ordeq_02.vmin1	2021-07-25 20:57	563
	ordeq_02__l1_ordeq_02.depvmin1	2021-07-25 21:03	95
	ordeq_02__l1_ordeq_02.depv1	2021-07-25 20:57	95
	ordeq_02__l1_ordeq_02	2021-07-18 06:34	18K