Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/mesfun15

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfun15__l1_mesfun152024-07-28 03:45 46K 
[ ]mesfun15__l1_mesfun15.vout2024-08-03 06:45 6.8K 
[ ]mesfun15__l2_mesfun152024-07-28 03:47 46K 
[ ]mesfun15__l2_mesfun15.vout2024-08-03 08:10 6.8K 
[ ]mesfun15__l19_mesfun152024-07-28 03:49 98K 
[ ]mesfun15__l19_mesfun15.vout2024-08-03 06:24 6.8K 
[ ]mesfun15__l24_mesfun152024-07-28 03:51 59K 
[ ]mesfun15__l24_mesfun15.vout2024-08-03 04:07 5.8K 
[ ]mesfun15__l27_mesfun152024-07-28 03:52 59K 
[ ]mesfun15__l27_mesfun15.vout2024-08-03 08:27 6.8K 
[ ]mesfun15__l29_mesfun152024-07-28 03:54 50K 
[ ]mesfun15__l29_mesfun15.vout2024-08-03 06:23 7.3K 
[ ]mesfun15__l31_mesfun152024-07-28 03:56 47K 
[ ]mesfun15__l31_mesfun15.vout2024-08-03 10:04 6.8K 
[ ]mesfun15__l47_mesfun152024-07-28 03:59 111K 
[ ]mesfun15__l47_mesfun15.vout2024-08-03 07:31 6.8K 
[ ]mesfun15__l48_mesfun152024-07-28 04:01 111K 
[ ]mesfun15__l48_mesfun15.vout2024-08-03 07:51 7.3K 
[ ]mesfun15__l55_mesfun152024-07-28 04:04 103K 
[ ]mesfun15__l55_mesfun15.vout2024-08-03 08:22 6.8K 
[ ]mesfun15__l58_mesfun152024-07-28 04:07 103K 
[ ]mesfun15__l58_mesfun15.vout2024-08-03 08:36 7.4K 
[ ]mesfun15__t1_mesfun152024-07-28 01:11 61K 
[ ]mesfun15__t1_mesfun15.vout2024-08-03 09:00 4.7K 
[ ]mesfun15__t2_mesfun152024-07-28 01:12 43K 
[ ]mesfun15__t2_mesfun15.vout2024-08-03 07:56 7.3K 
[ ]mesfun15__t3_mesfun152024-07-28 01:13 42K 
[ ]mesfun15__t3_mesfun15.depv12024-08-03 10:19 432  
[ ]mesfun15__t3_mesfun15.depvmin12024-08-03 10:24 380  
[ ]mesfun15__t3_mesfun15.vmin12024-08-03 10:19 4.1K 
[ ]mesfun15__t3_mesfun15.vmin1out2024-08-03 10:23 33K 
[ ]mesfun15__t3_mesfun15.vout2024-08-03 07:44 41K 
[ ]mesfun15__t4_mesfun152024-07-28 01:15 51K 
[ ]mesfun15__t4_mesfun15.vout2024-08-03 06:25 6.8K 
[ ]mesfun15__t5_mesfun152024-07-28 01:17 54K 
[ ]mesfun15__t5_mesfun15.vout2024-08-03 04:24 6.8K 
[ ]mesfun15__t6_mesfun152024-07-28 01:18 54K 
[ ]mesfun15__t6_mesfun15.vout2024-08-03 04:30 6.8K 
[ ]mesfun15__t7_mesfun152024-07-28 01:20 54K 
[ ]mesfun15__t7_mesfun15.vout2024-08-03 07:51 7.3K 
[ ]mesfun15__t8_mesfun152024-07-28 01:21 44K 
[ ]mesfun15__t8_mesfun15.vout2024-08-03 06:28 6.8K 
[ ]mesfun15__t9_mesfun152024-07-28 01:23 44K 
[ ]mesfun15__t9_mesfun15.vout2024-08-03 07:07 7.3K 
[ ]mesfun15__t10_mesfun152024-07-28 01:24 48K 
[ ]mesfun15__t10_mesfun15.vout2024-08-03 08:06 6.8K 
[ ]mesfun15__t11_mesfun152024-07-28 01:26 74K 
[ ]mesfun15__t11_mesfun15.vout2024-08-03 06:01 6.8K 
[ ]mesfun15__t12_mesfun152024-07-28 01:28 63K 
[ ]mesfun15__t12_mesfun15.vout2024-08-03 05:20 7.3K 
[ ]mesfun15__t13_mesfun152024-07-28 01:29 63K 
[ ]mesfun15__t13_mesfun15.vout2024-08-03 07:47 6.8K 
[ ]mesfun15__t14_mesfun152024-07-28 01:31 41K 
[ ]mesfun15__t14_mesfun15.depv12024-08-03 10:19 105  
[ ]mesfun15__t14_mesfun15.depvmin12024-08-03 10:24 105  
[ ]mesfun15__t14_mesfun15.vmin12024-08-03 10:19 1.3K 
[ ]mesfun15__t14_mesfun15.vmin1out2024-08-03 10:21 13K 
[ ]mesfun15__t14_mesfun15.vout2024-08-03 05:55 25K 
[ ]mesfun15__t15_mesfun152024-07-28 01:33 91K 
[ ]mesfun15__t15_mesfun15.vout2024-08-03 08:27 6.8K 
[ ]mesfun15__t16_mesfun152024-07-28 01:35 63K 
[ ]mesfun15__t16_mesfun15.vout2024-08-03 06:34 6.8K 
[ ]mesfun15__t17_mesfun152024-07-28 01:38 95K 
[ ]mesfun15__t17_mesfun15.vout2024-08-03 06:40 7.3K 
[ ]mesfun15__t18_mesfun152024-07-28 01:39 41K 
[ ]mesfun15__t18_mesfun15.vout2024-08-03 05:28 6.8K 
[ ]mesfun15__t20_mesfun152024-07-28 01:40 49K 
[ ]mesfun15__t20_mesfun15.vout2024-08-03 09:05 7.3K 
[ ]mesfun15__t21_mesfun152024-07-28 01:42 56K 
[ ]mesfun15__t21_mesfun15.vout2024-08-03 08:57 7.3K 
[ ]mesfun15__t22_mesfun152024-07-28 01:44 56K 
[ ]mesfun15__t22_mesfun15.vout2024-08-03 07:37 6.8K 
[ ]mesfun15__t23_mesfun152024-07-28 01:46 45K 
[ ]mesfun15__t23_mesfun15.vout2024-08-03 04:51 6.8K 
[ ]mesfun15__t24_mesfun152024-07-28 01:47 46K 
[ ]mesfun15__t24_mesfun15.vout2024-08-03 06:57 6.8K 
[ ]mesfun15__t25_mesfun152024-07-28 01:49 41K 
[ ]mesfun15__t25_mesfun15.depv12024-08-03 10:19 146  
[ ]mesfun15__t25_mesfun15.depvmin12024-08-03 10:24 126  
[ ]mesfun15__t25_mesfun15.vmin12024-08-03 10:19 2.6K 
[ ]mesfun15__t25_mesfun15.vmin1out2024-08-03 10:23 31K 
[ ]mesfun15__t25_mesfun15.vout2024-08-03 09:35 30K 
[ ]mesfun15__t26_mesfun152024-07-28 01:51 38K 
[ ]mesfun15__t26_mesfun15.depv12024-08-03 10:19 104  
[ ]mesfun15__t26_mesfun15.depvmin12024-08-03 10:24 104  
[ ]mesfun15__t26_mesfun15.vmin12024-08-03 10:19 1.3K 
[ ]mesfun15__t26_mesfun15.vmin1out2024-08-03 10:20 10K 
[ ]mesfun15__t26_mesfun15.vout2024-08-03 07:45 11K 
[ ]mesfun15__t28_mesfun152024-07-28 01:52 35K 
[ ]mesfun15__t28_mesfun15.depv12024-08-03 10:19 53  
[ ]mesfun15__t28_mesfun15.depvmin12024-08-03 10:24 53  
[ ]mesfun15__t28_mesfun15.vmin12024-08-03 10:19 1.4K 
[ ]mesfun15__t28_mesfun15.vmin1out2024-08-03 10:21 21K 
[ ]mesfun15__t28_mesfun15.vout2024-08-03 04:59 22K 
[ ]mesfun15__t30_mesfun152024-07-28 01:53 36K 
[ ]mesfun15__t30_mesfun15.depv12024-08-03 10:19 144  
[ ]mesfun15__t30_mesfun15.depvmin12024-08-03 10:24 144  
[ ]mesfun15__t30_mesfun15.vmin12024-08-03 10:19 1.9K 
[ ]mesfun15__t30_mesfun15.vmin1out2024-08-03 10:21 22K 
[ ]mesfun15__t30_mesfun15.vout2024-08-03 09:05 23K 
[ ]mesfun15__t31_mesfun152024-07-28 01:56 68K 
[ ]mesfun15__t31_mesfun15.vout2024-08-03 05:04 7.3K 
[ ]mesfun15__t32_mesfun152024-07-28 01:58 68K 
[ ]mesfun15__t32_mesfun15.vout2024-08-03 04:07 7.4K 
[ ]mesfun15__t33_mesfun152024-07-28 02:00 52K 
[ ]mesfun15__t33_mesfun15.vout2024-08-03 04:53 6.8K 
[ ]mesfun15__t34_mesfun152024-07-28 02:02 66K 
[ ]mesfun15__t34_mesfun15.vout2024-08-03 09:31 7.3K 
[ ]mesfun15__t35_mesfun152024-07-28 02:04 70K 
[ ]mesfun15__t35_mesfun15.vout2024-08-03 06:16 7.4K 
[ ]mesfun15__t36_mesfun152024-07-28 02:06 53K 
[ ]mesfun15__t36_mesfun15.vout2024-08-03 06:10 6.8K 
[ ]mesfun15__t37_mesfun152024-07-28 02:08 58K 
[ ]mesfun15__t37_mesfun15.vout2024-08-03 09:03 4.1K 
[ ]mesfun15__t38_mesfun152024-07-28 02:10 53K 
[ ]mesfun15__t38_mesfun15.depv12024-08-03 10:19 155  
[ ]mesfun15__t38_mesfun15.depvmin12024-08-03 10:24 155  
[ ]mesfun15__t38_mesfun15.vmin12024-08-03 10:19 3.7K 
[ ]mesfun15__t38_mesfun15.vmin1out2024-08-03 10:23 65K 
[ ]mesfun15__t38_mesfun15.vout2024-08-03 08:10 55K 
[ ]mesfun15__t39_mesfun152024-07-28 02:13 123K 
[ ]mesfun15__t39_mesfun15.vout2024-08-03 04:53 6.8K 
[ ]mesfun15__t40_mesfun152024-07-28 02:15 87K 
[ ]mesfun15__t40_mesfun15.vout2024-08-03 07:30 6.8K 
[ ]mesfun15__t41_mesfun152024-07-28 02:18 123K 
[ ]mesfun15__t41_mesfun15.vout2024-08-03 06:36 6.8K 
[ ]mesfun15__t42_mesfun152024-07-28 02:20 87K 
[ ]mesfun15__t42_mesfun15.vout2024-08-03 05:25 6.8K 
[ ]mesfun15__t43_mesfun152024-07-28 02:23 101K 
[ ]mesfun15__t43_mesfun15.vout2024-08-03 08:47 6.8K 
[ ]mesfun15__t44_mesfun152024-07-28 02:25 83K 
[ ]mesfun15__t44_mesfun15.vout2024-08-03 09:47 6.8K 
[ ]mesfun15__t45_mesfun152024-07-28 02:28 120K 
[ ]mesfun15__t45_mesfun15.vout2024-08-03 05:20 6.8K 
[ ]mesfun15__t46_mesfun152024-07-28 02:30 87K 
[ ]mesfun15__t46_mesfun15.vout2024-08-03 09:54 7.3K 
[ ]mesfun15__t47_mesfun152024-07-28 02:33 120K 
[ ]mesfun15__t47_mesfun15.vout2024-08-03 04:20 6.8K 
[ ]mesfun15__t48_mesfun152024-07-28 02:35 87K 
[ ]mesfun15__t48_mesfun15.vout2024-08-03 05:21 6.8K 
[ ]mesfun15__t49_mesfun152024-07-28 02:37 60K 
[ ]mesfun15__t49_mesfun15.vout2024-08-03 09:24 7.3K 
[ ]mesfun15__t50_mesfun152024-07-28 02:39 72K 
[ ]mesfun15__t50_mesfun15.vout2024-08-03 08:17 6.8K 
[ ]mesfun15__t51_mesfun152024-07-28 02:41 48K 
[ ]mesfun15__t51_mesfun15.depv12024-08-03 10:19 156  
[ ]mesfun15__t51_mesfun15.depvmin12024-08-03 10:24 156  
[ ]mesfun15__t51_mesfun15.vmin12024-08-03 10:19 3.3K 
[ ]mesfun15__t51_mesfun15.vmin1out2024-08-03 10:22 48K 
[ ]mesfun15__t51_mesfun15.vout2024-08-03 05:30 57K 
[ ]mesfun15__t52_mesfun152024-07-28 02:43 85K 
[ ]mesfun15__t52_mesfun15.vout2024-08-03 09:23 6.8K 
[ ]mesfun15__t53_mesfun152024-07-28 02:45 101K 
[ ]mesfun15__t53_mesfun15.vout2024-08-03 08:48 7.3K 
[ ]mesfun15__t54_mesfun152024-07-28 02:48 85K 
[ ]mesfun15__t54_mesfun15.vout2024-08-03 04:58 6.8K 
[ ]mesfun15__t55_mesfun152024-07-28 02:50 65K 
[ ]mesfun15__t55_mesfun15.vout2024-08-03 08:12 6.8K 
[ ]mesfun15__t56_mesfun152024-07-28 02:52 67K 
[ ]mesfun15__t56_mesfun15.vout2024-08-03 04:11 6.8K 
[ ]mesfun15__t57_mesfun152024-07-28 02:53 43K 
[ ]mesfun15__t57_mesfun15.vout2024-08-03 04:14 6.8K 
[ ]mesfun15__t58_mesfun152024-07-28 02:55 62K 
[ ]mesfun15__t58_mesfun15.vout2024-08-03 09:12 6.8K 
[ ]mesfun15__t59_mesfun152024-07-28 02:57 62K 
[ ]mesfun15__t59_mesfun15.vout2024-08-03 08:50 6.8K 
[ ]mesfun15__t60_mesfun152024-07-28 02:59 140K 
[ ]mesfun15__t60_mesfun15.vout2024-08-03 09:09 6.8K 
[ ]mesfun15__t61_mesfun152024-07-28 03:01 183K 
[ ]mesfun15__t61_mesfun15.vout2024-08-03 04:29 6.8K 
[ ]mesfun15__t62_mesfun152024-07-28 03:03 183K 
[ ]mesfun15__t62_mesfun15.vout2024-08-03 09:08 6.8K 
[ ]mesfun15__t63_mesfun152024-07-28 03:06 183K 
[ ]mesfun15__t63_mesfun15.vout2024-08-03 09:50 6.8K 
[ ]mesfun15__t64_mesfun152024-07-28 03:08 183K 
[ ]mesfun15__t64_mesfun15.vout2024-08-03 07:18 6.8K 
[ ]mesfun15__t65_mesfun152024-07-28 03:09 56K 
[ ]mesfun15__t65_mesfun15.vout2024-08-03 05:30 7.3K 
[ ]mesfun15__t66_mesfun152024-07-28 03:11 56K 
[ ]mesfun15__t66_mesfun15.vout2024-08-03 06:34 7.4K 
[ ]mesfun15__t67_mesfun152024-07-28 03:13 55K 
[ ]mesfun15__t67_mesfun15.vout2024-08-03 04:31 7.3K 
[ ]mesfun15__t68_mesfun152024-07-28 03:14 55K 
[ ]mesfun15__t68_mesfun15.vout2024-08-03 07:20 7.3K 
[ ]mesfun15__t69_mesfun152024-07-28 03:16 107K 
[ ]mesfun15__t69_mesfun15.vout2024-08-03 06:32 6.8K 
[ ]mesfun15__t70_mesfun152024-07-28 03:18 107K 
[ ]mesfun15__t70_mesfun15.vout2024-08-03 05:57 6.8K 
[ ]mesfun15__t71_mesfun152024-07-28 03:20 107K 
[ ]mesfun15__t71_mesfun15.vout2024-08-03 06:48 6.8K 
[ ]mesfun15__t72_mesfun152024-07-28 03:22 107K 
[ ]mesfun15__t72_mesfun15.vout2024-08-03 08:25 6.8K 
[ ]mesfun15__t73_mesfun152024-07-28 03:24 52K 
[ ]mesfun15__t73_mesfun15.depv12024-08-03 10:19 101  
[ ]mesfun15__t73_mesfun15.depvmin12024-08-03 10:24 101  
[ ]mesfun15__t73_mesfun15.vmin12024-08-03 10:19 2.5K 
[ ]mesfun15__t73_mesfun15.vmin1out2024-08-03 10:21 39K 
[ ]mesfun15__t73_mesfun15.vout2024-08-03 06:00 40K 
[ ]mesfun15__t74_mesfun152024-07-28 03:26 52K 
[ ]mesfun15__t74_mesfun15.depv12024-08-03 10:19 101  
[ ]mesfun15__t74_mesfun15.depvmin12024-08-03 10:24 101  
[ ]mesfun15__t74_mesfun15.vmin12024-08-03 10:19 2.5K 
[ ]mesfun15__t74_mesfun15.vmin1out2024-08-03 10:20 40K 
[ ]mesfun15__t74_mesfun15.vout2024-08-03 09:00 40K 
[ ]mesfun15__t75_mesfun152024-07-28 03:28 51K 
[ ]mesfun15__t75_mesfun15.depv12024-08-03 10:19 64  
[ ]mesfun15__t75_mesfun15.depvmin12024-08-03 10:24 39  
[ ]mesfun15__t75_mesfun15.vmin12024-08-03 10:19 2.1K 
[ ]mesfun15__t75_mesfun15.vmin1out2024-08-03 10:20 30K 
[ ]mesfun15__t75_mesfun15.vout2024-08-03 10:09 32K 
[ ]mesfun15__t76_mesfun152024-07-28 03:29 51K 
[ ]mesfun15__t76_mesfun15.depv12024-08-03 10:19 64  
[ ]mesfun15__t76_mesfun15.depvmin12024-08-03 10:24 39  
[ ]mesfun15__t76_mesfun15.vmin12024-08-03 10:19 2.1K 
[ ]mesfun15__t76_mesfun15.vmin1out2024-08-03 10:22 30K 
[ ]mesfun15__t76_mesfun15.vout2024-08-03 10:10 32K 
[ ]mesfun15__t77_mesfun152024-07-28 03:31 41K 
[ ]mesfun15__t77_mesfun15.depv12024-08-03 10:19 39  
[ ]mesfun15__t77_mesfun15.depvmin12024-08-03 10:24 39  
[ ]mesfun15__t77_mesfun15.vmin12024-08-03 10:19 1.4K 
[ ]mesfun15__t77_mesfun15.vmin1out2024-08-03 10:22 13K 
[ ]mesfun15__t77_mesfun15.vout2024-08-03 05:30 17K 
[ ]mesfun15__t78_mesfun152024-07-28 03:33 68K 
[ ]mesfun15__t78_mesfun15.vout2024-08-03 05:34 6.8K 
[ ]mesfun15__t79_mesfun152024-07-28 03:35 68K 
[ ]mesfun15__t79_mesfun15.vout2024-08-03 08:20 6.8K 
[ ]mesfun15__t80_mesfun152024-07-28 03:37 85K 
[ ]mesfun15__t80_mesfun15.vout2024-08-03 05:33 6.8K 
[ ]mesfun15__t81_mesfun152024-07-28 03:39 67K 
[ ]mesfun15__t81_mesfun15.vout2024-08-03 05:25 6.8K 
[ ]mesfun15__t82_mesfun152024-07-28 03:41 67K 
[ ]mesfun15__t82_mesfun15.vout2024-08-03 07:03 7.4K 
[ ]mesfun15__t83_mesfun152024-07-28 03:44 88K 
[ ]mesfun15__t83_mesfun15.vout2024-08-03 08:00 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80