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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_11__t1_fdiff_112016-03-08 13:05 78K 
[ ]fdiff_11__t2_fdiff_112016-03-08 13:05 78K 
[ ]fdiff_11__t3_fdiff_112016-03-08 13:05 78K 
[ ]fdiff_11__t4_fdiff_112016-03-08 13:05 78K 
[ ]fdiff_11__t5_fdiff_112016-03-08 13:05 93K 
[ ]fdiff_11__t6_fdiff_112016-03-08 13:05 93K 
[ ]fdiff_11__t7_fdiff_112016-03-08 13:05 93K 
[ ]fdiff_11__t8_fdiff_112016-03-08 13:05 93K 
[ ]fdiff_11__t9_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t10_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t11_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t12_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t13_fdiff_112016-03-08 13:05 70K 
[ ]fdiff_11__t14_fdiff_112016-03-08 13:05 70K 
[ ]fdiff_11__t15_fdiff_112016-03-08 13:05 70K 
[ ]fdiff_11__t16_fdiff_112016-03-08 13:05 70K 
[ ]fdiff_11__t17_fdiff_112016-03-08 13:05 74K 
[ ]fdiff_11__t18_fdiff_112016-03-08 13:05 74K 
[ ]fdiff_11__t19_fdiff_112016-03-08 13:05 74K 
[ ]fdiff_11__t20_fdiff_112016-03-08 13:05 74K 
[ ]fdiff_11__t21_fdiff_112016-03-08 13:05 73K 
[ ]fdiff_11__t22_fdiff_112016-03-08 13:05 73K 
[ ]fdiff_11__t23_fdiff_112016-03-08 13:05 73K 
[ ]fdiff_11__t24_fdiff_112016-03-08 13:05 73K 
[ ]fdiff_11__t25_fdiff_112016-03-08 13:05 75K 
[ ]fdiff_11__t26_fdiff_112016-03-08 13:05 76K 
[ ]fdiff_11__t27_fdiff_112016-03-08 13:05 76K 
[ ]fdiff_11__t28_fdiff_112016-03-08 13:05 76K 
[ ]fdiff_11__t29_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t30_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t31_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t32_fdiff_112016-03-08 13:05 79K 
[ ]fdiff_11__t33_fdiff_112016-03-08 13:05 83K 
[ ]fdiff_11__t34_fdiff_112016-03-08 13:05 84K 
[ ]fdiff_11__t35_fdiff_112016-03-08 13:05 84K 
[ ]fdiff_11__t36_fdiff_112016-03-08 13:05 84K 
[ ]fdiff_11__t37_fdiff_112016-03-08 13:05 76K 
[ ]fdiff_11__t38_fdiff_112016-03-08 13:05 128K 
[ ]fdiff_11__t39_fdiff_112016-03-08 13:05 54K 
[ ]fdiff_11__t40_fdiff_112016-03-08 13:05 134K 
[ ]fdiff_11__t41_fdiff_112016-03-08 13:05 54K 
[ ]fdiff_11__t42_fdiff_112016-03-08 13:05 134K 
[ ]fdiff_11__t43_fdiff_112016-03-08 13:05 83K 
[ ]fdiff_11__t44_fdiff_112016-03-08 13:05 137K 
[ ]fdiff_11__t45_fdiff_112016-03-08 13:05 83K 
[ ]fdiff_11__t46_fdiff_112016-03-08 13:05 137K 
[ ]fdiff_11__t47_fdiff_112016-03-08 13:05 83K 
[ ]fdiff_11__t48_fdiff_112016-03-08 13:05 136K 
[ ]fdiff_11__t49_fdiff_112016-03-08 13:05 83K 
[ ]fdiff_11__t50_fdiff_112016-03-08 13:05 136K 
[ ]fdiff_11__t51_fdiff_112016-03-08 13:05 59K 
[ ]fdiff_11__t52_fdiff_112016-03-08 13:05 161K 
[ ]fdiff_11__t53_fdiff_112016-03-08 13:05 99K 
[ ]fdiff_11__t54_fdiff_112016-03-08 13:05 165K 
[ ]fdiff_11__t55_fdiff_112016-03-08 13:05 42K 
[ ]fdiff_11__t56_fdiff_112016-03-08 13:05 133K 
[ ]fdiff_11__t57_fdiff_112016-03-08 13:05 42K 
[ ]fdiff_11__t58_fdiff_112016-03-08 13:05 133K 
[ ]fdiff_11__t59_fdiff_112016-03-08 13:05 42K 
[ ]fdiff_11__t60_fdiff_112016-03-08 13:05 201K 
[ ]fdiff_11__t61_fdiff_112016-03-08 13:05 77K 
[ ]fdiff_11__t62_fdiff_112016-03-08 13:05 102K 
[ ]fdiff_11__t63_fdiff_112016-03-08 13:05 101K 
[ ]fdiff_11__t64_fdiff_112016-03-08 13:05 100K 
[ ]fdiff_11__t65_fdiff_112016-03-08 13:05 172K 
[ ]fdiff_11__t66_fdiff_112016-03-08 13:05 172K 
[ ]fdiff_11__t67_fdiff_112016-03-08 13:05 75K 
[ ]fdiff_11__t68_fdiff_112016-03-08 13:05 260K 
[ ]fdiff_11__t69_fdiff_112016-03-08 13:05 161K 
[ ]fdiff_11__t70_fdiff_112016-03-08 13:05 270K 
[ ]fdiff_11__t71_fdiff_112016-03-08 13:05 208K 
[ ]fdiff_11__t72_fdiff_112016-03-08 13:05 344K 
[ ]fdiff_11__t73_fdiff_112016-03-08 13:05 574K 
[ ]fdiff_11__t74_fdiff_112016-03-08 13:05 583K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80