Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/fdiff_10

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fdiff_10__t1_fdiff_102017-01-13 00:41 82K 
[ ]fdiff_10__t2_fdiff_102017-01-13 00:41 65K 
[ ]fdiff_10__t3_fdiff_102017-01-13 00:41 81K 
[ ]fdiff_10__t4_fdiff_102017-01-13 00:41 82K 
[ ]fdiff_10__t5_fdiff_102017-01-13 00:41 85K 
[ ]fdiff_10__t6_fdiff_102017-01-13 00:41 87K 
[ ]fdiff_10__t7_fdiff_102017-01-13 00:41 52K 
[ ]fdiff_10__t8_fdiff_102017-01-13 00:41 65K 
[ ]fdiff_10__t9_fdiff_102017-01-13 00:41 65K 
[ ]fdiff_10__t10_fdiff_102017-01-13 00:41 59K 
[ ]fdiff_10__t11_fdiff_102017-01-13 00:41 94K 
[ ]fdiff_10__t12_fdiff_102017-01-13 00:41 77K 
[ ]fdiff_10__t13_fdiff_102017-01-13 00:41 87K 
[ ]fdiff_10__t14_fdiff_102017-01-13 00:41 94K 
[ ]fdiff_10__t15_fdiff_102017-01-13 00:41 69K 
[ ]fdiff_10__t16_fdiff_102017-01-13 00:41 76K 
[ ]fdiff_10__t17_fdiff_102017-01-13 00:41 99K 
[ ]fdiff_10__t18_fdiff_102017-01-13 00:41 76K 
[ ]fdiff_10__t19_fdiff_102017-01-13 00:41 71K 
[ ]fdiff_10__t20_fdiff_102017-01-13 00:41 49K 
[ ]fdiff_10__t21_fdiff_102017-01-13 00:41 66K 
[ ]fdiff_10__t22_fdiff_102017-01-13 00:41 82K 
[ ]fdiff_10__t23_fdiff_102017-01-13 00:41 82K 
[ ]fdiff_10__t24_fdiff_102017-01-13 00:41 82K 
[ ]fdiff_10__t25_fdiff_102017-01-13 00:41 91K 
[ ]fdiff_10__t26_fdiff_102017-01-13 00:41 92K 
[ ]fdiff_10__t27_fdiff_102017-01-13 00:41 90K 
[ ]fdiff_10__t28_fdiff_102017-01-13 00:41 90K 
[ ]fdiff_10__t29_fdiff_102017-01-13 00:41 105K 
[ ]fdiff_10__t30_fdiff_102017-01-13 00:41 104K 
[ ]fdiff_10__t31_fdiff_102017-01-13 00:41 144K 
[ ]fdiff_10__t32_fdiff_102017-01-13 00:41 86K 
[ ]fdiff_10__t33_fdiff_102017-01-13 00:41 140K 
[ ]fdiff_10__t34_fdiff_102017-01-13 00:41 213K 
[ ]fdiff_10__t35_fdiff_102017-01-13 00:41 92K 
[ ]fdiff_10__t36_fdiff_102017-01-13 00:41 85K 
[ ]fdiff_10__t37_fdiff_102017-01-13 00:41 85K 
[ ]fdiff_10__t38_fdiff_102017-01-13 00:41 93K 
[ ]fdiff_10__t39_fdiff_102017-01-13 00:41 92K 
[ ]fdiff_10__t40_fdiff_102017-01-13 00:41 85K 
[ ]fdiff_10__t41_fdiff_102017-01-13 00:41 115K 
[ ]fdiff_10__t42_fdiff_102017-01-13 00:41 119K 
[ ]fdiff_10__t43_fdiff_102017-01-13 00:41 65K 
[ ]fdiff_10__t44_fdiff_102017-01-13 00:41 81K 
[ ]fdiff_10__t45_fdiff_102017-01-13 00:41 81K 
[ ]fdiff_10__t46_fdiff_102017-01-13 00:41 81K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80