Index of /~mptp/7.13.01_4.181.1147/mptp/problems_from_newthf/stirl2_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]stirl2_1__l48_stirl2_12023-06-27 16:50 127K 
[   ]stirl2_1__l67_stirl2_12023-06-27 16:50 92K 
[   ]stirl2_1__t18_stirl2_12023-06-27 16:50 72K 
[   ]stirl2_1__t19_stirl2_12023-06-27 16:50 100K 
[   ]stirl2_1__t23_stirl2_12023-06-27 16:50 110K 
[   ]stirl2_1__t24_stirl2_12023-06-27 16:50 55K 
[   ]stirl2_1__t42_stirl2_12023-06-27 16:50 130K 
[   ]stirl2_1__t43_stirl2_12023-06-27 16:50 125K 
[   ]stirl2_1__t45_stirl2_12023-06-27 16:50 98K 
[   ]stirl2_1__t47_stirl2_12023-06-27 16:50 341K 
[   ]stirl2_1__t48_stirl2_12023-06-27 16:50 826K 
[   ]stirl2_1__t49_stirl2_12023-06-27 16:50 1.5M 
[   ]stirl2_1__t52_stirl2_12023-06-27 16:50 309K 
[   ]stirl2_1__t53_stirl2_12023-06-27 16:50 1.3M 
[   ]stirl2_1__t57_stirl2_12023-06-27 16:50 75K 
[   ]stirl2_1__t59_stirl2_12023-06-27 16:50 120K 
[   ]stirl2_1__t63_stirl2_12023-06-27 16:50 145K 
[   ]stirl2_1__t64_stirl2_12023-06-27 16:50 115K 

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