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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_9__l16_fdiff_92017-01-05 20:54 19K 
[ ]fdiff_9__t1_fdiff_92016-03-08 13:05 64K 
[ ]fdiff_9__t2_fdiff_92016-03-08 13:05 64K 
[ ]fdiff_9__t3_fdiff_92016-03-08 13:05 24K 
[ ]fdiff_9__t4_fdiff_92016-03-08 13:05 50K 
[ ]fdiff_9__t5_fdiff_92016-03-08 13:05 65K 
[ ]fdiff_9__t6_fdiff_92016-03-08 13:05 58K 
[ ]fdiff_9__t7_fdiff_92016-03-08 13:05 74K 
[ ]fdiff_9__t8_fdiff_92016-03-08 13:05 82K 
[ ]fdiff_9__t9_fdiff_92016-03-08 13:05 82K 
[ ]fdiff_9__t10_fdiff_92016-03-08 13:05 88K 
[ ]fdiff_9__t11_fdiff_92016-03-08 13:05 89K 
[ ]fdiff_9__t12_fdiff_92016-03-08 13:05 56K 
[ ]fdiff_9__t13_fdiff_92016-03-08 13:05 72K 
[ ]fdiff_9__t14_fdiff_92017-01-05 20:54 67K 
[ ]fdiff_9__t15_fdiff_92017-01-05 20:54 89K 
[ ]fdiff_9__t16_fdiff_92016-03-08 13:05 56K 
[ ]fdiff_9__t17_fdiff_92016-03-08 13:05 72K 
[ ]fdiff_9__t18_fdiff_92017-01-05 20:54 72K 
[ ]fdiff_9__t19_fdiff_92017-01-05 20:54 94K 
[ ]fdiff_9__t20_fdiff_92016-03-08 13:05 159K 
[ ]fdiff_9__t21_fdiff_92016-03-08 13:05 159K 
[ ]fdiff_9__t22_fdiff_92016-03-08 13:05 92K 
[ ]fdiff_9__t23_fdiff_92016-03-08 13:05 96K 
[ ]fdiff_9__t24_fdiff_92016-03-08 13:05 67K 
[ ]fdiff_9__t25_fdiff_92016-03-08 13:05 83K 
[ ]fdiff_9__t26_fdiff_92016-03-08 13:05 100K 
[ ]fdiff_9__t27_fdiff_92016-03-08 13:05 101K 
[ ]fdiff_9__t28_fdiff_92016-03-08 13:05 68K 
[ ]fdiff_9__t29_fdiff_92016-03-08 13:05 84K 
[ ]fdiff_9__t30_fdiff_92017-01-05 20:54 76K 
[ ]fdiff_9__t31_fdiff_92017-01-05 20:54 99K 
[ ]fdiff_9__t32_fdiff_92016-03-08 13:05 87K 
[ ]fdiff_9__t33_fdiff_92016-03-08 13:05 87K 
[ ]fdiff_9__t34_fdiff_92016-03-08 13:05 56K 
[ ]fdiff_9__t35_fdiff_92016-03-08 13:05 72K 
[ ]fdiff_9__t36_fdiff_92016-03-08 13:05 72K 
[ ]fdiff_9__t37_fdiff_92016-03-08 13:05 72K 
[ ]fdiff_9__t38_fdiff_92016-03-08 13:05 59K 
[ ]fdiff_9__t39_fdiff_92016-03-08 13:05 75K 
[ ]fdiff_9__t40_fdiff_92016-03-08 13:05 75K 
[ ]fdiff_9__t41_fdiff_92016-03-08 13:05 75K 
[ ]fdiff_9__t42_fdiff_92016-03-08 13:05 69K 
[ ]fdiff_9__t43_fdiff_92016-03-08 13:05 84K 
[ ]fdiff_9__t44_fdiff_92016-03-08 13:05 85K 
[ ]fdiff_9__t45_fdiff_92016-03-08 13:05 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80