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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow12__l1_yellow122017-01-13 00:32 22K 
[ ]yellow12__t1_yellow122017-01-13 00:32 18K 
[ ]yellow12__t2_yellow122017-01-13 00:32 16K 
[ ]yellow12__t3_yellow122017-01-13 00:32 18K 
[ ]yellow12__t4_yellow122017-01-13 00:32 26K 
[ ]yellow12__t5_yellow122017-01-13 00:32 19K 
[ ]yellow12__t6_yellow122017-01-13 00:32 21K 
[ ]yellow12__t7_yellow122017-01-13 00:32 18K 
[ ]yellow12__t8_yellow122017-01-13 00:32 20K 
[ ]yellow12__t9_yellow122017-01-13 00:32 46K 
[ ]yellow12__t10_yellow122017-01-13 00:32 46K 
[ ]yellow12__t11_yellow122017-01-13 00:32 47K 
[ ]yellow12__t12_yellow122017-01-13 00:32 47K 
[ ]yellow12__t13_yellow122017-01-13 00:32 50K 
[ ]yellow12__t14_yellow122017-01-13 00:32 53K 
[ ]yellow12__t15_yellow122017-01-13 00:32 52K 
[ ]yellow12__t16_yellow122017-01-13 00:32 15K 
[ ]yellow12__t17_yellow122017-01-13 00:32 25K 
[ ]yellow12__t18_yellow122017-01-13 00:32 25K 
[ ]yellow12__t19_yellow122017-01-13 00:32 43K 
[ ]yellow12__t20_yellow122017-01-13 00:32 41K 
[ ]yellow12__t21_yellow122017-01-13 00:32 27K 
[ ]yellow12__t22_yellow122017-01-13 00:32 53K 
[ ]yellow12__t23_yellow122017-01-13 00:32 33K 
[ ]yellow12__t24_yellow122017-01-13 00:32 73K 
[ ]yellow12__t25_yellow122017-01-13 00:32 72K 
[ ]yellow12__t26_yellow122017-01-13 00:32 52K 
[ ]yellow12__t27_yellow122017-01-13 00:32 52K 
[ ]yellow12__t28_yellow122017-01-13 00:32 11K 
[ ]yellow12__t29_yellow122017-01-13 00:32 11K 
[ ]yellow12__t30_yellow122017-01-13 00:32 42K 
[ ]yellow12__t31_yellow122017-01-13 00:32 42K 
[ ]yellow12__t32_yellow122017-01-13 00:32 20K 
[ ]yellow12__t33_yellow122017-01-13 00:32 21K 
[ ]yellow12__t34_yellow122017-01-13 00:32 29K 
[ ]yellow12__t35_yellow122017-01-13 00:32 26K 
[ ]yellow12__t36_yellow122017-01-13 00:32 36K 
[ ]yellow12__t37_yellow122017-01-13 00:32 45K 
[ ]yellow12__t38_yellow122017-01-13 00:32 61K 
[ ]yellow12__t39_yellow122017-01-13 00:32 58K 
[ ]yellow12__t40_yellow122017-01-13 00:32 58K 
[ ]yellow12__t41_yellow122017-01-13 00:32 56K 
[ ]yellow12__t42_yellow122017-01-13 00:32 48K 
[ ]yellow12__t43_yellow122017-01-13 00:32 61K 
[ ]yellow12__t44_yellow122017-01-13 00:32 48K 
[ ]yellow12__t45_yellow122017-01-13 00:32 51K 
[ ]yellow12__t46_yellow122017-01-13 00:32 68K 
[ ]yellow12__t47_yellow122017-01-13 00:32 34K 
[ ]yellow12__t48_yellow122017-01-13 00:32 59K 
[ ]yellow12__t49_yellow122017-01-13 00:32 60K 
[ ]yellow12__t50_yellow122017-01-13 00:32 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80