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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]sf_mastr__t1_sf_mastr2017-01-13 00:27 131K 
[ ]sf_mastr__t2_sf_mastr2017-01-13 00:27 131K 
[ ]sf_mastr__t3_sf_mastr2017-01-13 00:27 131K 
[ ]sf_mastr__t4_sf_mastr2017-01-13 00:27 132K 
[ ]sf_mastr__t5_sf_mastr2017-01-13 00:27 132K 
[ ]sf_mastr__t6_sf_mastr2017-01-13 00:27 132K 
[ ]sf_mastr__t7_sf_mastr2017-01-13 00:27 135K 
[ ]sf_mastr__t8_sf_mastr2017-01-13 00:27 135K 
[ ]sf_mastr__t9_sf_mastr2017-01-13 00:27 128K 
[ ]sf_mastr__t10_sf_mastr2017-01-13 00:27 128K 
[ ]sf_mastr__t11_sf_mastr2017-01-13 00:27 126K 
[ ]sf_mastr__t12_sf_mastr2017-01-13 00:27 126K 
[ ]sf_mastr__t13_sf_mastr2017-01-13 00:27 179K 
[ ]sf_mastr__t14_sf_mastr2017-01-13 00:27 179K 
[ ]sf_mastr__t15_sf_mastr2017-01-13 00:27 184K 
[ ]sf_mastr__t16_sf_mastr2017-01-13 00:27 176K 
[ ]sf_mastr__t17_sf_mastr2017-01-13 00:27 177K 
[ ]sf_mastr__t18_sf_mastr2017-01-13 00:27 176K 
[ ]sf_mastr__t19_sf_mastr2017-01-13 00:28 127K 
[ ]sf_mastr__t20_sf_mastr2017-01-13 00:28 140K 
[ ]sf_mastr__t21_sf_mastr2017-01-13 00:28 141K 
[ ]sf_mastr__t22_sf_mastr2017-01-13 00:28 152K 
[ ]sf_mastr__t23_sf_mastr2017-01-13 00:28 220K 
[ ]sf_mastr__t24_sf_mastr2017-01-13 00:28 140K 
[ ]sf_mastr__t25_sf_mastr2017-01-13 00:28 127K 
[ ]sf_mastr__t26_sf_mastr2017-01-13 00:28 154K 
[ ]sf_mastr__t27_sf_mastr2017-01-13 00:28 180K 
[ ]sf_mastr__t28_sf_mastr2017-01-13 00:28 158K 
[ ]sf_mastr__t29_sf_mastr2017-01-13 00:28 179K 
[ ]sf_mastr__t30_sf_mastr2017-01-13 00:28 179K 
[ ]sf_mastr__t31_sf_mastr2017-01-13 00:28 180K 
[ ]sf_mastr__t32_sf_mastr2017-01-13 00:28 183K 
[ ]sf_mastr__t33_sf_mastr2017-01-13 00:28 147K 
[ ]sf_mastr__t34_sf_mastr2017-01-13 00:28 147K 
[ ]sf_mastr__t35_sf_mastr2017-01-13 00:28 128K 
[ ]sf_mastr__t36_sf_mastr2017-01-13 00:28 141K 
[ ]sf_mastr__t37_sf_mastr2017-01-13 00:28 142K 
[ ]sf_mastr__t38_sf_mastr2017-01-13 00:28 152K 
[ ]sf_mastr__t39_sf_mastr2017-01-13 00:28 217K 
[ ]sf_mastr__t40_sf_mastr2017-01-13 00:28 140K 
[ ]sf_mastr__t41_sf_mastr2017-01-13 00:28 128K 
[ ]sf_mastr__t42_sf_mastr2017-01-13 00:28 172K 
[ ]sf_mastr__t43_sf_mastr2017-01-13 00:28 180K 
[ ]sf_mastr__t44_sf_mastr2017-01-13 00:28 186K 
[ ]sf_mastr__t45_sf_mastr2017-01-13 00:28 180K 
[ ]sf_mastr__t46_sf_mastr2017-01-13 00:28 180K 
[ ]sf_mastr__t47_sf_mastr2017-01-13 00:28 180K 
[ ]sf_mastr__t48_sf_mastr2017-01-13 00:27 112K 
[ ]sf_mastr__t49_sf_mastr2017-01-13 00:27 121K 
[ ]sf_mastr__t50_sf_mastr2017-01-13 00:28 132K 
[ ]sf_mastr__t51_sf_mastr2017-01-13 00:28 142K 
[ ]sf_mastr__t52_sf_mastr2017-01-13 00:28 132K 
[ ]sf_mastr__t53_sf_mastr2017-01-13 00:28 140K 
[ ]sf_mastr__t54_sf_mastr2017-01-13 00:28 137K 
[ ]sf_mastr__t55_sf_mastr2017-01-13 00:27 112K 
[ ]sf_mastr__t56_sf_mastr2017-01-13 00:27 157K 
[ ]sf_mastr__t57_sf_mastr2017-01-13 00:28 115K 
[ ]sf_mastr__t58_sf_mastr2017-01-13 00:28 137K 
[ ]sf_mastr__t59_sf_mastr2017-01-13 00:28 135K 
[ ]sf_mastr__t60_sf_mastr2017-01-13 00:28 304K 
[ ]sf_mastr__t61_sf_mastr2017-01-13 00:28 156K 
[ ]sf_mastr__t62_sf_mastr2017-01-13 00:28 297K 
[ ]sf_mastr__t63_sf_mastr2017-01-13 00:28 162K 
[ ]sf_mastr__t64_sf_mastr2017-01-13 00:28 1.0M 
[ ]sf_mastr__t65_sf_mastr2017-01-13 00:28 279K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80