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

	Name	Last modified	Size	Description
	Parent Directory		-
	fdiff_5__l1_fdiff_5	2021-07-17 21:03	34K
	fdiff_5__l1_fdiff_5.vout	2021-07-25 17:25	6.8K
	fdiff_5__l2_fdiff_5	2021-07-17 21:03	34K
	fdiff_5__l2_fdiff_5.vout	2021-07-25 18:42	6.8K
	fdiff_5__l3_fdiff_5	2021-07-17 21:04	118K
	fdiff_5__l3_fdiff_5.vout	2021-07-25 16:20	7.3K
	fdiff_5__l8_fdiff_5	2021-07-17 21:04	27K
	fdiff_5__l8_fdiff_5.vout	2021-07-25 15:28	7.3K
	fdiff_5__l23_fdiff_5	2021-07-17 20:56	20K
	fdiff_5__l23_fdiff_5.depv1	2021-07-25 20:57	269
	fdiff_5__l23_fdiff_5.depvmin1	2021-07-25 21:03	269
	fdiff_5__l23_fdiff_5.vmin1	2021-07-25 20:57	2.5K
	fdiff_5__l23_fdiff_5.vmin1out	2021-07-25 21:01	16K
	fdiff_5__l23_fdiff_5.vout	2021-07-25 20:28	20K
	fdiff_5__t1_fdiff_5	2021-07-17 20:57	119K
	fdiff_5__t1_fdiff_5.vout	2021-07-25 14:46	6.8K
	fdiff_5__t2_fdiff_5	2021-07-17 20:57	119K
	fdiff_5__t2_fdiff_5.vout	2021-07-25 19:56	6.8K
	fdiff_5__t3_fdiff_5	2021-07-17 20:58	48K
	fdiff_5__t3_fdiff_5.vout	2021-07-25 18:09	6.8K
	fdiff_5__t4_fdiff_5	2021-07-17 20:58	42K
	fdiff_5__t4_fdiff_5.vout	2021-07-25 15:44	7.3K
	fdiff_5__t10_fdiff_5	2021-07-17 20:58	43K
	fdiff_5__t10_fdiff_5.vout	2021-07-25 16:53	6.8K
	fdiff_5__t11_fdiff_5	2021-07-17 20:59	43K
	fdiff_5__t11_fdiff_5.vout	2021-07-25 20:00	6.8K
	fdiff_5__t12_fdiff_5	2021-07-17 20:59	43K
	fdiff_5__t12_fdiff_5.vout	2021-07-25 19:12	6.8K
	fdiff_5__t13_fdiff_5	2021-07-17 21:00	43K
	fdiff_5__t13_fdiff_5.vout	2021-07-25 19:41	6.8K
	fdiff_5__t16_fdiff_5	2021-07-17 21:00	33K
	fdiff_5__t16_fdiff_5.vout	2021-07-25 19:58	7.3K
	fdiff_5__t19_fdiff_5	2021-07-17 21:01	22K
	fdiff_5__t19_fdiff_5.depv1	2021-07-25 20:57	298
	fdiff_5__t19_fdiff_5.depvmin1	2021-07-25 21:03	298
	fdiff_5__t19_fdiff_5.vmin1	2021-07-25 20:57	3.9K
	fdiff_5__t19_fdiff_5.vmin1out	2021-07-25 20:59	46K
	fdiff_5__t19_fdiff_5.vout	2021-07-25 18:55	46K
	fdiff_5__t20_fdiff_5	2021-07-17 21:01	34K
	fdiff_5__t20_fdiff_5.vout	2021-07-25 20:57	6.8K
	fdiff_5__t21_fdiff_5	2021-07-17 21:02	45K
	fdiff_5__t21_fdiff_5.vout	2021-07-25 19:41	7.3K
	fdiff_5__t22_fdiff_5	2021-07-17 21:02	182K
	fdiff_5__t22_fdiff_5.vout	2021-07-25 20:38	6.8K
	fdiff_5__t25_fdiff_5	2021-07-17 21:03	41K
	fdiff_5__t25_fdiff_5.vout	2021-07-25 19:15	6.8K