Index of /~mptp/1147/MPTP2/problems_small_consist/hausdorf
Name
Last modified
Size
Description
Parent Directory
-
hausdorf__l20_hausdorf
2013-09-04 12:22
23K
hausdorf__t1_hausdorf
2013-09-04 12:22
7.8K
hausdorf__t2_hausdorf
2013-09-04 12:22
24K
hausdorf__t3_hausdorf
2013-09-04 12:22
25K
hausdorf__t4_hausdorf
2013-09-04 12:22
27K
hausdorf__t5_hausdorf
2013-09-04 12:22
27K
hausdorf__t6_hausdorf
2013-09-04 12:22
17K
hausdorf__t7_hausdorf
2013-09-04 12:22
30K
hausdorf__t8_hausdorf
2013-09-04 12:22
25K
hausdorf__t9_hausdorf
2013-09-04 12:22
23K
hausdorf__t10_hausdorf
2013-09-04 12:22
13K
hausdorf__t11_hausdorf
2013-09-04 12:22
13K
hausdorf__t12_hausdorf
2013-09-04 12:22
24K
hausdorf__t13_hausdorf
2013-09-04 12:22
30K
hausdorf__t14_hausdorf
2013-09-04 12:22
27K
hausdorf__t15_hausdorf
2013-09-04 12:22
25K
hausdorf__t16_hausdorf
2013-09-04 12:22
25K
hausdorf__t17_hausdorf
2013-09-04 12:22
22K
hausdorf__t18_hausdorf
2013-09-04 12:22
27K
hausdorf__t19_hausdorf
2013-09-04 12:22
23K
hausdorf__t20_hausdorf
2013-09-04 12:22
31K
hausdorf__t21_hausdorf
2013-09-04 12:22
24K
hausdorf__t22_hausdorf
2013-09-04 12:22
25K
hausdorf__t23_hausdorf
2013-09-04 12:22
29K
hausdorf__t24_hausdorf
2013-09-04 12:22
26K
hausdorf__t25_hausdorf
2013-09-04 12:22
26K
hausdorf__t26_hausdorf
2013-09-04 12:22
25K
hausdorf__t27_hausdorf
2013-09-04 12:22
26K
hausdorf__t28_hausdorf
2013-09-04 12:22
17K
hausdorf__t29_hausdorf
2013-09-04 12:22
26K
hausdorf__t30_hausdorf
2013-09-04 12:22
17K
hausdorf__t31_hausdorf
2013-09-04 12:22
29K
hausdorf__t32_hausdorf
2013-09-04 12:22
26K
hausdorf__t33_hausdorf
2013-09-04 12:22
33K
hausdorf__t34_hausdorf
2013-09-04 12:22
33K
hausdorf__t35_hausdorf
2013-09-04 12:22
18K
hausdorf__t36_hausdorf
2013-09-04 12:22
18K
hausdorf__t37_hausdorf
2013-09-04 12:22
34K
hausdorf__t38_hausdorf
2013-09-04 12:22
18K
hausdorf__t39_hausdorf
2013-09-04 12:22
32K
hausdorf__t40_hausdorf
2013-09-04 12:22
31K
hausdorf__t41_hausdorf
2013-09-04 12:22
32K
hausdorf__t42_hausdorf
2013-09-04 12:22
33K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80