Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/yellow_0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yellow_0__s1_yellow_02017-01-13 19:22 23K 
[ ]yellow_0__t1_yellow_02017-01-13 19:22 22K 
[ ]yellow_0__t2_yellow_02017-01-13 19:22 23K 
[ ]yellow_0__t3_yellow_02017-01-13 19:22 6.0K 
[ ]yellow_0__t4_yellow_02017-01-13 19:22 14K 
[ ]yellow_0__t5_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t6_yellow_02017-01-13 19:22 14K 
[ ]yellow_0__t7_yellow_02017-01-13 19:22 15K 
[ ]yellow_0__t8_yellow_02017-01-13 19:22 15K 
[ ]yellow_0__t9_yellow_02017-01-13 19:22 14K 
[ ]yellow_0__t10_yellow_02017-01-13 19:22 15K 
[ ]yellow_0__t11_yellow_02017-01-13 19:22 14K 
[ ]yellow_0__t12_yellow_02017-01-13 19:22 14K 
[ ]yellow_0__t13_yellow_02017-01-13 19:22 5.0K 
[ ]yellow_0__t14_yellow_02017-01-13 19:22 7.1K 
[ ]yellow_0__t15_yellow_02017-01-13 19:22 2.6K 
[ ]yellow_0__t16_yellow_02017-01-13 19:22 2.6K 
[ ]yellow_0__t17_yellow_02017-01-13 19:22 21K 
[ ]yellow_0__t18_yellow_02017-01-13 19:22 17K 
[ ]yellow_0__t19_yellow_02017-01-13 19:22 17K 
[ ]yellow_0__t20_yellow_02017-01-13 19:22 20K 
[ ]yellow_0__t21_yellow_02017-01-13 19:22 20K 
[ ]yellow_0__t22_yellow_02017-01-13 19:22 21K 
[ ]yellow_0__t23_yellow_02017-01-13 19:22 21K 
[ ]yellow_0__t24_yellow_02017-01-13 19:22 22K 
[ ]yellow_0__t25_yellow_02017-01-13 19:22 22K 
[ ]yellow_0__t26_yellow_02017-01-13 19:22 6.8K 
[ ]yellow_0__t27_yellow_02017-01-13 19:22 6.8K 
[ ]yellow_0__t28_yellow_02017-01-13 19:22 46K 
[ ]yellow_0__t29_yellow_02017-01-13 19:22 38K 
[ ]yellow_0__t30_yellow_02017-01-13 19:22 3.0K 
[ ]yellow_0__t31_yellow_02017-01-13 19:22 3.0K 
[ ]yellow_0__t32_yellow_02017-01-13 19:22 20K 
[ ]yellow_0__t33_yellow_02017-01-13 19:22 20K 
[ ]yellow_0__t34_yellow_02017-01-13 19:22 14K 
[ ]yellow_0__t35_yellow_02017-01-13 19:22 14K 
[ ]yellow_0__t36_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t37_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t38_yellow_02017-01-13 19:22 23K 
[ ]yellow_0__t39_yellow_02017-01-13 19:22 24K 
[ ]yellow_0__t40_yellow_02017-01-13 19:22 26K 
[ ]yellow_0__t41_yellow_02017-01-13 19:22 25K 
[ ]yellow_0__t42_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t43_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t44_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t45_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t46_yellow_02017-01-13 19:22 18K 
[ ]yellow_0__t47_yellow_02017-01-13 19:22 18K 
[ ]yellow_0__t48_yellow_02017-01-13 19:22 18K 
[ ]yellow_0__t49_yellow_02017-01-13 19:22 18K 
[ ]yellow_0__t50_yellow_02017-01-13 19:22 20K 
[ ]yellow_0__t51_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t52_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t53_yellow_02017-01-13 19:22 21K 
[ ]yellow_0__t54_yellow_02017-01-13 19:22 31K 
[ ]yellow_0__t55_yellow_02017-01-13 19:22 31K 
[ ]yellow_0__t56_yellow_02017-01-13 19:22 6.7K 
[ ]yellow_0__t57_yellow_02017-01-13 19:22 6.4K 
[ ]yellow_0__t58_yellow_02017-01-13 19:22 20K 
[ ]yellow_0__t59_yellow_02017-01-13 19:22 17K 
[ ]yellow_0__t60_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t61_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t62_yellow_02017-01-13 19:22 19K 
[ ]yellow_0__t63_yellow_02017-01-13 19:22 23K 
[ ]yellow_0__t64_yellow_02017-01-13 19:22 23K 
[ ]yellow_0__t65_yellow_02017-01-13 19:22 21K 
[ ]yellow_0__t66_yellow_02017-01-13 19:22 21K 
[ ]yellow_0__t67_yellow_02017-01-13 19:22 22K 
[ ]yellow_0__t68_yellow_02017-01-13 19:22 22K 
[ ]yellow_0__t69_yellow_02017-01-13 19:22 27K 
[ ]yellow_0__t70_yellow_02017-01-13 19:22 27K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80