Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/ordinal6

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ordinal6__l50_ordinal62017-01-12 22:17 27K 
[   ]ordinal6__l78_ordinal62017-01-12 22:17 66K 
[   ]ordinal6__l79_ordinal62017-01-12 22:17 68K 
[   ]ordinal6__l80_ordinal62017-01-12 22:17 84K 
[   ]ordinal6__l98_ordinal62017-01-12 22:17 37K 
[   ]ordinal6__l99_ordinal62017-01-12 22:17 41K 
[   ]ordinal6__l100_ordinal62017-01-12 22:17 76K 
[   ]ordinal6__s1_ordinal62017-01-12 22:17 64K 
[   ]ordinal6__s2_ordinal62017-01-12 22:17 63K 
[   ]ordinal6__t1_ordinal62017-01-12 22:17 27K 
[   ]ordinal6__t2_ordinal62017-01-12 22:17 28K 
[   ]ordinal6__t3_ordinal62017-01-12 22:17 27K 
[   ]ordinal6__t4_ordinal62017-01-12 22:17 28K 
[   ]ordinal6__t5_ordinal62017-01-12 22:17 29K 
[   ]ordinal6__t6_ordinal62017-01-12 22:17 37K 
[   ]ordinal6__t7_ordinal62017-01-12 22:17 38K 
[   ]ordinal6__t8_ordinal62017-01-12 22:17 32K 
[   ]ordinal6__t9_ordinal62017-01-12 22:17 35K 
[   ]ordinal6__t10_ordinal62017-01-12 22:17 41K 
[   ]ordinal6__t11_ordinal62017-01-12 22:17 30K 
[   ]ordinal6__t12_ordinal62017-01-12 22:17 29K 
[   ]ordinal6__t13_ordinal62017-01-12 22:17 41K 
[   ]ordinal6__t14_ordinal62017-01-12 22:17 30K 
[   ]ordinal6__t15_ordinal62017-01-12 22:17 34K 
[   ]ordinal6__t16_ordinal62017-01-12 22:17 40K 
[   ]ordinal6__t17_ordinal62017-01-12 22:17 3.6K 
[   ]ordinal6__t18_ordinal62017-01-12 22:17 35K 
[   ]ordinal6__t19_ordinal62017-01-12 22:17 5.6K 
[   ]ordinal6__t20_ordinal62017-01-12 22:17 36K 
[   ]ordinal6__t21_ordinal62017-01-12 22:17 5.6K 
[   ]ordinal6__t22_ordinal62017-01-12 22:17 37K 
[   ]ordinal6__t23_ordinal62017-01-12 22:17 35K 
[   ]ordinal6__t24_ordinal62017-01-12 22:17 51K 
[   ]ordinal6__t25_ordinal62017-01-12 22:17 39K 
[   ]ordinal6__t26_ordinal62017-01-12 22:17 42K 
[   ]ordinal6__t27_ordinal62017-01-12 22:17 32K 
[   ]ordinal6__t28_ordinal62017-01-12 22:17 29K 
[   ]ordinal6__t29_ordinal62017-01-12 22:17 38K 
[   ]ordinal6__t30_ordinal62017-01-12 22:17 36K 
[   ]ordinal6__t31_ordinal62017-01-12 22:17 36K 
[   ]ordinal6__t32_ordinal62017-01-12 22:17 40K 
[   ]ordinal6__t33_ordinal62017-01-12 22:17 38K 
[   ]ordinal6__t34_ordinal62017-01-12 22:17 41K 
[   ]ordinal6__t35_ordinal62017-01-12 22:17 45K 
[   ]ordinal6__t36_ordinal62017-01-12 22:17 52K 
[   ]ordinal6__t37_ordinal62017-01-12 22:17 32K 
[   ]ordinal6__t38_ordinal62017-01-12 22:17 38K 
[   ]ordinal6__t39_ordinal62017-01-12 22:17 57K 
[   ]ordinal6__t40_ordinal62017-01-12 22:17 45K 
[   ]ordinal6__t41_ordinal62017-01-12 22:17 48K 
[   ]ordinal6__t42_ordinal62017-01-12 22:17 47K 
[   ]ordinal6__t43_ordinal62017-01-12 22:17 56K 
[   ]ordinal6__t44_ordinal62017-01-12 22:17 70K 
[   ]ordinal6__t45_ordinal62017-01-12 22:17 57K 
[   ]ordinal6__t46_ordinal62017-01-12 22:17 33K 
[   ]ordinal6__t47_ordinal62017-01-12 22:17 39K 
[   ]ordinal6__t48_ordinal62017-01-12 22:17 39K 
[   ]ordinal6__t49_ordinal62017-01-12 22:17 41K 
[   ]ordinal6__t50_ordinal62017-01-12 22:17 40K 
[   ]ordinal6__t51_ordinal62017-01-12 22:17 41K 
[   ]ordinal6__t52_ordinal62017-01-12 22:17 59K 
[   ]ordinal6__t53_ordinal62017-01-12 22:17 52K 
[   ]ordinal6__t54_ordinal62017-01-12 22:17 60K 
[   ]ordinal6__t55_ordinal62017-01-12 22:17 49K 
[   ]ordinal6__t56_ordinal62017-01-12 22:17 54K 
[   ]ordinal6__t57_ordinal62017-01-12 22:17 34K 
[   ]ordinal6__t58_ordinal62017-01-12 22:17 70K 
[   ]ordinal6__t59_ordinal62017-01-12 22:17 73K 
[   ]ordinal6__t60_ordinal62017-01-12 22:17 71K 
[   ]ordinal6__t61_ordinal62017-01-12 22:17 77K 
[   ]ordinal6__t62_ordinal62017-01-12 22:17 51K 
[   ]ordinal6__t63_ordinal62017-01-12 22:17 73K 
[   ]ordinal6__t64_ordinal62017-01-12 22:17 49K 
[   ]ordinal6__t65_ordinal62017-01-12 22:17 79K 
[   ]ordinal6__t66_ordinal62017-01-12 22:17 33K 
[   ]ordinal6__t67_ordinal62017-01-12 22:17 36K 
[   ]ordinal6__t68_ordinal62017-01-12 22:17 71K 
[   ]ordinal6__t69_ordinal62017-01-12 22:17 72K 
[   ]ordinal6__t70_ordinal62017-01-12 22:17 54K 
[   ]ordinal6__t71_ordinal62017-01-12 22:17 55K 
[   ]ordinal6__t72_ordinal62017-01-12 22:17 35K 
[   ]ordinal6__t73_ordinal62017-01-12 22:17 35K 
[   ]ordinal6__t74_ordinal62017-01-12 22:17 67K 
[   ]ordinal6__t75_ordinal62017-01-12 22:17 39K 
[   ]ordinal6__t76_ordinal62017-01-12 22:17 76K 
[   ]ordinal6__t77_ordinal62017-01-12 22:17 39K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80