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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_1__l15_rusub_12017-01-13 00:46 70K 
[ ]rusub_1__l41_rusub_12017-01-13 00:46 70K 
[ ]rusub_1__l47_rusub_12017-01-13 00:46 78K 
[ ]rusub_1__t1_rusub_12017-01-13 00:46 62K 
[ ]rusub_1__t2_rusub_12017-01-13 00:46 61K 
[ ]rusub_1__t3_rusub_12017-01-13 00:46 47K 
[ ]rusub_1__t4_rusub_12017-01-13 00:46 61K 
[ ]rusub_1__t5_rusub_12017-01-13 00:46 61K 
[ ]rusub_1__t6_rusub_12017-01-13 00:46 74K 
[ ]rusub_1__t7_rusub_12017-01-13 00:46 72K 
[ ]rusub_1__t8_rusub_12017-01-13 00:46 77K 
[ ]rusub_1__t9_rusub_12017-01-13 00:46 67K 
[ ]rusub_1__t10_rusub_12017-01-13 00:46 69K 
[ ]rusub_1__t11_rusub_12017-01-13 00:46 61K 
[ ]rusub_1__t12_rusub_12017-01-13 00:46 62K 
[ ]rusub_1__t13_rusub_12017-01-13 00:46 48K 
[ ]rusub_1__t14_rusub_12017-01-13 00:46 77K 
[ ]rusub_1__t15_rusub_12017-01-13 00:46 77K 
[ ]rusub_1__t16_rusub_12017-01-13 00:46 67K 
[ ]rusub_1__t17_rusub_12017-01-13 00:46 68K 
[ ]rusub_1__t18_rusub_12017-01-13 00:46 144K 
[ ]rusub_1__t19_rusub_12017-01-13 00:46 63K 
[ ]rusub_1__t20_rusub_12017-01-13 00:46 71K 
[ ]rusub_1__t21_rusub_12017-01-13 00:46 64K 
[ ]rusub_1__t22_rusub_12017-01-13 00:46 62K 
[ ]rusub_1__t23_rusub_12017-01-13 00:46 63K 
[ ]rusub_1__t24_rusub_12017-01-13 00:46 64K 
[ ]rusub_1__t25_rusub_12017-01-13 00:46 70K 
[ ]rusub_1__t26_rusub_12017-01-13 00:46 63K 
[ ]rusub_1__t27_rusub_12017-01-13 00:46 63K 
[ ]rusub_1__t28_rusub_12017-01-13 00:46 47K 
[ ]rusub_1__t29_rusub_12017-01-13 00:46 102K 
[ ]rusub_1__t30_rusub_12017-01-13 00:46 76K 
[ ]rusub_1__t31_rusub_12017-01-13 00:46 63K 
[ ]rusub_1__t32_rusub_12017-01-13 00:46 64K 
[ ]rusub_1__t33_rusub_12017-01-13 00:46 74K 
[ ]rusub_1__t34_rusub_12017-01-13 00:46 63K 
[ ]rusub_1__t35_rusub_12017-01-13 00:46 63K 
[ ]rusub_1__t36_rusub_12017-01-13 00:46 72K 
[ ]rusub_1__t37_rusub_12017-01-13 00:46 70K 
[ ]rusub_1__t38_rusub_12017-01-13 00:46 69K 
[ ]rusub_1__t39_rusub_12017-01-13 00:46 81K 
[ ]rusub_1__t40_rusub_12017-01-13 00:46 78K 
[ ]rusub_1__t41_rusub_12017-01-13 00:46 70K 
[ ]rusub_1__t42_rusub_12017-01-13 00:46 68K 
[ ]rusub_1__t43_rusub_12017-01-13 00:46 84K 
[ ]rusub_1__t44_rusub_12017-01-13 00:46 82K 
[ ]rusub_1__t45_rusub_12017-01-13 00:46 75K 
[ ]rusub_1__t46_rusub_12017-01-13 00:46 78K 
[ ]rusub_1__t47_rusub_12017-01-13 00:46 71K 
[ ]rusub_1__t48_rusub_12017-01-13 00:46 76K 
[ ]rusub_1__t49_rusub_12017-01-13 00:46 98K 
[ ]rusub_1__t50_rusub_12017-01-13 00:46 75K 
[ ]rusub_1__t51_rusub_12017-01-13 00:46 70K 
[ ]rusub_1__t52_rusub_12017-01-13 00:46 105K 
[ ]rusub_1__t53_rusub_12017-01-13 00:46 84K 
[ ]rusub_1__t54_rusub_12017-01-13 00:46 75K 
[ ]rusub_1__t55_rusub_12017-01-13 00:46 68K 
[ ]rusub_1__t56_rusub_12017-01-13 00:46 71K 
[ ]rusub_1__t57_rusub_12017-01-13 00:46 67K 
[ ]rusub_1__t58_rusub_12017-01-13 00:46 70K 
[ ]rusub_1__t59_rusub_12017-01-13 00:46 78K 
[ ]rusub_1__t60_rusub_12017-01-13 00:46 75K 
[ ]rusub_1__t61_rusub_12017-01-13 00:46 76K 
[ ]rusub_1__t62_rusub_12017-01-13 00:46 85K 
[ ]rusub_1__t63_rusub_12017-01-13 00:46 91K 
[ ]rusub_1__t64_rusub_12017-01-13 00:46 76K 
[ ]rusub_1__t65_rusub_12017-01-13 00:46 80K 
[ ]rusub_1__t66_rusub_12017-01-13 00:46 81K 
[ ]rusub_1__t67_rusub_12017-01-13 00:46 81K 
[ ]rusub_1__t68_rusub_12017-01-13 00:46 72K 
[ ]rusub_1__t69_rusub_12017-01-13 00:46 81K 
[ ]rusub_1__t70_rusub_12017-01-13 00:46 81K 
[ ]rusub_1__t71_rusub_12017-01-13 00:46 72K 
[ ]rusub_1__t72_rusub_12017-01-13 00:46 72K 
[ ]rusub_1__t73_rusub_12017-01-13 00:46 71K 
[ ]rusub_1__t74_rusub_12017-01-13 00:46 73K 
[ ]rusub_1__t75_rusub_12017-01-13 00:46 73K 
[ ]rusub_1__t76_rusub_12017-01-13 00:46 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80