Index of /~mptp/1147/MPTP2/problems_thf_tls/fdiff_11

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_11__t1_fdiff_112017-01-12 22:17 78K 
[ ]fdiff_11__t2_fdiff_112017-01-12 22:17 78K 
[ ]fdiff_11__t3_fdiff_112017-01-12 22:17 78K 
[ ]fdiff_11__t4_fdiff_112017-01-12 22:17 78K 
[ ]fdiff_11__t5_fdiff_112017-01-12 22:17 93K 
[ ]fdiff_11__t6_fdiff_112017-01-12 22:17 93K 
[ ]fdiff_11__t7_fdiff_112017-01-12 22:17 93K 
[ ]fdiff_11__t8_fdiff_112017-01-12 22:17 93K 
[ ]fdiff_11__t9_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t10_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t11_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t12_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t13_fdiff_112017-01-12 22:17 70K 
[ ]fdiff_11__t14_fdiff_112017-01-12 22:17 70K 
[ ]fdiff_11__t15_fdiff_112017-01-12 22:17 70K 
[ ]fdiff_11__t16_fdiff_112017-01-12 22:17 70K 
[ ]fdiff_11__t17_fdiff_112017-01-12 22:17 74K 
[ ]fdiff_11__t18_fdiff_112017-01-12 22:17 74K 
[ ]fdiff_11__t19_fdiff_112017-01-12 22:17 74K 
[ ]fdiff_11__t20_fdiff_112017-01-12 22:17 74K 
[ ]fdiff_11__t21_fdiff_112017-01-12 22:17 73K 
[ ]fdiff_11__t22_fdiff_112017-01-12 22:17 73K 
[ ]fdiff_11__t23_fdiff_112017-01-12 22:17 73K 
[ ]fdiff_11__t24_fdiff_112017-01-12 22:17 73K 
[ ]fdiff_11__t25_fdiff_112017-01-12 22:17 75K 
[ ]fdiff_11__t26_fdiff_112017-01-12 22:17 76K 
[ ]fdiff_11__t27_fdiff_112017-01-12 22:17 76K 
[ ]fdiff_11__t28_fdiff_112017-01-12 22:17 76K 
[ ]fdiff_11__t29_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t30_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t31_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t32_fdiff_112017-01-12 22:17 79K 
[ ]fdiff_11__t33_fdiff_112017-01-12 22:17 83K 
[ ]fdiff_11__t34_fdiff_112017-01-12 22:17 84K 
[ ]fdiff_11__t35_fdiff_112017-01-12 22:17 84K 
[ ]fdiff_11__t36_fdiff_112017-01-12 22:17 84K 
[ ]fdiff_11__t37_fdiff_112017-01-12 22:17 76K 
[ ]fdiff_11__t38_fdiff_112017-01-12 22:17 128K 
[ ]fdiff_11__t39_fdiff_112017-01-12 22:17 54K 
[ ]fdiff_11__t40_fdiff_112017-01-12 22:17 134K 
[ ]fdiff_11__t41_fdiff_112017-01-12 22:17 54K 
[ ]fdiff_11__t42_fdiff_112017-01-12 22:17 134K 
[ ]fdiff_11__t43_fdiff_112017-01-12 22:17 83K 
[ ]fdiff_11__t44_fdiff_112017-01-12 22:17 137K 
[ ]fdiff_11__t45_fdiff_112017-01-12 22:17 83K 
[ ]fdiff_11__t46_fdiff_112017-01-12 22:17 137K 
[ ]fdiff_11__t47_fdiff_112017-01-12 22:17 83K 
[ ]fdiff_11__t48_fdiff_112017-01-12 22:17 136K 
[ ]fdiff_11__t49_fdiff_112017-01-12 22:17 83K 
[ ]fdiff_11__t50_fdiff_112017-01-12 22:17 136K 
[ ]fdiff_11__t51_fdiff_112017-01-12 22:17 59K 
[ ]fdiff_11__t52_fdiff_112017-01-12 22:17 161K 
[ ]fdiff_11__t53_fdiff_112017-01-12 22:17 99K 
[ ]fdiff_11__t54_fdiff_112017-01-12 22:17 165K 
[ ]fdiff_11__t55_fdiff_112017-01-12 22:17 42K 
[ ]fdiff_11__t56_fdiff_112017-01-12 22:17 133K 
[ ]fdiff_11__t57_fdiff_112017-01-12 22:17 42K 
[ ]fdiff_11__t58_fdiff_112017-01-12 22:17 133K 
[ ]fdiff_11__t59_fdiff_112017-01-12 22:17 42K 
[ ]fdiff_11__t60_fdiff_112017-01-12 22:17 201K 
[ ]fdiff_11__t61_fdiff_112017-01-12 22:17 77K 
[ ]fdiff_11__t62_fdiff_112017-01-12 22:17 102K 
[ ]fdiff_11__t63_fdiff_112017-01-12 22:17 101K 
[ ]fdiff_11__t64_fdiff_112017-01-12 22:17 100K 
[ ]fdiff_11__t65_fdiff_112017-01-12 22:17 172K 
[ ]fdiff_11__t66_fdiff_112017-01-12 22:17 172K 
[ ]fdiff_11__t67_fdiff_112017-01-12 22:17 75K 
[ ]fdiff_11__t68_fdiff_112017-01-12 22:17 260K 
[ ]fdiff_11__t69_fdiff_112017-01-12 22:17 161K 
[ ]fdiff_11__t70_fdiff_112017-01-12 22:17 270K 
[ ]fdiff_11__t71_fdiff_112017-01-12 22:17 208K 
[ ]fdiff_11__t72_fdiff_112017-01-12 22:17 344K 
[ ]fdiff_11__t73_fdiff_112017-01-12 22:17 574K 
[ ]fdiff_11__t74_fdiff_112017-01-12 22:17 583K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80