Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls1/yellow12

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