Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/jordan19

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan19__l5_jordan192017-01-13 00:40 102K 
[   ]jordan19__l6_jordan192017-01-13 00:40 367K 
[   ]jordan19__t1_jordan192017-01-13 00:40 93K 
[   ]jordan19__t2_jordan192017-01-13 00:40 445K 
[   ]jordan19__t3_jordan192017-01-13 00:40 459K 
[   ]jordan19__t4_jordan192017-01-13 00:40 119K 
[   ]jordan19__t5_jordan192017-01-13 00:40 122K 
[   ]jordan19__t6_jordan192017-01-13 00:40 170K 
[   ]jordan19__t7_jordan192017-01-13 00:40 64K 
[   ]jordan19__t8_jordan192017-01-13 00:40 165K 
[   ]jordan19__t9_jordan192017-01-13 00:40 166K 
[   ]jordan19__t10_jordan192017-01-13 00:40 166K 
[   ]jordan19__t11_jordan192017-01-13 00:40 166K 
[   ]jordan19__t12_jordan192017-01-13 00:40 553K 
[   ]jordan19__t13_jordan192017-01-13 00:40 552K 
[   ]jordan19__t14_jordan192017-01-13 00:40 128K 
[   ]jordan19__t15_jordan192017-01-13 00:40 128K 
[   ]jordan19__t16_jordan192017-01-13 00:40 121K 
[   ]jordan19__t17_jordan192017-01-13 00:40 121K 
[   ]jordan19__t18_jordan192017-01-13 00:40 123K 
[   ]jordan19__t19_jordan192017-01-13 00:40 123K 
[   ]jordan19__t20_jordan192017-01-13 00:40 566K 
[   ]jordan19__t21_jordan192017-01-13 00:40 566K 
[   ]jordan19__t22_jordan192017-01-13 00:40 566K 
[   ]jordan19__t23_jordan192017-01-13 00:40 566K 
[   ]jordan19__t24_jordan192017-01-13 00:40 217K 
[   ]jordan19__t25_jordan192017-01-13 00:40 217K 
[   ]jordan19__t26_jordan192017-01-13 00:40 870K 
[   ]jordan19__t27_jordan192017-01-13 00:40 224K 

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