Index of /~mptp/7.13.01_4.181.1147/mptp/problems_small_consist/xboole_0

	Name	Last modified	Size	Description
	Parent Directory		-
	xboole_0__l13_xboole_0	2013-09-04 12:42	743
	xboole_0__t1_xboole_0	2013-09-04 12:42	1.1K
	xboole_0__t2_xboole_0	2013-09-04 12:42	1.2K
	xboole_0__t3_xboole_0	2013-09-04 12:42	1.4K
	xboole_0__t4_xboole_0	2013-09-04 12:42	1.2K
	xboole_0__t5_xboole_0	2013-09-04 12:42	1.3K
	xboole_0__t6_xboole_0	2013-09-04 12:42	880
	xboole_0__t7_xboole_0	2013-09-04 12:42	735