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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]abcmiz_1__t7_abcmiz_12023-06-27 16:43 148K 
[   ]abcmiz_1__t14_abcmiz_12023-06-27 16:43 66K 
[   ]abcmiz_1__t15_abcmiz_12023-06-27 16:43 65K 
[   ]abcmiz_1__t18_abcmiz_12023-06-27 16:43 61K 
[   ]abcmiz_1__t19_abcmiz_12023-06-27 16:43 65K 
[   ]abcmiz_1__t22_abcmiz_12023-06-27 16:43 89K 
[   ]abcmiz_1__t23_abcmiz_12023-06-27 16:43 76K 
[   ]abcmiz_1__t116_abcmiz_12023-06-27 16:43 89K 
[   ]abcmiz_1__t120_abcmiz_12023-06-27 16:43 107K 
[   ]abcmiz_1__t128_abcmiz_12023-06-27 16:43 166K 
[   ]abcmiz_1__t137_abcmiz_12023-06-27 16:43 146K 
[   ]abcmiz_1__t142_abcmiz_12023-06-27 16:43 102K 
[   ]abcmiz_1__t143_abcmiz_12023-06-27 16:43 188K 
[   ]abcmiz_1__t149_abcmiz_12023-06-27 16:43 141K 

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