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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow12__l1_yellow122017-01-12 22:12 17K 
[ ]yellow12__t1_yellow122017-01-12 22:11 14K 
[ ]yellow12__t2_yellow122017-01-12 22:11 12K 
[ ]yellow12__t3_yellow122017-01-12 22:11 13K 
[ ]yellow12__t4_yellow122017-01-12 22:11 20K 
[ ]yellow12__t5_yellow122017-01-12 22:11 15K 
[ ]yellow12__t6_yellow122017-01-12 22:11 16K 
[ ]yellow12__t7_yellow122017-01-12 22:11 14K 
[ ]yellow12__t8_yellow122017-01-12 22:11 15K 
[ ]yellow12__t9_yellow122017-01-12 22:11 29K 
[ ]yellow12__t10_yellow122017-01-12 22:11 29K 
[ ]yellow12__t11_yellow122017-01-12 22:11 30K 
[ ]yellow12__t12_yellow122017-01-12 22:11 30K 
[ ]yellow12__t13_yellow122017-01-12 22:11 31K 
[ ]yellow12__t14_yellow122017-01-12 22:11 34K 
[ ]yellow12__t15_yellow122017-01-12 22:11 32K 
[ ]yellow12__t16_yellow122017-01-12 22:11 11K 
[ ]yellow12__t17_yellow122017-01-12 22:11 18K 
[ ]yellow12__t18_yellow122017-01-12 22:11 18K 
[ ]yellow12__t19_yellow122017-01-12 22:11 27K 
[ ]yellow12__t20_yellow122017-01-12 22:11 26K 
[ ]yellow12__t21_yellow122017-01-12 22:11 19K 
[ ]yellow12__t22_yellow122017-01-12 22:11 35K 
[ ]yellow12__t23_yellow122017-01-12 22:11 24K 
[ ]yellow12__t24_yellow122017-01-12 22:11 48K 
[ ]yellow12__t25_yellow122017-01-12 22:11 48K 
[ ]yellow12__t26_yellow122017-01-12 22:11 33K 
[ ]yellow12__t27_yellow122017-01-12 22:11 33K 
[ ]yellow12__t28_yellow122017-01-12 22:11 8.5K 
[ ]yellow12__t29_yellow122017-01-12 22:11 8.5K 
[ ]yellow12__t30_yellow122017-01-12 22:12 26K 
[ ]yellow12__t31_yellow122017-01-12 22:12 26K 
[ ]yellow12__t32_yellow122017-01-12 22:12 14K 
[ ]yellow12__t33_yellow122017-01-12 22:12 14K 
[ ]yellow12__t34_yellow122017-01-12 22:12 20K 
[ ]yellow12__t35_yellow122017-01-12 22:12 17K 
[ ]yellow12__t36_yellow122017-01-12 22:12 24K 
[ ]yellow12__t37_yellow122017-01-12 22:12 31K 
[ ]yellow12__t38_yellow122017-01-12 22:12 42K 
[ ]yellow12__t39_yellow122017-01-12 22:12 40K 
[ ]yellow12__t40_yellow122017-01-12 22:12 40K 
[ ]yellow12__t41_yellow122017-01-12 22:12 37K 
[ ]yellow12__t42_yellow122017-01-12 22:12 32K 
[ ]yellow12__t43_yellow122017-01-12 22:12 42K 
[ ]yellow12__t44_yellow122017-01-12 22:12 33K 
[ ]yellow12__t45_yellow122017-01-12 22:12 36K 
[ ]yellow12__t46_yellow122017-01-12 22:12 47K 
[ ]yellow12__t47_yellow122017-01-12 22:12 22K 
[ ]yellow12__t48_yellow122017-01-12 22:12 40K 
[ ]yellow12__t49_yellow122017-01-12 22:12 40K 
[ ]yellow12__t50_yellow122017-01-12 22:12 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80