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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfunc3__l15_mesfunc32025-09-13 20:27 139K 
[ ]mesfunc3__l16_mesfunc32025-09-13 20:29 149K 
[ ]mesfunc3__l17_mesfunc32025-09-13 20:33 217K 
[ ]mesfunc3__t1_mesfunc32025-09-13 19:57 161K 
[ ]mesfunc3__t2_mesfunc32025-09-13 19:59 135K 
[ ]mesfunc3__t3_mesfunc32025-09-13 20:01 82K 
[ ]mesfunc3__t4_mesfunc32025-09-13 20:02 66K 
[ ]mesfunc3__t5_mesfunc32025-09-13 20:04 68K 
[ ]mesfunc3__t6_mesfunc32025-09-13 20:05 69K 
[ ]mesfunc3__t7_mesfunc32025-09-13 20:07 69K 
[ ]mesfunc3__t8_mesfunc32025-09-13 20:09 82K 
[ ]mesfunc3__t9_mesfunc32025-09-13 20:11 153K 
[ ]mesfunc3__t10_mesfunc32025-09-13 20:13 92K 
[ ]mesfunc3__t11_mesfunc32025-09-13 20:15 59K 
[ ]mesfunc3__t12_mesfunc32025-09-13 20:16 76K 
[ ]mesfunc3__t13_mesfunc32025-09-13 20:19 149K 
[ ]mesfunc3__t14_mesfunc32025-09-13 20:20 75K 
[ ]mesfunc3__t15_mesfunc32025-09-13 20:23 137K 
[ ]mesfunc3__t16_mesfunc32025-09-13 19:52 57K 
[ ]mesfunc3__t17_mesfunc32025-09-13 20:25 98K 
[ ]mesfunc3__t18_mesfunc32025-09-13 19:54 70K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80