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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfun14__l1_mesfun142025-09-13 23:33 64K 
[ ]mesfun14__l10_mesfun142025-09-13 23:35 90K 
[ ]mesfun14__l15_mesfun142025-09-13 23:37 139K 
[ ]mesfun14__l22_mesfun142025-09-13 23:39 130K 
[ ]mesfun14__l23_mesfun142025-09-13 23:41 82K 
[ ]mesfun14__l51_mesfun142025-09-13 23:42 54K 
[ ]mesfun14__t1_mesfun142025-09-13 21:59 93K 
[ ]mesfun14__t2_mesfun142025-09-13 22:01 90K 
[ ]mesfun14__t3_mesfun142025-09-13 22:03 73K 
[ ]mesfun14__t4_mesfun142025-09-13 22:05 99K 
[ ]mesfun14__t5_mesfun142025-09-13 22:07 122K 
[ ]mesfun14__t6_mesfun142025-09-13 22:09 94K 
[ ]mesfun14__t8_mesfun142025-09-13 22:11 139K 
[ ]mesfun14__t9_mesfun142025-09-13 22:14 175K 
[ ]mesfun14__t10_mesfun142025-09-13 22:16 111K 
[ ]mesfun14__t11_mesfun142025-09-13 22:19 111K 
[ ]mesfun14__t12_mesfun142025-09-13 22:21 90K 
[ ]mesfun14__t13_mesfun142025-09-13 22:23 101K 
[ ]mesfun14__t14_mesfun142025-09-13 22:25 87K 
[ ]mesfun14__t15_mesfun142025-09-13 22:27 127K 
[ ]mesfun14__t18_mesfun142025-09-13 22:30 170K 
[ ]mesfun14__t19_mesfun142025-09-13 22:33 188K 
[ ]mesfun14__t20_mesfun142025-09-13 22:36 188K 
[ ]mesfun14__t21_mesfun142025-09-13 22:40 285K 
[ ]mesfun14__t22_mesfun142025-09-13 22:43 285K 
[ ]mesfun14__t23_mesfun142025-09-13 22:45 105K 
[ ]mesfun14__t24_mesfun142025-09-13 22:47 121K 
[ ]mesfun14__t25_mesfun142025-09-13 22:49 121K 
[ ]mesfun14__t27_mesfun142025-09-13 22:51 89K 
[ ]mesfun14__t28_mesfun142025-09-13 22:53 104K 
[ ]mesfun14__t29_mesfun142025-09-13 22:55 105K 
[ ]mesfun14__t31_mesfun142025-09-13 21:56 78K 
[ ]mesfun14__t32_mesfun142025-09-13 22:57 84K 
[ ]mesfun14__t33_mesfun142025-09-13 22:59 91K 
[ ]mesfun14__t34_mesfun142025-09-13 23:00 78K 
[ ]mesfun14__t35_mesfun142025-09-13 23:02 87K 
[ ]mesfun14__t36_mesfun142025-09-13 23:04 119K 
[ ]mesfun14__t37_mesfun142025-09-13 23:07 110K 
[ ]mesfun14__t38_mesfun142025-09-13 23:09 106K 
[ ]mesfun14__t39_mesfun142025-09-13 23:11 115K 
[ ]mesfun14__t40_mesfun142025-09-13 23:13 124K 
[ ]mesfun14__t41_mesfun142025-09-13 23:15 138K 
[ ]mesfun14__t42_mesfun142025-09-13 23:18 141K 
[ ]mesfun14__t43_mesfun142025-09-13 23:20 98K 
[ ]mesfun14__t44_mesfun142025-09-13 23:22 116K 
[ ]mesfun14__t46_mesfun142025-09-13 23:24 96K 
[ ]mesfun14__t47_mesfun142025-09-13 21:58 79K 
[ ]mesfun14__t48_mesfun142025-09-13 23:25 82K 
[ ]mesfun14__t49_mesfun142025-09-13 23:30 260K 
[ ]mesfun14__t50_mesfun142025-09-13 23:32 99K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80