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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_6__l1_fdiff_62017-01-13 00:43 48K 
[ ]fdiff_6__l2_fdiff_62017-01-13 00:43 40K 
[ ]fdiff_6__l3_fdiff_62017-01-13 00:43 150K 
[ ]fdiff_6__l4_fdiff_62017-01-13 00:43 85K 
[ ]fdiff_6__l7_fdiff_62017-01-13 00:43 85K 
[ ]fdiff_6__l46_fdiff_62017-01-13 00:43 69K 
[ ]fdiff_6__l48_fdiff_62017-01-13 00:43 74K 
[ ]fdiff_6__t1_fdiff_62017-01-13 00:42 53K 
[ ]fdiff_6__t2_fdiff_62017-01-13 00:42 58K 
[ ]fdiff_6__t3_fdiff_62017-01-13 00:42 88K 
[ ]fdiff_6__t4_fdiff_62017-01-13 00:42 319K 
[ ]fdiff_6__t5_fdiff_62017-01-13 00:42 381K 
[ ]fdiff_6__t6_fdiff_62017-01-13 00:42 310K 
[ ]fdiff_6__t7_fdiff_62017-01-13 00:42 250K 
[ ]fdiff_6__t8_fdiff_62017-01-13 00:42 250K 
[ ]fdiff_6__t9_fdiff_62017-01-13 00:42 89K 
[ ]fdiff_6__t10_fdiff_62017-01-13 00:42 118K 
[ ]fdiff_6__t11_fdiff_62017-01-13 00:42 64K 
[ ]fdiff_6__t12_fdiff_62017-01-13 00:42 112K 
[ ]fdiff_6__t13_fdiff_62017-01-13 00:42 183K 
[ ]fdiff_6__t14_fdiff_62017-01-13 00:42 68K 
[ ]fdiff_6__t15_fdiff_62017-01-13 00:42 77K 
[ ]fdiff_6__t16_fdiff_62017-01-13 00:42 73K 
[ ]fdiff_6__t17_fdiff_62017-01-13 00:42 116K 
[ ]fdiff_6__t18_fdiff_62017-01-13 00:42 203K 
[ ]fdiff_6__t19_fdiff_62017-01-13 00:42 136K 
[ ]fdiff_6__t20_fdiff_62017-01-13 00:43 87K 
[ ]fdiff_6__t21_fdiff_62017-01-13 00:43 111K 
[ ]fdiff_6__t22_fdiff_62017-01-13 00:43 116K 
[ ]fdiff_6__t23_fdiff_62017-01-13 00:43 83K 
[ ]fdiff_6__t24_fdiff_62017-01-13 00:43 182K 
[ ]fdiff_6__t25_fdiff_62017-01-13 00:43 85K 
[ ]fdiff_6__t26_fdiff_62017-01-13 00:43 184K 
[ ]fdiff_6__t27_fdiff_62017-01-13 00:43 218K 
[ ]fdiff_6__t28_fdiff_62017-01-13 00:43 292K 
[ ]fdiff_6__t29_fdiff_62017-01-13 00:43 147K 
[ ]fdiff_6__t30_fdiff_62017-01-13 00:43 295K 
[ ]fdiff_6__t31_fdiff_62017-01-13 00:43 94K 
[ ]fdiff_6__t32_fdiff_62017-01-13 00:43 293K 
[ ]fdiff_6__t33_fdiff_62017-01-13 00:43 295K 
[ ]fdiff_6__t34_fdiff_62017-01-13 00:43 103K 
[ ]fdiff_6__t35_fdiff_62017-01-13 00:43 105K 
[ ]fdiff_6__t36_fdiff_62017-01-13 00:43 503K 
[ ]fdiff_6__t37_fdiff_62017-01-13 00:43 240K 
[ ]fdiff_6__t38_fdiff_62017-01-13 00:43 71K 
[ ]fdiff_6__t39_fdiff_62017-01-13 00:43 239K 
[ ]fdiff_6__t40_fdiff_62017-01-13 00:43 363K 
[ ]fdiff_6__t41_fdiff_62017-01-13 00:43 174K 
[ ]fdiff_6__t42_fdiff_62017-01-13 00:43 357K 
[ ]fdiff_6__t43_fdiff_62017-01-13 00:43 67K 
[ ]fdiff_6__t44_fdiff_62017-01-13 00:43 300K 
[ ]fdiff_6__t45_fdiff_62017-01-13 00:43 216K 
[ ]fdiff_6__t46_fdiff_62017-01-13 00:43 70K 
[ ]fdiff_6__t47_fdiff_62017-01-13 00:43 182K 
[ ]fdiff_6__t48_fdiff_62017-01-13 00:43 181K 
[ ]fdiff_6__t49_fdiff_62017-01-13 00:43 69K 
[ ]fdiff_6__t50_fdiff_62017-01-13 00:43 78K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80