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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfun13__l10_mesfun132025-09-12 12:09 58K 
[ ]mesfun13__l11_mesfun132025-09-12 12:11 67K 
[ ]mesfun13__t1_mesfun132025-09-12 11:14 38K 
[ ]mesfun13__t2_mesfun132025-09-12 11:15 44K 
[ ]mesfun13__t3_mesfun132025-09-12 11:17 44K 
[ ]mesfun13__t4_mesfun132025-09-12 11:18 39K 
[ ]mesfun13__t5_mesfun132025-09-12 11:19 50K 
[ ]mesfun13__t6_mesfun132025-09-12 11:21 42K 
[ ]mesfun13__t7_mesfun132025-09-12 11:22 38K 
[ ]mesfun13__t8_mesfun132025-09-12 11:23 42K 
[ ]mesfun13__t9_mesfun132025-09-12 11:25 52K 
[ ]mesfun13__t10_mesfun132025-09-12 11:11 51K 
[ ]mesfun13__t11_mesfun132025-09-12 11:13 51K 
[ ]mesfun13__t12_mesfun132025-09-12 11:26 47K 
[ ]mesfun13__t13_mesfun132025-09-12 11:28 47K 
[ ]mesfun13__t14_mesfun132025-09-12 11:30 73K 
[ ]mesfun13__t15_mesfun132025-09-12 11:31 73K 
[ ]mesfun13__t16_mesfun132025-09-12 11:33 79K 
[ ]mesfun13__t17_mesfun132025-09-12 11:35 81K 
[ ]mesfun13__t18_mesfun132025-09-12 11:36 56K 
[ ]mesfun13__t19_mesfun132025-09-12 11:38 57K 
[ ]mesfun13__t20_mesfun132025-09-12 11:40 71K 
[ ]mesfun13__t21_mesfun132025-09-12 11:41 55K 
[ ]mesfun13__t22_mesfun132025-09-12 11:43 75K 
[ ]mesfun13__t23_mesfun132025-09-12 11:46 125K 
[ ]mesfun13__t24_mesfun132025-09-12 11:48 88K 
[ ]mesfun13__t25_mesfun132025-09-12 11:49 86K 
[ ]mesfun13__t27_mesfun132025-09-12 11:51 71K 
[ ]mesfun13__t28_mesfun132025-09-12 11:53 55K 
[ ]mesfun13__t29_mesfun132025-09-12 11:55 55K 
[ ]mesfun13__t30_mesfun132025-09-12 11:58 164K 
[ ]mesfun13__t31_mesfun132025-09-12 12:01 163K 
[ ]mesfun13__t32_mesfun132025-09-12 12:04 147K 
[ ]mesfun13__t33_mesfun132025-09-12 12:07 146K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80