Index of /~mptp/7.13.01_4.181.1147/mptp/problems_notypes/cohsp_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]cohsp_1__l1_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__l16_cohsp_12017-03-01 15:27 12K 
[ ]cohsp_1__l20_cohsp_12017-03-01 15:27 11K 
[ ]cohsp_1__l48_cohsp_12017-03-01 15:27 26K 
[ ]cohsp_1__l59_cohsp_12017-03-01 15:27 27K 
[ ]cohsp_1__l81_cohsp_12017-03-01 15:27 25K 
[ ]cohsp_1__l97_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t1_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t2_cohsp_12017-03-01 15:27 14K 
[ ]cohsp_1__t3_cohsp_12017-03-01 15:27 11K 
[ ]cohsp_1__t4_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t5_cohsp_12017-03-01 15:27 12K 
[ ]cohsp_1__t6_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t7_cohsp_12017-03-01 15:27 12K 
[ ]cohsp_1__t8_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t9_cohsp_12017-03-01 15:27 12K 
[ ]cohsp_1__t10_cohsp_12017-03-01 15:27 12K 
[ ]cohsp_1__t11_cohsp_12017-03-01 15:27 11K 
[ ]cohsp_1__t12_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t13_cohsp_12017-03-01 15:27 17K 
[ ]cohsp_1__t14_cohsp_12017-03-01 15:27 12K 
[ ]cohsp_1__t15_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t16_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t17_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t18_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t19_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t20_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t21_cohsp_12017-03-01 15:27 18K 
[ ]cohsp_1__t22_cohsp_12017-03-01 15:27 18K 
[ ]cohsp_1__t23_cohsp_12017-03-01 15:27 18K 
[ ]cohsp_1__t24_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t25_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t26_cohsp_12017-03-01 15:27 19K 
[ ]cohsp_1__t27_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t28_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t29_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t30_cohsp_12017-03-01 15:27 23K 
[ ]cohsp_1__t31_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t32_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t33_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t34_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t35_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t36_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t37_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t38_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t39_cohsp_12017-03-01 15:27 24K 
[ ]cohsp_1__t40_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t41_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t42_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t43_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t44_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t45_cohsp_12017-03-01 15:27 23K 
[ ]cohsp_1__t46_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t47_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t48_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t49_cohsp_12017-03-01 15:27 23K 
[ ]cohsp_1__t50_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t51_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t52_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t53_cohsp_12017-03-01 15:27 19K 
[ ]cohsp_1__t54_cohsp_12017-03-01 15:27 19K 
[ ]cohsp_1__t55_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t56_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t57_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t58_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t59_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t60_cohsp_12017-03-01 15:27 23K 
[ ]cohsp_1__t61_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t62_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t63_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t64_cohsp_12017-03-01 15:27 26K 
[ ]cohsp_1__t65_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t66_cohsp_12017-03-01 15:27 14K 
[ ]cohsp_1__t67_cohsp_12017-03-01 15:27 14K 
[ ]cohsp_1__t68_cohsp_12017-03-01 15:27 14K 
[ ]cohsp_1__t69_cohsp_12017-03-01 15:27 17K 
[ ]cohsp_1__t70_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t71_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t72_cohsp_12017-03-01 15:27 17K 
[ ]cohsp_1__t73_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t74_cohsp_12017-03-01 15:27 18K 
[ ]cohsp_1__t75_cohsp_12017-03-01 15:27 19K 
[ ]cohsp_1__t76_cohsp_12017-03-01 15:27 19K 
[ ]cohsp_1__t77_cohsp_12017-03-01 15:27 19K 
[ ]cohsp_1__t78_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t79_cohsp_12017-03-01 15:27 22K 
[ ]cohsp_1__t80_cohsp_12017-03-01 15:27 14K 
[ ]cohsp_1__t81_cohsp_12017-03-01 15:27 18K 
[ ]cohsp_1__t82_cohsp_12017-03-01 15:27 19K 
[ ]cohsp_1__t83_cohsp_12017-03-01 15:27 14K 
[ ]cohsp_1__t84_cohsp_12017-03-01 15:27 14K 
[ ]cohsp_1__t85_cohsp_12017-03-01 15:27 17K 
[ ]cohsp_1__t86_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t87_cohsp_12017-03-01 15:27 15K 
[ ]cohsp_1__t88_cohsp_12017-03-01 15:27 18K 
[ ]cohsp_1__t89_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t90_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t91_cohsp_12017-03-01 15:27 20K 
[ ]cohsp_1__t92_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t93_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t94_cohsp_12017-03-01 15:27 21K 
[ ]cohsp_1__t95_cohsp_12017-03-01 15:27 25K 
[ ]cohsp_1__t96_cohsp_12017-03-01 15:27 13K 
[ ]cohsp_1__t97_cohsp_12017-03-01 15:27 17K 
[ ]cohsp_1__t98_cohsp_12017-03-01 15:27 16K 
[ ]cohsp_1__t99_cohsp_12017-03-01 15:27 17K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80