Index of /~mptp/mml5.63.1382/MPTP2/problems_small/funct_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funct_5__t72_funct_5.vout2021-07-25 20:38 7.3K 
[ ]funct_5__t72_funct_52021-07-18 04:15 15K 
[ ]funct_5__t71_funct_5.vout2021-07-25 15:16 26K 
[ ]funct_5__t71_funct_5.vmin1out2021-07-25 21:02 28K 
[ ]funct_5__t71_funct_5.vmin12021-07-25 20:57 2.7K 
[ ]funct_5__t71_funct_5.depvmin12021-07-25 21:02 225  
[ ]funct_5__t71_funct_5.depv12021-07-25 20:57 225  
[ ]funct_5__t71_funct_52021-07-18 04:14 13K 
[ ]funct_5__t70_funct_5.vout2021-07-25 19:39 6.8K 
[ ]funct_5__t70_funct_52021-07-18 04:14 15K 
[ ]funct_5__t69_funct_5.vout2021-07-25 20:42 6.8K 
[ ]funct_5__t69_funct_52021-07-18 04:14 14K 
[ ]funct_5__t68_funct_5.vout2021-07-25 18:44 6.8K 
[ ]funct_5__t68_funct_52021-07-18 04:14 13K 
[ ]funct_5__t67_funct_5.vout2021-07-25 15:39 6.8K 
[ ]funct_5__t67_funct_52021-07-18 04:13 13K 
[ ]funct_5__t66_funct_5.vout2021-07-25 18:31 7.8K 
[ ]funct_5__t66_funct_52021-07-18 04:13 14K 
[ ]funct_5__t65_funct_5.vout2021-07-25 16:03 7.8K 
[ ]funct_5__t65_funct_52021-07-18 04:13 12K 
[ ]funct_5__t64_funct_5.vout2021-07-25 16:35 7.9K 
[ ]funct_5__t64_funct_52021-07-18 04:12 19K 
[ ]funct_5__t63_funct_5.vout2021-07-25 17:08 7.8K 
[ ]funct_5__t63_funct_52021-07-18 04:12 16K 
[ ]funct_5__t62_funct_5.vout2021-07-25 20:09 7.3K 
[ ]funct_5__t62_funct_52021-07-18 04:12 19K 
[ ]funct_5__t61_funct_5.vout2021-07-25 19:19 7.1K 
[ ]funct_5__t61_funct_5.vmin1out2021-07-25 21:02 6.7K 
[ ]funct_5__t61_funct_5.vmin12021-07-25 20:57 533  
[ ]funct_5__t61_funct_5.depvmin12021-07-25 21:02 34  
[ ]funct_5__t61_funct_5.depv12021-07-25 20:57 34  
[ ]funct_5__t61_funct_52021-07-18 04:11 1.4K 
[ ]funct_5__t60_funct_5.vout2021-07-25 20:22 7.3K 
[ ]funct_5__t60_funct_52021-07-18 04:11 16K 
[ ]funct_5__t59_funct_5.vout2021-07-25 20:20 8.4K 
[ ]funct_5__t59_funct_52021-07-18 04:11 13K 
[ ]funct_5__t58_funct_5.vout2021-07-25 18:03 7.9K 
[ ]funct_5__t58_funct_52021-07-18 04:11 14K 
[ ]funct_5__t57_funct_5.vout2021-07-25 14:58 8.4K 
[ ]funct_5__t57_funct_52021-07-18 04:10 7.6K 
[ ]funct_5__t56_funct_5.vout2021-07-25 18:17 7.8K 
[ ]funct_5__t56_funct_52021-07-18 04:10 7.2K 
[ ]funct_5__t55_funct_5.vout2021-07-25 18:06 12K 
[ ]funct_5__t55_funct_5.vmin1out2021-07-25 20:58 12K 
[ ]funct_5__t55_funct_5.vmin12021-07-25 20:57 660  
[ ]funct_5__t55_funct_5.depvmin12021-07-25 21:02 24  
[ ]funct_5__t55_funct_5.depv12021-07-25 20:57 24  
[ ]funct_5__t55_funct_52021-07-18 04:10 8.2K 
[ ]funct_5__t54_funct_5.vout2021-07-25 20:53 13K 
[ ]funct_5__t54_funct_5.vmin1out2021-07-25 20:58 12K 
[ ]funct_5__t54_funct_5.vmin12021-07-25 20:57 778  
[ ]funct_5__t54_funct_5.depvmin12021-07-25 21:02 24  
[ ]funct_5__t54_funct_5.depv12021-07-25 20:57 35  
[ ]funct_5__t54_funct_52021-07-18 04:10 8.2K 
[ ]funct_5__t53_funct_5.vout2021-07-25 20:36 9.4K 
[ ]funct_5__t53_funct_5.vmin1out2021-07-25 21:01 9.3K 
[ ]funct_5__t53_funct_5.vmin12021-07-25 20:57 519  
[ ]funct_5__t53_funct_5.depvmin12021-07-25 21:02 24  
[ ]funct_5__t53_funct_5.depv12021-07-25 20:57 24  
[ ]funct_5__t53_funct_52021-07-18 04:09 9.9K 
[ ]funct_5__t52_funct_5.vout2021-07-25 18:55 9.4K 
[ ]funct_5__t52_funct_5.vmin1out2021-07-25 21:00 9.3K 
[ ]funct_5__t52_funct_5.vmin12021-07-25 20:57 519  
[ ]funct_5__t52_funct_5.depvmin12021-07-25 21:02 24  
[ ]funct_5__t52_funct_5.depv12021-07-25 20:57 24  
[ ]funct_5__t52_funct_52021-07-18 04:09 9.9K 
[ ]funct_5__t51_funct_5.vout2021-07-25 19:12 7.3K 
[ ]funct_5__t51_funct_52021-07-18 04:09 18K 
[ ]funct_5__t50_funct_5.vout2021-07-25 17:51 7.3K 
[ ]funct_5__t50_funct_52021-07-18 04:09 16K 
[ ]funct_5__t49_funct_5.vout2021-07-25 16:39 44K 
[ ]funct_5__t49_funct_5.vmin1out2021-07-25 20:58 38K 
[ ]funct_5__t49_funct_5.vmin12021-07-25 20:57 3.3K 
[ ]funct_5__t49_funct_5.depvmin12021-07-25 21:02 250  
[ ]funct_5__t49_funct_5.depv12021-07-25 20:57 250  
[ ]funct_5__t49_funct_52021-07-18 04:08 12K 
[ ]funct_5__t48_funct_5.vout2021-07-25 16:15 7.3K 
[ ]funct_5__t48_funct_52021-07-18 04:08 14K 
[ ]funct_5__t47_funct_5.vout2021-07-25 14:48 24K 
[ ]funct_5__t47_funct_5.vmin1out2021-07-25 21:02 15K 
[ ]funct_5__t47_funct_5.vmin12021-07-25 20:57 1.4K 
[ ]funct_5__t47_funct_5.depvmin12021-07-25 21:02 95  
[ ]funct_5__t47_funct_5.depv12021-07-25 20:57 95  
[ ]funct_5__t47_funct_52021-07-18 04:08 11K 
[ ]funct_5__t46_funct_5.vout2021-07-25 16:49 6.8K 
[ ]funct_5__t46_funct_52021-07-18 04:08 13K 
[ ]funct_5__t45_funct_5.vout2021-07-25 14:29 25K 
[ ]funct_5__t45_funct_5.vmin1out2021-07-25 21:02 27K 
[ ]funct_5__t45_funct_5.vmin12021-07-25 20:57 1.2K 
[ ]funct_5__t45_funct_5.depvmin12021-07-25 21:02 95  
[ ]funct_5__t45_funct_5.depv12021-07-25 20:57 95  
[ ]funct_5__t45_funct_52021-07-18 04:07 9.9K 
[ ]funct_5__t44_funct_5.vout2021-07-25 19:54 6.8K 
[ ]funct_5__t44_funct_52021-07-18 04:07 12K 
[ ]funct_5__t43_funct_5.vout2021-07-25 18:47 29K 
[ ]funct_5__t43_funct_5.vmin1out2021-07-25 21:01 25K 
[ ]funct_5__t43_funct_5.vmin12021-07-25 20:57 2.1K 
[ ]funct_5__t43_funct_5.depvmin12021-07-25 21:02 136  
[ ]funct_5__t43_funct_5.depv12021-07-25 20:57 214  
[ ]funct_5__t43_funct_52021-07-18 04:07 6.7K 
[ ]funct_5__t42_funct_5.vout2021-07-25 17:14 27K 
[ ]funct_5__t42_funct_5.vmin1out2021-07-25 20:59 22K 
[ ]funct_5__t42_funct_5.vmin12021-07-25 20:57 1.5K 
[ ]funct_5__t42_funct_5.depvmin12021-07-25 21:02 149  
[ ]funct_5__t42_funct_5.depv12021-07-25 20:57 162  
[ ]funct_5__t42_funct_52021-07-18 03:59 7.6K 
[ ]funct_5__t41_funct_5.vout2021-07-25 19:20 20K 
[ ]funct_5__t41_funct_5.vmin1out2021-07-25 21:02 11K 
[ ]funct_5__t41_funct_5.vmin12021-07-25 20:57 1.4K 
[ ]funct_5__t41_funct_5.depvmin12021-07-25 21:02 46  
[ ]funct_5__t41_funct_5.depv12021-07-25 20:57 152  
[ ]funct_5__t41_funct_52021-07-18 04:07 7.4K 
[ ]funct_5__t40_funct_5.vout2021-07-25 14:56 7.3K 
[ ]funct_5__t40_funct_52021-07-18 04:06 10K 
[ ]funct_5__t39_funct_5.vout2021-07-25 20:47 30K 
[ ]funct_5__t39_funct_5.vmin1out2021-07-25 20:58 32K 
[ ]funct_5__t39_funct_5.vmin12021-07-25 20:57 2.1K 
[ ]funct_5__t39_funct_5.depvmin12021-07-25 21:02 132  
[ ]funct_5__t39_funct_5.depv12021-07-25 20:57 132  
[ ]funct_5__t39_funct_52021-07-18 04:06 7.0K 
[ ]funct_5__t38_funct_5.vout2021-07-25 16:21 35K 
[ ]funct_5__t38_funct_5.vmin1out2021-07-25 20:58 35K 
[ ]funct_5__t38_funct_5.vmin12021-07-25 20:57 1.7K 
[ ]funct_5__t38_funct_5.depvmin12021-07-25 21:02 108  
[ ]funct_5__t38_funct_5.depv12021-07-25 20:57 108  
[ ]funct_5__t38_funct_52021-07-18 04:06 6.7K 
[ ]funct_5__t37_funct_5.vout2021-07-25 15:55 7.3K 
[ ]funct_5__t37_funct_52021-07-18 04:06 13K 
[ ]funct_5__t36_funct_5.vout2021-07-25 19:42 7.3K 
[ ]funct_5__t36_funct_52021-07-18 04:05 14K 
[ ]funct_5__t35_funct_5.vout2021-07-25 19:10 6.8K 
[ ]funct_5__t35_funct_52021-07-18 04:05 15K 
[ ]funct_5__t34_funct_5.vout2021-07-25 19:27 7.3K 
[ ]funct_5__t34_funct_52021-07-18 04:05 15K 
[ ]funct_5__t33_funct_5.vout2021-07-25 19:40 11K 
[ ]funct_5__t33_funct_5.vmin1out2021-07-25 21:00 11K 
[ ]funct_5__t33_funct_5.vmin12021-07-25 20:57 716  
[ ]funct_5__t33_funct_5.depvmin12021-07-25 21:02 49  
[ ]funct_5__t33_funct_5.depv12021-07-25 20:57 49  
[ ]funct_5__t33_funct_52021-07-18 03:59 5.2K 
[ ]funct_5__t32_funct_5.vout2021-07-25 20:30 6.8K 
[ ]funct_5__t32_funct_52021-07-18 04:05 13K 
[ ]funct_5__t31_funct_5.vout2021-07-25 19:50 7.3K 
[ ]funct_5__t31_funct_52021-07-18 04:04 13K 
[ ]funct_5__t30_funct_5.vout2021-07-25 17:49 20K 
[ ]funct_5__t30_funct_5.vmin1out2021-07-25 21:01 20K 
[ ]funct_5__t30_funct_5.vmin12021-07-25 20:57 930  
[ ]funct_5__t30_funct_5.depvmin12021-07-25 21:02 37  
[ ]funct_5__t30_funct_5.depv12021-07-25 20:57 37  
[ ]funct_5__t30_funct_52021-07-18 04:04 7.1K 
[ ]funct_5__t29_funct_5.vout2021-07-25 15:22 6.8K 
[ ]funct_5__t29_funct_52021-07-18 04:04 13K 
[ ]funct_5__t28_funct_5.vout2021-07-25 18:51 29K 
[ ]funct_5__t28_funct_5.vmin1out2021-07-25 20:58 29K 
[ ]funct_5__t28_funct_5.vmin12021-07-25 20:57 1.7K 
[ ]funct_5__t28_funct_5.depvmin12021-07-25 21:02 130  
[ ]funct_5__t28_funct_5.depv12021-07-25 20:57 130  
[ ]funct_5__t28_funct_52021-07-18 04:04 6.9K 
[ ]funct_5__t27_funct_5.vout2021-07-25 19:46 32K 
[ ]funct_5__t27_funct_5.vmin1out2021-07-25 21:02 31K 
[ ]funct_5__t27_funct_5.vmin12021-07-25 20:57 1.9K 
[ ]funct_5__t27_funct_5.depvmin12021-07-25 21:02 134  
[ ]funct_5__t27_funct_5.depv12021-07-25 20:57 134  
[ ]funct_5__t27_funct_52021-07-18 04:03 8.0K 
[ ]funct_5__t26_funct_5.vout2021-07-25 18:33 6.8K 
[ ]funct_5__t26_funct_52021-07-18 04:03 13K 
[ ]funct_5__t25_funct_5.vout2021-07-25 17:47 29K 
[ ]funct_5__t25_funct_5.vmin1out2021-07-25 21:00 28K 
[ ]funct_5__t25_funct_5.vmin12021-07-25 20:57 1.7K 
[ ]funct_5__t25_funct_5.depvmin12021-07-25 21:02 100  
[ ]funct_5__t25_funct_5.depv12021-07-25 20:57 100  
[ ]funct_5__t25_funct_52021-07-18 04:03 13K 
[ ]funct_5__t24_funct_5.vout2021-07-25 15:28 30K 
[ ]funct_5__t24_funct_5.vmin1out2021-07-25 20:59 30K 
[ ]funct_5__t24_funct_5.vmin12021-07-25 20:57 1.7K 
[ ]funct_5__t24_funct_5.depvmin12021-07-25 21:02 99  
[ ]funct_5__t24_funct_5.depv12021-07-25 20:57 99  
[ ]funct_5__t24_funct_52021-07-18 04:03 8.0K 
[ ]funct_5__t23_funct_5.vout2021-07-25 18:34 21K 
[ ]funct_5__t23_funct_5.vmin1out2021-07-25 20:58 21K 
[ ]funct_5__t23_funct_5.vmin12021-07-25 20:57 1.3K 
[ ]funct_5__t23_funct_5.depvmin12021-07-25 21:02 74  
[ ]funct_5__t23_funct_5.depv12021-07-25 20:57 74  
[ ]funct_5__t23_funct_52021-07-18 04:02 7.7K 
[ ]funct_5__t22_funct_5.vout2021-07-25 16:38 24K 
[ ]funct_5__t22_funct_5.vmin1out2021-07-25 20:58 24K 
[ ]funct_5__t22_funct_5.vmin12021-07-25 20:57 1.3K 
[ ]funct_5__t22_funct_5.depvmin12021-07-25 21:02 73  
[ ]funct_5__t22_funct_5.depv12021-07-25 20:57 73  
[ ]funct_5__t22_funct_52021-07-18 04:02 6.1K 
[ ]funct_5__t21_funct_5.vout2021-07-25 20:41 10K 
[ ]funct_5__t21_funct_5.vmin1out2021-07-25 20:59 8.3K 
[ ]funct_5__t21_funct_5.vmin12021-07-25 20:57 859  
[ ]funct_5__t21_funct_5.depvmin12021-07-25 21:02 61  
[ ]funct_5__t21_funct_5.depv12021-07-25 20:57 61  
[ ]funct_5__t21_funct_52021-07-18 04:02 5.1K 
[ ]funct_5__t20_funct_5.vout2021-07-25 16:59 7.1K 
[ ]funct_5__t20_funct_52021-07-18 04:02 7.8K 
[ ]funct_5__t19_funct_5.vout2021-07-25 20:40 20K 
[ ]funct_5__t19_funct_5.vmin1out2021-07-25 20:59 19K 
[ ]funct_5__t19_funct_5.vmin12021-07-25 20:57 1.0K 
[ ]funct_5__t19_funct_5.depvmin12021-07-25 21:02 50  
[ ]funct_5__t19_funct_5.depv12021-07-25 20:57 50  
[ ]funct_5__t19_funct_52021-07-18 04:02 7.2K 
[ ]funct_5__t17_funct_5.vout2021-07-25 17:29 23K 
[ ]funct_5__t17_funct_5.vmin1out2021-07-25 21:01 22K 
[ ]funct_5__t17_funct_5.vmin12021-07-25 20:57 746  
[ ]funct_5__t17_funct_5.depvmin12021-07-25 21:02 50  
[ ]funct_5__t17_funct_5.depv12021-07-25 20:57 50  
[ ]funct_5__t17_funct_52021-07-18 04:01 8.0K 
[ ]funct_5__t16_funct_5.vout2021-07-25 20:15 14K 
[ ]funct_5__t16_funct_5.vmin1out2021-07-25 20:58 14K 
[ ]funct_5__t16_funct_5.vmin12021-07-25 20:57 815  
[ ]funct_5__t16_funct_5.depvmin12021-07-25 21:02 95  
[ ]funct_5__t16_funct_5.depv12021-07-25 20:57 95  
[ ]funct_5__t16_funct_52021-07-18 04:01 5.1K 
[ ]funct_5__t15_funct_5.vout2021-07-25 14:57 13K 
[ ]funct_5__t15_funct_5.vmin1out2021-07-25 21:02 13K 
[ ]funct_5__t15_funct_5.vmin12021-07-25 20:57 714  
[ ]funct_5__t15_funct_5.depvmin12021-07-25 21:02 83  
[ ]funct_5__t15_funct_5.depv12021-07-25 20:57 83  
[ ]funct_5__t15_funct_52021-07-18 03:59 5.0K 
[ ]funct_5__t14_funct_5.vout2021-07-25 14:34 12K 
[ ]funct_5__t14_funct_5.vmin1out2021-07-25 20:59 12K 
[ ]funct_5__t14_funct_5.vmin12021-07-25 20:57 714  
[ ]funct_5__t14_funct_5.depvmin12021-07-25 21:02 83  
[ ]funct_5__t14_funct_5.depv12021-07-25 20:57 83  
[ ]funct_5__t14_funct_52021-07-18 04:01 5.1K 
[ ]funct_5__t13_funct_5.vout2021-07-25 18:33 6.5K 
[ ]funct_5__t13_funct_5.vmin1out2021-07-25 20:59 6.4K 
[ ]funct_5__t13_funct_5.vmin12021-07-25 20:57 756  
[ ]funct_5__t13_funct_5.depvmin12021-07-25 21:02 62  
[ ]funct_5__t13_funct_5.depv12021-07-25 20:57 62  
[ ]funct_5__t13_funct_52021-07-18 04:01 6.6K 
[ ]funct_5__t12_funct_5.vout2021-07-25 19:17 8.4K 
[ ]funct_5__t12_funct_52021-07-18 04:00 8.2K 
[ ]funct_5__t11_funct_5.vout2021-07-25 20:44 11K 
[ ]funct_5__t11_funct_5.vmin1out2021-07-25 21:02 8.1K 
[ ]funct_5__t11_funct_5.vmin12021-07-25 20:57 673  
[ ]funct_5__t11_funct_5.depvmin12021-07-25 21:02 58  
[ ]funct_5__t11_funct_5.depv12021-07-25 20:57 58  
[ ]funct_5__t11_funct_52021-07-18 04:00 9.6K 
[ ]funct_5__t10_funct_5.vout2021-07-25 20:56 14K 
[ ]funct_5__t10_funct_5.vmin1out2021-07-25 21:01 14K 
[ ]funct_5__t10_funct_5.vmin12021-07-25 20:57 751  
[ ]funct_5__t10_funct_5.depvmin12021-07-25 21:02 61  
[ ]funct_5__t10_funct_5.depv12021-07-25 20:57 61  
[ ]funct_5__t10_funct_52021-07-18 04:00 9.9K 
[ ]funct_5__t9_funct_5.vout2021-07-25 17:55 22K 
[ ]funct_5__t9_funct_5.vmin1out2021-07-25 20:58 23K 
[ ]funct_5__t9_funct_5.vmin12021-07-25 20:57 1.1K 
[ ]funct_5__t9_funct_5.depvmin12021-07-25 21:02 122  
[ ]funct_5__t9_funct_5.depv12021-07-25 20:57 122  
[ ]funct_5__t9_funct_52021-07-18 04:00 5.6K 
[ ]funct_5__t8_funct_5.vout2021-07-25 16:46 3.8K 
[ ]funct_5__t8_funct_5.vmin1out2021-07-25 21:01 3.8K 
[ ]funct_5__t8_funct_5.vmin12021-07-25 20:57 413  
[ ]funct_5__t8_funct_5.depvmin12021-07-25 21:02 59  
[ ]funct_5__t8_funct_5.depv12021-07-25 20:57 59  
[ ]funct_5__t8_funct_52021-07-18 03:59 4.4K 
[ ]funct_5__t1_funct_5.vout2021-07-25 14:54 9.9K 
[ ]funct_5__t1_funct_5.vmin1out2021-07-25 21:02 10K 
[ ]funct_5__t1_funct_5.vmin12021-07-25 20:57 1.0K 
[ ]funct_5__t1_funct_5.depvmin12021-07-25 21:02 121  
[ ]funct_5__t1_funct_5.depv12021-07-25 20:57 133  
[ ]funct_5__t1_funct_52021-07-18 04:00 4.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80