Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scmfsa6b

	Name	Last modified	Size	Description
	Parent Directory		-
	scmfsa6b__l7_scmfsa6b	2024-07-27 23:02	52K
	scmfsa6b__l7_scmfsa6b.vout	2024-08-03 06:56	4.7K
	scmfsa6b__l22_scmfsa6b	2024-07-27 23:05	193K
	scmfsa6b__l22_scmfsa6b.vout	2024-08-03 07:35	4.7K
	scmfsa6b__t3_scmfsa6b	2024-07-27 22:31	64K
	scmfsa6b__t3_scmfsa6b.vout	2024-08-03 05:52	4.7K
	scmfsa6b__t4_scmfsa6b	2024-07-27 22:33	67K
	scmfsa6b__t4_scmfsa6b.vout	2024-08-03 06:31	4.7K
	scmfsa6b__t5_scmfsa6b	2024-07-27 22:35	49K
	scmfsa6b__t5_scmfsa6b.vout	2024-08-03 09:24	4.7K
	scmfsa6b__t6_scmfsa6b	2024-07-27 22:37	95K
	scmfsa6b__t6_scmfsa6b.vout	2024-08-03 04:35	4.7K
	scmfsa6b__t7_scmfsa6b	2024-07-27 22:39	42K
	scmfsa6b__t7_scmfsa6b.vout	2024-08-03 05:26	4.7K
	scmfsa6b__t11_scmfsa6b	2024-07-27 22:41	56K
	scmfsa6b__t11_scmfsa6b.vout	2024-08-03 07:33	4.7K
	scmfsa6b__t12_scmfsa6b	2024-07-27 22:43	81K
	scmfsa6b__t12_scmfsa6b.vout	2024-08-03 04:59	4.7K
	scmfsa6b__t13_scmfsa6b	2024-07-27 22:45	86K
	scmfsa6b__t13_scmfsa6b.vout	2024-08-03 08:03	4.7K
	scmfsa6b__t14_scmfsa6b	2024-07-27 22:48	89K
	scmfsa6b__t14_scmfsa6b.vout	2024-08-03 06:59	4.7K
	scmfsa6b__t16_scmfsa6b	2024-07-27 22:50	81K
	scmfsa6b__t16_scmfsa6b.vout	2024-08-03 07:26	4.7K
	scmfsa6b__t17_scmfsa6b	2024-07-27 22:52	78K
	scmfsa6b__t17_scmfsa6b.vout	2024-08-03 09:08	4.7K
	scmfsa6b__t18_scmfsa6b	2024-07-27 22:55	125K
	scmfsa6b__t18_scmfsa6b.vout	2024-08-03 04:45	6.8K
	scmfsa6b__t19_scmfsa6b	2024-07-27 22:57	94K
	scmfsa6b__t19_scmfsa6b.vout	2024-08-03 07:09	4.7K
	scmfsa6b__t20_scmfsa6b	2024-07-27 23:00	154K
	scmfsa6b__t20_scmfsa6b.vout	2024-08-03 09:36	4.7K
	scmfsa6b__t21_scmfsa6b	2024-07-27 22:29	33K
	scmfsa6b__t21_scmfsa6b.depv1	2024-08-03 10:19	25
	scmfsa6b__t21_scmfsa6b.depvmin1	2024-08-03 10:24	25
	scmfsa6b__t21_scmfsa6b.vmin1	2024-08-03 10:20	1.1K
	scmfsa6b__t21_scmfsa6b.vmin1out	2024-08-03 10:20	11K
	scmfsa6b__t21_scmfsa6b.vout	2024-08-03 09:07	8.6K