Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/pre_topc

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_topc__l11_pre_topc2021-07-19 01:38 9.8K 
[ ]pre_topc__t1_pre_topc2021-07-19 01:32 9.0K 
[ ]pre_topc__t2_pre_topc2021-07-19 01:32 9.3K 
[ ]pre_topc__t3_pre_topc2021-07-19 01:32 8.5K 
[ ]pre_topc__t4_pre_topc2021-07-19 01:32 7.2K 
[ ]pre_topc__t5_pre_topc2021-07-19 01:32 9.2K 
[ ]pre_topc__t6_pre_topc2021-07-19 01:31 7.1K 
[ ]pre_topc__t7_pre_topc2021-07-19 01:32 12K 
[ ]pre_topc__t8_pre_topc2021-07-19 01:33 8.3K 
[ ]pre_topc__t9_pre_topc2021-07-19 01:33 18K 
[ ]pre_topc__t10_pre_topc2021-07-19 01:33 10K 
[ ]pre_topc__t11_pre_topc2021-07-19 01:33 9.0K 
[ ]pre_topc__t12_pre_topc2021-07-19 01:33 6.1K 
[ ]pre_topc__t13_pre_topc2021-07-19 01:34 12K 
[ ]pre_topc__t14_pre_topc2021-07-19 01:34 14K 
[ ]pre_topc__t15_pre_topc2021-07-19 01:34 10K 
[ ]pre_topc__t16_pre_topc2021-07-19 01:34 9.5K 
[ ]pre_topc__t17_pre_topc2021-07-19 01:35 11K 
[ ]pre_topc__t18_pre_topc2021-07-19 01:35 6.6K 
[ ]pre_topc__t19_pre_topc2021-07-19 01:35 6.8K 
[ ]pre_topc__t20_pre_topc2021-07-19 01:35 15K 
[ ]pre_topc__t21_pre_topc2021-07-19 01:35 8.5K 
[ ]pre_topc__t22_pre_topc2021-07-19 01:36 9.1K 
[ ]pre_topc__t23_pre_topc2021-07-19 01:36 9.0K 
[ ]pre_topc__t24_pre_topc2021-07-19 01:31 12K 
[ ]pre_topc__t25_pre_topc2021-07-19 01:36 14K 
[ ]pre_topc__t26_pre_topc2021-07-19 01:36 14K 
[ ]pre_topc__t27_pre_topc2021-07-19 01:36 21K 
[ ]pre_topc__t28_pre_topc2021-07-19 01:31 7.6K 
[ ]pre_topc__t29_pre_topc2021-07-19 01:37 9.9K 
[ ]pre_topc__t30_pre_topc2021-07-19 01:37 8.4K 
[ ]pre_topc__t31_pre_topc2021-07-19 01:37 10K 
[ ]pre_topc__t32_pre_topc2021-07-19 01:37 12K 
[ ]pre_topc__t33_pre_topc2021-07-19 01:38 12K 
[ ]pre_topc__t34_pre_topc2021-07-19 01:38 12K 
[ ]pre_topc__t35_pre_topc2021-07-19 01:38 9.9K 
[ ]pre_topc__t36_pre_topc2021-07-19 01:38 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80