Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/pre_topc

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pre_topc__l11_pre_topc2025-09-13 17:22 9.8K 
[ ]pre_topc__t1_pre_topc2025-09-13 17:03 9.0K 
[ ]pre_topc__t2_pre_topc2025-09-13 17:03 9.3K 
[ ]pre_topc__t3_pre_topc2025-09-13 17:04 8.5K 
[ ]pre_topc__t4_pre_topc2025-09-13 17:04 7.2K 
[ ]pre_topc__t5_pre_topc2025-09-13 17:05 9.2K 
[ ]pre_topc__t6_pre_topc2025-09-13 17:01 7.1K 
[ ]pre_topc__t7_pre_topc2025-09-13 17:05 12K 
[ ]pre_topc__t8_pre_topc2025-09-13 17:06 8.3K 
[ ]pre_topc__t9_pre_topc2025-09-13 17:07 18K 
[ ]pre_topc__t10_pre_topc2025-09-13 17:07 10K 
[ ]pre_topc__t11_pre_topc2025-09-13 17:08 9.0K 
[ ]pre_topc__t12_pre_topc2025-09-13 17:08 6.1K 
[ ]pre_topc__t13_pre_topc2025-09-13 17:09 12K 
[ ]pre_topc__t14_pre_topc2025-09-13 17:10 14K 
[ ]pre_topc__t15_pre_topc2025-09-13 17:10 10K 
[ ]pre_topc__t16_pre_topc2025-09-13 17:11 9.5K 
[ ]pre_topc__t17_pre_topc2025-09-13 17:12 11K 
[ ]pre_topc__t18_pre_topc2025-09-13 17:12 6.6K 
[ ]pre_topc__t19_pre_topc2025-09-13 17:12 6.8K 
[ ]pre_topc__t20_pre_topc2025-09-13 17:13 15K 
[ ]pre_topc__t21_pre_topc2025-09-13 17:14 8.5K 
[ ]pre_topc__t22_pre_topc2025-09-13 17:14 9.1K 
[ ]pre_topc__t23_pre_topc2025-09-13 17:15 9.0K 
[ ]pre_topc__t24_pre_topc2025-09-13 17:02 12K 
[ ]pre_topc__t25_pre_topc2025-09-13 17:15 14K 
[ ]pre_topc__t26_pre_topc2025-09-13 17:16 14K 
[ ]pre_topc__t27_pre_topc2025-09-13 17:17 21K 
[ ]pre_topc__t28_pre_topc2025-09-13 17:02 7.6K 
[ ]pre_topc__t29_pre_topc2025-09-13 17:17 9.9K 
[ ]pre_topc__t30_pre_topc2025-09-13 17:18 8.4K 
[ ]pre_topc__t31_pre_topc2025-09-13 17:18 10K 
[ ]pre_topc__t32_pre_topc2025-09-13 17:19 12K 
[ ]pre_topc__t33_pre_topc2025-09-13 17:20 12K 
[ ]pre_topc__t34_pre_topc2025-09-13 17:20 12K 
[ ]pre_topc__t35_pre_topc2025-09-13 17:21 9.9K 
[ ]pre_topc__t36_pre_topc2025-09-13 17:22 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80