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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lp_space__l3_lp_space2013-09-04 12:30 12K 
[   ]lp_space__l4_lp_space2013-09-04 12:30 15K 
[   ]lp_space__l6_lp_space2013-09-04 12:30 43K 
[   ]lp_space__l8_lp_space2013-09-04 12:30 91K 
[   ]lp_space__l20_lp_space2013-09-04 12:30 69K 
[   ]lp_space__l21_lp_space2013-09-04 12:30 65K 
[   ]lp_space__l22_lp_space2013-09-04 12:30 68K 
[   ]lp_space__l26_lp_space2013-09-04 12:30 27K 
[   ]lp_space__l27_lp_space2013-09-04 12:30 37K 
[   ]lp_space__l28_lp_space2013-09-04 12:30 44K 
[   ]lp_space__l29_lp_space2013-09-04 12:30 42K 
[   ]lp_space__t1_lp_space2013-09-04 12:30 13K 
[   ]lp_space__t2_lp_space2013-09-04 12:30 39K 
[   ]lp_space__t3_lp_space2013-09-04 12:30 38K 
[   ]lp_space__t4_lp_space2013-09-04 12:30 70K 
[   ]lp_space__t5_lp_space2013-09-04 12:30 30K 
[   ]lp_space__t6_lp_space2013-09-04 12:30 31K 
[   ]lp_space__t7_lp_space2013-09-04 12:30 31K 
[   ]lp_space__t8_lp_space2013-09-04 12:30 34K 
[   ]lp_space__t9_lp_space2013-09-04 12:30 38K 
[   ]lp_space__t10_lp_space2013-09-04 12:30 72K 
[   ]lp_space__t11_lp_space2013-09-04 12:30 36K 
[   ]lp_space__t12_lp_space2013-09-04 12:30 30K 
[   ]lp_space__t13_lp_space2013-09-04 12:30 76K 
[   ]lp_space__t14_lp_space2013-09-04 12:30 42K 
[   ]lp_space__t15_lp_space2013-09-04 12:30 33K 
[   ]lp_space__t16_lp_space2013-09-04 12:30 146K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80