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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]series_2__l16_series_22023-06-27 16:50 105K 
[ ]series_2__t3_series_22023-06-27 16:50 105K 
[ ]series_2__t4_series_22023-06-27 16:50 50K 
[ ]series_2__t5_series_22023-06-27 16:50 39K 
[ ]series_2__t6_series_22023-06-27 16:50 445K 
[ ]series_2__t7_series_22023-06-27 16:50 695K 
[ ]series_2__t8_series_22023-06-27 16:50 1.5M 
[ ]series_2__t9_series_22023-06-27 16:50 134K 
[ ]series_2__t10_series_22023-06-27 16:50 851K 
[ ]series_2__t11_series_22023-06-27 16:50 1.2M 
[ ]series_2__t12_series_22023-06-27 16:50 897K 
[ ]series_2__t13_series_22023-06-27 16:50 216K 
[ ]series_2__t14_series_22023-06-27 16:50 713K 
[ ]series_2__t15_series_22023-06-27 16:50 215K 
[ ]series_2__t16_series_22023-06-27 16:50 126K 
[ ]series_2__t17_series_22023-06-27 16:50 1.9M 
[ ]series_2__t18_series_22023-06-27 16:50 523K 
[ ]series_2__t19_series_22023-06-27 16:50 345K 
[ ]series_2__t20_series_22023-06-27 16:50 1.1M 
[ ]series_2__t21_series_22023-06-27 16:50 764K 
[ ]series_2__t22_series_22023-06-27 16:50 1.7M 
[ ]series_2__t23_series_22023-06-27 16:50 1.8M 
[ ]series_2__t24_series_22023-06-27 16:50 458K 
[ ]series_2__t25_series_22023-06-27 16:50 472K 
[ ]series_2__t26_series_22023-06-27 16:50 270K 
[ ]series_2__t27_series_22023-06-27 16:50 358K 
[ ]series_2__t28_series_22023-06-27 16:50 1.3M 
[ ]series_2__t29_series_22023-06-27 16:50 1.1M 
[ ]series_2__t30_series_22023-06-27 16:50 1.0M 
[ ]series_2__t31_series_22023-06-27 16:50 2.0M 
[ ]series_2__t32_series_22023-06-27 16:50 478K 
[ ]series_2__t33_series_22023-06-27 16:50 851K 
[ ]series_2__t34_series_22023-06-27 16:50 218K 
[ ]series_2__t35_series_22023-06-27 16:50 248K 
[ ]series_2__t36_series_22023-06-27 16:50 441K 
[ ]series_2__t37_series_22023-06-27 16:50 62K 
[ ]series_2__t38_series_22023-06-27 16:50 70K 
[ ]series_2__t39_series_22023-06-27 16:50 382K 
[ ]series_2__t40_series_22023-06-27 16:50 267K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80