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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_2__l11_fdiff_22017-01-05 20:54 163K 
[ ]fdiff_2__l14_fdiff_22016-03-08 13:05 190K 
[ ]fdiff_2__l23_fdiff_22016-03-08 13:05 51K 
[ ]fdiff_2__t1_fdiff_22016-03-08 13:05 65K 
[ ]fdiff_2__t2_fdiff_22016-03-08 13:05 67K 
[ ]fdiff_2__t3_fdiff_22016-03-08 13:05 78K 
[ ]fdiff_2__t4_fdiff_22016-03-08 13:05 55K 
[ ]fdiff_2__t5_fdiff_22016-03-08 13:05 36K 
[ ]fdiff_2__t6_fdiff_22016-03-08 13:05 54K 
[ ]fdiff_2__t7_fdiff_22016-03-08 13:05 135K 
[ ]fdiff_2__t8_fdiff_22017-01-05 20:54 114K 
[ ]fdiff_2__t9_fdiff_22016-03-08 13:05 41K 
[ ]fdiff_2__t10_fdiff_22016-03-08 13:05 36K 
[ ]fdiff_2__t11_fdiff_22017-01-05 20:54 131K 
[ ]fdiff_2__t12_fdiff_22016-03-08 13:05 89K 
[ ]fdiff_2__t13_fdiff_22016-03-08 13:05 98K 
[ ]fdiff_2__t14_fdiff_22016-03-08 13:05 163K 
[ ]fdiff_2__t15_fdiff_22016-03-08 13:05 132K 
[ ]fdiff_2__t16_fdiff_22016-03-08 13:05 57K 
[ ]fdiff_2__t17_fdiff_22016-03-08 13:05 50K 
[ ]fdiff_2__t18_fdiff_22016-03-08 13:05 61K 
[ ]fdiff_2__t19_fdiff_22016-03-08 13:05 46K 
[ ]fdiff_2__t20_fdiff_22016-03-08 13:05 63K 
[ ]fdiff_2__t21_fdiff_22016-03-08 13:05 96K 
[ ]fdiff_2__t22_fdiff_22016-03-08 13:05 90K 
[ ]fdiff_2__t23_fdiff_22016-03-08 13:05 55K 
[ ]fdiff_2__t24_fdiff_22016-03-08 13:05 174K 
[ ]fdiff_2__t25_fdiff_22016-03-08 13:05 49K 
[ ]fdiff_2__t26_fdiff_22017-01-05 20:54 94K 
[ ]fdiff_2__t27_fdiff_22017-01-05 20:54 95K 
[ ]fdiff_2__t28_fdiff_22017-01-05 20:54 101K 
[ ]fdiff_2__t29_fdiff_22017-01-05 20:54 62K 
[ ]fdiff_2__t30_fdiff_22017-01-05 20:54 62K 
[ ]fdiff_2__t31_fdiff_22017-01-05 20:54 59K 
[ ]fdiff_2__t32_fdiff_22017-01-05 20:54 59K 
[ ]fdiff_2__t33_fdiff_22017-01-05 20:54 60K 
[ ]fdiff_2__t34_fdiff_22017-01-05 20:54 60K 
[ ]fdiff_2__t35_fdiff_22017-01-05 20:54 58K 
[ ]fdiff_2__t36_fdiff_22017-01-05 20:54 58K 
[ ]fdiff_2__t37_fdiff_22017-01-05 20:54 68K 
[ ]fdiff_2__t38_fdiff_22017-01-05 20:54 68K 
[ ]fdiff_2__t39_fdiff_22017-01-05 20:54 66K 
[ ]fdiff_2__t40_fdiff_22017-01-05 20:54 66K 
[ ]fdiff_2__t41_fdiff_22016-03-08 13:05 44K 
[ ]fdiff_2__t42_fdiff_22016-03-08 13:05 44K 
[ ]fdiff_2__t43_fdiff_22016-03-08 13:05 44K 
[ ]fdiff_2__t44_fdiff_22016-03-08 13:05 43K 
[ ]fdiff_2__t45_fdiff_22016-03-08 13:05 176K 
[ ]fdiff_2__t46_fdiff_22016-03-08 13:05 185K 
[ ]fdiff_2__t47_fdiff_22016-03-08 13:05 185K 
[ ]fdiff_2__t48_fdiff_22016-03-08 13:05 185K 
[ ]fdiff_2__t49_fdiff_22016-03-08 13:05 191K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80