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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]oppcat_1__l27_oppcat_12017-01-13 00:37 60K 
[ ]oppcat_1__l29_oppcat_12017-01-13 00:37 45K 
[ ]oppcat_1__l31_oppcat_12017-01-13 00:37 49K 
[ ]oppcat_1__l39_oppcat_12017-01-13 00:37 57K 
[ ]oppcat_1__l42_oppcat_12017-01-13 00:37 59K 
[ ]oppcat_1__l43_oppcat_12017-01-13 00:37 42K 
[ ]oppcat_1__l44_oppcat_12017-01-13 00:37 51K 
[ ]oppcat_1__l45_oppcat_12017-01-13 00:37 50K 
[ ]oppcat_1__l46_oppcat_12017-01-13 00:37 57K 
[ ]oppcat_1__l54_oppcat_12017-01-13 00:37 57K 
[ ]oppcat_1__l57_oppcat_12017-01-13 00:37 59K 
[ ]oppcat_1__l58_oppcat_12017-01-13 00:37 52K 
[ ]oppcat_1__l63_oppcat_12017-01-13 00:37 52K 
[ ]oppcat_1__l66_oppcat_12017-01-13 00:37 57K 
[ ]oppcat_1__l68_oppcat_12017-01-13 00:37 52K 
[ ]oppcat_1__l71_oppcat_12017-01-13 00:37 57K 
[ ]oppcat_1__l73_oppcat_12017-01-13 00:37 44K 
[ ]oppcat_1__l80_oppcat_12017-01-13 00:37 48K 
[ ]oppcat_1__l84_oppcat_12017-01-13 00:37 53K 
[ ]oppcat_1__l85_oppcat_12017-01-13 00:37 55K 
[ ]oppcat_1__l87_oppcat_12017-01-13 00:37 59K 
[ ]oppcat_1__l88_oppcat_12017-01-13 00:37 52K 
[ ]oppcat_1__l90_oppcat_12017-01-13 00:37 53K 
[ ]oppcat_1__l91_oppcat_12017-01-13 00:37 55K 
[ ]oppcat_1__l93_oppcat_12017-01-13 00:37 59K 
[ ]oppcat_1__l94_oppcat_12017-01-13 00:37 52K 
[ ]oppcat_1__t2_oppcat_12017-01-13 00:37 32K 
[ ]oppcat_1__t3_oppcat_12017-01-13 00:37 34K 
[ ]oppcat_1__t4_oppcat_12017-01-13 00:37 34K 
[ ]oppcat_1__t5_oppcat_12017-01-13 00:37 40K 
[ ]oppcat_1__t6_oppcat_12017-01-13 00:37 42K 
[ ]oppcat_1__t7_oppcat_12017-01-13 00:37 43K 
[ ]oppcat_1__t8_oppcat_12017-01-13 00:37 46K 
[ ]oppcat_1__t9_oppcat_12017-01-13 00:37 35K 
[ ]oppcat_1__t10_oppcat_12017-01-13 00:37 43K 
[ ]oppcat_1__t11_oppcat_12017-01-13 00:37 40K 
[ ]oppcat_1__t12_oppcat_12017-01-13 00:37 43K 
[ ]oppcat_1__t13_oppcat_12017-01-13 00:37 45K 
[ ]oppcat_1__t15_oppcat_12017-01-13 00:37 47K 
[ ]oppcat_1__t16_oppcat_12017-01-13 00:37 51K 
[ ]oppcat_1__t17_oppcat_12017-01-13 00:37 46K 
[ ]oppcat_1__t18_oppcat_12017-01-13 00:37 44K 
[ ]oppcat_1__t19_oppcat_12017-01-13 00:37 50K 
[ ]oppcat_1__t20_oppcat_12017-01-13 00:37 46K 
[ ]oppcat_1__t21_oppcat_12017-01-13 00:37 39K 
[ ]oppcat_1__t22_oppcat_12017-01-13 00:37 56K 
[ ]oppcat_1__t23_oppcat_12017-01-13 00:37 56K 
[ ]oppcat_1__t24_oppcat_12017-01-13 00:37 54K 
[ ]oppcat_1__t25_oppcat_12017-01-13 00:37 54K 
[ ]oppcat_1__t26_oppcat_12017-01-13 00:37 54K 
[ ]oppcat_1__t27_oppcat_12017-01-13 00:37 40K 
[ ]oppcat_1__t28_oppcat_12017-01-13 00:37 46K 
[ ]oppcat_1__t29_oppcat_12017-01-13 00:37 44K 
[ ]oppcat_1__t30_oppcat_12017-01-13 00:37 41K 
[ ]oppcat_1__t31_oppcat_12017-01-13 00:37 41K 
[ ]oppcat_1__t32_oppcat_12017-01-13 00:37 41K 
[ ]oppcat_1__t33_oppcat_12017-01-13 00:37 34K 
[ ]oppcat_1__t34_oppcat_12017-01-13 00:37 58K 
[ ]oppcat_1__t35_oppcat_12017-01-13 00:37 50K 
[ ]oppcat_1__t36_oppcat_12017-01-13 00:37 46K 
[ ]oppcat_1__t37_oppcat_12017-01-13 00:37 44K 
[ ]oppcat_1__t38_oppcat_12017-01-13 00:37 70K 
[ ]oppcat_1__t39_oppcat_12017-01-13 00:37 40K 
[ ]oppcat_1__t40_oppcat_12017-01-13 00:37 48K 
[ ]oppcat_1__t41_oppcat_12017-01-13 00:37 44K 
[ ]oppcat_1__t42_oppcat_12017-01-13 00:37 46K 
[ ]oppcat_1__t43_oppcat_12017-01-13 00:37 48K 
[ ]oppcat_1__t44_oppcat_12017-01-13 00:37 44K 
[ ]oppcat_1__t45_oppcat_12017-01-13 00:37 46K 
[ ]oppcat_1__t46_oppcat_12017-01-13 00:37 42K 
[ ]oppcat_1__t47_oppcat_12017-01-13 00:37 48K 
[ ]oppcat_1__t48_oppcat_12017-01-13 00:37 48K 
[ ]oppcat_1__t49_oppcat_12017-01-13 00:37 48K 
[ ]oppcat_1__t50_oppcat_12017-01-13 00:37 43K 
[ ]oppcat_1__t51_oppcat_12017-01-13 00:37 45K 
[ ]oppcat_1__t52_oppcat_12017-01-13 00:37 50K 
[ ]oppcat_1__t53_oppcat_12017-01-13 00:37 48K 
[ ]oppcat_1__t54_oppcat_12017-01-13 00:37 53K 
[ ]oppcat_1__t55_oppcat_12017-01-13 00:37 65K 
[ ]oppcat_1__t56_oppcat_12017-01-13 00:37 73K 
[ ]oppcat_1__t57_oppcat_12017-01-13 00:37 64K 
[ ]oppcat_1__t58_oppcat_12017-01-13 00:37 69K 
[ ]oppcat_1__t59_oppcat_12017-01-13 00:37 55K 
[ ]oppcat_1__t60_oppcat_12017-01-13 00:37 55K 
[ ]oppcat_1__t61_oppcat_12017-01-13 00:37 51K 
[ ]oppcat_1__t62_oppcat_12017-01-13 00:37 51K 
[ ]oppcat_1__t63_oppcat_12017-01-13 00:37 43K 
[ ]oppcat_1__t64_oppcat_12017-01-13 00:37 43K 
[ ]oppcat_1__t65_oppcat_12017-01-13 00:37 47K 
[ ]oppcat_1__t66_oppcat_12017-01-13 00:37 49K 
[ ]oppcat_1__t67_oppcat_12017-01-13 00:37 49K 
[ ]oppcat_1__t68_oppcat_12017-01-13 00:37 50K 
[ ]oppcat_1__t69_oppcat_12017-01-13 00:37 65K 
[ ]oppcat_1__t70_oppcat_12017-01-13 00:37 45K 
[ ]oppcat_1__t71_oppcat_12017-01-13 00:37 35K 
[ ]oppcat_1__t72_oppcat_12017-01-13 00:37 36K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80