Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/lp_space

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lp_space__l3_lp_space2017-01-13 17:38 31K 
[ ]lp_space__l4_lp_space2017-01-13 17:38 37K 
[ ]lp_space__l6_lp_space2017-01-13 17:38 104K 
[ ]lp_space__l8_lp_space2017-01-13 17:38 214K 
[ ]lp_space__l20_lp_space2017-01-13 17:38 167K 
[ ]lp_space__l21_lp_space2017-01-13 17:38 160K 
[ ]lp_space__l22_lp_space2017-01-13 17:38 166K 
[ ]lp_space__l26_lp_space2017-01-13 17:38 65K 
[ ]lp_space__l27_lp_space2017-01-13 17:38 90K 
[ ]lp_space__l28_lp_space2017-01-13 17:38 108K 
[ ]lp_space__l29_lp_space2017-01-13 17:38 104K 
[ ]lp_space__t1_lp_space2017-01-13 17:38 32K 
[ ]lp_space__t2_lp_space2017-01-13 17:38 93K 
[ ]lp_space__t3_lp_space2017-01-13 17:38 91K 
[ ]lp_space__t4_lp_space2017-01-13 17:38 167K 
[ ]lp_space__t5_lp_space2017-01-13 17:38 75K 
[ ]lp_space__t6_lp_space2017-01-13 17:38 76K 
[ ]lp_space__t7_lp_space2017-01-13 17:38 76K 
[ ]lp_space__t8_lp_space2017-01-13 17:38 84K 
[ ]lp_space__t9_lp_space2017-01-13 17:38 93K 
[ ]lp_space__t10_lp_space2017-01-13 17:38 176K 
[ ]lp_space__t11_lp_space2017-01-13 17:38 86K 
[ ]lp_space__t12_lp_space2017-01-13 17:38 71K 
[ ]lp_space__t13_lp_space2017-01-13 17:38 183K 
[ ]lp_space__t14_lp_space2017-01-13 17:38 104K 
[ ]lp_space__t15_lp_space2017-01-13 17:38 81K 
[ ]lp_space__t16_lp_space2017-01-13 17:38 315K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80