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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_10__t1_fdiff_102017-01-13 19:08 65K 
[ ]fdiff_10__t2_fdiff_102017-01-13 19:08 47K 
[ ]fdiff_10__t3_fdiff_102017-01-13 19:08 64K 
[ ]fdiff_10__t4_fdiff_102017-01-13 19:08 65K 
[ ]fdiff_10__t5_fdiff_102017-01-13 19:08 67K 
[ ]fdiff_10__t6_fdiff_102017-01-13 19:08 68K 
[ ]fdiff_10__t7_fdiff_102017-01-13 19:08 36K 
[ ]fdiff_10__t8_fdiff_102017-01-13 19:08 48K 
[ ]fdiff_10__t9_fdiff_102017-01-13 19:08 48K 
[ ]fdiff_10__t10_fdiff_102017-01-13 19:08 42K 
[ ]fdiff_10__t11_fdiff_102017-01-13 19:08 73K 
[ ]fdiff_10__t12_fdiff_102017-01-13 19:08 55K 
[ ]fdiff_10__t13_fdiff_102017-01-13 19:08 68K 
[ ]fdiff_10__t14_fdiff_102017-01-13 19:08 73K 
[ ]fdiff_10__t15_fdiff_102017-01-13 19:08 51K 
[ ]fdiff_10__t16_fdiff_102017-01-13 19:08 56K 
[ ]fdiff_10__t17_fdiff_102017-01-13 19:08 80K 
[ ]fdiff_10__t18_fdiff_102017-01-13 19:08 55K 
[ ]fdiff_10__t19_fdiff_102017-01-13 19:08 52K 
[ ]fdiff_10__t20_fdiff_102017-01-13 19:08 33K 
[ ]fdiff_10__t21_fdiff_102017-01-13 19:08 47K 
[ ]fdiff_10__t22_fdiff_102017-01-13 19:08 64K 
[ ]fdiff_10__t23_fdiff_102017-01-13 19:08 64K 
[ ]fdiff_10__t24_fdiff_102017-01-13 19:08 64K 
[ ]fdiff_10__t25_fdiff_102017-01-13 19:08 71K 
[ ]fdiff_10__t26_fdiff_102017-01-13 19:08 71K 
[ ]fdiff_10__t27_fdiff_102017-01-13 19:08 70K 
[ ]fdiff_10__t28_fdiff_102017-01-13 19:08 70K 
[ ]fdiff_10__t29_fdiff_102017-01-13 19:08 84K 
[ ]fdiff_10__t30_fdiff_102017-01-13 19:08 83K 
[ ]fdiff_10__t31_fdiff_102017-01-13 19:08 128K 
[ ]fdiff_10__t32_fdiff_102017-01-13 19:08 67K 
[ ]fdiff_10__t33_fdiff_102017-01-13 19:08 125K 
[ ]fdiff_10__t34_fdiff_102017-01-13 19:08 202K 
[ ]fdiff_10__t35_fdiff_102017-01-13 19:08 71K 
[ ]fdiff_10__t36_fdiff_102017-01-13 19:08 66K 
[ ]fdiff_10__t37_fdiff_102017-01-13 19:08 67K 
[ ]fdiff_10__t38_fdiff_102017-01-13 19:08 72K 
[ ]fdiff_10__t39_fdiff_102017-01-13 19:08 71K 
[ ]fdiff_10__t40_fdiff_102017-01-13 19:08 67K 
[ ]fdiff_10__t41_fdiff_102017-01-13 19:08 92K 
[ ]fdiff_10__t42_fdiff_102017-01-13 19:08 94K 
[ ]fdiff_10__t43_fdiff_102017-01-13 19:08 47K 
[ ]fdiff_10__t44_fdiff_102017-01-13 19:08 64K 
[ ]fdiff_10__t45_fdiff_102017-01-13 19:08 64K 
[ ]fdiff_10__t46_fdiff_102017-01-13 19:08 64K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80