Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/lp_space

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lp_space__l3_lp_space2019-08-20 13:18 35K 
[ ]lp_space__l4_lp_space2019-08-20 13:18 66K 
[ ]lp_space__l6_lp_space2019-08-20 13:19 225K 
[ ]lp_space__l8_lp_space2019-08-20 13:21 369K 
[ ]lp_space__l20_lp_space2019-08-20 13:29 212K 
[ ]lp_space__l21_lp_space2019-08-20 13:29 156K 
[ ]lp_space__l22_lp_space2019-08-20 13:29 199K 
[ ]lp_space__l26_lp_space2019-08-20 13:31 125K 
[ ]lp_space__l27_lp_space2019-08-20 13:32 148K 
[ ]lp_space__l28_lp_space2019-08-20 13:32 117K 
[ ]lp_space__l29_lp_space2019-08-20 13:33 155K 
[ ]lp_space__t1_lp_space2019-08-20 13:18 39K 
[ ]lp_space__t2_lp_space2019-08-20 13:19 142K 
[ ]lp_space__t3_lp_space2019-08-20 13:21 132K 
[ ]lp_space__t4_lp_space2019-08-20 13:26 771K 
[ ]lp_space__t5_lp_space2019-08-20 13:26 69K 
[ ]lp_space__t6_lp_space2019-08-20 13:26 63K 
[ ]lp_space__t7_lp_space2019-08-20 13:26 63K 
[ ]lp_space__t8_lp_space2019-08-20 13:26 97K 
[ ]lp_space__t9_lp_space2019-08-20 13:26 113K 
[ ]lp_space__t10_lp_space2019-08-20 13:27 337K 
[ ]lp_space__t11_lp_space2019-08-20 13:28 173K 
[ ]lp_space__t12_lp_space2019-08-20 13:28 127K 
[ ]lp_space__t13_lp_space2019-08-20 13:31 349K 
[ ]lp_space__t14_lp_space2019-08-20 13:31 110K 
[ ]lp_space__t15_lp_space2019-08-20 13:31 67K 
[ ]lp_space__t16_lp_space2019-08-20 13:42 1.5M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80