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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfunc9__l27_mesfunc92023-06-27 16:47 87K 
[ ]mesfunc9__l53_mesfunc92023-06-27 16:47 95K 
[ ]mesfunc9__l54_mesfunc92023-06-27 16:47 125K 
[ ]mesfunc9__l63_mesfunc92023-06-27 16:47 180K 
[ ]mesfunc9__t13_mesfunc92023-06-27 16:47 136K 
[ ]mesfunc9__t16_mesfunc92023-06-27 16:47 89K 
[ ]mesfunc9__t17_mesfunc92023-06-27 16:47 54K 
[ ]mesfunc9__t23_mesfunc92023-06-27 16:47 83K 
[ ]mesfunc9__t25_mesfunc92023-06-27 16:47 83K 
[ ]mesfunc9__t28_mesfunc92023-06-27 16:47 82K 
[ ]mesfunc9__t32_mesfunc92023-06-27 16:47 80K 
[ ]mesfunc9__t35_mesfunc92023-06-27 16:47 68K 
[ ]mesfunc9__t36_mesfunc92023-06-27 16:47 59K 
[ ]mesfunc9__t37_mesfunc92023-06-27 16:47 108K 
[ ]mesfunc9__t39_mesfunc92023-06-27 16:47 52K 
[ ]mesfunc9__t40_mesfunc92023-06-27 16:47 52K 
[ ]mesfunc9__t41_mesfunc92023-06-27 16:47 56K 
[ ]mesfunc9__t42_mesfunc92023-06-27 16:47 80K 
[ ]mesfunc9__t45_mesfunc92023-06-27 16:47 56K 
[ ]mesfunc9__t46_mesfunc92023-06-27 16:47 97K 
[ ]mesfunc9__t48_mesfunc92023-06-27 16:47 143K 
[ ]mesfunc9__t49_mesfunc92023-06-27 16:47 64K 
[ ]mesfunc9__t50_mesfunc92023-06-27 16:47 97K 
[ ]mesfunc9__t51_mesfunc92023-06-27 16:47 99K 
[ ]mesfunc9__t52_mesfunc92023-06-27 16:47 193K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80