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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mesfunc1__l2_mesfunc12025-09-13 06:12 34K 
[   ]mesfunc1__t1_mesfunc12025-09-13 06:14 80K 
[   ]mesfunc1__t2_mesfunc12025-09-13 06:15 51K 
[   ]mesfunc1__t3_mesfunc12025-09-13 06:10 46K 
[   ]mesfunc1__t4_mesfunc12025-09-13 06:17 84K 
[   ]mesfunc1__t5_mesfunc12025-09-13 06:19 104K 
[   ]mesfunc1__t6_mesfunc12025-09-13 06:20 68K 
[   ]mesfunc1__t7_mesfunc12025-09-13 06:11 58K 
[   ]mesfunc1__t8_mesfunc12025-09-13 06:22 40K 
[   ]mesfunc1__t9_mesfunc12025-09-13 06:23 46K 
[   ]mesfunc1__t10_mesfunc12025-09-13 06:24 55K 
[   ]mesfunc1__t11_mesfunc12025-09-13 06:25 45K 
[   ]mesfunc1__t12_mesfunc12025-09-13 06:27 35K 
[   ]mesfunc1__t13_mesfunc12025-09-13 06:28 36K 
[   ]mesfunc1__t14_mesfunc12025-09-13 06:29 61K 
[   ]mesfunc1__t15_mesfunc12025-09-13 06:31 61K 
[   ]mesfunc1__t16_mesfunc12025-09-13 06:32 61K 
[   ]mesfunc1__t17_mesfunc12025-09-13 06:34 61K 
[   ]mesfunc1__t18_mesfunc12025-09-13 06:36 60K 
[   ]mesfunc1__t19_mesfunc12025-09-13 06:37 113K 
[   ]mesfunc1__t20_mesfunc12025-09-13 06:39 113K 
[   ]mesfunc1__t21_mesfunc12025-09-13 06:41 111K 
[   ]mesfunc1__t22_mesfunc12025-09-13 06:43 111K 
[   ]mesfunc1__t23_mesfunc12025-09-13 06:45 72K 
[   ]mesfunc1__t24_mesfunc12025-09-13 06:47 82K 
[   ]mesfunc1__t25_mesfunc12025-09-13 06:49 74K 
[   ]mesfunc1__t26_mesfunc12025-09-13 06:51 93K 
[   ]mesfunc1__t27_mesfunc12025-09-13 06:52 60K 
[   ]mesfunc1__t28_mesfunc12025-09-13 06:54 76K 
[   ]mesfunc1__t29_mesfunc12025-09-13 06:56 61K 
[   ]mesfunc1__t30_mesfunc12025-09-13 06:57 57K 
[   ]mesfunc1__t31_mesfunc12025-09-13 06:59 61K 
[   ]mesfunc1__t32_mesfunc12025-09-13 07:01 80K 
[   ]mesfunc1__t33_mesfunc12025-09-13 07:02 68K 
[   ]mesfunc1__t34_mesfunc12025-09-13 07:04 68K 
[   ]mesfunc1__t35_mesfunc12025-09-13 07:06 73K 
[   ]mesfunc1__t36_mesfunc12025-09-13 07:07 59K 
[   ]mesfunc1__t37_mesfunc12025-09-13 07:09 88K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80