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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clvect_1__l19_clvect_12017-01-13 00:30 67K 
[ ]clvect_1__l20_clvect_12017-01-13 00:30 50K 
[ ]clvect_1__l46_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__l54_clvect_12017-01-13 00:30 57K 
[ ]clvect_1__l76_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__l82_clvect_12017-01-13 00:30 65K 
[ ]clvect_1__l120_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__l121_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__l122_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__l123_clvect_12017-01-13 00:30 62K 
[ ]clvect_1__l124_clvect_12017-01-13 00:30 78K 
[ ]clvect_1__l125_clvect_12017-01-13 00:30 85K 
[ ]clvect_1__l126_clvect_12017-01-13 00:30 70K 
[ ]clvect_1__l127_clvect_12017-01-13 00:30 110K 
[ ]clvect_1__t1_clvect_12017-01-13 00:30 63K 
[ ]clvect_1__t2_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t3_clvect_12017-01-13 00:30 87K 
[ ]clvect_1__t4_clvect_12017-01-13 00:30 74K 
[ ]clvect_1__t5_clvect_12017-01-13 00:30 53K 
[ ]clvect_1__t6_clvect_12017-01-13 00:30 72K 
[ ]clvect_1__t7_clvect_12017-01-13 00:30 73K 
[ ]clvect_1__t8_clvect_12017-01-13 00:30 50K 
[ ]clvect_1__t9_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t10_clvect_12017-01-13 00:30 66K 
[ ]clvect_1__t11_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__t12_clvect_12017-01-13 00:30 74K 
[ ]clvect_1__t13_clvect_12017-01-13 00:30 115K 
[ ]clvect_1__t14_clvect_12017-01-13 00:30 54K 
[ ]clvect_1__t15_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t16_clvect_12017-01-13 00:30 60K 
[ ]clvect_1__t17_clvect_12017-01-13 00:30 74K 
[ ]clvect_1__t18_clvect_12017-01-13 00:30 139K 
[ ]clvect_1__t19_clvect_12017-01-13 00:30 83K 
[ ]clvect_1__t20_clvect_12017-01-13 00:30 57K 
[ ]clvect_1__t21_clvect_12017-01-13 00:30 77K 
[ ]clvect_1__t22_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t23_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__t24_clvect_12017-01-13 00:30 53K 
[ ]clvect_1__t25_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t26_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t27_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t28_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t29_clvect_12017-01-13 00:30 39K 
[ ]clvect_1__t30_clvect_12017-01-13 00:30 54K 
[ ]clvect_1__t31_clvect_12017-01-13 00:30 54K 
[ ]clvect_1__t32_clvect_12017-01-13 00:30 62K 
[ ]clvect_1__t33_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t34_clvect_12017-01-13 00:30 74K 
[ ]clvect_1__t35_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t36_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t37_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t38_clvect_12017-01-13 00:30 40K 
[ ]clvect_1__t39_clvect_12017-01-13 00:30 64K 
[ ]clvect_1__t40_clvect_12017-01-13 00:30 64K 
[ ]clvect_1__t41_clvect_12017-01-13 00:30 74K 
[ ]clvect_1__t42_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t43_clvect_12017-01-13 00:30 100K 
[ ]clvect_1__t44_clvect_12017-01-13 00:30 57K 
[ ]clvect_1__t45_clvect_12017-01-13 00:30 62K 
[ ]clvect_1__t46_clvect_12017-01-13 00:30 57K 
[ ]clvect_1__t47_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t48_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t49_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t50_clvect_12017-01-13 00:30 62K 
[ ]clvect_1__t51_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t52_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t53_clvect_12017-01-13 00:30 38K 
[ ]clvect_1__t54_clvect_12017-01-13 00:30 78K 
[ ]clvect_1__t55_clvect_12017-01-13 00:30 66K 
[ ]clvect_1__t56_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t57_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t58_clvect_12017-01-13 00:30 64K 
[ ]clvect_1__t59_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t60_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t61_clvect_12017-01-13 00:30 60K 
[ ]clvect_1__t62_clvect_12017-01-13 00:30 57K 
[ ]clvect_1__t63_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t64_clvect_12017-01-13 00:30 67K 
[ ]clvect_1__t65_clvect_12017-01-13 00:30 64K 
[ ]clvect_1__t66_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__t67_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t68_clvect_12017-01-13 00:30 71K 
[ ]clvect_1__t69_clvect_12017-01-13 00:30 70K 
[ ]clvect_1__t70_clvect_12017-01-13 00:30 83K 
[ ]clvect_1__t71_clvect_12017-01-13 00:30 66K 
[ ]clvect_1__t72_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t73_clvect_12017-01-13 00:30 63K 
[ ]clvect_1__t74_clvect_12017-01-13 00:30 208K 
[ ]clvect_1__t75_clvect_12017-01-13 00:30 62K 
[ ]clvect_1__t76_clvect_12017-01-13 00:30 57K 
[ ]clvect_1__t77_clvect_12017-01-13 00:30 92K 
[ ]clvect_1__t78_clvect_12017-01-13 00:30 71K 
[ ]clvect_1__t79_clvect_12017-01-13 00:30 82K 
[ ]clvect_1__t80_clvect_12017-01-13 00:30 55K 
[ ]clvect_1__t81_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t82_clvect_12017-01-13 00:30 54K 
[ ]clvect_1__t83_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__t84_clvect_12017-01-13 00:30 65K 
[ ]clvect_1__t85_clvect_12017-01-13 00:30 62K 
[ ]clvect_1__t86_clvect_12017-01-13 00:30 63K 
[ ]clvect_1__t87_clvect_12017-01-13 00:30 71K 
[ ]clvect_1__t88_clvect_12017-01-13 00:30 73K 
[ ]clvect_1__t89_clvect_12017-01-13 00:30 63K 
[ ]clvect_1__t90_clvect_12017-01-13 00:30 66K 
[ ]clvect_1__t91_clvect_12017-01-13 00:30 67K 
[ ]clvect_1__t92_clvect_12017-01-13 00:30 67K 
[ ]clvect_1__t93_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t94_clvect_12017-01-13 00:30 67K 
[ ]clvect_1__t95_clvect_12017-01-13 00:30 67K 
[ ]clvect_1__t96_clvect_12017-01-13 00:30 60K 
[ ]clvect_1__t97_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t98_clvect_12017-01-13 00:30 59K 
[ ]clvect_1__t99_clvect_12017-01-13 00:30 60K 
[ ]clvect_1__t100_clvect_12017-01-13 00:30 60K 
[ ]clvect_1__t101_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__t102_clvect_12017-01-13 00:30 50K 
[ ]clvect_1__t103_clvect_12017-01-13 00:30 88K 
[ ]clvect_1__t104_clvect_12017-01-13 00:30 76K 
[ ]clvect_1__t105_clvect_12017-01-13 00:30 79K 
[ ]clvect_1__t106_clvect_12017-01-13 00:30 75K 
[ ]clvect_1__t107_clvect_12017-01-13 00:30 58K 
[ ]clvect_1__t108_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t109_clvect_12017-01-13 00:30 88K 
[ ]clvect_1__t110_clvect_12017-01-13 00:30 93K 
[ ]clvect_1__t111_clvect_12017-01-13 00:30 80K 
[ ]clvect_1__t112_clvect_12017-01-13 00:30 56K 
[ ]clvect_1__t113_clvect_12017-01-13 00:30 124K 
[ ]clvect_1__t114_clvect_12017-01-13 00:30 118K 
[ ]clvect_1__t115_clvect_12017-01-13 00:30 71K 
[ ]clvect_1__t116_clvect_12017-01-13 00:30 109K 
[ ]clvect_1__t117_clvect_12017-01-13 00:30 87K 
[ ]clvect_1__t118_clvect_12017-01-13 00:30 101K 
[ ]clvect_1__t119_clvect_12017-01-13 00:30 127K 
[ ]clvect_1__t120_clvect_12017-01-13 00:30 121K 
[ ]clvect_1__t121_clvect_12017-01-13 00:30 75K 
[ ]clvect_1__t122_clvect_12017-01-13 00:30 112K 
[ ]clvect_1__t123_clvect_12017-01-13 00:30 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80