Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/jordan1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan1__l1_jordan12017-01-13 00:41 20K 
[   ]jordan1__l8_jordan12017-01-13 00:41 48K 
[   ]jordan1__l9_jordan12017-01-13 00:41 51K 
[   ]jordan1__l10_jordan12017-01-13 00:41 51K 
[   ]jordan1__l11_jordan12017-01-13 00:41 51K 
[   ]jordan1__l12_jordan12017-01-13 00:41 51K 
[   ]jordan1__l13_jordan12017-01-13 00:41 51K 
[   ]jordan1__l14_jordan12017-01-13 00:41 51K 
[   ]jordan1__l29_jordan12017-01-13 00:41 61K 
[   ]jordan1__l47_jordan12017-01-13 00:41 314K 
[   ]jordan1__l48_jordan12017-01-13 00:41 309K 
[   ]jordan1__l60_jordan12017-01-13 00:41 98K 
[   ]jordan1__l61_jordan12017-01-13 00:41 98K 
[   ]jordan1__l62_jordan12017-01-13 00:41 98K 
[   ]jordan1__l63_jordan12017-01-13 00:41 98K 
[   ]jordan1__t1_jordan12017-01-13 00:41 42K 
[   ]jordan1__t2_jordan12017-01-13 00:41 56K 
[   ]jordan1__t3_jordan12017-01-13 00:41 34K 
[   ]jordan1__t4_jordan12017-01-13 00:41 39K 
[   ]jordan1__t5_jordan12017-01-13 00:41 40K 
[   ]jordan1__t7_jordan12017-01-13 00:41 57K 
[   ]jordan1__t8_jordan12017-01-13 00:41 54K 
[   ]jordan1__t9_jordan12017-01-13 00:41 101K 
[   ]jordan1__t11_jordan12017-01-13 00:41 100K 
[   ]jordan1__t13_jordan12017-01-13 00:41 100K 
[   ]jordan1__t15_jordan12017-01-13 00:41 100K 
[   ]jordan1__t17_jordan12017-01-13 00:41 100K 
[   ]jordan1__t19_jordan12017-01-13 00:41 95K 
[   ]jordan1__t20_jordan12017-01-13 00:41 277K 
[   ]jordan1__t21_jordan12017-01-13 00:41 277K 
[   ]jordan1__t22_jordan12017-01-13 00:41 277K 
[   ]jordan1__t23_jordan12017-01-13 00:41 277K 
[   ]jordan1__t24_jordan12017-01-13 00:41 65K 
[   ]jordan1__t25_jordan12017-01-13 00:41 65K 
[   ]jordan1__t26_jordan12017-01-13 00:41 52K 
[   ]jordan1__t27_jordan12017-01-13 00:41 52K 
[   ]jordan1__t28_jordan12017-01-13 00:41 52K 
[   ]jordan1__t29_jordan12017-01-13 00:41 55K 
[   ]jordan1__t30_jordan12017-01-13 00:41 55K 
[   ]jordan1__t31_jordan12017-01-13 00:41 54K 
[   ]jordan1__t32_jordan12017-01-13 00:41 53K 
[   ]jordan1__t33_jordan12017-01-13 00:41 53K 
[   ]jordan1__t34_jordan12017-01-13 00:41 53K 
[   ]jordan1__t35_jordan12017-01-13 00:41 56K 
[   ]jordan1__t36_jordan12017-01-13 00:41 213K 
[   ]jordan1__t37_jordan12017-01-13 00:41 86K 
[   ]jordan1__t38_jordan12017-01-13 00:41 64K 
[   ]jordan1__t39_jordan12017-01-13 00:41 65K 
[   ]jordan1__t40_jordan12017-01-13 00:41 64K 
[   ]jordan1__t41_jordan12017-01-13 00:41 65K 
[   ]jordan1__t42_jordan12017-01-13 00:41 78K 
[   ]jordan1__t43_jordan12017-01-13 00:41 79K 
[   ]jordan1__t44_jordan12017-01-13 00:41 59K 
[   ]jordan1__t45_jordan12017-01-13 00:41 59K 
[   ]jordan1__t46_jordan12017-01-13 00:41 80K 

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