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

	Name	Last modified	Size	Description
	Parent Directory		-
	scmp_gcd__l15_scmp_gcd	2021-07-17 19:19	126K
	scmp_gcd__l15_scmp_gcd.vout	2021-07-25 14:57	7.9K
	scmp_gcd__l17_scmp_gcd	2021-07-17 19:20	25K
	scmp_gcd__l17_scmp_gcd.depv1	2021-07-25 20:57	171
	scmp_gcd__l17_scmp_gcd.depvmin1	2021-07-25 21:03	171
	scmp_gcd__l17_scmp_gcd.vmin1	2021-07-25 20:57	1.4K
	scmp_gcd__l17_scmp_gcd.vmin1out	2021-07-25 20:58	12K
	scmp_gcd__l17_scmp_gcd.vout	2021-07-25 18:02	13K
	scmp_gcd__l18_scmp_gcd	2021-07-17 19:30	25K
	scmp_gcd__l18_scmp_gcd.depv1	2021-07-25 20:57	144
	scmp_gcd__l18_scmp_gcd.depvmin1	2021-07-25 21:03	144
	scmp_gcd__l18_scmp_gcd.vmin1	2021-07-25 20:57	1.1K
	scmp_gcd__l18_scmp_gcd.vmin1out	2021-07-25 21:00	11K
	scmp_gcd__l18_scmp_gcd.vout	2021-07-25 16:25	15K
	scmp_gcd__l19_scmp_gcd	2021-07-17 19:30	199K
	scmp_gcd__l19_scmp_gcd.vout	2021-07-25 14:29	6.8K
	scmp_gcd__l20_scmp_gcd	2021-07-17 19:31	199K
	scmp_gcd__l20_scmp_gcd.vout	2021-07-25 18:45	6.8K
	scmp_gcd__l24_scmp_gcd	2021-07-17 19:32	90K
	scmp_gcd__l24_scmp_gcd.vout	2021-07-25 18:16	4.7K
	scmp_gcd__l25_scmp_gcd	2021-07-17 19:33	144K
	scmp_gcd__l25_scmp_gcd.vout	2021-07-25 19:44	6.8K
	scmp_gcd__l26_scmp_gcd	2021-07-17 19:34	650K
	scmp_gcd__l26_scmp_gcd.vout	2021-07-25 19:27	4.7K
	scmp_gcd__l27_scmp_gcd	2021-07-17 19:35	143K
	scmp_gcd__l27_scmp_gcd.vout	2021-07-25 18:52	4.7K
	scmp_gcd__t1_scmp_gcd	2021-07-17 19:20	30K
	scmp_gcd__t1_scmp_gcd.vout	2021-07-25 20:08	7.3K
	scmp_gcd__t2_scmp_gcd	2021-07-17 19:21	34K
	scmp_gcd__t2_scmp_gcd.vout	2021-07-25 14:53	4.8K
	scmp_gcd__t3_scmp_gcd	2021-07-17 19:18	21K
	scmp_gcd__t3_scmp_gcd.depv1	2021-07-25 20:57	145
	scmp_gcd__t3_scmp_gcd.depvmin1	2021-07-25 21:03	145
	scmp_gcd__t3_scmp_gcd.vmin1	2021-07-25 20:57	856
	scmp_gcd__t3_scmp_gcd.vmin1out	2021-07-25 21:01	6.2K
	scmp_gcd__t3_scmp_gcd.vout	2021-07-25 18:34	8.0K
	scmp_gcd__t4_scmp_gcd	2021-07-17 19:21	28K
	scmp_gcd__t4_scmp_gcd.depv1	2021-07-25 20:57	288
	scmp_gcd__t4_scmp_gcd.depvmin1	2021-07-25 21:03	273
	scmp_gcd__t4_scmp_gcd.vmin1	2021-07-25 20:57	4.4K
	scmp_gcd__t4_scmp_gcd.vmin1out	2021-07-25 21:02	44K
	scmp_gcd__t4_scmp_gcd.vout	2021-07-25 19:04	77K
	scmp_gcd__t5_scmp_gcd	2021-07-17 19:22	30K
	scmp_gcd__t5_scmp_gcd.depv1	2021-07-25 20:57	368
	scmp_gcd__t5_scmp_gcd.depvmin1	2021-07-25 21:03	368
	scmp_gcd__t5_scmp_gcd.vmin1	2021-07-25 20:57	4.2K
	scmp_gcd__t5_scmp_gcd.vmin1out	2021-07-25 21:01	80K
	scmp_gcd__t5_scmp_gcd.vout	2021-07-25 16:05	83K
	scmp_gcd__t6_scmp_gcd	2021-07-17 19:22	40K
	scmp_gcd__t6_scmp_gcd.vout	2021-07-25 15:47	4.7K
	scmp_gcd__t7_scmp_gcd	2021-07-17 19:23	28K
	scmp_gcd__t7_scmp_gcd.vout	2021-07-25 17:13	4.1K
	scmp_gcd__t8_scmp_gcd	2021-07-17 19:24	98K
	scmp_gcd__t8_scmp_gcd.vout	2021-07-25 19:54	10K
	scmp_gcd__t9_scmp_gcd	2021-07-17 19:19	564K
	scmp_gcd__t9_scmp_gcd.depv1	2021-07-25 20:57	90
	scmp_gcd__t9_scmp_gcd.depvmin1	2021-07-25 21:03	90
	scmp_gcd__t9_scmp_gcd.vmin1	2021-07-25 20:57	1.1K
	scmp_gcd__t9_scmp_gcd.vmin1out	2021-07-25 21:02	13K
	scmp_gcd__t9_scmp_gcd.vout	2021-07-25 20:07	16K
	scmp_gcd__t10_scmp_gcd	2021-07-17 19:25	88K
	scmp_gcd__t10_scmp_gcd.vout	2021-07-25 19:37	10K
	scmp_gcd__t11_scmp_gcd	2021-07-17 19:25	110K
	scmp_gcd__t11_scmp_gcd.vout	2021-07-25 20:39	4.7K
	scmp_gcd__t12_scmp_gcd	2021-07-17 19:26	640K
	scmp_gcd__t12_scmp_gcd.vout	2021-07-25 19:22	4.7K
	scmp_gcd__t13_scmp_gcd	2021-07-17 19:27	633K
	scmp_gcd__t13_scmp_gcd.vout	2021-07-25 16:23	4.7K
	scmp_gcd__t14_scmp_gcd	2021-07-17 19:28	143K
	scmp_gcd__t14_scmp_gcd.vout	2021-07-25 18:19	6.8K
	scmp_gcd__t15_scmp_gcd	2021-07-17 19:29	222K
	scmp_gcd__t15_scmp_gcd.vout	2021-07-25 15:37	4.7K