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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfunc8__l39_mesfunc82025-09-13 22:06 29K 
[ ]mesfunc8__t1_mesfunc82025-09-13 22:08 106K 
[ ]mesfunc8__t2_mesfunc82025-09-13 22:09 67K 
[ ]mesfunc8__t3_mesfunc82025-09-13 22:11 84K 
[ ]mesfunc8__t4_mesfunc82025-09-13 22:13 101K 
[ ]mesfunc8__t5_mesfunc82025-09-13 22:15 78K 
[ ]mesfunc8__t6_mesfunc82025-09-13 22:05 77K 
[ ]mesfunc8__t7_mesfunc82025-09-13 22:17 65K 
[ ]mesfunc8__t10_mesfunc82025-09-13 22:18 65K 
[ ]mesfunc8__t11_mesfunc82025-09-13 22:20 72K 
[ ]mesfunc8__t12_mesfunc82025-09-13 22:22 72K 
[ ]mesfunc8__t13_mesfunc82025-09-13 22:23 67K 
[ ]mesfunc8__t14_mesfunc82025-09-13 22:25 69K 
[ ]mesfunc8__t15_mesfunc82025-09-13 22:27 81K 
[ ]mesfunc8__t16_mesfunc82025-09-13 22:29 81K 
[ ]mesfunc8__t19_mesfunc82025-09-13 22:31 78K 
[ ]mesfunc8__t20_mesfunc82025-09-13 22:33 78K 
[ ]mesfunc8__t21_mesfunc82025-09-13 22:35 78K 
[ ]mesfunc8__t22_mesfunc82025-09-13 22:36 77K 
[ ]mesfunc8__t23_mesfunc82025-09-13 22:38 86K 
[ ]mesfunc8__t24_mesfunc82025-09-13 22:40 85K 
[ ]mesfunc8__t25_mesfunc82025-09-13 22:42 70K 
[ ]mesfunc8__t26_mesfunc82025-09-13 22:44 63K 
[ ]mesfunc8__t27_mesfunc82025-09-13 22:45 78K 
[ ]mesfunc8__t29_mesfunc82025-09-13 22:47 63K 
[ ]mesfunc8__t30_mesfunc82025-09-13 22:50 289K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80