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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]stirl2_1__l48_stirl2_12023-06-27 17:20 128K 
[   ]stirl2_1__l67_stirl2_12023-06-27 17:20 93K 
[   ]stirl2_1__t18_stirl2_12023-06-27 17:20 72K 
[   ]stirl2_1__t19_stirl2_12023-06-27 17:20 101K 
[   ]stirl2_1__t23_stirl2_12023-06-27 17:20 111K 
[   ]stirl2_1__t24_stirl2_12023-06-27 17:20 55K 
[   ]stirl2_1__t42_stirl2_12023-06-27 17:20 131K 
[   ]stirl2_1__t43_stirl2_12023-06-27 17:20 126K 
[   ]stirl2_1__t45_stirl2_12023-06-27 17:20 98K 
[   ]stirl2_1__t47_stirl2_12023-06-27 17:20 348K 
[   ]stirl2_1__t48_stirl2_12023-06-27 17:20 845K 
[   ]stirl2_1__t49_stirl2_12023-06-27 17:20 1.5M 
[   ]stirl2_1__t52_stirl2_12023-06-27 17:20 315K 
[   ]stirl2_1__t53_stirl2_12023-06-27 17:20 1.4M 
[   ]stirl2_1__t57_stirl2_12023-06-27 17:20 75K 
[   ]stirl2_1__t59_stirl2_12023-06-27 17:20 121K 
[   ]stirl2_1__t63_stirl2_12023-06-27 17:20 146K 
[   ]stirl2_1__t64_stirl2_12023-06-27 17:20 116K 

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