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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]partfun2__t1_partfun22024-07-28 22:11 6.1K 
[ ]partfun2__t1_partfun2.vout2024-08-03 08:54 6.2K 
[ ]partfun2__t2_partfun22024-07-28 22:11 6.3K 
[ ]partfun2__t2_partfun2.depv12024-08-03 10:19 159  
[ ]partfun2__t2_partfun2.depvmin12024-08-03 10:24 159  
[ ]partfun2__t2_partfun2.vmin12024-08-03 10:20 1.6K 
[ ]partfun2__t2_partfun2.vmin1out2024-08-03 10:20 31K 
[ ]partfun2__t2_partfun2.vout2024-08-03 04:52 32K 
[ ]partfun2__t3_partfun22024-07-28 22:12 8.4K 
[ ]partfun2__t3_partfun2.vout2024-08-03 05:30 4.7K 
[ ]partfun2__t4_partfun22024-07-28 22:13 7.5K 
[ ]partfun2__t4_partfun2.vout2024-08-03 07:20 4.7K 
[ ]partfun2__t5_partfun22024-07-28 22:13 7.7K 
[ ]partfun2__t5_partfun2.depv12024-08-03 10:19 167  
[ ]partfun2__t5_partfun2.depvmin12024-08-03 10:24 152  
[ ]partfun2__t5_partfun2.vmin12024-08-03 10:20 2.5K 
[ ]partfun2__t5_partfun2.vmin1out2024-08-03 10:21 37K 
[ ]partfun2__t5_partfun2.vout2024-08-03 06:32 31K 
[ ]partfun2__t6_partfun22024-07-28 22:14 7.6K 
[ ]partfun2__t6_partfun2.depv12024-08-03 10:19 274  
[ ]partfun2__t6_partfun2.depvmin12024-08-03 10:24 218  
[ ]partfun2__t6_partfun2.vmin12024-08-03 10:20 2.6K 
[ ]partfun2__t6_partfun2.vmin1out2024-08-03 10:20 32K 
[ ]partfun2__t6_partfun2.vout2024-08-03 06:54 40K 
[ ]partfun2__t7_partfun22024-07-28 22:15 11K 
[ ]partfun2__t7_partfun2.vout2024-08-03 04:18 4.7K 
[ ]partfun2__t8_partfun22024-07-28 22:15 8.7K 
[ ]partfun2__t8_partfun2.vout2024-08-03 06:53 4.7K 
[ ]partfun2__t9_partfun22024-07-28 22:16 5.4K 
[ ]partfun2__t9_partfun2.vout2024-08-03 09:46 8.4K 
[ ]partfun2__t10_partfun22024-07-28 22:16 5.4K 
[ ]partfun2__t10_partfun2.vout2024-08-03 06:47 8.4K 
[ ]partfun2__t11_partfun22024-07-28 22:17 9.9K 
[ ]partfun2__t11_partfun2.vout2024-08-03 09:25 4.7K 
[ ]partfun2__t12_partfun22024-07-28 22:18 9.5K 
[ ]partfun2__t12_partfun2.depv12024-08-03 10:19 221  
[ ]partfun2__t12_partfun2.depvmin12024-08-03 10:24 119  
[ ]partfun2__t12_partfun2.vmin12024-08-03 10:20 3.3K 
[ ]partfun2__t12_partfun2.vmin1out2024-08-03 10:20 48K 
[ ]partfun2__t12_partfun2.vout2024-08-03 04:42 43K 
[ ]partfun2__t13_partfun22024-07-28 22:18 9.7K 
[ ]partfun2__t13_partfun2.vout2024-08-03 04:14 4.7K 
[ ]partfun2__t14_partfun22024-07-28 22:19 7.0K 
[ ]partfun2__t14_partfun2.depv12024-08-03 10:19 191  
[ ]partfun2__t14_partfun2.depvmin12024-08-03 10:24 176  
[ ]partfun2__t14_partfun2.vmin12024-08-03 10:20 2.3K 
[ ]partfun2__t14_partfun2.vmin1out2024-08-03 10:22 59K 
[ ]partfun2__t14_partfun2.vout2024-08-03 09:02 48K 
[ ]partfun2__t15_partfun22024-07-28 22:20 8.8K 
[ ]partfun2__t15_partfun2.vout2024-08-03 09:21 4.7K 
[ ]partfun2__t16_partfun22024-07-28 22:20 8.1K 
[ ]partfun2__t16_partfun2.vout2024-08-03 08:17 4.7K 
[ ]partfun2__t17_partfun22024-07-28 22:21 7.4K 
[ ]partfun2__t17_partfun2.depv12024-08-03 10:19 202  
[ ]partfun2__t17_partfun2.depvmin12024-08-03 10:24 178  
[ ]partfun2__t17_partfun2.vmin12024-08-03 10:20 1.8K 
[ ]partfun2__t17_partfun2.vmin1out2024-08-03 10:20 25K 
[ ]partfun2__t17_partfun2.vout2024-08-03 04:54 23K 
[ ]partfun2__t18_partfun22024-07-28 22:22 7.2K 
[ ]partfun2__t18_partfun2.depv12024-08-03 10:19 190  
[ ]partfun2__t18_partfun2.depvmin12024-08-03 10:24 176  
[ ]partfun2__t18_partfun2.vmin12024-08-03 10:20 1.9K 
[ ]partfun2__t18_partfun2.vmin1out2024-08-03 10:20 17K 
[ ]partfun2__t18_partfun2.vout2024-08-03 08:31 18K 
[ ]partfun2__t19_partfun22024-07-28 22:22 7.7K 
[ ]partfun2__t19_partfun2.vout2024-08-03 08:57 4.7K 
[ ]partfun2__t20_partfun22024-07-28 22:09 6.9K 
[ ]partfun2__t20_partfun2.depv12024-08-03 10:19 90  
[ ]partfun2__t20_partfun2.depvmin12024-08-03 10:24 90  
[ ]partfun2__t20_partfun2.vmin12024-08-03 10:20 1.7K 
[ ]partfun2__t20_partfun2.vmin1out2024-08-03 10:21 32K 
[ ]partfun2__t20_partfun2.vout2024-08-03 08:46 35K 
[ ]partfun2__t21_partfun22024-07-28 22:10 6.9K 
[ ]partfun2__t21_partfun2.depv12024-08-03 10:19 91  
[ ]partfun2__t21_partfun2.depvmin12024-08-03 10:24 91  
[ ]partfun2__t21_partfun2.vmin12024-08-03 10:20 1.7K 
[ ]partfun2__t21_partfun2.vmin1out2024-08-03 10:23 19K 
[ ]partfun2__t21_partfun2.vout2024-08-03 05:23 18K 
[ ]partfun2__t22_partfun22024-07-28 22:23 6.4K 
[ ]partfun2__t22_partfun2.vout2024-08-03 05:33 7.3K 
[ ]partfun2__t23_partfun22024-07-28 22:10 6.0K 
[ ]partfun2__t23_partfun2.depv12024-08-03 10:19 117  
[ ]partfun2__t23_partfun2.depvmin12024-08-03 10:24 117  
[ ]partfun2__t23_partfun2.vmin12024-08-03 10:20 1.6K 
[ ]partfun2__t23_partfun2.vmin1out2024-08-03 10:22 39K 
[ ]partfun2__t23_partfun2.vout2024-08-03 08:55 38K 
[ ]partfun2__t24_partfun22024-07-28 22:24 5.7K 
[ ]partfun2__t24_partfun2.depv12024-08-03 10:19 111  
[ ]partfun2__t24_partfun2.depvmin12024-08-03 10:24 111  
[ ]partfun2__t24_partfun2.vmin12024-08-03 10:20 1.2K 
[ ]partfun2__t24_partfun2.vmin1out2024-08-03 10:21 10K 
[ ]partfun2__t24_partfun2.vout2024-08-03 06:30 11K 
[ ]partfun2__t25_partfun22024-07-28 22:24 6.5K 
[ ]partfun2__t25_partfun2.depv12024-08-03 10:19 136  
[ ]partfun2__t25_partfun2.depvmin12024-08-03 10:24 136  
[ ]partfun2__t25_partfun2.vmin12024-08-03 10:20 1.5K 
[ ]partfun2__t25_partfun2.vmin1out2024-08-03 10:21 14K 
[ ]partfun2__t25_partfun2.vout2024-08-03 09:40 17K 
[ ]partfun2__t26_partfun22024-07-28 22:25 6.0K 
[ ]partfun2__t26_partfun2.vout2024-08-03 08:40 7.3K 
[ ]partfun2__t27_partfun22024-07-28 22:26 6.3K 
[ ]partfun2__t27_partfun2.depv12024-08-03 10:19 165  
[ ]partfun2__t27_partfun2.depvmin12024-08-03 10:24 165  
[ ]partfun2__t27_partfun2.vmin12024-08-03 10:20 1.8K 
[ ]partfun2__t27_partfun2.vmin1out2024-08-03 10:23 29K 
[ ]partfun2__t27_partfun2.vout2024-08-03 08:42 29K 
[ ]partfun2__t28_partfun22024-07-28 22:26 7.3K 
[ ]partfun2__t28_partfun2.depv12024-08-03 10:19 199  
[ ]partfun2__t28_partfun2.depvmin12024-08-03 10:24 199  
[ ]partfun2__t28_partfun2.vmin12024-08-03 10:20 2.0K 
[ ]partfun2__t28_partfun2.vmin1out2024-08-03 10:23 46K 
[ ]partfun2__t28_partfun2.vout2024-08-03 06:36 49K 
[ ]partfun2__t29_partfun22024-07-28 22:27 6.7K 
[ ]partfun2__t29_partfun2.depv12024-08-03 10:19 139  
[ ]partfun2__t29_partfun2.depvmin12024-08-03 10:24 139  
[ ]partfun2__t29_partfun2.vmin12024-08-03 10:20 1.6K 
[ ]partfun2__t29_partfun2.vmin1out2024-08-03 10:22 15K 
[ ]partfun2__t29_partfun2.vout2024-08-03 06:27 20K 
[ ]partfun2__t30_partfun22024-07-28 22:27 6.7K 
[ ]partfun2__t30_partfun2.depv12024-08-03 10:19 252  
[ ]partfun2__t30_partfun2.depvmin12024-08-03 10:24 187  
[ ]partfun2__t30_partfun2.vmin12024-08-03 10:20 2.5K 
[ ]partfun2__t30_partfun2.vmin1out2024-08-03 10:20 26K 
[ ]partfun2__t30_partfun2.vout2024-08-03 07:03 31K 
[ ]partfun2__t31_partfun22024-07-28 22:28 8.3K 
[ ]partfun2__t31_partfun2.depv12024-08-03 10:19 272  
[ ]partfun2__t31_partfun2.depvmin12024-08-03 10:24 217  
[ ]partfun2__t31_partfun2.vmin12024-08-03 10:20 3.0K 
[ ]partfun2__t31_partfun2.vmin1out2024-08-03 10:23 35K 
[ ]partfun2__t31_partfun2.vout2024-08-03 09:32 37K 
[ ]partfun2__t32_partfun22024-07-28 22:29 6.0K 
[ ]partfun2__t32_partfun2.depv12024-08-03 10:19 127  
[ ]partfun2__t32_partfun2.depvmin12024-08-03 10:24 127  
[ ]partfun2__t32_partfun2.vmin12024-08-03 10:20 1.1K 
[ ]partfun2__t32_partfun2.vmin1out2024-08-03 10:22 16K 
[ ]partfun2__t32_partfun2.vout2024-08-03 08:09 18K 
[ ]partfun2__t33_partfun22024-07-28 22:29 6.0K 
[ ]partfun2__t33_partfun2.depv12024-08-03 10:19 159  
[ ]partfun2__t33_partfun2.depvmin12024-08-03 10:24 159  
[ ]partfun2__t33_partfun2.vmin12024-08-03 10:20 1.5K 
[ ]partfun2__t33_partfun2.vmin1out2024-08-03 10:20 17K 
[ ]partfun2__t33_partfun2.vout2024-08-03 09:16 16K 
[ ]partfun2__t34_partfun22024-07-28 22:30 6.1K 
[ ]partfun2__t34_partfun2.depv12024-08-03 10:19 161  
[ ]partfun2__t34_partfun2.depvmin12024-08-03 10:24 161  
[ ]partfun2__t34_partfun2.vmin12024-08-03 10:20 1.6K 
[ ]partfun2__t34_partfun2.vmin1out2024-08-03 10:22 28K 
[ ]partfun2__t34_partfun2.vout2024-08-03 09:22 28K 
[ ]partfun2__t35_partfun22024-07-28 22:30 8.2K 
[ ]partfun2__t35_partfun2.vout2024-08-03 07:07 7.3K 
[ ]partfun2__t36_partfun22024-07-28 22:31 7.8K 
[ ]partfun2__t36_partfun2.depv12024-08-03 10:19 369  
[ ]partfun2__t36_partfun2.depvmin12024-08-03 10:24 250  
[ ]partfun2__t36_partfun2.vmin12024-08-03 10:20 3.3K 
[ ]partfun2__t36_partfun2.vmin1out2024-08-03 10:22 53K 
[ ]partfun2__t36_partfun2.vout2024-08-03 09:34 60K 
[ ]partfun2__t37_partfun22024-07-28 22:32 12K 
[ ]partfun2__t37_partfun2.vout2024-08-03 07:08 7.3K 
[ ]partfun2__t38_partfun22024-07-28 22:32 7.4K 
[ ]partfun2__t38_partfun2.vout2024-08-03 08:15 7.3K 
[ ]partfun2__t39_partfun22024-07-28 22:33 7.5K 
[ ]partfun2__t39_partfun2.depv12024-08-03 10:19 186  
[ ]partfun2__t39_partfun2.depvmin12024-08-03 10:24 186  
[ ]partfun2__t39_partfun2.vmin12024-08-03 10:20 1.7K 
[ ]partfun2__t39_partfun2.vmin1out2024-08-03 10:22 23K 
[ ]partfun2__t39_partfun2.vout2024-08-03 07:30 23K 
[ ]partfun2__t40_partfun22024-07-28 22:33 9.9K 
[ ]partfun2__t40_partfun2.vout2024-08-03 05:00 4.7K 
[ ]partfun2__t41_partfun22024-07-28 22:34 8.3K 
[ ]partfun2__t41_partfun2.depv12024-08-03 10:19 152  
[ ]partfun2__t41_partfun2.depvmin12024-08-03 10:24 152  
[ ]partfun2__t41_partfun2.vmin12024-08-03 10:20 1.7K 
[ ]partfun2__t41_partfun2.vmin1out2024-08-03 10:23 19K 
[ ]partfun2__t41_partfun2.vout2024-08-03 05:26 26K 
[ ]partfun2__t42_partfun22024-07-28 22:35 10K 
[ ]partfun2__t42_partfun2.vout2024-08-03 05:29 7.3K 
[ ]partfun2__t43_partfun22024-07-28 22:35 10K 
[ ]partfun2__t43_partfun2.vout2024-08-03 08:46 4.7K 
[ ]partfun2__t44_partfun22024-07-28 22:36 9.5K 
[ ]partfun2__t44_partfun2.vout2024-08-03 07:33 7.3K 
[ ]partfun2__t45_partfun22024-07-28 22:36 6.1K 
[ ]partfun2__t45_partfun2.depv12024-08-03 10:19 279  
[ ]partfun2__t45_partfun2.depvmin12024-08-03 10:24 191  
[ ]partfun2__t45_partfun2.vmin12024-08-03 10:20 3.0K 
[ ]partfun2__t45_partfun2.vmin1out2024-08-03 10:22 23K 
[ ]partfun2__t45_partfun2.vout2024-08-03 07:11 39K 
[ ]partfun2__t46_partfun22024-07-28 22:37 5.6K 
[ ]partfun2__t46_partfun2.depv12024-08-03 10:19 110  
[ ]partfun2__t46_partfun2.depvmin12024-08-03 10:24 110  
[ ]partfun2__t46_partfun2.vmin12024-08-03 10:20 1.2K 
[ ]partfun2__t46_partfun2.vmin1out2024-08-03 10:23 22K 
[ ]partfun2__t46_partfun2.vout2024-08-03 09:35 23K 
[ ]partfun2__t47_partfun22024-07-28 22:38 7.1K 
[ ]partfun2__t47_partfun2.depv12024-08-03 10:19 99  
[ ]partfun2__t47_partfun2.depvmin12024-08-03 10:24 99  
[ ]partfun2__t47_partfun2.vmin12024-08-03 10:20 1.8K 
[ ]partfun2__t47_partfun2.vmin1out2024-08-03 10:20 25K 
[ ]partfun2__t47_partfun2.vout2024-08-03 06:37 28K 
[ ]partfun2__t48_partfun22024-07-28 22:38 6.0K 
[ ]partfun2__t48_partfun2.depv12024-08-03 10:19 84  
[ ]partfun2__t48_partfun2.depvmin12024-08-03 10:24 84  
[ ]partfun2__t48_partfun2.vmin12024-08-03 10:20 1.2K 
[ ]partfun2__t48_partfun2.vmin1out2024-08-03 10:20 17K 
[ ]partfun2__t48_partfun2.vout2024-08-03 05:33 13K 
[ ]partfun2__t49_partfun22024-07-28 22:39 5.8K 
[ ]partfun2__t49_partfun2.depv12024-08-03 10:19 98  
[ ]partfun2__t49_partfun2.depvmin12024-08-03 10:24 98  
[ ]partfun2__t49_partfun2.vmin12024-08-03 10:20 1.2K 
[ ]partfun2__t49_partfun2.vmin1out2024-08-03 10:21 16K 
[ ]partfun2__t49_partfun2.vout2024-08-03 08:23 12K 
[ ]partfun2__t50_partfun22024-07-28 22:39 7.9K 
[ ]partfun2__t50_partfun2.vout2024-08-03 07:28 4.7K 
[ ]partfun2__t51_partfun22024-07-28 22:40 8.1K 
[ ]partfun2__t51_partfun2.vout2024-08-03 04:18 4.7K 
[ ]partfun2__t52_partfun22024-07-28 22:40 8.1K 
[ ]partfun2__t52_partfun2.vout2024-08-03 06:08 4.7K 
[ ]partfun2__t53_partfun22024-07-28 22:41 8.0K 
[ ]partfun2__t53_partfun2.vout2024-08-03 09:02 4.7K 
[ ]partfun2__t54_partfun22024-07-28 22:41 8.1K 
[ ]partfun2__t54_partfun2.depv12024-08-03 10:19 227  
[ ]partfun2__t54_partfun2.depvmin12024-08-03 10:24 201  
[ ]partfun2__t54_partfun2.vmin12024-08-03 10:20 2.4K 
[ ]partfun2__t54_partfun2.vmin1out2024-08-03 10:22 34K 
[ ]partfun2__t54_partfun2.vout2024-08-03 05:06 35K 
[ ]partfun2__t55_partfun22024-07-28 22:42 6.8K 
[ ]partfun2__t55_partfun2.depv12024-08-03 10:19 189  
[ ]partfun2__t55_partfun2.depvmin12024-08-03 10:24 189  
[ ]partfun2__t55_partfun2.vmin12024-08-03 10:20 2.3K 
[ ]partfun2__t55_partfun2.vmin1out2024-08-03 10:21 39K 
[ ]partfun2__t55_partfun2.vout2024-08-03 09:18 39K 
[ ]partfun2__t56_partfun22024-07-28 22:42 7.0K 
[ ]partfun2__t56_partfun2.depv12024-08-03 10:19 123  
[ ]partfun2__t56_partfun2.depvmin12024-08-03 10:24 123  
[ ]partfun2__t56_partfun2.vmin12024-08-03 10:20 1.5K 
[ ]partfun2__t56_partfun2.vmin1out2024-08-03 10:23 29K 
[ ]partfun2__t56_partfun2.vout2024-08-03 09:31 27K 
[ ]partfun2__t57_partfun22024-07-28 22:43 9.2K 
[ ]partfun2__t57_partfun2.vout2024-08-03 07:25 7.3K 
[ ]partfun2__t58_partfun22024-07-28 22:44 8.2K 
[ ]partfun2__t58_partfun2.vout2024-08-03 06:02 7.3K 
[ ]partfun2__t59_partfun22024-07-28 22:44 5.9K 
[ ]partfun2__t59_partfun2.depv12024-08-03 10:19 148  
[ ]partfun2__t59_partfun2.depvmin12024-08-03 10:24 148  
[ ]partfun2__t59_partfun2.vmin12024-08-03 10:20 1.6K 
[ ]partfun2__t59_partfun2.vmin1out2024-08-03 10:22 25K 
[ ]partfun2__t59_partfun2.vout2024-08-03 08:16 25K 
[ ]partfun2__t60_partfun22024-07-28 22:45 6.7K 
[ ]partfun2__t60_partfun2.depv12024-08-03 10:19 136  
[ ]partfun2__t60_partfun2.depvmin12024-08-03 10:24 136  
[ ]partfun2__t60_partfun2.vmin12024-08-03 10:20 1.8K 
[ ]partfun2__t60_partfun2.vmin1out2024-08-03 10:22 40K 
[ ]partfun2__t60_partfun2.vout2024-08-03 06:59 39K 
[ ]partfun2__t61_partfun22024-07-28 22:45 4.3K 
[ ]partfun2__t61_partfun2.depv12024-08-03 10:19 100  
[ ]partfun2__t61_partfun2.depvmin12024-08-03 10:24 100  
[ ]partfun2__t61_partfun2.vmin12024-08-03 10:20 1.3K 
[ ]partfun2__t61_partfun2.vmin1out2024-08-03 10:20 19K 
[ ]partfun2__t61_partfun2.vout2024-08-03 06:05 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80