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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]real_lat__l4_real_lat2025-09-12 10:17 20K 
[ ]real_lat__l5_real_lat2025-09-12 10:18 21K 
[ ]real_lat__l6_real_lat2025-09-12 10:19 20K 
[ ]real_lat__l7_real_lat2025-09-12 10:20 21K 
[ ]real_lat__l8_real_lat2025-09-12 10:21 27K 
[ ]real_lat__l18_real_lat2025-09-12 10:55 10K 
[ ]real_lat__l32_real_lat2025-09-12 10:22 24K 
[ ]real_lat__l33_real_lat2025-09-12 10:23 24K 
[ ]real_lat__t1_real_lat2025-09-12 10:24 23K 
[ ]real_lat__t2_real_lat2025-09-12 10:25 23K 
[ ]real_lat__t3_real_lat2025-09-12 10:27 25K 
[ ]real_lat__t4_real_lat2025-09-12 10:28 25K 
[ ]real_lat__t5_real_lat2025-09-12 10:29 27K 
[ ]real_lat__t6_real_lat2025-09-12 10:30 27K 
[ ]real_lat__t7_real_lat2025-09-12 10:31 27K 
[ ]real_lat__t8_real_lat2025-09-12 10:33 32K 
[ ]real_lat__t9_real_lat2025-09-12 10:34 32K 
[ ]real_lat__t10_real_lat2025-09-12 10:35 34K 
[ ]real_lat__t11_real_lat2025-09-12 10:37 34K 
[ ]real_lat__t12_real_lat2025-09-12 10:38 34K 
[ ]real_lat__t13_real_lat2025-09-12 10:39 17K 
[ ]real_lat__t14_real_lat2025-09-12 10:40 17K 
[ ]real_lat__t15_real_lat2025-09-12 10:40 17K 
[ ]real_lat__t16_real_lat2025-09-12 10:42 34K 
[ ]real_lat__t17_real_lat2025-09-12 10:43 17K 
[ ]real_lat__t18_real_lat2025-09-12 10:43 17K 
[ ]real_lat__t19_real_lat2025-09-12 10:44 17K 
[ ]real_lat__t20_real_lat2025-09-12 10:46 34K 
[ ]real_lat__t21_real_lat2025-09-12 10:47 24K 
[ ]real_lat__t22_real_lat2025-09-12 10:48 24K 
[ ]real_lat__t23_real_lat2025-09-12 10:49 31K 
[ ]real_lat__t24_real_lat2025-09-12 10:51 31K 
[ ]real_lat__t25_real_lat2025-09-12 10:52 31K 
[ ]real_lat__t26_real_lat2025-09-12 10:53 31K 
[ ]real_lat__t27_real_lat2025-09-12 10:16 25K 
[ ]real_lat__t28_real_lat2025-09-12 10:54 31K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80