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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comput_1__l70_comput_12023-06-27 16:44 121K 
[ ]comput_1__l71_comput_12023-06-27 16:44 140K 
[ ]comput_1__l72_comput_12023-06-27 16:44 144K 
[ ]comput_1__l73_comput_12023-06-27 16:44 169K 
[ ]comput_1__t40_comput_12023-06-27 16:44 115K 
[ ]comput_1__t49_comput_12023-06-27 16:44 113K 
[ ]comput_1__t50_comput_12023-06-27 16:44 104K 
[ ]comput_1__t51_comput_12023-06-27 16:44 137K 
[ ]comput_1__t52_comput_12023-06-27 16:44 139K 
[ ]comput_1__t53_comput_12023-06-27 16:44 107K 
[ ]comput_1__t54_comput_12023-06-27 16:44 157K 
[ ]comput_1__t65_comput_12023-06-27 16:44 139K 
[ ]comput_1__t67_comput_12023-06-27 16:44 97K 
[ ]comput_1__t68_comput_12023-06-27 16:44 135K 
[ ]comput_1__t69_comput_12023-06-27 16:44 325K 
[ ]comput_1__t75_comput_12023-06-27 16:44 134K 
[ ]comput_1__t76_comput_12023-06-27 16:44 139K 
[ ]comput_1__t77_comput_12023-06-27 16:44 137K 
[ ]comput_1__t78_comput_12023-06-27 16:44 130K 
[ ]comput_1__t85_comput_12023-06-27 16:44 136K 
[ ]comput_1__t86_comput_12023-06-27 16:44 154K 
[ ]comput_1__t87_comput_12023-06-27 16:44 151K 
[ ]comput_1__t88_comput_12023-06-27 16:44 141K 
[ ]comput_1__t89_comput_12023-06-27 16:44 115K 
[ ]comput_1__t90_comput_12023-06-27 16:44 224K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80