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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clvect_1__l19_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__l20_clvect_12013-09-04 12:46 20K 
[ ]clvect_1__l46_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__l54_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__l76_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__l82_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__l120_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__l121_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__l122_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__l123_clvect_12013-09-04 12:46 26K 
[ ]clvect_1__l124_clvect_12013-09-04 12:46 30K 
[ ]clvect_1__l125_clvect_12013-09-04 12:46 31K 
[ ]clvect_1__l126_clvect_12013-09-04 12:46 29K 
[ ]clvect_1__l127_clvect_12013-09-04 12:46 41K 
[ ]clvect_1__t1_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t2_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t3_clvect_12013-09-04 12:46 37K 
[ ]clvect_1__t4_clvect_12013-09-04 12:46 30K 
[ ]clvect_1__t5_clvect_12013-09-04 12:46 21K 
[ ]clvect_1__t6_clvect_12013-09-04 12:46 30K 
[ ]clvect_1__t7_clvect_12013-09-04 12:46 31K 
[ ]clvect_1__t8_clvect_12013-09-04 12:46 20K 
[ ]clvect_1__t9_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t10_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t11_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t12_clvect_12013-09-04 12:46 30K 
[ ]clvect_1__t13_clvect_12013-09-04 12:46 51K 
[ ]clvect_1__t14_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t15_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t16_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t17_clvect_12013-09-04 12:46 30K 
[ ]clvect_1__t18_clvect_12013-09-04 12:46 65K 
[ ]clvect_1__t19_clvect_12013-09-04 12:46 34K 
[ ]clvect_1__t20_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t21_clvect_12013-09-04 12:46 33K 
[ ]clvect_1__t22_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t23_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t24_clvect_12013-09-04 12:46 21K 
[ ]clvect_1__t25_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t26_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t27_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t28_clvect_12013-09-04 12:46 21K 
[ ]clvect_1__t29_clvect_12013-09-04 12:46 15K 
[ ]clvect_1__t30_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t31_clvect_12013-09-04 12:46 21K 
[ ]clvect_1__t32_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t33_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t34_clvect_12013-09-04 12:46 31K 
[ ]clvect_1__t35_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t36_clvect_12013-09-04 12:46 21K 
[ ]clvect_1__t37_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t38_clvect_12013-09-04 12:46 16K 
[ ]clvect_1__t39_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t40_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t41_clvect_12013-09-04 12:46 31K 
[ ]clvect_1__t42_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t43_clvect_12013-09-04 12:46 43K 
[ ]clvect_1__t44_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t45_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t46_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t47_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t48_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t49_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t50_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t51_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t52_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t53_clvect_12013-09-04 12:46 16K 
[ ]clvect_1__t54_clvect_12013-09-04 12:46 32K 
[ ]clvect_1__t55_clvect_12013-09-04 12:46 26K 
[ ]clvect_1__t56_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t57_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t58_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t59_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t60_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t61_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t62_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t63_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t64_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t65_clvect_12013-09-04 12:46 26K 
[ ]clvect_1__t66_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t67_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t68_clvect_12013-09-04 12:46 29K 
[ ]clvect_1__t69_clvect_12013-09-04 12:46 29K 
[ ]clvect_1__t70_clvect_12013-09-04 12:46 35K 
[ ]clvect_1__t71_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t72_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t73_clvect_12013-09-04 12:46 26K 
[ ]clvect_1__t74_clvect_12013-09-04 12:46 104K 
[ ]clvect_1__t75_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t76_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t77_clvect_12013-09-04 12:46 39K 
[ ]clvect_1__t78_clvect_12013-09-04 12:46 29K 
[ ]clvect_1__t79_clvect_12013-09-04 12:46 35K 
[ ]clvect_1__t80_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t81_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t82_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t83_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t84_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t85_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t86_clvect_12013-09-04 12:46 26K 
[ ]clvect_1__t87_clvect_12013-09-04 12:46 29K 
[ ]clvect_1__t88_clvect_12013-09-04 12:46 31K 
[ ]clvect_1__t89_clvect_12013-09-04 12:46 25K 
[ ]clvect_1__t90_clvect_12013-09-04 12:46 26K 
[ ]clvect_1__t91_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t92_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t93_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t94_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t95_clvect_12013-09-04 12:46 27K 
[ ]clvect_1__t96_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t97_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t98_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t99_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t100_clvect_12013-09-04 12:46 24K 
[ ]clvect_1__t101_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t102_clvect_12013-09-04 12:46 20K 
[ ]clvect_1__t103_clvect_12013-09-04 12:46 37K 
[ ]clvect_1__t104_clvect_12013-09-04 12:46 31K 
[ ]clvect_1__t105_clvect_12013-09-04 12:46 32K 
[ ]clvect_1__t106_clvect_12013-09-04 12:46 30K 
[ ]clvect_1__t107_clvect_12013-09-04 12:46 23K 
[ ]clvect_1__t108_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t109_clvect_12013-09-04 12:46 36K 
[ ]clvect_1__t110_clvect_12013-09-04 12:46 38K 
[ ]clvect_1__t111_clvect_12013-09-04 12:46 33K 
[ ]clvect_1__t112_clvect_12013-09-04 12:46 22K 
[ ]clvect_1__t113_clvect_12013-09-04 12:46 54K 
[ ]clvect_1__t114_clvect_12013-09-04 12:46 51K 
[ ]clvect_1__t115_clvect_12013-09-04 12:46 29K 
[ ]clvect_1__t116_clvect_12013-09-04 12:46 45K 
[ ]clvect_1__t117_clvect_12013-09-04 12:46 35K 
[ ]clvect_1__t118_clvect_12013-09-04 12:46 41K 
[ ]clvect_1__t119_clvect_12013-09-04 12:46 55K 
[ ]clvect_1__t120_clvect_12013-09-04 12:46 52K 
[ ]clvect_1__t121_clvect_12013-09-04 12:46 30K 
[ ]clvect_1__t122_clvect_12013-09-04 12:46 46K 
[ ]clvect_1__t123_clvect_12013-09-04 12:46 25K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80