Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/scmpds_6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmpds_6__l1_scmpds_62017-01-13 19:09 43K 
[ ]scmpds_6__l2_scmpds_62017-01-13 19:09 41K 
[ ]scmpds_6__l35_scmpds_62017-01-13 19:10 144K 
[ ]scmpds_6__l50_scmpds_62017-01-13 19:10 58K 
[ ]scmpds_6__l53_scmpds_62017-01-13 19:10 56K 
[ ]scmpds_6__l55_scmpds_62017-01-13 19:10 62K 
[ ]scmpds_6__l56_scmpds_62017-01-13 19:10 68K 
[ ]scmpds_6__l74_scmpds_62017-01-13 19:10 53K 
[ ]scmpds_6__l76_scmpds_62017-01-13 19:10 70K 
[ ]scmpds_6__l78_scmpds_62017-01-13 19:10 75K 
[ ]scmpds_6__t6_scmpds_62017-01-13 19:09 52K 
[ ]scmpds_6__t7_scmpds_62017-01-13 19:09 55K 
[ ]scmpds_6__t11_scmpds_62017-01-13 19:09 107K 
[ ]scmpds_6__t12_scmpds_62017-01-13 19:09 44K 
[ ]scmpds_6__t13_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t15_scmpds_62017-01-13 19:09 85K 
[ ]scmpds_6__t16_scmpds_62017-01-13 19:09 30K 
[ ]scmpds_6__t17_scmpds_62017-01-13 19:09 30K 
[ ]scmpds_6__t18_scmpds_62017-01-13 19:09 30K 
[ ]scmpds_6__t19_scmpds_62017-01-13 19:09 39K 
[ ]scmpds_6__t20_scmpds_62017-01-13 19:09 74K 
[ ]scmpds_6__t21_scmpds_62017-01-13 19:09 69K 
[ ]scmpds_6__t22_scmpds_62017-01-13 19:09 97K 
[ ]scmpds_6__t23_scmpds_62017-01-13 19:09 99K 
[ ]scmpds_6__t24_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t25_scmpds_62017-01-13 19:09 113K 
[ ]scmpds_6__t26_scmpds_62017-01-13 19:09 119K 
[ ]scmpds_6__t27_scmpds_62017-01-13 19:09 104K 
[ ]scmpds_6__t28_scmpds_62017-01-13 19:09 80K 
[ ]scmpds_6__t29_scmpds_62017-01-13 19:09 118K 
[ ]scmpds_6__t30_scmpds_62017-01-13 19:09 158K 
[ ]scmpds_6__t31_scmpds_62017-01-13 19:09 159K 
[ ]scmpds_6__t32_scmpds_62017-01-13 19:09 118K 
[ ]scmpds_6__t33_scmpds_62017-01-13 19:09 121K 
[ ]scmpds_6__t34_scmpds_62017-01-13 19:09 79K 
[ ]scmpds_6__t35_scmpds_62017-01-13 19:09 61K 
[ ]scmpds_6__t36_scmpds_62017-01-13 19:09 81K 
[ ]scmpds_6__t37_scmpds_62017-01-13 19:09 62K 
[ ]scmpds_6__t38_scmpds_62017-01-13 19:09 159K 
[ ]scmpds_6__t39_scmpds_62017-01-13 19:09 335K 
[ ]scmpds_6__t40_scmpds_62017-01-13 19:09 247K 
[ ]scmpds_6__t41_scmpds_62017-01-13 19:09 246K 
[ ]scmpds_6__t42_scmpds_62017-01-13 19:09 101K 
[ ]scmpds_6__t43_scmpds_62017-01-13 19:09 94K 
[ ]scmpds_6__t44_scmpds_62017-01-13 19:09 98K 
[ ]scmpds_6__t45_scmpds_62017-01-13 19:09 57K 
[ ]scmpds_6__t46_scmpds_62017-01-13 19:09 75K 
[ ]scmpds_6__t47_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t48_scmpds_62017-01-13 19:09 152K 
[ ]scmpds_6__t49_scmpds_62017-01-13 19:09 127K 
[ ]scmpds_6__t50_scmpds_62017-01-13 19:10 210K 
[ ]scmpds_6__t51_scmpds_62017-01-13 19:10 132K 
[ ]scmpds_6__t52_scmpds_62017-01-13 19:10 96K 
[ ]scmpds_6__t53_scmpds_62017-01-13 19:10 94K 
[ ]scmpds_6__t54_scmpds_62017-01-13 19:10 92K 
[ ]scmpds_6__t55_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t56_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t57_scmpds_62017-01-13 19:09 59K 
[ ]scmpds_6__t58_scmpds_62017-01-13 19:10 209K 
[ ]scmpds_6__t59_scmpds_62017-01-13 19:10 139K 
[ ]scmpds_6__t60_scmpds_62017-01-13 19:10 214K 
[ ]scmpds_6__t61_scmpds_62017-01-13 19:10 144K 
[ ]scmpds_6__t62_scmpds_62017-01-13 19:10 95K 
[ ]scmpds_6__t63_scmpds_62017-01-13 19:10 93K 
[ ]scmpds_6__t64_scmpds_62017-01-13 19:10 91K 
[ ]scmpds_6__t65_scmpds_62017-01-13 19:09 61K 
[ ]scmpds_6__t66_scmpds_62017-01-13 19:10 81K 
[ ]scmpds_6__t67_scmpds_62017-01-13 19:09 62K 
[ ]scmpds_6__t68_scmpds_62017-01-13 19:10 159K 
[ ]scmpds_6__t69_scmpds_62017-01-13 19:10 335K 
[ ]scmpds_6__t70_scmpds_62017-01-13 19:10 247K 
[ ]scmpds_6__t71_scmpds_62017-01-13 19:10 246K 
[ ]scmpds_6__t72_scmpds_62017-01-13 19:10 99K 
[ ]scmpds_6__t73_scmpds_62017-01-13 19:10 97K 
[ ]scmpds_6__t74_scmpds_62017-01-13 19:10 97K 
[ ]scmpds_6__t75_scmpds_62017-01-13 19:09 57K 
[ ]scmpds_6__t76_scmpds_62017-01-13 19:10 75K 
[ ]scmpds_6__t77_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t78_scmpds_62017-01-13 19:10 152K 
[ ]scmpds_6__t79_scmpds_62017-01-13 19:10 127K 
[ ]scmpds_6__t80_scmpds_62017-01-13 19:10 210K 
[ ]scmpds_6__t81_scmpds_62017-01-13 19:10 132K 
[ ]scmpds_6__t82_scmpds_62017-01-13 19:10 99K 
[ ]scmpds_6__t83_scmpds_62017-01-13 19:10 96K 
[ ]scmpds_6__t84_scmpds_62017-01-13 19:10 94K 
[ ]scmpds_6__t85_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t86_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t87_scmpds_62017-01-13 19:09 59K 
[ ]scmpds_6__t88_scmpds_62017-01-13 19:10 209K 
[ ]scmpds_6__t89_scmpds_62017-01-13 19:10 139K 
[ ]scmpds_6__t90_scmpds_62017-01-13 19:10 214K 
[ ]scmpds_6__t91_scmpds_62017-01-13 19:10 144K 
[ ]scmpds_6__t92_scmpds_62017-01-13 19:10 98K 
[ ]scmpds_6__t93_scmpds_62017-01-13 19:10 96K 
[ ]scmpds_6__t94_scmpds_62017-01-13 19:10 94K 
[ ]scmpds_6__t95_scmpds_62017-01-13 19:09 61K 
[ ]scmpds_6__t96_scmpds_62017-01-13 19:10 81K 
[ ]scmpds_6__t97_scmpds_62017-01-13 19:09 62K 
[ ]scmpds_6__t98_scmpds_62017-01-13 19:10 159K 
[ ]scmpds_6__t99_scmpds_62017-01-13 19:10 335K 
[ ]scmpds_6__t100_scmpds_62017-01-13 19:10 247K 
[ ]scmpds_6__t101_scmpds_62017-01-13 19:10 246K 
[ ]scmpds_6__t102_scmpds_62017-01-13 19:10 105K 
[ ]scmpds_6__t103_scmpds_62017-01-13 19:10 97K 
[ ]scmpds_6__t104_scmpds_62017-01-13 19:10 103K 
[ ]scmpds_6__t105_scmpds_62017-01-13 19:09 57K 
[ ]scmpds_6__t106_scmpds_62017-01-13 19:10 75K 
[ ]scmpds_6__t107_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t108_scmpds_62017-01-13 19:10 152K 
[ ]scmpds_6__t109_scmpds_62017-01-13 19:10 127K 
[ ]scmpds_6__t110_scmpds_62017-01-13 19:10 210K 
[ ]scmpds_6__t111_scmpds_62017-01-13 19:10 132K 
[ ]scmpds_6__t112_scmpds_62017-01-13 19:10 100K 
[ ]scmpds_6__t113_scmpds_62017-01-13 19:10 96K 
[ ]scmpds_6__t114_scmpds_62017-01-13 19:10 96K 
[ ]scmpds_6__t115_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t116_scmpds_62017-01-13 19:09 58K 
[ ]scmpds_6__t117_scmpds_62017-01-13 19:09 59K 
[ ]scmpds_6__t118_scmpds_62017-01-13 19:10 209K 
[ ]scmpds_6__t119_scmpds_62017-01-13 19:10 139K 
[ ]scmpds_6__t120_scmpds_62017-01-13 19:10 214K 
[ ]scmpds_6__t121_scmpds_62017-01-13 19:10 144K 
[ ]scmpds_6__t122_scmpds_62017-01-13 19:10 100K 
[ ]scmpds_6__t123_scmpds_62017-01-13 19:10 98K 
[ ]scmpds_6__t124_scmpds_62017-01-13 19:10 94K 
[ ]scmpds_6__t125_scmpds_62017-01-13 19:10 71K 
[ ]scmpds_6__t126_scmpds_62017-01-13 19:10 67K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80