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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funct_8__t1_funct_82024-07-27 10:20 44K 
[ ]funct_8__t1_funct_8.vout2024-08-03 06:40 2.0K 
[ ]funct_8__t2_funct_82024-07-27 10:22 55K 
[ ]funct_8__t2_funct_8.vout2024-08-03 04:47 2.0K 
[ ]funct_8__t3_funct_82024-07-27 10:23 55K 
[ ]funct_8__t3_funct_8.vout2024-08-03 05:13 2.0K 
[ ]funct_8__t4_funct_82024-07-27 10:25 54K 
[ ]funct_8__t4_funct_8.vout2024-08-03 06:05 1.1K 
[ ]funct_8__t5_funct_82024-07-27 10:26 55K 
[ ]funct_8__t5_funct_8.vout2024-08-03 04:23 2.0K 
[ ]funct_8__t6_funct_82024-07-27 10:27 54K 
[ ]funct_8__t6_funct_8.vout2024-08-03 04:11 3.2K 
[ ]funct_8__t7_funct_82024-07-27 10:29 56K 
[ ]funct_8__t7_funct_8.vout2024-08-03 09:16 2.0K 
[ ]funct_8__t8_funct_82024-07-27 10:30 39K 
[ ]funct_8__t8_funct_8.vout2024-08-03 09:25 2.0K 
[ ]funct_8__t9_funct_82024-07-27 10:31 39K 
[ ]funct_8__t9_funct_8.vout2024-08-03 08:05 2.0K 
[ ]funct_8__t10_funct_82024-07-27 10:33 48K 
[ ]funct_8__t10_funct_8.vout2024-08-03 07:32 6.8K 
[ ]funct_8__t11_funct_82024-07-27 10:34 43K 
[ ]funct_8__t11_funct_8.vout2024-08-03 08:51 6.8K 
[ ]funct_8__t12_funct_82024-07-27 10:36 49K 
[ ]funct_8__t12_funct_8.vout2024-08-03 05:57 1.1K 
[ ]funct_8__t13_funct_82024-07-27 10:37 45K 
[ ]funct_8__t13_funct_8.vout2024-08-03 06:46 1.1K 
[ ]funct_8__t14_funct_82024-07-27 10:38 46K 
[ ]funct_8__t14_funct_8.vout2024-08-03 05:25 7.3K 
[ ]funct_8__t15_funct_82024-07-27 10:40 38K 
[ ]funct_8__t15_funct_8.vout2024-08-03 07:38 6.8K 
[ ]funct_8__t16_funct_82024-07-27 10:41 44K 
[ ]funct_8__t16_funct_8.vout2024-08-03 07:58 1.1K 
[ ]funct_8__t17_funct_82024-07-27 10:42 37K 
[ ]funct_8__t17_funct_8.vout2024-08-03 06:24 1.1K 
[ ]funct_8__t18_funct_82024-07-27 10:44 45K 
[ ]funct_8__t18_funct_8.vout2024-08-03 06:50 7.3K 
[ ]funct_8__t19_funct_82024-07-27 10:45 38K 
[ ]funct_8__t19_funct_8.vout2024-08-03 04:42 6.8K 
[ ]funct_8__t20_funct_82024-07-27 10:47 38K 
[ ]funct_8__t20_funct_8.vout2024-08-03 06:12 7.3K 
[ ]funct_8__t21_funct_82024-07-27 10:48 37K 
[ ]funct_8__t21_funct_8.vout2024-08-03 04:08 6.8K 
[ ]funct_8__t22_funct_82024-07-27 10:50 44K 
[ ]funct_8__t22_funct_8.vout2024-08-03 07:04 7.3K 
[ ]funct_8__t23_funct_82024-07-27 10:51 43K 
[ ]funct_8__t23_funct_8.vout2024-08-03 08:11 6.8K 
[ ]funct_8__t24_funct_82024-07-27 10:52 52K 
[ ]funct_8__t24_funct_8.vout2024-08-03 09:16 6.8K 
[ ]funct_8__t25_funct_82024-07-27 10:54 38K 
[ ]funct_8__t25_funct_8.vout2024-08-03 05:36 6.8K 
[ ]funct_8__t26_funct_82024-07-27 10:55 40K 
[ ]funct_8__t26_funct_8.vout2024-08-03 05:43 1.1K 
[ ]funct_8__t27_funct_82024-07-27 10:18 33K 
[ ]funct_8__t27_funct_8.depv12024-08-03 10:19 165  
[ ]funct_8__t27_funct_8.depvmin12024-08-03 10:24 165  
[ ]funct_8__t27_funct_8.vmin12024-08-03 10:20 2.1K 
[ ]funct_8__t27_funct_8.vmin1out2024-08-03 10:23 18K 
[ ]funct_8__t27_funct_8.vout2024-08-03 06:44 19K 
[ ]funct_8__t28_funct_82024-07-27 10:19 34K 
[ ]funct_8__t28_funct_8.depv12024-08-03 10:19 165  
[ ]funct_8__t28_funct_8.depvmin12024-08-03 10:24 165  
[ ]funct_8__t28_funct_8.vmin12024-08-03 10:20 2.1K 
[ ]funct_8__t28_funct_8.vmin1out2024-08-03 10:20 18K 
[ ]funct_8__t28_funct_8.vout2024-08-03 07:08 19K 
[ ]funct_8__t29_funct_82024-07-27 10:57 61K 
[ ]funct_8__t29_funct_8.vout2024-08-03 08:25 1.1K 
[ ]funct_8__t30_funct_82024-07-27 10:58 60K 
[ ]funct_8__t30_funct_8.vout2024-08-03 09:03 1.1K 
[ ]funct_8__t31_funct_82024-07-27 10:59 61K 
[ ]funct_8__t31_funct_8.vout2024-08-03 08:21 1.1K 
[ ]funct_8__t32_funct_82024-07-27 11:01 61K 
[ ]funct_8__t32_funct_8.vout2024-08-03 08:58 1.1K 
[ ]funct_8__t33_funct_82024-07-27 11:02 29K 
[ ]funct_8__t33_funct_8.vout2024-08-03 05:08 2.0K 
[ ]funct_8__t34_funct_82024-07-27 11:03 29K 
[ ]funct_8__t34_funct_8.vout2024-08-03 08:21 2.0K 
[ ]funct_8__t35_funct_82024-07-27 11:05 30K 
[ ]funct_8__t35_funct_8.vout2024-08-03 06:50 7.8K 
[ ]funct_8__t36_funct_82024-07-27 11:06 30K 
[ ]funct_8__t36_funct_8.vout2024-08-03 08:41 7.8K 
[ ]funct_8__t37_funct_82024-07-27 11:07 29K 
[ ]funct_8__t37_funct_8.vout2024-08-03 05:25 7.8K 
[ ]funct_8__t38_funct_82024-07-27 11:08 29K 
[ ]funct_8__t38_funct_8.vout2024-08-03 09:55 7.8K 
[ ]funct_8__t39_funct_82024-07-27 11:09 39K 
[ ]funct_8__t39_funct_8.vout2024-08-03 06:38 2.0K 
[ ]funct_8__t40_funct_82024-07-27 11:11 38K 
[ ]funct_8__t40_funct_8.vout2024-08-03 08:35 2.0K 
[ ]funct_8__t41_funct_82024-07-27 11:12 30K 
[ ]funct_8__t41_funct_8.vout2024-08-03 08:47 7.3K 
[ ]funct_8__t42_funct_82024-07-27 11:13 32K 
[ ]funct_8__t42_funct_8.vout2024-08-03 04:14 2.0K 
[ ]funct_8__t43_funct_82024-07-27 11:14 30K 
[ ]funct_8__t43_funct_8.vout2024-08-03 05:23 7.3K 
[ ]funct_8__t44_funct_82024-07-27 11:16 30K 
[ ]funct_8__t44_funct_8.vout2024-08-03 05:26 7.3K 
[ ]funct_8__t45_funct_82024-07-27 11:17 35K 
[ ]funct_8__t45_funct_8.vout2024-08-03 06:40 7.3K 
[ ]funct_8__t46_funct_82024-07-27 11:18 35K 
[ ]funct_8__t46_funct_8.vout2024-08-03 04:37 7.3K 
[ ]funct_8__t47_funct_82024-07-27 11:19 38K 
[ ]funct_8__t47_funct_8.vout2024-08-03 04:54 1.1K 
[ ]funct_8__t48_funct_82024-07-27 11:21 38K 
[ ]funct_8__t48_funct_8.vout2024-08-03 07:20 1.1K 
[ ]funct_8__t49_funct_82024-07-27 11:22 36K 
[ ]funct_8__t49_funct_8.vout2024-08-03 06:52 7.3K 
[ ]funct_8__t50_funct_82024-07-27 11:23 35K 
[ ]funct_8__t50_funct_8.vout2024-08-03 06:45 7.3K 
[ ]funct_8__t51_funct_82024-07-27 11:24 36K 
[ ]funct_8__t51_funct_8.vout2024-08-03 04:55 7.3K 
[ ]funct_8__t52_funct_82024-07-27 11:26 53K 
[ ]funct_8__t52_funct_8.vout2024-08-03 06:39 1.1K 
[ ]funct_8__t53_funct_82024-07-27 11:27 52K 
[ ]funct_8__t53_funct_8.vout2024-08-03 05:50 1.1K 
[ ]funct_8__t54_funct_82024-07-27 11:28 53K 
[ ]funct_8__t54_funct_8.vout2024-08-03 07:58 1.1K 
[ ]funct_8__t55_funct_82024-07-27 11:30 53K 
[ ]funct_8__t55_funct_8.vout2024-08-03 09:37 1.1K 
[ ]funct_8__t56_funct_82024-07-27 11:31 30K 
[ ]funct_8__t56_funct_8.depv12024-08-03 10:19 73  
[ ]funct_8__t56_funct_8.depvmin12024-08-03 10:24 73  
[ ]funct_8__t56_funct_8.vmin12024-08-03 10:20 927  
[ ]funct_8__t56_funct_8.vmin1out2024-08-03 10:23 8.9K 
[ ]funct_8__t56_funct_8.vout2024-08-03 09:56 8.5K 
[ ]funct_8__t57_funct_82024-07-27 11:32 30K 
[ ]funct_8__t57_funct_8.depv12024-08-03 10:19 73  
[ ]funct_8__t57_funct_8.depvmin12024-08-03 10:24 73  
[ ]funct_8__t57_funct_8.vmin12024-08-03 10:20 940  
[ ]funct_8__t57_funct_8.vmin1out2024-08-03 10:20 9.0K 
[ ]funct_8__t57_funct_8.vout2024-08-03 08:10 8.6K 
[ ]funct_8__t58_funct_82024-07-27 11:33 30K 
[ ]funct_8__t58_funct_8.depv12024-08-03 10:19 137  
[ ]funct_8__t58_funct_8.depvmin12024-08-03 10:24 137  
[ ]funct_8__t58_funct_8.vmin12024-08-03 10:20 1.2K 
[ ]funct_8__t58_funct_8.vmin1out2024-08-03 10:22 11K 
[ ]funct_8__t58_funct_8.vout2024-08-03 04:21 12K 
[ ]funct_8__t59_funct_82024-07-27 11:35 30K 
[ ]funct_8__t59_funct_8.vout2024-08-03 04:19 2.0K 
[ ]funct_8__t60_funct_82024-07-27 11:36 46K 
[ ]funct_8__t60_funct_8.vout2024-08-03 05:48 7.3K 
[ ]funct_8__t61_funct_82024-07-27 11:37 29K 
[ ]funct_8__t61_funct_8.depv12024-08-03 10:19 71  
[ ]funct_8__t61_funct_8.depvmin12024-08-03 10:24 71  
[ ]funct_8__t61_funct_8.vmin12024-08-03 10:20 809  
[ ]funct_8__t61_funct_8.vmin1out2024-08-03 10:23 8.4K 
[ ]funct_8__t61_funct_8.vout2024-08-03 06:42 8.0K 
[ ]funct_8__t62_funct_82024-07-27 11:39 30K 
[ ]funct_8__t62_funct_8.depv12024-08-03 10:19 71  
[ ]funct_8__t62_funct_8.depvmin12024-08-03 10:24 71  
[ ]funct_8__t62_funct_8.vmin12024-08-03 10:20 828  
[ ]funct_8__t62_funct_8.vmin1out2024-08-03 10:21 8.6K 
[ ]funct_8__t62_funct_8.vout2024-08-03 05:44 8.1K 
[ ]funct_8__t63_funct_82024-07-27 11:40 38K 
[ ]funct_8__t63_funct_8.vout2024-08-03 10:13 2.0K 
[ ]funct_8__t64_funct_82024-07-27 11:41 39K 
[ ]funct_8__t64_funct_8.vout2024-08-03 05:53 7.3K 
[ ]funct_8__t65_funct_82024-07-27 11:43 47K 
[ ]funct_8__t65_funct_8.vout2024-08-03 08:05 2.0K 
[ ]funct_8__t66_funct_82024-07-27 11:44 40K 
[ ]funct_8__t66_funct_8.vout2024-08-03 08:52 2.0K 
[ ]funct_8__t67_funct_82024-07-27 11:45 46K 
[ ]funct_8__t67_funct_8.vout2024-08-03 04:11 7.3K 
[ ]funct_8__t68_funct_82024-07-27 11:47 40K 
[ ]funct_8__t68_funct_8.vout2024-08-03 10:18 7.3K 
[ ]funct_8__t69_funct_82024-07-27 11:48 60K 
[ ]funct_8__t69_funct_8.vout2024-08-03 04:53 1.1K 
[ ]funct_8__t70_funct_82024-07-27 11:50 60K 
[ ]funct_8__t70_funct_8.vout2024-08-03 06:12 2.0K 
[ ]funct_8__t71_funct_82024-07-27 11:52 60K 
[ ]funct_8__t71_funct_8.vout2024-08-03 08:32 2.0K 
[ ]funct_8__t72_funct_82024-07-27 11:53 67K 
[ ]funct_8__t72_funct_8.vout2024-08-03 04:36 1.1K 
[ ]funct_8__t73_funct_82024-07-27 11:54 36K 
[ ]funct_8__t73_funct_8.depv12024-08-03 10:19 149  
[ ]funct_8__t73_funct_8.depvmin12024-08-03 10:24 149  
[ ]funct_8__t73_funct_8.vmin12024-08-03 10:20 1.6K 
[ ]funct_8__t73_funct_8.vmin1out2024-08-03 10:20 12K 
[ ]funct_8__t73_funct_8.vout2024-08-03 04:55 11K 
[ ]funct_8__t74_funct_82024-07-27 11:56 35K 
[ ]funct_8__t74_funct_8.depv12024-08-03 10:19 149  
[ ]funct_8__t74_funct_8.depvmin12024-08-03 10:24 149  
[ ]funct_8__t74_funct_8.vmin12024-08-03 10:20 1.6K 
[ ]funct_8__t74_funct_8.vmin1out2024-08-03 10:21 12K 
[ ]funct_8__t74_funct_8.vout2024-08-03 07:38 11K 
[ ]funct_8__t75_funct_82024-07-27 11:57 35K 
[ ]funct_8__t75_funct_8.depv12024-08-03 10:19 136  
[ ]funct_8__t75_funct_8.depvmin12024-08-03 10:24 136  
[ ]funct_8__t75_funct_8.vmin12024-08-03 10:20 1.5K 
[ ]funct_8__t75_funct_8.vmin1out2024-08-03 10:21 12K 
[ ]funct_8__t75_funct_8.vout2024-08-03 09:45 11K 
[ ]funct_8__t76_funct_82024-07-27 11:58 35K 
[ ]funct_8__t76_funct_8.depv12024-08-03 10:19 136  
[ ]funct_8__t76_funct_8.depvmin12024-08-03 10:24 136  
[ ]funct_8__t76_funct_8.vmin12024-08-03 10:20 1.5K 
[ ]funct_8__t76_funct_8.vmin1out2024-08-03 10:22 12K 
[ ]funct_8__t76_funct_8.vout2024-08-03 09:14 11K 
[ ]funct_8__t77_funct_82024-07-27 11:59 37K 
[ ]funct_8__t77_funct_8.depv12024-08-03 10:19 136  
[ ]funct_8__t77_funct_8.depvmin12024-08-03 10:24 136  
[ ]funct_8__t77_funct_8.vmin12024-08-03 10:20 1.5K 
[ ]funct_8__t77_funct_8.vmin1out2024-08-03 10:21 12K 
[ ]funct_8__t77_funct_8.vout2024-08-03 09:17 11K 
[ ]funct_8__t78_funct_82024-07-27 12:01 37K 
[ ]funct_8__t78_funct_8.depv12024-08-03 10:19 136  
[ ]funct_8__t78_funct_8.depvmin12024-08-03 10:24 136  
[ ]funct_8__t78_funct_8.vmin12024-08-03 10:20 1.5K 
[ ]funct_8__t78_funct_8.vmin1out2024-08-03 10:22 12K 
[ ]funct_8__t78_funct_8.vout2024-08-03 04:21 11K 
[ ]funct_8__t79_funct_82024-07-27 12:02 37K 
[ ]funct_8__t79_funct_8.depv12024-08-03 10:19 238  
[ ]funct_8__t79_funct_8.depvmin12024-08-03 10:24 238  
[ ]funct_8__t79_funct_8.vmin12024-08-03 10:20 2.7K 
[ ]funct_8__t79_funct_8.vmin1out2024-08-03 10:20 21K 
[ ]funct_8__t79_funct_8.vout2024-08-03 06:47 21K 
[ ]funct_8__t80_funct_82024-07-27 12:03 37K 
[ ]funct_8__t80_funct_8.depv12024-08-03 10:19 239  
[ ]funct_8__t80_funct_8.depvmin12024-08-03 10:24 239  
[ ]funct_8__t80_funct_8.vmin12024-08-03 10:20 2.7K 
[ ]funct_8__t80_funct_8.vmin1out2024-08-03 10:21 21K 
[ ]funct_8__t80_funct_8.vout2024-08-03 04:13 16K 
[ ]funct_8__t81_funct_82024-07-27 12:05 45K 
[ ]funct_8__t81_funct_8.vout2024-08-03 07:34 7.3K 
[ ]funct_8__t82_funct_82024-07-27 12:06 43K 
[ ]funct_8__t82_funct_8.vout2024-08-03 09:27 4.7K 
[ ]funct_8__t83_funct_82024-07-27 12:08 45K 
[ ]funct_8__t83_funct_8.vout2024-08-03 06:15 7.8K 
[ ]funct_8__t84_funct_82024-07-27 12:09 43K 
[ ]funct_8__t84_funct_8.vout2024-08-03 08:44 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80