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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]limfunc1__l1_limfunc12024-07-28 05:34 25K 
[ ]limfunc1__l1_limfunc1.vout2024-08-03 04:26 2.0K 
[ ]limfunc1__l2_limfunc12024-07-28 05:35 42K 
[ ]limfunc1__l2_limfunc1.vout2024-08-03 09:21 7.3K 
[ ]limfunc1__l3_limfunc12024-07-28 05:36 41K 
[ ]limfunc1__l3_limfunc1.vout2024-08-03 06:08 7.3K 
[ ]limfunc1__l21_limfunc12024-07-28 03:32 16K 
[ ]limfunc1__l21_limfunc1.depv12024-08-03 10:19 96  
[ ]limfunc1__l21_limfunc1.depvmin12024-08-03 10:24 96  
[ ]limfunc1__l21_limfunc1.vmin12024-08-03 10:20 429  
[ ]limfunc1__l21_limfunc1.vmin1out2024-08-03 10:23 3.4K 
[ ]limfunc1__l21_limfunc1.vout2024-08-03 04:08 3.5K 
[ ]limfunc1__l24_limfunc12024-07-28 03:33 16K 
[ ]limfunc1__l24_limfunc1.depv12024-08-03 10:19 52  
[ ]limfunc1__l24_limfunc1.depvmin12024-08-03 10:24 52  
[ ]limfunc1__l24_limfunc1.vmin12024-08-03 10:20 286  
[ ]limfunc1__l24_limfunc1.vmin1out2024-08-03 10:22 2.2K 
[ ]limfunc1__l24_limfunc1.vout2024-08-03 08:17 2.1K 
[ ]limfunc1__l31_limfunc12024-07-28 03:34 29K 
[ ]limfunc1__l31_limfunc1.depv12024-08-03 10:19 211  
[ ]limfunc1__l31_limfunc1.depvmin12024-08-03 10:24 211  
[ ]limfunc1__l31_limfunc1.vmin12024-08-03 10:20 1.7K 
[ ]limfunc1__l31_limfunc1.vmin1out2024-08-03 10:20 15K 
[ ]limfunc1__l31_limfunc1.vout2024-08-03 06:42 14K 
[ ]limfunc1__l32_limfunc12024-07-28 03:35 29K 
[ ]limfunc1__l32_limfunc1.depv12024-08-03 10:19 79  
[ ]limfunc1__l32_limfunc1.depvmin12024-08-03 10:24 79  
[ ]limfunc1__l32_limfunc1.vmin12024-08-03 10:20 436  
[ ]limfunc1__l32_limfunc1.vmin1out2024-08-03 10:20 3.8K 
[ ]limfunc1__l32_limfunc1.vout2024-08-03 08:34 4.1K 
[ ]limfunc1__t1_limfunc12024-07-28 03:37 38K 
[ ]limfunc1__t1_limfunc1.vout2024-08-03 07:54 2.0K 
[ ]limfunc1__t2_limfunc12024-07-28 03:38 38K 
[ ]limfunc1__t2_limfunc1.vout2024-08-03 04:52 7.3K 
[ ]limfunc1__t3_limfunc12024-07-28 03:39 38K 
[ ]limfunc1__t3_limfunc1.vout2024-08-03 04:14 7.3K 
[ ]limfunc1__t4_limfunc12024-07-28 03:41 37K 
[ ]limfunc1__t4_limfunc1.vout2024-08-03 04:10 7.3K 
[ ]limfunc1__t5_limfunc12024-07-28 03:42 120K 
[ ]limfunc1__t5_limfunc1.vout2024-08-03 08:15 4.7K 
[ ]limfunc1__t8_limfunc12024-07-28 03:43 45K 
[ ]limfunc1__t8_limfunc1.vout2024-08-03 06:15 4.7K 
[ ]limfunc1__t9_limfunc12024-07-28 03:45 44K 
[ ]limfunc1__t9_limfunc1.vout2024-08-03 08:49 4.7K 
[ ]limfunc1__t10_limfunc12024-07-28 03:46 46K 
[ ]limfunc1__t10_limfunc1.vout2024-08-03 08:22 4.7K 
[ ]limfunc1__t11_limfunc12024-07-28 03:48 45K 
[ ]limfunc1__t11_limfunc1.vout2024-08-03 05:08 4.7K 
[ ]limfunc1__t12_limfunc12024-07-28 03:49 44K 
[ ]limfunc1__t12_limfunc1.vout2024-08-03 05:41 4.7K 
[ ]limfunc1__t13_limfunc12024-07-28 03:51 43K 
[ ]limfunc1__t13_limfunc1.vout2024-08-03 07:14 4.7K 
[ ]limfunc1__t14_limfunc12024-07-28 03:52 43K 
[ ]limfunc1__t14_limfunc1.vout2024-08-03 07:13 4.7K 
[ ]limfunc1__t15_limfunc12024-07-28 03:19 41K 
[ ]limfunc1__t15_limfunc1.depv12024-08-03 10:19 358  
[ ]limfunc1__t15_limfunc1.depvmin12024-08-03 10:24 358  
[ ]limfunc1__t15_limfunc1.vmin12024-08-03 10:20 3.9K 
[ ]limfunc1__t15_limfunc1.vmin1out2024-08-03 10:21 39K 
[ ]limfunc1__t15_limfunc1.vout2024-08-03 05:14 37K 
[ ]limfunc1__t16_limfunc12024-07-28 03:54 51K 
[ ]limfunc1__t16_limfunc1.vout2024-08-03 05:53 7.4K 
[ ]limfunc1__t17_limfunc12024-07-28 03:55 51K 
[ ]limfunc1__t17_limfunc1.vout2024-08-03 08:41 7.4K 
[ ]limfunc1__t18_limfunc12024-07-28 03:20 32K 
[ ]limfunc1__t18_limfunc1.depv12024-08-03 10:19 85  
[ ]limfunc1__t18_limfunc1.depvmin12024-08-03 10:24 85  
[ ]limfunc1__t18_limfunc1.vmin12024-08-03 10:20 1.6K 
[ ]limfunc1__t18_limfunc1.vmin1out2024-08-03 10:22 13K 
[ ]limfunc1__t18_limfunc1.vout2024-08-03 05:15 13K 
[ ]limfunc1__t19_limfunc12024-07-28 03:21 32K 
[ ]limfunc1__t19_limfunc1.depv12024-08-03 10:19 86  
[ ]limfunc1__t19_limfunc1.depvmin12024-08-03 10:24 86  
[ ]limfunc1__t19_limfunc1.vmin12024-08-03 10:20 1.6K 
[ ]limfunc1__t19_limfunc1.vmin1out2024-08-03 10:21 13K 
[ ]limfunc1__t19_limfunc1.vout2024-08-03 08:30 13K 
[ ]limfunc1__t20_limfunc12024-07-28 03:57 29K 
[ ]limfunc1__t20_limfunc1.depv12024-08-03 10:19 71  
[ ]limfunc1__t20_limfunc1.depvmin12024-08-03 10:24 71  
[ ]limfunc1__t20_limfunc1.vmin12024-08-03 10:20 1.1K 
[ ]limfunc1__t20_limfunc1.vmin1out2024-08-03 10:20 18K 
[ ]limfunc1__t20_limfunc1.vout2024-08-03 08:36 16K 
[ ]limfunc1__t21_limfunc12024-07-28 03:58 47K 
[ ]limfunc1__t21_limfunc1.vout2024-08-03 05:08 4.7K 
[ ]limfunc1__t22_limfunc12024-07-28 04:00 44K 
[ ]limfunc1__t22_limfunc1.vout2024-08-03 07:54 4.7K 
[ ]limfunc1__t23_limfunc12024-07-28 04:01 49K 
[ ]limfunc1__t23_limfunc1.vout2024-08-03 04:22 4.7K 
[ ]limfunc1__t24_limfunc12024-07-28 04:02 47K 
[ ]limfunc1__t24_limfunc1.vout2024-08-03 07:15 4.7K 
[ ]limfunc1__t25_limfunc12024-07-28 04:04 36K 
[ ]limfunc1__t25_limfunc1.vout2024-08-03 07:41 4.7K 
[ ]limfunc1__t26_limfunc12024-07-28 04:05 40K 
[ ]limfunc1__t26_limfunc1.vout2024-08-03 05:20 4.7K 
[ ]limfunc1__t27_limfunc12024-07-28 04:06 40K 
[ ]limfunc1__t27_limfunc1.vout2024-08-03 07:53 4.7K 
[ ]limfunc1__t29_limfunc12024-07-28 04:08 34K 
[ ]limfunc1__t29_limfunc1.vout2024-08-03 09:56 2.0K 
[ ]limfunc1__t30_limfunc12024-07-28 04:09 37K 
[ ]limfunc1__t30_limfunc1.vout2024-08-03 08:27 2.0K 
[ ]limfunc1__t31_limfunc12024-07-28 03:23 26K 
[ ]limfunc1__t31_limfunc1.depv12024-08-03 10:19 93  
[ ]limfunc1__t31_limfunc1.depvmin12024-08-03 10:24 93  
[ ]limfunc1__t31_limfunc1.vmin12024-08-03 10:20 1.2K 
[ ]limfunc1__t31_limfunc1.vmin1out2024-08-03 10:21 9.6K 
[ ]limfunc1__t31_limfunc1.vout2024-08-03 10:13 9.2K 
[ ]limfunc1__t32_limfunc12024-07-28 03:24 26K 
[ ]limfunc1__t32_limfunc1.depv12024-08-03 10:19 93  
[ ]limfunc1__t32_limfunc1.depvmin12024-08-03 10:24 93  
[ ]limfunc1__t32_limfunc1.vmin12024-08-03 10:20 1.2K 
[ ]limfunc1__t32_limfunc1.vmin1out2024-08-03 10:22 9.6K 
[ ]limfunc1__t32_limfunc1.vout2024-08-03 06:39 9.2K 
[ ]limfunc1__t33_limfunc12024-07-28 04:10 27K 
[ ]limfunc1__t33_limfunc1.depv12024-08-03 10:19 69  
[ ]limfunc1__t33_limfunc1.depvmin12024-08-03 10:24 69  
[ ]limfunc1__t33_limfunc1.vmin12024-08-03 10:20 1.5K 
[ ]limfunc1__t33_limfunc1.vmin1out2024-08-03 10:20 14K 
[ ]limfunc1__t33_limfunc1.vout2024-08-03 08:08 14K 
[ ]limfunc1__t34_limfunc12024-07-28 04:12 52K 
[ ]limfunc1__t34_limfunc1.vout2024-08-03 06:03 7.3K 
[ ]limfunc1__t35_limfunc12024-07-28 04:13 44K 
[ ]limfunc1__t35_limfunc1.vout2024-08-03 08:25 7.4K 
[ ]limfunc1__t36_limfunc12024-07-28 04:15 45K 
[ ]limfunc1__t36_limfunc1.vout2024-08-03 09:23 6.8K 
[ ]limfunc1__t37_limfunc12024-07-28 04:16 33K 
[ ]limfunc1__t37_limfunc1.depv12024-08-03 10:19 65  
[ ]limfunc1__t37_limfunc1.depvmin12024-08-03 10:24 65  
[ ]limfunc1__t37_limfunc1.vmin12024-08-03 10:20 1.2K 
[ ]limfunc1__t37_limfunc1.vmin1out2024-08-03 10:20 13K 
[ ]limfunc1__t37_limfunc1.vout2024-08-03 04:15 14K 
[ ]limfunc1__t38_limfunc12024-07-28 04:18 33K 
[ ]limfunc1__t38_limfunc1.depv12024-08-03 10:19 65  
[ ]limfunc1__t38_limfunc1.depvmin12024-08-03 10:24 65  
[ ]limfunc1__t38_limfunc1.vmin12024-08-03 10:20 1.2K 
[ ]limfunc1__t38_limfunc1.vmin1out2024-08-03 10:21 13K 
[ ]limfunc1__t38_limfunc1.vout2024-08-03 09:30 14K 
[ ]limfunc1__t39_limfunc12024-07-28 03:25 29K 
[ ]limfunc1__t39_limfunc1.depv12024-08-03 10:19 117  
[ ]limfunc1__t39_limfunc1.depvmin12024-08-03 10:24 117  
[ ]limfunc1__t39_limfunc1.vmin12024-08-03 10:20 1.4K 
[ ]limfunc1__t39_limfunc1.vmin1out2024-08-03 10:20 12K 
[ ]limfunc1__t39_limfunc1.vout2024-08-03 09:26 12K 
[ ]limfunc1__t40_limfunc12024-07-28 03:26 29K 
[ ]limfunc1__t40_limfunc1.depv12024-08-03 10:19 117  
[ ]limfunc1__t40_limfunc1.depvmin12024-08-03 10:24 117  
[ ]limfunc1__t40_limfunc1.vmin12024-08-03 10:20 1.4K 
[ ]limfunc1__t40_limfunc1.vmin1out2024-08-03 10:22 12K 
[ ]limfunc1__t40_limfunc1.vout2024-08-03 06:21 12K 
[ ]limfunc1__t41_limfunc12024-07-28 04:19 40K 
[ ]limfunc1__t41_limfunc1.vout2024-08-03 07:45 2.0K 
[ ]limfunc1__t42_limfunc12024-07-28 04:20 29K 
[ ]limfunc1__t42_limfunc1.vout2024-08-03 08:44 2.0K 
[ ]limfunc1__t43_limfunc12024-07-28 04:21 29K 
[ ]limfunc1__t43_limfunc1.depv12024-08-03 10:19 116  
[ ]limfunc1__t43_limfunc1.depvmin12024-08-03 10:24 116  
[ ]limfunc1__t43_limfunc1.vmin12024-08-03 10:20 1.7K 
[ ]limfunc1__t43_limfunc1.vmin1out2024-08-03 10:20 29K 
[ ]limfunc1__t43_limfunc1.vout2024-08-03 04:30 27K 
[ ]limfunc1__t44_limfunc12024-07-28 04:23 42K 
[ ]limfunc1__t44_limfunc1.vout2024-08-03 09:43 7.3K 
[ ]limfunc1__t45_limfunc12024-07-28 04:25 40K 
[ ]limfunc1__t45_limfunc1.vout2024-08-03 10:17 7.3K 
[ ]limfunc1__t46_limfunc12024-07-28 04:26 38K 
[ ]limfunc1__t46_limfunc1.vout2024-08-03 09:52 2.0K 
[ ]limfunc1__t47_limfunc12024-07-28 04:28 38K 
[ ]limfunc1__t47_limfunc1.vout2024-08-03 09:44 2.0K 
[ ]limfunc1__t48_limfunc12024-07-28 04:30 37K 
[ ]limfunc1__t48_limfunc1.vout2024-08-03 09:51 2.0K 
[ ]limfunc1__t49_limfunc12024-07-28 04:31 37K 
[ ]limfunc1__t49_limfunc1.vout2024-08-03 05:55 2.0K 
[ ]limfunc1__t50_limfunc12024-07-28 04:33 69K 
[ ]limfunc1__t50_limfunc1.vout2024-08-03 09:39 4.7K 
[ ]limfunc1__t51_limfunc12024-07-28 04:34 69K 
[ ]limfunc1__t51_limfunc1.vout2024-08-03 05:09 4.7K 
[ ]limfunc1__t52_limfunc12024-07-28 04:36 69K 
[ ]limfunc1__t52_limfunc1.vout2024-08-03 08:03 4.7K 
[ ]limfunc1__t53_limfunc12024-07-28 04:38 69K 
[ ]limfunc1__t53_limfunc1.vout2024-08-03 09:25 4.7K 
[ ]limfunc1__t58_limfunc12024-07-28 04:39 42K 
[ ]limfunc1__t58_limfunc1.vout2024-08-03 10:00 4.7K 
[ ]limfunc1__t59_limfunc12024-07-28 04:41 42K 
[ ]limfunc1__t59_limfunc1.vout2024-08-03 04:42 4.7K 
[ ]limfunc1__t60_limfunc12024-07-28 04:43 47K 
[ ]limfunc1__t60_limfunc1.vout2024-08-03 09:15 4.7K 
[ ]limfunc1__t61_limfunc12024-07-28 04:44 47K 
[ ]limfunc1__t61_limfunc1.vout2024-08-03 05:06 4.7K 
[ ]limfunc1__t62_limfunc12024-07-28 04:46 46K 
[ ]limfunc1__t62_limfunc1.vout2024-08-03 10:05 6.8K 
[ ]limfunc1__t63_limfunc12024-07-28 03:27 29K 
[ ]limfunc1__t63_limfunc1.depv12024-08-03 10:19 133  
[ ]limfunc1__t63_limfunc1.depvmin12024-08-03 10:24 133  
[ ]limfunc1__t63_limfunc1.vmin12024-08-03 10:20 2.0K 
[ ]limfunc1__t63_limfunc1.vmin1out2024-08-03 10:22 24K 
[ ]limfunc1__t63_limfunc1.vout2024-08-03 08:16 28K 
[ ]limfunc1__t64_limfunc12024-07-28 04:47 46K 
[ ]limfunc1__t64_limfunc1.vout2024-08-03 06:19 6.8K 
[ ]limfunc1__t65_limfunc12024-07-28 03:28 29K 
[ ]limfunc1__t65_limfunc1.depv12024-08-03 10:19 171  
[ ]limfunc1__t65_limfunc1.depvmin12024-08-03 10:24 171  
[ ]limfunc1__t65_limfunc1.vmin12024-08-03 10:20 2.2K 
[ ]limfunc1__t65_limfunc1.vmin1out2024-08-03 10:21 25K 
[ ]limfunc1__t65_limfunc1.vout2024-08-03 05:26 32K 
[ ]limfunc1__t66_limfunc12024-07-28 04:49 46K 
[ ]limfunc1__t66_limfunc1.vout2024-08-03 08:27 6.8K 
[ ]limfunc1__t67_limfunc12024-07-28 03:30 29K 
[ ]limfunc1__t67_limfunc1.depv12024-08-03 10:19 133  
[ ]limfunc1__t67_limfunc1.depvmin12024-08-03 10:24 133  
[ ]limfunc1__t67_limfunc1.vmin12024-08-03 10:20 2.0K 
[ ]limfunc1__t67_limfunc1.vmin1out2024-08-03 10:21 24K 
[ ]limfunc1__t67_limfunc1.vout2024-08-03 09:04 28K 
[ ]limfunc1__t68_limfunc12024-07-28 04:50 46K 
[ ]limfunc1__t68_limfunc1.vout2024-08-03 09:37 6.8K 
[ ]limfunc1__t69_limfunc12024-07-28 03:31 29K 
[ ]limfunc1__t69_limfunc1.depv12024-08-03 10:19 133  
[ ]limfunc1__t69_limfunc1.depvmin12024-08-03 10:24 133  
[ ]limfunc1__t69_limfunc1.vmin12024-08-03 10:20 2.0K 
[ ]limfunc1__t69_limfunc1.vmin1out2024-08-03 10:22 24K 
[ ]limfunc1__t69_limfunc1.vout2024-08-03 07:06 28K 
[ ]limfunc1__t74_limfunc12024-07-28 04:52 36K 
[ ]limfunc1__t74_limfunc1.vout2024-08-03 08:55 7.4K 
[ ]limfunc1__t75_limfunc12024-07-28 04:53 36K 
[ ]limfunc1__t75_limfunc1.vout2024-08-03 07:38 6.8K 
[ ]limfunc1__t76_limfunc12024-07-28 04:55 37K 
[ ]limfunc1__t76_limfunc1.vout2024-08-03 04:56 7.3K 
[ ]limfunc1__t77_limfunc12024-07-28 04:56 37K 
[ ]limfunc1__t77_limfunc1.vout2024-08-03 07:07 7.3K 
[ ]limfunc1__t78_limfunc12024-07-28 04:58 41K 
[ ]limfunc1__t78_limfunc1.vout2024-08-03 06:52 7.3K 
[ ]limfunc1__t79_limfunc12024-07-28 04:59 43K 
[ ]limfunc1__t79_limfunc1.vout2024-08-03 04:29 7.3K 
[ ]limfunc1__t80_limfunc12024-07-28 05:01 41K 
[ ]limfunc1__t80_limfunc1.vout2024-08-03 05:32 4.7K 
[ ]limfunc1__t81_limfunc12024-07-28 05:02 31K 
[ ]limfunc1__t81_limfunc1.depv12024-08-03 10:19 265  
[ ]limfunc1__t81_limfunc1.depvmin12024-08-03 10:24 265  
[ ]limfunc1__t81_limfunc1.vmin12024-08-03 10:20 2.4K 
[ ]limfunc1__t81_limfunc1.vmin1out2024-08-03 10:22 21K 
[ ]limfunc1__t81_limfunc1.vout2024-08-03 06:28 40K 
[ ]limfunc1__t82_limfunc12024-07-28 05:04 65K 
[ ]limfunc1__t82_limfunc1.vout2024-08-03 07:09 4.7K 
[ ]limfunc1__t83_limfunc12024-07-28 05:05 44K 
[ ]limfunc1__t83_limfunc1.vout2024-08-03 06:44 2.0K 
[ ]limfunc1__t84_limfunc12024-07-28 05:07 43K 
[ ]limfunc1__t84_limfunc1.vout2024-08-03 04:07 4.2K 
[ ]limfunc1__t85_limfunc12024-07-28 05:08 47K 
[ ]limfunc1__t85_limfunc1.vout2024-08-03 08:29 4.7K 
[ ]limfunc1__t86_limfunc12024-07-28 05:10 44K 
[ ]limfunc1__t86_limfunc1.vout2024-08-03 05:25 4.7K 
[ ]limfunc1__t87_limfunc12024-07-28 05:11 65K 
[ ]limfunc1__t87_limfunc1.vout2024-08-03 09:46 4.7K 
[ ]limfunc1__t89_limfunc12024-07-28 05:12 41K 
[ ]limfunc1__t89_limfunc1.vout2024-08-03 05:08 4.7K 
[ ]limfunc1__t90_limfunc12024-07-28 05:14 29K 
[ ]limfunc1__t90_limfunc1.depv12024-08-03 10:19 265  
[ ]limfunc1__t90_limfunc1.depvmin12024-08-03 10:24 265  
[ ]limfunc1__t90_limfunc1.vmin12024-08-03 10:20 2.4K 
[ ]limfunc1__t90_limfunc1.vmin1out2024-08-03 10:21 21K 
[ ]limfunc1__t90_limfunc1.vout2024-08-03 08:25 40K 
[ ]limfunc1__t91_limfunc12024-07-28 05:15 66K 
[ ]limfunc1__t91_limfunc1.vout2024-08-03 05:32 4.7K 
[ ]limfunc1__t92_limfunc12024-07-28 05:16 44K 
[ ]limfunc1__t92_limfunc1.vout2024-08-03 07:53 2.0K 
[ ]limfunc1__t93_limfunc12024-07-28 05:18 43K 
[ ]limfunc1__t93_limfunc1.vout2024-08-03 07:28 4.7K 
[ ]limfunc1__t94_limfunc12024-07-28 05:19 47K 
[ ]limfunc1__t94_limfunc1.vout2024-08-03 05:34 4.7K 
[ ]limfunc1__t95_limfunc12024-07-28 05:21 44K 
[ ]limfunc1__t95_limfunc1.vout2024-08-03 09:16 4.7K 
[ ]limfunc1__t96_limfunc12024-07-28 05:23 66K 
[ ]limfunc1__t96_limfunc1.vout2024-08-03 06:42 4.7K 
[ ]limfunc1__t101_limfunc12024-07-28 05:24 37K 
[ ]limfunc1__t101_limfunc1.vout2024-08-03 06:19 7.4K 
[ ]limfunc1__t103_limfunc12024-07-28 05:26 38K 
[ ]limfunc1__t103_limfunc1.vout2024-08-03 06:51 7.4K 
[ ]limfunc1__t104_limfunc12024-07-28 05:27 49K 
[ ]limfunc1__t104_limfunc1.vout2024-08-03 06:09 6.9K 
[ ]limfunc1__t105_limfunc12024-07-28 05:29 48K 
[ ]limfunc1__t105_limfunc1.vout2024-08-03 05:10 6.9K 
[ ]limfunc1__t106_limfunc12024-07-28 05:31 43K 
[ ]limfunc1__t106_limfunc1.vout2024-08-03 07:07 4.7K 
[ ]limfunc1__t107_limfunc12024-07-28 05:32 43K 
[ ]limfunc1__t107_limfunc1.vout2024-08-03 05:35 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80