Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/oppcat_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]oppcat_1__l27_oppcat_12017-01-12 22:01 39K 
[ ]oppcat_1__l29_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__l31_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__l39_oppcat_12017-01-12 22:01 36K 
[ ]oppcat_1__l42_oppcat_12017-01-12 22:01 37K 
[ ]oppcat_1__l43_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__l44_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__l45_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__l46_oppcat_12017-01-12 22:01 37K 
[ ]oppcat_1__l54_oppcat_12017-01-12 22:01 36K 
[ ]oppcat_1__l57_oppcat_12017-01-12 22:01 37K 
[ ]oppcat_1__l58_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__l63_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__l66_oppcat_12017-01-12 22:01 36K 
[ ]oppcat_1__l68_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__l71_oppcat_12017-01-12 22:01 36K 
[ ]oppcat_1__l73_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__l80_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__l84_oppcat_12017-01-12 22:01 34K 
[ ]oppcat_1__l85_oppcat_12017-01-12 22:01 35K 
[ ]oppcat_1__l87_oppcat_12017-01-12 22:01 37K 
[ ]oppcat_1__l88_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__l90_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__l91_oppcat_12017-01-12 22:01 35K 
[ ]oppcat_1__l93_oppcat_12017-01-12 22:01 37K 
[ ]oppcat_1__l94_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__t2_oppcat_12017-01-12 22:01 21K 
[ ]oppcat_1__t3_oppcat_12017-01-12 22:01 22K 
[ ]oppcat_1__t4_oppcat_12017-01-12 22:01 22K 
[ ]oppcat_1__t5_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t6_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t7_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__t8_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t9_oppcat_12017-01-12 22:01 23K 
[ ]oppcat_1__t10_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__t11_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t12_oppcat_12017-01-12 22:01 28K 
[ ]oppcat_1__t13_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t15_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t16_oppcat_12017-01-12 22:01 34K 
[ ]oppcat_1__t17_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t18_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__t19_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__t20_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t21_oppcat_12017-01-12 22:01 25K 
[ ]oppcat_1__t22_oppcat_12017-01-12 22:01 36K 
[ ]oppcat_1__t23_oppcat_12017-01-12 22:01 36K 
[ ]oppcat_1__t24_oppcat_12017-01-12 22:01 35K 
[ ]oppcat_1__t25_oppcat_12017-01-12 22:01 35K 
[ ]oppcat_1__t26_oppcat_12017-01-12 22:01 35K 
[ ]oppcat_1__t27_oppcat_12017-01-12 22:01 26K 
[ ]oppcat_1__t28_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__t29_oppcat_12017-01-12 22:01 28K 
[ ]oppcat_1__t30_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t31_oppcat_12017-01-12 22:01 26K 
[ ]oppcat_1__t32_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t33_oppcat_12017-01-12 22:01 22K 
[ ]oppcat_1__t34_oppcat_12017-01-12 22:01 37K 
[ ]oppcat_1__t35_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__t36_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t37_oppcat_12017-01-12 22:01 28K 
[ ]oppcat_1__t38_oppcat_12017-01-12 22:01 44K 
[ ]oppcat_1__t39_oppcat_12017-01-12 22:01 26K 
[ ]oppcat_1__t40_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t41_oppcat_12017-01-12 22:01 28K 
[ ]oppcat_1__t42_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__t43_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t44_oppcat_12017-01-12 22:01 28K 
[ ]oppcat_1__t45_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__t46_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t47_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t48_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t49_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t50_oppcat_12017-01-12 22:01 29K 
[ ]oppcat_1__t51_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t52_oppcat_12017-01-12 22:01 33K 
[ ]oppcat_1__t53_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__t54_oppcat_12017-01-12 22:01 35K 
[ ]oppcat_1__t55_oppcat_12017-01-12 22:01 41K 
[ ]oppcat_1__t56_oppcat_12017-01-12 22:01 47K 
[ ]oppcat_1__t57_oppcat_12017-01-12 22:01 41K 
[ ]oppcat_1__t58_oppcat_12017-01-12 22:01 44K 
[ ]oppcat_1__t59_oppcat_12017-01-12 22:01 34K 
[ ]oppcat_1__t60_oppcat_12017-01-12 22:01 34K 
[ ]oppcat_1__t61_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__t62_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__t63_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t64_oppcat_12017-01-12 22:01 27K 
[ ]oppcat_1__t65_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t66_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t67_oppcat_12017-01-12 22:01 31K 
[ ]oppcat_1__t68_oppcat_12017-01-12 22:01 32K 
[ ]oppcat_1__t69_oppcat_12017-01-12 22:01 42K 
[ ]oppcat_1__t70_oppcat_12017-01-12 22:01 30K 
[ ]oppcat_1__t71_oppcat_12017-01-12 22:01 23K 
[ ]oppcat_1__t72_oppcat_12017-01-12 22:01 24K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80