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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]jordan16__t1_jordan162017-01-13 00:30 85K 
[   ]jordan16__t2_jordan162017-01-13 00:30 57K 
[   ]jordan16__t3_jordan162017-01-13 00:30 50K 
[   ]jordan16__t4_jordan162017-01-13 00:30 50K 
[   ]jordan16__t5_jordan162017-01-13 00:30 76K 
[   ]jordan16__t6_jordan162017-01-13 00:30 84K 
[   ]jordan16__t7_jordan162017-01-13 00:30 83K 
[   ]jordan16__t8_jordan162017-01-13 00:30 58K 
[   ]jordan16__t9_jordan162017-01-13 00:30 62K 
[   ]jordan16__t10_jordan162017-01-13 00:30 108K 
[   ]jordan16__t11_jordan162017-01-13 00:30 65K 
[   ]jordan16__t12_jordan162017-01-13 00:30 58K 
[   ]jordan16__t13_jordan162017-01-13 00:30 63K 
[   ]jordan16__t14_jordan162017-01-13 00:30 64K 
[   ]jordan16__t15_jordan162017-01-13 00:30 52K 
[   ]jordan16__t16_jordan162017-01-13 00:30 78K 
[   ]jordan16__t17_jordan162017-01-13 00:30 66K 
[   ]jordan16__t18_jordan162017-01-13 00:30 67K 
[   ]jordan16__t19_jordan162017-01-13 00:30 51K 
[   ]jordan16__t20_jordan162017-01-13 00:30 84K 
[   ]jordan16__t21_jordan162017-01-13 00:30 173K 
[   ]jordan16__t22_jordan162017-01-13 00:30 57K 
[   ]jordan16__t23_jordan162017-01-13 00:30 60K 
[   ]jordan16__t24_jordan162017-01-13 00:30 50K 

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