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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow13__l16_yellow132017-01-13 00:37 37K 
[ ]yellow13__l17_yellow132017-01-13 00:37 32K 
[ ]yellow13__l18_yellow132017-01-13 00:37 37K 
[ ]yellow13__l26_yellow132017-01-13 00:37 28K 
[ ]yellow13__l27_yellow132017-01-13 00:37 27K 
[ ]yellow13__t1_yellow132017-01-13 00:37 52K 
[ ]yellow13__t2_yellow132017-01-13 00:37 49K 
[ ]yellow13__t3_yellow132017-01-13 00:37 55K 
[ ]yellow13__t4_yellow132017-01-13 00:37 56K 
[ ]yellow13__t5_yellow132017-01-13 00:37 48K 
[ ]yellow13__t6_yellow132017-01-13 00:37 37K 
[ ]yellow13__t7_yellow132017-01-13 00:37 70K 
[ ]yellow13__t8_yellow132017-01-13 00:37 72K 
[ ]yellow13__t9_yellow132017-01-13 00:37 71K 
[ ]yellow13__t10_yellow132017-01-13 00:37 97K 
[ ]yellow13__t11_yellow132017-01-13 00:37 73K 
[ ]yellow13__t12_yellow132017-01-13 00:37 60K 
[ ]yellow13__t13_yellow132017-01-13 00:37 60K 
[ ]yellow13__t14_yellow132017-01-13 00:37 54K 
[ ]yellow13__t15_yellow132017-01-13 00:37 57K 
[ ]yellow13__t16_yellow132017-01-13 00:37 36K 
[ ]yellow13__t17_yellow132017-01-13 00:37 36K 
[ ]yellow13__t18_yellow132017-01-13 00:37 28K 
[ ]yellow13__t19_yellow132017-01-13 00:37 56K 
[ ]yellow13__t20_yellow132017-01-13 00:37 28K 
[ ]yellow13__t21_yellow132017-01-13 00:37 63K 
[ ]yellow13__t22_yellow132017-01-13 00:37 58K 
[ ]yellow13__t23_yellow132017-01-13 00:37 58K 
[ ]yellow13__t24_yellow132017-01-13 00:37 27K 
[ ]yellow13__t25_yellow132017-01-13 00:37 53K 
[ ]yellow13__t26_yellow132017-01-13 00:37 63K 
[ ]yellow13__t27_yellow132017-01-13 00:37 40K 
[ ]yellow13__t28_yellow132017-01-13 00:37 109K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80