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

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