Index of /~mptp/1147/mptp/problems/mssublat

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mssublat__l7_mssublat2023-06-28 00:28 16K 
[ ]mssublat__t1_mssublat2023-06-28 00:28 32K 
[ ]mssublat__t2_mssublat2023-06-28 00:28 33K 
[ ]mssublat__t3_mssublat2023-06-28 00:28 33K 
[ ]mssublat__t4_mssublat2023-06-28 00:28 33K 
[ ]mssublat__t5_mssublat2023-06-28 00:28 39K 
[ ]mssublat__t6_mssublat2023-06-28 00:28 37K 
[ ]mssublat__t7_mssublat2023-06-28 00:28 51K 
[ ]mssublat__t8_mssublat2023-06-28 00:28 103K 
[ ]mssublat__t9_mssublat2023-06-28 00:28 69K 
[ ]mssublat__t10_mssublat2023-06-28 00:28 61K 
[ ]mssublat__t11_mssublat2023-06-28 00:28 77K 
[ ]mssublat__t12_mssublat2023-06-28 00:28 54K 
[ ]mssublat__t13_mssublat2023-06-28 00:28 68K 
[ ]mssublat__t14_mssublat2023-06-28 00:28 101K 
[ ]mssublat__t15_mssublat2023-06-28 00:28 101K 
[ ]mssublat__t16_mssublat2023-06-28 00:28 54K 
[ ]mssublat__t17_mssublat2023-06-28 00:28 58K 
[ ]mssublat__t18_mssublat2023-06-28 00:28 85K 
[ ]mssublat__t19_mssublat2023-06-28 00:28 79K 
[ ]mssublat__t20_mssublat2023-06-28 00:28 37K 
[ ]mssublat__t21_mssublat2023-06-28 00:28 57K 
[ ]mssublat__t22_mssublat2023-06-28 00:28 58K 
[ ]mssublat__t23_mssublat2023-06-28 00:28 84K 
[ ]mssublat__t24_mssublat2023-06-28 00:28 53K 
[ ]mssublat__t25_mssublat2023-06-28 00:28 64K 
[ ]mssublat__t26_mssublat2023-06-28 00:28 57K 
[ ]mssublat__t27_mssublat2023-06-28 00:28 55K 
[ ]mssublat__t28_mssublat2023-06-28 00:28 73K 
[ ]mssublat__t29_mssublat2023-06-28 00:28 71K 
[ ]mssublat__t30_mssublat2023-06-28 00:28 95K 
[ ]mssublat__t31_mssublat2023-06-28 00:28 86K 
[ ]mssublat__t32_mssublat2023-06-28 00:28 105K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80