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

	Name	Last modified	Size	Description
	Parent Directory		-
	scmisort__l34_scmisort	2021-07-18 10:13	222K
	scmisort__l34_scmisort.vout	2021-07-25 14:52	5.3K
	scmisort__l35_scmisort	2021-07-18 10:14	227K
	scmisort__l35_scmisort.vout	2021-07-25 20:29	4.7K
	scmisort__l36_scmisort	2021-07-18 10:15	157K
	scmisort__l36_scmisort.vout	2021-07-25 16:03	4.7K
	scmisort__l37_scmisort	2021-07-18 10:16	587K
	scmisort__l37_scmisort.vout	2021-07-25 16:07	4.7K
	scmisort__l38_scmisort	2021-07-18 09:50	159K
	scmisort__l38_scmisort.vout	2021-07-25 20:14	7.9K
	scmisort__l39_scmisort	2021-07-18 10:17	105K
	scmisort__l39_scmisort.vout	2021-07-25 15:19	7.9K
	scmisort__l40_scmisort	2021-07-18 10:17	105K
	scmisort__l40_scmisort.vout	2021-07-25 16:46	8.4K
	scmisort__l41_scmisort	2021-07-18 10:18	123K
	scmisort__l41_scmisort.vout	2021-07-25 17:16	8.4K
	scmisort__l42_scmisort	2021-07-18 10:19	161K
	scmisort__l42_scmisort.vout	2021-07-25 17:33	7.9K
	scmisort__l44_scmisort	2021-07-18 10:20	197K
	scmisort__l44_scmisort.vout	2021-07-25 18:35	7.9K
	scmisort__l47_scmisort	2021-07-18 10:21	156K
	scmisort__l47_scmisort.vout	2021-07-25 14:40	4.7K
	scmisort__l48_scmisort	2021-07-18 10:21	133K
	scmisort__l48_scmisort.vout	2021-07-25 18:36	4.7K
	scmisort__l49_scmisort	2021-07-18 10:22	132K
	scmisort__l49_scmisort.vout	2021-07-25 19:17	4.7K
	scmisort__l50_scmisort	2021-07-18 10:23	234K
	scmisort__l50_scmisort.vout	2021-07-25 16:04	4.7K
	scmisort__l51_scmisort	2021-07-18 10:24	624K
	scmisort__l51_scmisort.vout	2021-07-25 18:01	4.7K
	scmisort__l52_scmisort	2021-07-18 10:25	204K
	scmisort__l52_scmisort.vout	2021-07-25 18:22	4.7K
	scmisort__l53_scmisort	2021-07-18 10:26	684K
	scmisort__l53_scmisort.vout	2021-07-25 14:48	4.7K
	scmisort__l54_scmisort	2021-07-18 10:27	220K
	scmisort__l54_scmisort.vout	2021-07-25 20:21	4.7K
	scmisort__l55_scmisort	2021-07-18 10:28	770K
	scmisort__l55_scmisort.vout	2021-07-25 16:51	4.7K
	scmisort__t6_scmisort	2021-07-18 09:51	143K
	scmisort__t6_scmisort.vout	2021-07-25 19:29	4.7K
	scmisort__t7_scmisort	2021-07-18 09:52	129K
	scmisort__t7_scmisort.vout	2021-07-25 15:33	4.7K
	scmisort__t8_scmisort	2021-07-18 09:53	127K
	scmisort__t8_scmisort.vout	2021-07-25 15:38	4.7K
	scmisort__t12_scmisort	2021-07-18 09:53	111K
	scmisort__t12_scmisort.vout	2021-07-25 20:06	4.7K
	scmisort__t13_scmisort	2021-07-18 09:54	111K
	scmisort__t13_scmisort.vout	2021-07-25 17:06	4.7K
	scmisort__t14_scmisort	2021-07-18 09:55	113K
	scmisort__t14_scmisort.vout	2021-07-25 15:22	4.7K
	scmisort__t15_scmisort	2021-07-18 09:56	199K
	scmisort__t15_scmisort.vout	2021-07-25 15:17	4.7K
	scmisort__t17_scmisort	2021-07-18 09:57	94K
	scmisort__t17_scmisort.vout	2021-07-25 18:14	7.3K
	scmisort__t18_scmisort	2021-07-18 09:58	269K
	scmisort__t18_scmisort.vout	2021-07-25 19:04	4.7K
	scmisort__t19_scmisort	2021-07-18 09:59	154K
	scmisort__t19_scmisort.vout	2021-07-25 17:03	4.7K
	scmisort__t21_scmisort	2021-07-18 10:00	123K
	scmisort__t21_scmisort.vout	2021-07-25 16:29	4.7K
	scmisort__t22_scmisort	2021-07-18 10:00	120K
	scmisort__t22_scmisort.vout	2021-07-25 15:22	4.7K
	scmisort__t23_scmisort	2021-07-18 10:01	108K
	scmisort__t23_scmisort.vout	2021-07-25 20:40	4.7K
	scmisort__t24_scmisort	2021-07-18 10:02	106K
	scmisort__t24_scmisort.vout	2021-07-25 17:25	4.7K
	scmisort__t25_scmisort	2021-07-18 10:03	166K
	scmisort__t25_scmisort.vout	2021-07-25 18:39	7.4K
	scmisort__t26_scmisort	2021-07-18 10:04	150K
	scmisort__t26_scmisort.vout	2021-07-25 14:30	7.3K
	scmisort__t27_scmisort	2021-07-18 10:05	56K
	scmisort__t27_scmisort.depv1	2021-07-25 20:57	188
	scmisort__t27_scmisort.depvmin1	2021-07-25 21:03	188
	scmisort__t27_scmisort.vmin1	2021-07-25 20:57	2.5K
	scmisort__t27_scmisort.vmin1out	2021-07-25 21:00	44K
	scmisort__t27_scmisort.vout	2021-07-25 18:56	49K
	scmisort__t28_scmisort	2021-07-18 10:05	56K
	scmisort__t28_scmisort.depv1	2021-07-25 20:57	189
	scmisort__t28_scmisort.depvmin1	2021-07-25 21:03	189
	scmisort__t28_scmisort.vmin1	2021-07-25 20:57	2.6K
	scmisort__t28_scmisort.vmin1out	2021-07-25 21:01	35K
	scmisort__t28_scmisort.vout	2021-07-25 14:26	77K
	scmisort__t29_scmisort	2021-07-18 10:06	144K
	scmisort__t29_scmisort.vout	2021-07-25 20:37	7.4K
	scmisort__t30_scmisort	2021-07-18 10:07	142K
	scmisort__t30_scmisort.vout	2021-07-25 19:45	7.3K
	scmisort__t31_scmisort	2021-07-18 09:49	160K
	scmisort__t31_scmisort.vout	2021-07-25 17:47	10K
	scmisort__t32_scmisort	2021-07-18 10:08	300K
	scmisort__t32_scmisort.vout	2021-07-25 16:12	4.7K
	scmisort__t33_scmisort	2021-07-18 10:09	183K
	scmisort__t33_scmisort.vout	2021-07-25 16:47	7.3K
	scmisort__t34_scmisort	2021-07-18 10:10	209K
	scmisort__t34_scmisort.vout	2021-07-25 20:18	4.7K
	scmisort__t35_scmisort	2021-07-18 10:11	249K
	scmisort__t35_scmisort.vout	2021-07-25 18:03	7.9K
	scmisort__t36_scmisort	2021-07-18 10:12	217K
	scmisort__t36_scmisort.vout	2021-07-25 15:52	8.4K