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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfun6c__l22_mesfun6c2025-09-12 11:56 54K 
[ ]mesfun6c__l34_mesfun6c2025-09-12 10:32 29K 
[ ]mesfun6c__l47_mesfun6c2025-09-12 11:59 267K 
[ ]mesfun6c__l50_mesfun6c2025-09-12 12:01 299K 
[ ]mesfun6c__t1_mesfun6c2025-09-12 10:24 38K 
[ ]mesfun6c__t2_mesfun6c2025-09-12 10:33 90K 
[ ]mesfun6c__t3_mesfun6c2025-09-12 10:35 99K 
[ ]mesfun6c__t4_mesfun6c2025-09-12 10:37 129K 
[ ]mesfun6c__t5_mesfun6c2025-09-12 10:39 94K 
[ ]mesfun6c__t6_mesfun6c2025-09-12 10:40 57K 
[ ]mesfun6c__t7_mesfun6c2025-09-12 10:42 68K 
[ ]mesfun6c__t8_mesfun6c2025-09-12 10:44 95K 
[ ]mesfun6c__t9_mesfun6c2025-09-12 10:26 45K 
[ ]mesfun6c__t10_mesfun6c2025-09-12 10:27 51K 
[ ]mesfun6c__t11_mesfun6c2025-09-12 10:45 53K 
[ ]mesfun6c__t12_mesfun6c2025-09-12 10:47 61K 
[ ]mesfun6c__t13_mesfun6c2025-09-12 10:48 67K 
[ ]mesfun6c__t14_mesfun6c2025-09-12 10:50 68K 
[ ]mesfun6c__t15_mesfun6c2025-09-12 10:52 60K 
[ ]mesfun6c__t16_mesfun6c2025-09-12 10:53 59K 
[ ]mesfun6c__t17_mesfun6c2025-09-12 10:55 68K 
[ ]mesfun6c__t18_mesfun6c2025-09-12 10:57 78K 
[ ]mesfun6c__t19_mesfun6c2025-09-12 10:59 87K 
[ ]mesfun6c__t20_mesfun6c2025-09-12 10:29 68K 
[ ]mesfun6c__t21_mesfun6c2025-09-12 11:01 116K 
[ ]mesfun6c__t22_mesfun6c2025-09-12 11:04 120K 
[ ]mesfun6c__t23_mesfun6c2025-09-12 11:05 61K 
[ ]mesfun6c__t24_mesfun6c2025-09-12 11:08 132K 
[ ]mesfun6c__t25_mesfun6c2025-09-12 11:10 136K 
[ ]mesfun6c__t26_mesfun6c2025-09-12 10:30 48K 
[ ]mesfun6c__t27_mesfun6c2025-09-12 11:12 75K 
[ ]mesfun6c__t28_mesfun6c2025-09-12 11:13 61K 
[ ]mesfun6c__t29_mesfun6c2025-09-12 11:15 90K 
[ ]mesfun6c__t30_mesfun6c2025-09-12 11:17 93K 
[ ]mesfun6c__t31_mesfun6c2025-09-12 11:20 94K 
[ ]mesfun6c__t32_mesfun6c2025-09-12 11:21 79K 
[ ]mesfun6c__t33_mesfun6c2025-09-12 11:23 56K 
[ ]mesfun6c__t34_mesfun6c2025-09-12 11:25 94K 
[ ]mesfun6c__t35_mesfun6c2025-09-12 11:27 59K 
[ ]mesfun6c__t36_mesfun6c2025-09-12 11:29 144K 
[ ]mesfun6c__t37_mesfun6c2025-09-12 11:32 116K 
[ ]mesfun6c__t38_mesfun6c2025-09-12 11:34 148K 
[ ]mesfun6c__t39_mesfun6c2025-09-12 11:36 252K 
[ ]mesfun6c__t40_mesfun6c2025-09-12 11:38 121K 
[ ]mesfun6c__t41_mesfun6c2025-09-12 11:40 67K 
[ ]mesfun6c__t42_mesfun6c2025-09-12 11:42 126K 
[ ]mesfun6c__t43_mesfun6c2025-09-12 11:44 75K 
[ ]mesfun6c__t44_mesfun6c2025-09-12 11:46 287K 
[ ]mesfun6c__t45_mesfun6c2025-09-12 11:48 79K 
[ ]mesfun6c__t46_mesfun6c2025-09-12 11:50 61K 
[ ]mesfun6c__t47_mesfun6c2025-09-12 11:51 61K 
[ ]mesfun6c__t48_mesfun6c2025-09-12 11:53 61K 
[ ]mesfun6c__t49_mesfun6c2025-09-12 11:55 58K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80