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

	Name	Last modified	Size	Description
	Parent Directory		-
	vsdiff_1__t1_vsdiff_1	2021-07-17 21:56	23K
	vsdiff_1__t1_vsdiff_1.vout	2021-07-25 20:54	7.3K
	vsdiff_1__t2_vsdiff_1	2021-07-17 21:57	35K
	vsdiff_1__t2_vsdiff_1.vout	2021-07-25 15:52	7.3K
	vsdiff_1__t3_vsdiff_1	2021-07-17 21:57	34K
	vsdiff_1__t3_vsdiff_1.vout	2021-07-25 16:31	4.7K
	vsdiff_1__t4_vsdiff_1	2021-07-17 21:58	30K
	vsdiff_1__t4_vsdiff_1.vout	2021-07-25 15:53	7.3K
	vsdiff_1__t5_vsdiff_1	2021-07-17 21:58	35K
	vsdiff_1__t5_vsdiff_1.vout	2021-07-25 15:08	7.3K
	vsdiff_1__t6_vsdiff_1	2021-07-17 21:59	36K
	vsdiff_1__t6_vsdiff_1.vout	2021-07-25 17:48	6.8K
	vsdiff_1__t7_vsdiff_1	2021-07-17 22:00	44K
	vsdiff_1__t7_vsdiff_1.vout	2021-07-25 18:23	4.7K
	vsdiff_1__t8_vsdiff_1	2021-07-17 22:00	46K
	vsdiff_1__t8_vsdiff_1.vout	2021-07-25 14:46	4.7K
	vsdiff_1__t9_vsdiff_1	2021-07-17 22:01	48K
	vsdiff_1__t9_vsdiff_1.vout	2021-07-25 14:37	4.7K
	vsdiff_1__t10_vsdiff_1	2021-07-17 22:02	46K
	vsdiff_1__t10_vsdiff_1.vout	2021-07-25 15:51	4.7K
	vsdiff_1__t11_vsdiff_1	2021-07-17 22:02	35K
	vsdiff_1__t11_vsdiff_1.vout	2021-07-25 17:36	2.0K
	vsdiff_1__t12_vsdiff_1	2021-07-17 22:03	41K
	vsdiff_1__t12_vsdiff_1.vout	2021-07-25 19:39	4.7K
	vsdiff_1__t13_vsdiff_1	2021-07-17 22:04	34K
	vsdiff_1__t13_vsdiff_1.vout	2021-07-25 19:45	4.7K
	vsdiff_1__t14_vsdiff_1	2021-07-17 22:04	44K
	vsdiff_1__t14_vsdiff_1.vout	2021-07-25 20:12	4.7K
	vsdiff_1__t15_vsdiff_1	2021-07-17 22:05	45K
	vsdiff_1__t15_vsdiff_1.vout	2021-07-25 20:05	4.7K
	vsdiff_1__t16_vsdiff_1	2021-07-17 22:06	48K
	vsdiff_1__t16_vsdiff_1.vout	2021-07-25 17:52	4.7K
	vsdiff_1__t17_vsdiff_1	2021-07-17 22:07	46K
	vsdiff_1__t17_vsdiff_1.vout	2021-07-25 17:40	4.7K
	vsdiff_1__t18_vsdiff_1	2021-07-17 22:07	33K
	vsdiff_1__t18_vsdiff_1.vout	2021-07-25 18:48	2.0K
	vsdiff_1__t19_vsdiff_1	2021-07-17 22:08	41K
	vsdiff_1__t19_vsdiff_1.vout	2021-07-25 19:45	4.7K
	vsdiff_1__t20_vsdiff_1	2021-07-17 22:08	36K
	vsdiff_1__t20_vsdiff_1.vout	2021-07-25 18:59	4.7K
	vsdiff_1__t21_vsdiff_1	2021-07-17 22:09	46K
	vsdiff_1__t21_vsdiff_1.vout	2021-07-25 19:59	4.7K
	vsdiff_1__t22_vsdiff_1	2021-07-17 22:10	47K
	vsdiff_1__t22_vsdiff_1.vout	2021-07-25 14:42	4.7K
	vsdiff_1__t23_vsdiff_1	2021-07-17 22:11	49K
	vsdiff_1__t23_vsdiff_1.vout	2021-07-25 14:44	4.7K
	vsdiff_1__t24_vsdiff_1	2021-07-17 22:11	48K
	vsdiff_1__t24_vsdiff_1.vout	2021-07-25 14:29	4.7K
	vsdiff_1__t25_vsdiff_1	2021-07-17 22:12	33K
	vsdiff_1__t25_vsdiff_1.vout	2021-07-25 19:24	2.0K
	vsdiff_1__t26_vsdiff_1	2021-07-17 22:13	43K
	vsdiff_1__t26_vsdiff_1.vout	2021-07-25 16:07	4.7K
	vsdiff_1__t27_vsdiff_1	2021-07-17 22:13	54K
	vsdiff_1__t27_vsdiff_1.vout	2021-07-25 19:48	4.7K
	vsdiff_1__t28_vsdiff_1	2021-07-17 22:14	64K
	vsdiff_1__t28_vsdiff_1.vout	2021-07-25 15:47	4.7K
	vsdiff_1__t29_vsdiff_1	2021-07-17 22:15	61K
	vsdiff_1__t29_vsdiff_1.vout	2021-07-25 17:04	4.7K