Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_gdfthf/numeral1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]numeral1__t1_numeral12019-08-19 18:53 197K 
[   ]numeral1__t2_numeral12019-08-19 18:53 232K 
[   ]numeral1__t3_numeral12019-08-19 18:53 313K 
[   ]numeral1__t4_numeral12019-08-19 18:53 118K 
[   ]numeral1__t5_numeral12019-08-19 18:53 130K 
[   ]numeral1__t6_numeral12019-08-19 18:53 310K 
[   ]numeral1__t7_numeral12019-08-19 18:53 498K 
[   ]numeral1__t8_numeral12019-08-19 18:53 665K 
[   ]numeral1__t9_numeral12019-08-19 18:53 429K 
[   ]numeral1__t10_numeral12019-08-19 18:53 663K 

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