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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]aofa_000__l143_aofa_0002023-06-27 17:13 155K 
[ ]aofa_000__t3_aofa_0002023-06-27 17:13 119K 
[ ]aofa_000__t10_aofa_0002023-06-27 17:13 61K 
[ ]aofa_000__t13_aofa_0002023-06-27 17:13 97K 
[ ]aofa_000__t14_aofa_0002023-06-27 17:13 102K 
[ ]aofa_000__t19_aofa_0002023-06-27 17:13 96K 
[ ]aofa_000__t21_aofa_0002023-06-27 17:13 117K 
[ ]aofa_000__t22_aofa_0002023-06-27 17:13 84K 
[ ]aofa_000__t23_aofa_0002023-06-27 17:13 90K 
[ ]aofa_000__t24_aofa_0002023-06-27 17:13 102K 
[ ]aofa_000__t25_aofa_0002023-06-27 17:13 97K 
[ ]aofa_000__t32_aofa_0002023-06-27 17:13 92K 
[ ]aofa_000__t35_aofa_0002023-06-27 17:13 118K 
[ ]aofa_000__t36_aofa_0002023-06-27 17:13 162K 
[ ]aofa_000__t38_aofa_0002023-06-27 17:13 105K 
[ ]aofa_000__t39_aofa_0002023-06-27 17:13 103K 
[ ]aofa_000__t70_aofa_0002023-06-27 17:13 151K 
[ ]aofa_000__t86_aofa_0002023-06-27 17:13 391K 
[ ]aofa_000__t87_aofa_0002023-06-27 17:13 163K 
[ ]aofa_000__t91_aofa_0002023-06-27 17:13 188K 
[ ]aofa_000__t92_aofa_0002023-06-27 17:13 185K 
[ ]aofa_000__t93_aofa_0002023-06-27 17:13 146K 
[ ]aofa_000__t115_aofa_0002023-06-27 17:13 176K 
[ ]aofa_000__t116_aofa_0002023-06-27 17:13 177K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80