Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_from1/card_lar

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]card_lar__e1_28_1_12017-01-13 18:17 13K 
[   ]card_lar__e1_502017-01-13 18:17 12K 
[   ]card_lar__e2_18_12017-01-13 18:17 11K 
[   ]card_lar__e2_37_1_22017-01-13 18:17 16K 
[   ]card_lar__e3_17_1_12017-01-13 18:17 12K 
[   ]card_lar__e3_182017-01-13 18:17 11K 
[   ]card_lar__e3_48_1_22017-01-13 18:17 13K 
[   ]card_lar__e4_49_22017-01-13 18:17 3.3K 
[   ]card_lar__e5_51_2_1_2_1_22017-01-13 18:17 13K 
[   ]card_lar__e6_37_12017-01-13 18:17 32K 
[   ]card_lar__e7_382017-01-13 18:17 27K 
[   ]card_lar__e7_492017-01-13 18:17 13K 
[   ]card_lar__e10_292017-01-13 18:17 14K 
[   ]card_lar__e37_422017-01-13 18:17 14K 

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