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

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