Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_from_newthf/aofa_000

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_000__l143_aofa_0002023-06-27 16:43 155K 
[ ]aofa_000__t3_aofa_0002023-06-27 16:43 118K 
[ ]aofa_000__t10_aofa_0002023-06-27 16:43 61K 
[ ]aofa_000__t13_aofa_0002023-06-27 16:43 97K 
[ ]aofa_000__t14_aofa_0002023-06-27 16:43 102K 
[ ]aofa_000__t19_aofa_0002023-06-27 16:43 96K 
[ ]aofa_000__t21_aofa_0002023-06-27 16:43 116K 
[ ]aofa_000__t22_aofa_0002023-06-27 16:43 83K 
[ ]aofa_000__t23_aofa_0002023-06-27 16:43 90K 
[ ]aofa_000__t24_aofa_0002023-06-27 16:43 102K 
[ ]aofa_000__t25_aofa_0002023-06-27 16:43 97K 
[ ]aofa_000__t32_aofa_0002023-06-27 16:43 92K 
[ ]aofa_000__t35_aofa_0002023-06-27 16:43 118K 
[ ]aofa_000__t36_aofa_0002023-06-27 16:43 161K 
[ ]aofa_000__t38_aofa_0002023-06-27 16:43 105K 
[ ]aofa_000__t39_aofa_0002023-06-27 16:43 103K 
[ ]aofa_000__t70_aofa_0002023-06-27 16:43 150K 
[ ]aofa_000__t86_aofa_0002023-06-27 16:43 384K 
[ ]aofa_000__t87_aofa_0002023-06-27 16:43 162K 
[ ]aofa_000__t91_aofa_0002023-06-27 16:43 187K 
[ ]aofa_000__t92_aofa_0002023-06-27 16:43 184K 
[ ]aofa_000__t93_aofa_0002023-06-27 16:43 145K 
[ ]aofa_000__t115_aofa_0002023-06-27 16:43 175K 
[ ]aofa_000__t116_aofa_0002023-06-27 16:43 175K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80