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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]abcmiz_1__t7_abcmiz_12023-06-27 17:13 148K 
[   ]abcmiz_1__t14_abcmiz_12023-06-27 17:13 66K 
[   ]abcmiz_1__t15_abcmiz_12023-06-27 17:13 65K 
[   ]abcmiz_1__t18_abcmiz_12023-06-27 17:13 61K 
[   ]abcmiz_1__t19_abcmiz_12023-06-27 17:13 65K 
[   ]abcmiz_1__t22_abcmiz_12023-06-27 17:13 90K 
[   ]abcmiz_1__t23_abcmiz_12023-06-27 17:13 76K 
[   ]abcmiz_1__t116_abcmiz_12023-06-27 17:13 89K 
[   ]abcmiz_1__t120_abcmiz_12023-06-27 17:13 107K 
[   ]abcmiz_1__t128_abcmiz_12023-06-27 17:13 167K 
[   ]abcmiz_1__t137_abcmiz_12023-06-27 17:13 147K 
[   ]abcmiz_1__t142_abcmiz_12023-06-27 17:13 102K 
[   ]abcmiz_1__t143_abcmiz_12023-06-27 17:13 189K 
[   ]abcmiz_1__t149_abcmiz_12023-06-27 17:13 141K 

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