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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lpspace2__l13_lpspace22017-01-13 00:31 65K 
[ ]lpspace2__l32_lpspace22017-01-13 00:32 165K 
[ ]lpspace2__l33_lpspace22017-01-13 00:32 123K 
[ ]lpspace2__l39_lpspace22017-01-13 00:32 167K 
[ ]lpspace2__l78_lpspace22017-01-13 00:32 271K 
[ ]lpspace2__l80_lpspace22017-01-13 00:32 256K 
[ ]lpspace2__l83_lpspace22017-01-13 00:32 166K 
[ ]lpspace2__l91_lpspace22017-01-13 00:32 124K 
[ ]lpspace2__l92_lpspace22017-01-13 00:32 107K 
[ ]lpspace2__l93_lpspace22017-01-13 00:32 199K 
[ ]lpspace2__l94_lpspace22017-01-13 00:32 132K 
[ ]lpspace2__l95_lpspace22017-01-13 00:32 120K 
[ ]lpspace2__t1_lpspace22017-01-13 00:31 83K 
[ ]lpspace2__t2_lpspace22017-01-13 00:31 90K 
[ ]lpspace2__t3_lpspace22017-01-13 00:31 33K 
[ ]lpspace2__t4_lpspace22017-01-13 00:31 32K 
[ ]lpspace2__t5_lpspace22017-01-13 00:31 38K 
[ ]lpspace2__t6_lpspace22017-01-13 00:31 68K 
[ ]lpspace2__t7_lpspace22017-01-13 00:32 108K 
[ ]lpspace2__t8_lpspace22017-01-13 00:32 56K 
[ ]lpspace2__t9_lpspace22017-01-13 00:32 75K 
[ ]lpspace2__t10_lpspace22017-01-13 00:32 126K 
[ ]lpspace2__t11_lpspace22017-01-13 00:32 178K 
[ ]lpspace2__t12_lpspace22017-01-13 00:32 64K 
[ ]lpspace2__t13_lpspace22017-01-13 00:32 72K 
[ ]lpspace2__t14_lpspace22017-01-13 00:32 70K 
[ ]lpspace2__t15_lpspace22017-01-13 00:32 72K 
[ ]lpspace2__t16_lpspace22017-01-13 00:32 53K 
[ ]lpspace2__t17_lpspace22017-01-13 00:32 41K 
[ ]lpspace2__t18_lpspace22017-01-13 00:32 90K 
[ ]lpspace2__t19_lpspace22017-01-13 00:32 76K 
[ ]lpspace2__t20_lpspace22017-01-13 00:32 65K 
[ ]lpspace2__t21_lpspace22017-01-13 00:32 91K 
[ ]lpspace2__t22_lpspace22017-01-13 00:32 121K 
[ ]lpspace2__t23_lpspace22017-01-13 00:32 141K 
[ ]lpspace2__t24_lpspace22017-01-13 00:32 155K 
[ ]lpspace2__t25_lpspace22017-01-13 00:32 205K 
[ ]lpspace2__t26_lpspace22017-01-13 00:32 141K 
[ ]lpspace2__t27_lpspace22017-01-13 00:32 152K 
[ ]lpspace2__t28_lpspace22017-01-13 00:32 108K 
[ ]lpspace2__t29_lpspace22017-01-13 00:32 163K 
[ ]lpspace2__t30_lpspace22017-01-13 00:32 147K 
[ ]lpspace2__t31_lpspace22017-01-13 00:32 160K 
[ ]lpspace2__t32_lpspace22017-01-13 00:32 132K 
[ ]lpspace2__t33_lpspace22017-01-13 00:32 156K 
[ ]lpspace2__t34_lpspace22017-01-13 00:32 148K 
[ ]lpspace2__t35_lpspace22017-01-13 00:32 107K 
[ ]lpspace2__t36_lpspace22017-01-13 00:32 110K 
[ ]lpspace2__t37_lpspace22017-01-13 00:32 216K 
[ ]lpspace2__t38_lpspace22017-01-13 00:32 110K 
[ ]lpspace2__t39_lpspace22017-01-13 00:32 113K 
[ ]lpspace2__t40_lpspace22017-01-13 00:32 113K 
[ ]lpspace2__t41_lpspace22017-01-13 00:32 112K 
[ ]lpspace2__t42_lpspace22017-01-13 00:31 110K 
[ ]lpspace2__t43_lpspace22017-01-13 00:32 114K 
[ ]lpspace2__t44_lpspace22017-01-13 00:32 131K 
[ ]lpspace2__t45_lpspace22017-01-13 00:32 132K 
[ ]lpspace2__t46_lpspace22017-01-13 00:32 125K 
[ ]lpspace2__t47_lpspace22017-01-13 00:32 129K 
[ ]lpspace2__t48_lpspace22017-01-13 00:32 174K 
[ ]lpspace2__t49_lpspace22017-01-13 00:32 129K 
[ ]lpspace2__t50_lpspace22017-01-13 00:32 132K 
[ ]lpspace2__t51_lpspace22017-01-13 00:32 129K 
[ ]lpspace2__t52_lpspace22017-01-13 00:32 126K 
[ ]lpspace2__t53_lpspace22017-01-13 00:32 177K 
[ ]lpspace2__t54_lpspace22017-01-13 00:32 184K 
[ ]lpspace2__t55_lpspace22017-01-13 00:32 176K 
[ ]lpspace2__t56_lpspace22017-01-13 00:32 126K 
[ ]lpspace2__t57_lpspace22017-01-13 00:32 174K 
[ ]lpspace2__t58_lpspace22017-01-13 00:32 88K 
[ ]lpspace2__t59_lpspace22017-01-13 00:32 264K 
[ ]lpspace2__t60_lpspace22017-01-13 00:32 318K 
[ ]lpspace2__t61_lpspace22017-01-13 00:32 201K 
[ ]lpspace2__t62_lpspace22017-01-13 00:32 165K 
[ ]lpspace2__t63_lpspace22017-01-13 00:32 231K 
[ ]lpspace2__t64_lpspace22017-01-13 00:32 114K 
[ ]lpspace2__t65_lpspace22017-01-13 00:32 126K 
[ ]lpspace2__t66_lpspace22017-01-13 00:32 132K 
[ ]lpspace2__t67_lpspace22017-01-13 00:32 77K 
[ ]lpspace2__t68_lpspace22017-01-13 00:32 210K 
[ ]lpspace2__t69_lpspace22017-01-13 00:32 68K 
[ ]lpspace2__t70_lpspace22017-01-13 00:32 494K 
[ ]lpspace2__t71_lpspace22017-01-13 00:32 145K 
[ ]lpspace2__t72_lpspace22017-01-13 00:32 159K 
[ ]lpspace2__t73_lpspace22017-01-13 00:32 136K 
[ ]lpspace2__t74_lpspace22017-01-13 00:32 154K 
[ ]lpspace2__t75_lpspace22017-01-13 00:32 154K 
[ ]lpspace2__t76_lpspace22017-01-13 00:32 170K 
[ ]lpspace2__t77_lpspace22017-01-13 00:32 101K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80