Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/yoneda_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]yoneda_1__t1_yoneda_12021-07-18 12:47 44K 
[   ]yoneda_1__t2_yoneda_12021-07-18 12:48 77K 
[   ]yoneda_1__t3_yoneda_12021-07-18 12:48 53K 
[   ]yoneda_1__t4_yoneda_12021-07-18 12:48 40K 
[   ]yoneda_1__t5_yoneda_12021-07-18 12:49 36K 

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