Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/fdiff_7

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_7__l4_fdiff_72016-03-08 13:05 100K 
[ ]fdiff_7__l5_fdiff_72016-03-08 13:05 81K 
[ ]fdiff_7__l34_fdiff_72017-01-05 20:54 11K 
[ ]fdiff_7__t1_fdiff_72016-03-08 13:05 20K 
[ ]fdiff_7__t2_fdiff_72016-03-08 13:05 95K 
[ ]fdiff_7__t3_fdiff_72016-03-08 13:05 28K 
[ ]fdiff_7__t4_fdiff_72017-01-05 20:54 55K 
[ ]fdiff_7__t5_fdiff_72017-01-05 20:54 55K 
[ ]fdiff_7__t6_fdiff_72017-01-05 20:54 56K 
[ ]fdiff_7__t7_fdiff_72017-01-05 20:54 56K 
[ ]fdiff_7__t8_fdiff_72017-01-05 20:54 59K 
[ ]fdiff_7__t9_fdiff_72017-01-05 20:54 59K 
[ ]fdiff_7__t10_fdiff_72017-01-05 20:54 60K 
[ ]fdiff_7__t11_fdiff_72017-01-05 20:54 60K 
[ ]fdiff_7__t12_fdiff_72017-01-05 20:54 136K 
[ ]fdiff_7__t13_fdiff_72017-01-05 20:54 136K 
[ ]fdiff_7__t14_fdiff_72016-03-08 13:05 65K 
[ ]fdiff_7__t15_fdiff_72016-03-08 13:05 65K 
[ ]fdiff_7__t16_fdiff_72017-01-05 20:54 75K 
[ ]fdiff_7__t17_fdiff_72017-01-05 20:54 75K 
[ ]fdiff_7__t18_fdiff_72017-01-05 20:54 72K 
[ ]fdiff_7__t19_fdiff_72017-01-05 20:54 72K 
[ ]fdiff_7__t20_fdiff_72016-03-08 13:05 222K 
[ ]fdiff_7__t21_fdiff_72016-03-08 13:05 276K 
[ ]fdiff_7__t22_fdiff_72016-03-08 13:05 326K 
[ ]fdiff_7__t23_fdiff_72017-01-05 20:54 214K 
[ ]fdiff_7__t24_fdiff_72017-01-05 20:54 212K 
[ ]fdiff_7__t25_fdiff_72016-03-08 13:05 79K 
[ ]fdiff_7__t26_fdiff_72016-03-08 13:05 79K 
[ ]fdiff_7__t27_fdiff_72016-03-08 13:05 327K 
[ ]fdiff_7__t28_fdiff_72016-03-08 13:05 215K 
[ ]fdiff_7__t29_fdiff_72016-03-08 13:05 213K 
[ ]fdiff_7__t30_fdiff_72016-03-08 13:05 147K 
[ ]fdiff_7__t31_fdiff_72016-03-08 13:05 147K 
[ ]fdiff_7__t32_fdiff_72017-01-05 20:54 39K 
[ ]fdiff_7__t33_fdiff_72017-01-05 20:54 62K 
[ ]fdiff_7__t34_fdiff_72016-03-08 13:05 32K 
[ ]fdiff_7__t35_fdiff_72016-03-08 13:05 38K 
[ ]fdiff_7__t36_fdiff_72016-03-08 13:05 38K 
[ ]fdiff_7__t37_fdiff_72016-03-08 13:05 32K 
[ ]fdiff_7__t38_fdiff_72016-03-08 13:05 32K 
[ ]fdiff_7__t39_fdiff_72016-03-08 13:05 34K 
[ ]fdiff_7__t40_fdiff_72016-03-08 13:05 61K 
[ ]fdiff_7__t41_fdiff_72016-03-08 13:05 63K 
[ ]fdiff_7__t42_fdiff_72016-03-08 13:05 162K 
[ ]fdiff_7__t43_fdiff_72016-03-08 13:05 157K 
[ ]fdiff_7__t44_fdiff_72016-03-08 13:05 36K 
[ ]fdiff_7__t45_fdiff_72016-03-08 13:05 40K 
[ ]fdiff_7__t46_fdiff_72016-03-08 13:05 52K 
[ ]fdiff_7__t47_fdiff_72016-03-08 13:05 53K 
[ ]fdiff_7__t48_fdiff_72016-03-08 13:05 127K 
[ ]fdiff_7__t49_fdiff_72016-03-08 13:05 195K 
[ ]fdiff_7__t50_fdiff_72016-03-08 13:05 113K 
[ ]fdiff_7__t51_fdiff_72016-03-08 13:05 114K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80