Index of /~mptp/7.13.01_4.181.1147/MPTP2/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