Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/yellow14

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow14__t1_yellow142017-01-13 17:50 24K 
[ ]yellow14__t2_yellow142017-01-13 17:50 50K 
[ ]yellow14__t3_yellow142017-01-13 17:50 42K 
[ ]yellow14__t4_yellow142017-01-13 17:50 41K 
[ ]yellow14__t5_yellow142017-01-13 17:50 41K 
[ ]yellow14__t6_yellow142017-01-13 17:50 42K 
[ ]yellow14__t7_yellow142017-01-13 17:50 56K 
[ ]yellow14__t8_yellow142017-01-13 17:50 62K 
[ ]yellow14__t9_yellow142017-01-13 17:50 53K 
[ ]yellow14__t10_yellow142017-01-13 17:50 56K 
[ ]yellow14__t11_yellow142017-01-13 17:50 68K 
[ ]yellow14__t12_yellow142017-01-13 17:50 68K 
[ ]yellow14__t13_yellow142017-01-13 17:50 21K 
[ ]yellow14__t14_yellow142017-01-13 17:50 69K 
[ ]yellow14__t15_yellow142017-01-13 17:50 69K 
[ ]yellow14__t16_yellow142017-01-13 17:50 81K 
[ ]yellow14__t17_yellow142017-01-13 17:50 81K 
[ ]yellow14__t18_yellow142017-01-13 17:50 56K 
[ ]yellow14__t19_yellow142017-01-13 17:50 76K 
[ ]yellow14__t20_yellow142017-01-13 17:50 23K 
[ ]yellow14__t21_yellow142017-01-13 17:50 24K 
[ ]yellow14__t22_yellow142017-01-13 17:50 24K 
[ ]yellow14__t23_yellow142017-01-13 17:50 49K 
[ ]yellow14__t24_yellow142017-01-13 17:50 46K 
[ ]yellow14__t25_yellow142017-01-13 17:50 33K 
[ ]yellow14__t26_yellow142017-01-13 17:50 44K 
[ ]yellow14__t27_yellow142017-01-13 17:50 46K 
[ ]yellow14__t28_yellow142017-01-13 17:50 32K 
[ ]yellow14__t29_yellow142017-01-13 17:50 90K 
[ ]yellow14__t30_yellow142017-01-13 17:50 73K 
[ ]yellow14__t31_yellow142017-01-13 17:50 93K 
[ ]yellow14__t32_yellow142017-01-13 17:50 72K 
[ ]yellow14__t33_yellow142017-01-13 17:50 63K 
[ ]yellow14__t34_yellow142017-01-13 17:50 59K 
[ ]yellow14__t35_yellow142017-01-13 17:50 88K 
[ ]yellow14__t36_yellow142017-01-13 17:50 101K 
[ ]yellow14__t37_yellow142017-01-13 17:50 65K 
[ ]yellow14__t38_yellow142017-01-13 17:50 67K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80