Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/fdiff_11

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_11__t1_fdiff_112017-01-13 19:05 80K 
[ ]fdiff_11__t2_fdiff_112017-01-13 19:05 80K 
[ ]fdiff_11__t3_fdiff_112017-01-13 19:05 80K 
[ ]fdiff_11__t4_fdiff_112017-01-13 19:05 80K 
[ ]fdiff_11__t5_fdiff_112017-01-13 19:05 95K 
[ ]fdiff_11__t6_fdiff_112017-01-13 19:05 95K 
[ ]fdiff_11__t7_fdiff_112017-01-13 19:05 95K 
[ ]fdiff_11__t8_fdiff_112017-01-13 19:05 95K 
[ ]fdiff_11__t9_fdiff_112017-01-13 19:05 81K 
[ ]fdiff_11__t10_fdiff_112017-01-13 19:05 81K 
[ ]fdiff_11__t11_fdiff_112017-01-13 19:05 81K 
[ ]fdiff_11__t12_fdiff_112017-01-13 19:05 81K 
[ ]fdiff_11__t13_fdiff_112017-01-13 19:05 71K 
[ ]fdiff_11__t14_fdiff_112017-01-13 19:05 71K 
[ ]fdiff_11__t15_fdiff_112017-01-13 19:05 71K 
[ ]fdiff_11__t16_fdiff_112017-01-13 19:05 71K 
[ ]fdiff_11__t17_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t18_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t19_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t20_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t21_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t22_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t23_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t24_fdiff_112017-01-13 19:05 75K 
[ ]fdiff_11__t25_fdiff_112017-01-13 19:05 77K 
[ ]fdiff_11__t26_fdiff_112017-01-13 19:05 78K 
[ ]fdiff_11__t27_fdiff_112017-01-13 19:05 77K 
[ ]fdiff_11__t28_fdiff_112017-01-13 19:05 78K 
[ ]fdiff_11__t29_fdiff_112017-01-13 19:05 80K 
[ ]fdiff_11__t30_fdiff_112017-01-13 19:05 81K 
[ ]fdiff_11__t31_fdiff_112017-01-13 19:05 80K 
[ ]fdiff_11__t32_fdiff_112017-01-13 19:05 81K 
[ ]fdiff_11__t33_fdiff_112017-01-13 19:05 85K 
[ ]fdiff_11__t34_fdiff_112017-01-13 19:05 86K 
[ ]fdiff_11__t35_fdiff_112017-01-13 19:05 85K 
[ ]fdiff_11__t36_fdiff_112017-01-13 19:05 86K 
[ ]fdiff_11__t37_fdiff_112017-01-13 19:05 78K 
[ ]fdiff_11__t38_fdiff_112017-01-13 19:05 134K 
[ ]fdiff_11__t39_fdiff_112017-01-13 19:05 54K 
[ ]fdiff_11__t40_fdiff_112017-01-13 19:05 140K 
[ ]fdiff_11__t41_fdiff_112017-01-13 19:05 54K 
[ ]fdiff_11__t42_fdiff_112017-01-13 19:05 140K 
[ ]fdiff_11__t43_fdiff_112017-01-13 19:05 85K 
[ ]fdiff_11__t44_fdiff_112017-01-13 19:05 143K 
[ ]fdiff_11__t45_fdiff_112017-01-13 19:05 85K 
[ ]fdiff_11__t46_fdiff_112017-01-13 19:05 143K 
[ ]fdiff_11__t47_fdiff_112017-01-13 19:05 85K 
[ ]fdiff_11__t48_fdiff_112017-01-13 19:05 142K 
[ ]fdiff_11__t49_fdiff_112017-01-13 19:05 85K 
[ ]fdiff_11__t50_fdiff_112017-01-13 19:05 143K 
[ ]fdiff_11__t51_fdiff_112017-01-13 19:06 59K 
[ ]fdiff_11__t52_fdiff_112017-01-13 19:06 168K 
[ ]fdiff_11__t53_fdiff_112017-01-13 19:06 101K 
[ ]fdiff_11__t54_fdiff_112017-01-13 19:06 172K 
[ ]fdiff_11__t55_fdiff_112017-01-13 19:06 42K 
[ ]fdiff_11__t56_fdiff_112017-01-13 19:06 139K 
[ ]fdiff_11__t57_fdiff_112017-01-13 19:06 42K 
[ ]fdiff_11__t58_fdiff_112017-01-13 19:06 139K 
[ ]fdiff_11__t59_fdiff_112017-01-13 19:06 42K 
[ ]fdiff_11__t60_fdiff_112017-01-13 19:06 213K 
[ ]fdiff_11__t61_fdiff_112017-01-13 19:06 78K 
[ ]fdiff_11__t62_fdiff_112017-01-13 19:06 104K 
[ ]fdiff_11__t63_fdiff_112017-01-13 19:06 103K 
[ ]fdiff_11__t64_fdiff_112017-01-13 19:06 102K 
[ ]fdiff_11__t65_fdiff_112017-01-13 19:06 179K 
[ ]fdiff_11__t66_fdiff_112017-01-13 19:06 179K 
[ ]fdiff_11__t67_fdiff_112017-01-13 19:06 77K 
[ ]fdiff_11__t68_fdiff_112017-01-13 19:06 275K 
[ ]fdiff_11__t69_fdiff_112017-01-13 19:06 168K 
[ ]fdiff_11__t70_fdiff_112017-01-13 19:06 285K 
[ ]fdiff_11__t71_fdiff_112017-01-13 19:06 220K 
[ ]fdiff_11__t72_fdiff_112017-01-13 19:06 367K 
[ ]fdiff_11__t73_fdiff_112017-01-13 19:06 616K 
[ ]fdiff_11__t74_fdiff_112017-01-13 19:06 625K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80