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

	Name	Last modified	Size	Description
	Parent Directory		-
	comseq_2__t2_comseq_2	2021-07-18 10:45	34K
	comseq_2__t2_comseq_2.vout	2021-07-25 19:16	2.0K
	comseq_2__t3_comseq_2	2021-07-18 10:45	24K
	comseq_2__t3_comseq_2.depv1	2021-07-25 20:57	301
	comseq_2__t3_comseq_2.depvmin1	2021-07-25 21:03	301
	comseq_2__t3_comseq_2.vmin1	2021-07-25 20:57	3.4K
	comseq_2__t3_comseq_2.vmin1out	2021-07-25 20:58	50K
	comseq_2__t3_comseq_2.vout	2021-07-25 16:52	51K
	comseq_2__t4_comseq_2	2021-07-18 10:46	31K
	comseq_2__t4_comseq_2.vout	2021-07-25 19:32	4.1K
	comseq_2__t5_comseq_2	2021-07-18 10:46	33K
	comseq_2__t5_comseq_2.vout	2021-07-25 15:00	4.1K
	comseq_2__t6_comseq_2	2021-07-18 10:46	29K
	comseq_2__t6_comseq_2.vout	2021-07-25 17:28	4.1K
	comseq_2__t7_comseq_2	2021-07-18 10:47	41K
	comseq_2__t7_comseq_2.vout	2021-07-25 14:29	4.1K
	comseq_2__t8_comseq_2	2021-07-18 10:47	22K
	comseq_2__t8_comseq_2.vout	2021-07-25 19:25	2.0K
	comseq_2__t9_comseq_2	2021-07-18 10:47	29K
	comseq_2__t9_comseq_2.vout	2021-07-25 18:34	2.0K
	comseq_2__t10_comseq_2	2021-07-18 10:48	30K
	comseq_2__t10_comseq_2.vout	2021-07-25 18:44	7.3K
	comseq_2__t12_comseq_2	2021-07-18 10:48	29K
	comseq_2__t12_comseq_2.vout	2021-07-25 17:30	7.3K
	comseq_2__t14_comseq_2	2021-07-18 10:48	54K
	comseq_2__t14_comseq_2.vout	2021-07-25 14:50	6.8K
	comseq_2__t16_comseq_2	2021-07-18 10:49	30K
	comseq_2__t16_comseq_2.depv1	2021-07-25 20:57	171
	comseq_2__t16_comseq_2.depvmin1	2021-07-25 21:03	133
	comseq_2__t16_comseq_2.vmin1	2021-07-25 20:57	3.1K
	comseq_2__t16_comseq_2.vmin1out	2021-07-25 21:02	31K
	comseq_2__t16_comseq_2.vout	2021-07-25 18:19	45K
	comseq_2__t20_comseq_2	2021-07-18 10:49	28K
	comseq_2__t20_comseq_2.depv1	2021-07-25 20:57	173
	comseq_2__t20_comseq_2.depvmin1	2021-07-25 21:03	135
	comseq_2__t20_comseq_2.vmin1	2021-07-25 20:57	2.5K
	comseq_2__t20_comseq_2.vmin1out	2021-07-25 20:59	22K
	comseq_2__t20_comseq_2.vout	2021-07-25 20:51	47K
	comseq_2__t22_comseq_2	2021-07-18 10:49	35K
	comseq_2__t22_comseq_2.depv1	2021-07-25 20:57	259
	comseq_2__t22_comseq_2.depvmin1	2021-07-25 21:03	247
	comseq_2__t22_comseq_2.vmin1	2021-07-25 20:57	2.4K
	comseq_2__t22_comseq_2.vmin1out	2021-07-25 20:58	19K
	comseq_2__t22_comseq_2.vout	2021-07-25 17:33	37K
	comseq_2__t24_comseq_2	2021-07-18 10:50	31K
	comseq_2__t24_comseq_2.depv1	2021-07-25 20:57	229
	comseq_2__t24_comseq_2.depvmin1	2021-07-25 21:03	173
	comseq_2__t24_comseq_2.vmin1	2021-07-25 20:57	2.9K
	comseq_2__t24_comseq_2.vmin1out	2021-07-25 21:01	19K
	comseq_2__t24_comseq_2.vout	2021-07-25 17:39	24K
	comseq_2__t26_comseq_2	2021-07-18 10:50	47K
	comseq_2__t26_comseq_2.vout	2021-07-25 18:16	1.1K
	comseq_2__t28_comseq_2	2021-07-18 10:50	42K
	comseq_2__t28_comseq_2.vout	2021-07-25 17:53	1.1K
	comseq_2__t30_comseq_2	2021-07-18 10:51	55K
	comseq_2__t30_comseq_2.vout	2021-07-25 20:30	6.8K
	comseq_2__t32_comseq_2	2021-07-18 10:51	31K
	comseq_2__t32_comseq_2.depv1	2021-07-25 20:57	173
	comseq_2__t32_comseq_2.depvmin1	2021-07-25 21:03	135
	comseq_2__t32_comseq_2.vmin1	2021-07-25 20:57	3.1K
	comseq_2__t32_comseq_2.vmin1out	2021-07-25 21:01	31K
	comseq_2__t32_comseq_2.vout	2021-07-25 19:57	45K
	comseq_2__t33_comseq_2	2021-07-18 10:51	47K
	comseq_2__t33_comseq_2.vout	2021-07-25 16:23	6.8K
	comseq_2__t37_comseq_2	2021-07-18 10:52	27K
	comseq_2__t37_comseq_2.depv1	2021-07-25 20:57	305
	comseq_2__t37_comseq_2.depvmin1	2021-07-25 21:03	289
	comseq_2__t37_comseq_2.vmin1	2021-07-25 20:57	3.7K
	comseq_2__t37_comseq_2.vmin1out	2021-07-25 20:58	34K
	comseq_2__t37_comseq_2.vout	2021-07-25 16:34	53K
	comseq_2__t38_comseq_2	2021-07-18 10:52	32K
	comseq_2__t38_comseq_2.depv1	2021-07-25 20:57	292
	comseq_2__t38_comseq_2.depvmin1	2021-07-25 21:03	276
	comseq_2__t38_comseq_2.vmin1	2021-07-25 20:57	3.8K
	comseq_2__t38_comseq_2.vmin1out	2021-07-25 20:59	36K
	comseq_2__t38_comseq_2.vout	2021-07-25 19:58	63K
	comseq_2__t41_comseq_2	2021-07-18 10:52	36K
	comseq_2__t41_comseq_2.vout	2021-07-25 16:09	2.0K
	comseq_2__t45_comseq_2	2021-07-18 10:53	30K
	comseq_2__t45_comseq_2.depv1	2021-07-25 20:57	274
	comseq_2__t45_comseq_2.depvmin1	2021-07-25 21:03	274
	comseq_2__t45_comseq_2.vmin1	2021-07-25 20:57	3.8K
	comseq_2__t45_comseq_2.vmin1out	2021-07-25 21:01	44K
	comseq_2__t45_comseq_2.vout	2021-07-25 17:41	44K