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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rusub_2__l6_rusub_22017-01-13 00:29 49K 
[ ]rusub_2__l7_rusub_22017-01-13 00:29 53K 
[ ]rusub_2__l8_rusub_22017-01-13 00:29 56K 
[ ]rusub_2__l21_rusub_22017-01-13 00:29 51K 
[ ]rusub_2__l28_rusub_22017-01-13 00:29 48K 
[ ]rusub_2__l30_rusub_22017-01-13 00:29 55K 
[ ]rusub_2__l32_rusub_22017-01-13 00:29 63K 
[ ]rusub_2__l34_rusub_22017-01-13 00:29 54K 
[ ]rusub_2__l36_rusub_22017-01-13 00:29 66K 
[ ]rusub_2__l38_rusub_22017-01-13 00:29 57K 
[ ]rusub_2__l40_rusub_22017-01-13 00:29 69K 
[ ]rusub_2__l49_rusub_22017-01-13 00:29 48K 
[ ]rusub_2__l50_rusub_22017-01-13 00:29 50K 
[ ]rusub_2__l51_rusub_22017-01-13 00:29 107K 
[ ]rusub_2__l53_rusub_22017-01-13 00:29 50K 
[ ]rusub_2__l62_rusub_22017-01-13 00:29 35K 
[ ]rusub_2__l64_rusub_22017-01-13 00:29 35K 
[ ]rusub_2__t1_rusub_22017-01-13 00:28 49K 
[ ]rusub_2__t2_rusub_22017-01-13 00:28 51K 
[ ]rusub_2__t3_rusub_22017-01-13 00:28 51K 
[ ]rusub_2__t4_rusub_22017-01-13 00:28 46K 
[ ]rusub_2__t5_rusub_22017-01-13 00:28 46K 
[ ]rusub_2__t6_rusub_22017-01-13 00:28 50K 
[ ]rusub_2__t7_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t8_rusub_22017-01-13 00:28 53K 
[ ]rusub_2__t9_rusub_22017-01-13 00:28 55K 
[ ]rusub_2__t10_rusub_22017-01-13 00:28 50K 
[ ]rusub_2__t11_rusub_22017-01-13 00:28 55K 
[ ]rusub_2__t12_rusub_22017-01-13 00:28 47K 
[ ]rusub_2__t13_rusub_22017-01-13 00:28 50K 
[ ]rusub_2__t14_rusub_22017-01-13 00:28 50K 
[ ]rusub_2__t15_rusub_22017-01-13 00:28 51K 
[ ]rusub_2__t16_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t17_rusub_22017-01-13 00:28 59K 
[ ]rusub_2__t18_rusub_22017-01-13 00:28 59K 
[ ]rusub_2__t19_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t20_rusub_22017-01-13 00:28 60K 
[ ]rusub_2__t21_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t22_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t23_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t24_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t25_rusub_22017-01-13 00:28 49K 
[ ]rusub_2__t26_rusub_22017-01-13 00:28 49K 
[ ]rusub_2__t27_rusub_22017-01-13 00:28 49K 
[ ]rusub_2__t28_rusub_22017-01-13 00:28 49K 
[ ]rusub_2__t29_rusub_22017-01-13 00:28 51K 
[ ]rusub_2__t30_rusub_22017-01-13 00:28 48K 
[ ]rusub_2__t31_rusub_22017-01-13 00:28 50K 
[ ]rusub_2__t32_rusub_22017-01-13 00:28 59K 
[ ]rusub_2__t33_rusub_22017-01-13 00:28 47K 
[ ]rusub_2__t34_rusub_22017-01-13 00:28 30K 
[ ]rusub_2__t35_rusub_22017-01-13 00:28 30K 
[ ]rusub_2__t36_rusub_22017-01-13 00:28 54K 
[ ]rusub_2__t37_rusub_22017-01-13 00:28 54K 
[ ]rusub_2__t38_rusub_22017-01-13 00:28 27K 
[ ]rusub_2__t39_rusub_22017-01-13 00:28 52K 
[ ]rusub_2__t40_rusub_22017-01-13 00:28 30K 
[ ]rusub_2__t41_rusub_22017-01-13 00:28 51K 
[ ]rusub_2__t42_rusub_22017-01-13 00:28 63K 
[ ]rusub_2__t43_rusub_22017-01-13 00:28 85K 
[ ]rusub_2__t44_rusub_22017-01-13 00:28 49K 
[ ]rusub_2__t45_rusub_22017-01-13 00:28 54K 
[ ]rusub_2__t46_rusub_22017-01-13 00:28 72K 
[ ]rusub_2__t47_rusub_22017-01-13 00:28 44K 
[ ]rusub_2__t48_rusub_22017-01-13 00:28 44K 
[ ]rusub_2__t49_rusub_22017-01-13 00:28 45K 
[ ]rusub_2__t50_rusub_22017-01-13 00:28 45K 
[ ]rusub_2__t51_rusub_22017-01-13 00:28 45K 
[ ]rusub_2__t52_rusub_22017-01-13 00:29 42K 
[ ]rusub_2__t53_rusub_22017-01-13 00:29 42K 
[ ]rusub_2__t54_rusub_22017-01-13 00:29 80K 
[ ]rusub_2__t55_rusub_22017-01-13 00:29 70K 
[ ]rusub_2__t56_rusub_22017-01-13 00:29 71K 
[ ]rusub_2__t57_rusub_22017-01-13 00:29 51K 
[ ]rusub_2__t58_rusub_22017-01-13 00:29 78K 
[ ]rusub_2__t59_rusub_22017-01-13 00:29 93K 
[ ]rusub_2__t60_rusub_22017-01-13 00:29 82K 
[ ]rusub_2__t61_rusub_22017-01-13 00:28 45K 
[ ]rusub_2__t62_rusub_22017-01-13 00:28 33K 
[ ]rusub_2__t63_rusub_22017-01-13 00:28 35K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80