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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]uniform3__l5_uniform32024-07-27 03:18 13K 
[ ]uniform3__l5_uniform3.vout2024-08-03 08:34 7.3K 
[ ]uniform3__l27_uniform32024-07-27 03:21 60K 
[ ]uniform3__l27_uniform3.vout2024-08-03 06:04 5.3K 
[ ]uniform3__l110_uniform32024-07-27 03:22 21K 
[ ]uniform3__l110_uniform3.depv12024-08-03 10:19 95  
[ ]uniform3__l110_uniform3.depvmin12024-08-03 10:24 95  
[ ]uniform3__l110_uniform3.vmin12024-08-03 10:20 1.5K 
[ ]uniform3__l110_uniform3.vmin1out2024-08-03 10:22 19K 
[ ]uniform3__l110_uniform3.vout2024-08-03 05:49 19K 
[ ]uniform3__t1_uniform32024-07-27 02:07 18K 
[ ]uniform3__t1_uniform3.vout2024-08-03 06:56 7.3K 
[ ]uniform3__t2_uniform32024-07-27 02:07 15K 
[ ]uniform3__t2_uniform3.vout2024-08-03 09:52 8.4K 
[ ]uniform3__t3_uniform32024-07-27 02:08 21K 
[ ]uniform3__t3_uniform3.vout2024-08-03 10:09 4.7K 
[ ]uniform3__t4_uniform32024-07-27 02:09 18K 
[ ]uniform3__t4_uniform3.vout2024-08-03 06:52 6.2K 
[ ]uniform3__t5_uniform32024-07-27 01:53 12K 
[ ]uniform3__t5_uniform3.vout2024-08-03 08:58 7.9K 
[ ]uniform3__t6_uniform32024-07-27 02:10 14K 
[ ]uniform3__t6_uniform3.vout2024-08-03 07:12 7.3K 
[ ]uniform3__t7_uniform32024-07-27 02:11 12K 
[ ]uniform3__t7_uniform3.depv12024-08-03 10:19 123  
[ ]uniform3__t7_uniform3.depvmin12024-08-03 10:24 123  
[ ]uniform3__t7_uniform3.vmin12024-08-03 10:20 1.1K 
[ ]uniform3__t7_uniform3.vmin1out2024-08-03 10:22 16K 
[ ]uniform3__t7_uniform3.vout2024-08-03 06:22 17K 
[ ]uniform3__t8_uniform32024-07-27 02:12 16K 
[ ]uniform3__t8_uniform3.vout2024-08-03 08:11 7.3K 
[ ]uniform3__t9_uniform32024-07-27 02:13 26K 
[ ]uniform3__t9_uniform3.vout2024-08-03 07:44 7.3K 
[ ]uniform3__t10_uniform32024-07-27 02:15 26K 
[ ]uniform3__t10_uniform3.vout2024-08-03 08:54 7.3K 
[ ]uniform3__t11_uniform32024-07-27 02:16 21K 
[ ]uniform3__t11_uniform3.depv12024-08-03 10:19 66  
[ ]uniform3__t11_uniform3.depvmin12024-08-03 10:24 66  
[ ]uniform3__t11_uniform3.vmin12024-08-03 10:20 1.0K 
[ ]uniform3__t11_uniform3.vmin1out2024-08-03 10:22 11K 
[ ]uniform3__t11_uniform3.vout2024-08-03 08:46 14K 
[ ]uniform3__t12_uniform32024-07-27 01:53 932  
[ ]uniform3__t12_uniform3.depv12024-08-03 10:19 14  
[ ]uniform3__t12_uniform3.depvmin12024-08-03 10:24 14  
[ ]uniform3__t12_uniform3.vmin12024-08-03 10:20 291  
[ ]uniform3__t12_uniform3.vmin1out2024-08-03 10:20 5.3K 
[ ]uniform3__t12_uniform3.vout2024-08-03 08:56 5.3K 
[ ]uniform3__t13_uniform32024-07-27 01:54 932  
[ ]uniform3__t13_uniform3.depv12024-08-03 10:19 14  
[ ]uniform3__t13_uniform3.depvmin12024-08-03 10:24 14  
[ ]uniform3__t13_uniform3.vmin12024-08-03 10:20 291  
[ ]uniform3__t13_uniform3.vmin1out2024-08-03 10:20 5.3K 
[ ]uniform3__t13_uniform3.vout2024-08-03 07:29 5.3K 
[ ]uniform3__t14_uniform32024-07-27 02:17 18K 
[ ]uniform3__t14_uniform3.vout2024-08-03 09:59 7.3K 
[ ]uniform3__t15_uniform32024-07-27 02:18 23K 
[ ]uniform3__t15_uniform3.vout2024-08-03 06:15 7.3K 
[ ]uniform3__t16_uniform32024-07-27 02:19 25K 
[ ]uniform3__t16_uniform3.vout2024-08-03 06:52 3.7K 
[ ]uniform3__t17_uniform32024-07-27 01:55 30K 
[ ]uniform3__t17_uniform3.depv12024-08-03 10:19 206  
[ ]uniform3__t17_uniform3.depvmin12024-08-03 10:24 206  
[ ]uniform3__t17_uniform3.vmin12024-08-03 10:20 3.3K 
[ ]uniform3__t17_uniform3.vmin1out2024-08-03 10:22 47K 
[ ]uniform3__t17_uniform3.vout2024-08-03 09:04 54K 
[ ]uniform3__t18_uniform32024-07-27 02:21 28K 
[ ]uniform3__t18_uniform3.vout2024-08-03 06:28 7.9K 
[ ]uniform3__t19_uniform32024-07-27 02:06 24K 
[ ]uniform3__t19_uniform3.depv12024-08-03 10:19 149  
[ ]uniform3__t19_uniform3.depvmin12024-08-03 10:24 126  
[ ]uniform3__t19_uniform3.vmin12024-08-03 10:20 2.3K 
[ ]uniform3__t19_uniform3.vmin1out2024-08-03 10:21 72K 
[ ]uniform3__t19_uniform3.vout2024-08-03 07:25 70K 
[ ]uniform3__t20_uniform32024-07-27 02:22 24K 
[ ]uniform3__t20_uniform3.depv12024-08-03 10:19 140  
[ ]uniform3__t20_uniform3.depvmin12024-08-03 10:24 115  
[ ]uniform3__t20_uniform3.vmin12024-08-03 10:20 2.0K 
[ ]uniform3__t20_uniform3.vmin1out2024-08-03 10:23 23K 
[ ]uniform3__t20_uniform3.vout2024-08-03 06:06 41K 
[ ]uniform3__t21_uniform32024-07-27 01:56 28K 
[ ]uniform3__t21_uniform3.depv12024-08-03 10:19 64  
[ ]uniform3__t21_uniform3.depvmin12024-08-03 10:24 39  
[ ]uniform3__t21_uniform3.vmin12024-08-03 10:20 1.3K 
[ ]uniform3__t21_uniform3.vmin1out2024-08-03 10:22 24K 
[ ]uniform3__t21_uniform3.vout2024-08-03 08:29 39K 
[ ]uniform3__t22_uniform32024-07-27 02:24 58K 
[ ]uniform3__t22_uniform3.vout2024-08-03 04:48 3.7K 
[ ]uniform3__t23_uniform32024-07-27 02:26 38K 
[ ]uniform3__t23_uniform3.depv12024-08-03 10:19 416  
[ ]uniform3__t23_uniform3.depvmin12024-08-03 10:24 360  
[ ]uniform3__t23_uniform3.vmin12024-08-03 10:20 5.5K 
[ ]uniform3__t23_uniform3.vmin1out2024-08-03 10:20 38K 
[ ]uniform3__t23_uniform3.vout2024-08-03 05:21 74K 
[ ]uniform3__t24_uniform32024-07-27 02:27 26K 
[ ]uniform3__t24_uniform3.vout2024-08-03 08:42 7.3K 
[ ]uniform3__t25_uniform32024-07-27 02:29 34K 
[ ]uniform3__t25_uniform3.vout2024-08-03 07:09 7.4K 
[ ]uniform3__t26_uniform32024-07-27 02:30 25K 
[ ]uniform3__t26_uniform3.vout2024-08-03 07:18 7.9K 
[ ]uniform3__t27_uniform32024-07-27 02:32 33K 
[ ]uniform3__t27_uniform3.vout2024-08-03 05:30 7.3K 
[ ]uniform3__t28_uniform32024-07-27 02:34 52K 
[ ]uniform3__t28_uniform3.vout2024-08-03 10:08 3.7K 
[ ]uniform3__t29_uniform32024-07-27 02:37 52K 
[ ]uniform3__t29_uniform3.vout2024-08-03 09:09 3.7K 
[ ]uniform3__t30_uniform32024-07-27 03:17 13K 
[ ]uniform3__t30_uniform3.vout2024-08-03 06:39 7.9K 
[ ]uniform3__t31_uniform32024-07-27 02:38 13K 
[ ]uniform3__t31_uniform3.depv12024-08-03 10:19 155  
[ ]uniform3__t31_uniform3.depvmin12024-08-03 10:24 155  
[ ]uniform3__t31_uniform3.vmin12024-08-03 10:20 1.3K 
[ ]uniform3__t31_uniform3.vmin1out2024-08-03 10:20 17K 
[ ]uniform3__t31_uniform3.vout2024-08-03 07:41 17K 
[ ]uniform3__t32_uniform32024-07-27 01:57 14K 
[ ]uniform3__t32_uniform3.depv12024-08-03 10:19 101  
[ ]uniform3__t32_uniform3.depvmin12024-08-03 10:24 101  
[ ]uniform3__t32_uniform3.vmin12024-08-03 10:20 1.0K 
[ ]uniform3__t32_uniform3.vmin1out2024-08-03 10:21 15K 
[ ]uniform3__t32_uniform3.vout2024-08-03 10:04 16K 
[ ]uniform3__t33_uniform32024-07-27 02:38 15K 
[ ]uniform3__t33_uniform3.vout2024-08-03 07:00 7.3K 
[ ]uniform3__t34_uniform32024-07-27 01:58 13K 
[ ]uniform3__t34_uniform3.depv12024-08-03 10:19 81  
[ ]uniform3__t34_uniform3.depvmin12024-08-03 10:24 81  
[ ]uniform3__t34_uniform3.vmin12024-08-03 10:20 831  
[ ]uniform3__t34_uniform3.vmin1out2024-08-03 10:22 7.5K 
[ ]uniform3__t34_uniform3.vout2024-08-03 05:18 7.6K 
[ ]uniform3__t35_uniform32024-07-27 01:59 14K 
[ ]uniform3__t35_uniform3.depv12024-08-03 10:19 81  
[ ]uniform3__t35_uniform3.depvmin12024-08-03 10:24 81  
[ ]uniform3__t35_uniform3.vmin12024-08-03 10:20 833  
[ ]uniform3__t35_uniform3.vmin1out2024-08-03 10:23 7.5K 
[ ]uniform3__t35_uniform3.vout2024-08-03 06:30 7.6K 
[ ]uniform3__t36_uniform32024-07-27 02:39 24K 
[ ]uniform3__t36_uniform3.vout2024-08-03 05:16 7.9K 
[ ]uniform3__t37_uniform32024-07-27 02:41 25K 
[ ]uniform3__t37_uniform3.vout2024-08-03 09:12 3.2K 
[ ]uniform3__t38_uniform32024-07-27 02:42 28K 
[ ]uniform3__t38_uniform3.depv12024-08-03 10:19 290  
[ ]uniform3__t38_uniform3.depvmin12024-08-03 10:24 280  
[ ]uniform3__t38_uniform3.vmin12024-08-03 10:20 2.7K 
[ ]uniform3__t38_uniform3.vmin1out2024-08-03 10:21 29K 
[ ]uniform3__t38_uniform3.vout2024-08-03 04:50 32K 
[ ]uniform3__t39_uniform32024-07-27 02:00 24K 
[ ]uniform3__t39_uniform3.depv12024-08-03 10:19 39  
[ ]uniform3__t39_uniform3.depvmin12024-08-03 10:24 39  
[ ]uniform3__t39_uniform3.vmin12024-08-03 10:20 700  
[ ]uniform3__t39_uniform3.vmin1out2024-08-03 10:22 9.0K 
[ ]uniform3__t39_uniform3.vout2024-08-03 04:09 8.5K 
[ ]uniform3__t40_uniform32024-07-27 02:43 28K 
[ ]uniform3__t40_uniform3.vout2024-08-03 06:44 7.4K 
[ ]uniform3__t41_uniform32024-07-27 02:45 25K 
[ ]uniform3__t41_uniform3.vout2024-08-03 05:27 7.4K 
[ ]uniform3__t42_uniform32024-07-27 02:45 17K 
[ ]uniform3__t42_uniform3.vout2024-08-03 05:29 7.3K 
[ ]uniform3__t43_uniform32024-07-27 02:46 17K 
[ ]uniform3__t43_uniform3.vout2024-08-03 09:18 7.3K 
[ ]uniform3__t44_uniform32024-07-27 02:47 18K 
[ ]uniform3__t44_uniform3.vout2024-08-03 08:29 7.3K 
[ ]uniform3__t45_uniform32024-07-27 02:48 19K 
[ ]uniform3__t45_uniform3.vout2024-08-03 04:32 4.2K 
[ ]uniform3__t46_uniform32024-07-27 02:49 18K 
[ ]uniform3__t46_uniform3.depv12024-08-03 10:19 254  
[ ]uniform3__t46_uniform3.depvmin12024-08-03 10:24 230  
[ ]uniform3__t46_uniform3.vmin12024-08-03 10:20 2.4K 
[ ]uniform3__t46_uniform3.vmin1out2024-08-03 10:20 20K 
[ ]uniform3__t46_uniform3.vout2024-08-03 09:49 28K 
[ ]uniform3__t47_uniform32024-07-27 02:50 19K 
[ ]uniform3__t47_uniform3.vout2024-08-03 06:29 6.8K 
[ ]uniform3__t48_uniform32024-07-27 02:51 17K 
[ ]uniform3__t48_uniform3.vout2024-08-03 07:03 7.3K 
[ ]uniform3__t49_uniform32024-07-27 02:52 19K 
[ ]uniform3__t49_uniform3.vout2024-08-03 09:12 7.4K 
[ ]uniform3__t50_uniform32024-07-27 02:53 20K 
[ ]uniform3__t50_uniform3.vout2024-08-03 06:19 7.3K 
[ ]uniform3__t51_uniform32024-07-27 02:01 18K 
[ ]uniform3__t51_uniform3.depv12024-08-03 10:19 105  
[ ]uniform3__t51_uniform3.depvmin12024-08-03 10:24 105  
[ ]uniform3__t51_uniform3.vmin12024-08-03 10:20 1.5K 
[ ]uniform3__t51_uniform3.vmin1out2024-08-03 10:23 21K 
[ ]uniform3__t51_uniform3.vout2024-08-03 08:51 21K 
[ ]uniform3__t52_uniform32024-07-27 02:56 56K 
[ ]uniform3__t52_uniform3.vout2024-08-03 06:08 4.2K 
[ ]uniform3__t53_uniform32024-07-27 02:57 17K 
[ ]uniform3__t53_uniform3.vout2024-08-03 07:32 7.9K 
[ ]uniform3__t54_uniform32024-07-27 02:58 17K 
[ ]uniform3__t54_uniform3.vout2024-08-03 06:50 7.3K 
[ ]uniform3__t55_uniform32024-07-27 02:59 19K 
[ ]uniform3__t55_uniform3.depv12024-08-03 10:19 360  
[ ]uniform3__t55_uniform3.depvmin12024-08-03 10:24 360  
[ ]uniform3__t55_uniform3.vmin12024-08-03 10:20 3.2K 
[ ]uniform3__t55_uniform3.vmin1out2024-08-03 10:23 53K 
[ ]uniform3__t55_uniform3.vout2024-08-03 10:04 47K 
[ ]uniform3__t56_uniform32024-07-27 02:02 19K 
[ ]uniform3__t56_uniform3.vout2024-08-03 06:39 7.3K 
[ ]uniform3__t57_uniform32024-07-27 02:59 16K 
[ ]uniform3__t57_uniform3.depv12024-08-03 10:19 220  
[ ]uniform3__t57_uniform3.depvmin12024-08-03 10:24 220  
[ ]uniform3__t57_uniform3.vmin12024-08-03 10:20 1.9K 
[ ]uniform3__t57_uniform3.vmin1out2024-08-03 10:22 36K 
[ ]uniform3__t57_uniform3.vout2024-08-03 09:29 30K 
[ ]uniform3__t58_uniform32024-07-27 03:00 16K 
[ ]uniform3__t58_uniform3.vout2024-08-03 06:04 7.3K 
[ ]uniform3__t59_uniform32024-07-27 02:03 16K 
[ ]uniform3__t59_uniform3.depv12024-08-03 10:19 59  
[ ]uniform3__t59_uniform3.depvmin12024-08-03 10:24 59  
[ ]uniform3__t59_uniform3.vmin12024-08-03 10:20 1.1K 
[ ]uniform3__t59_uniform3.vmin1out2024-08-03 10:22 17K 
[ ]uniform3__t59_uniform3.vout2024-08-03 06:00 16K 
[ ]uniform3__t60_uniform32024-07-27 03:01 17K 
[ ]uniform3__t60_uniform3.depv12024-08-03 10:19 102  
[ ]uniform3__t60_uniform3.depvmin12024-08-03 10:24 86  
[ ]uniform3__t60_uniform3.vmin12024-08-03 10:20 1.7K 
[ ]uniform3__t60_uniform3.vmin1out2024-08-03 10:23 22K 
[ ]uniform3__t60_uniform3.vout2024-08-03 05:10 21K 
[ ]uniform3__t61_uniform32024-07-27 02:03 17K 
[ ]uniform3__t61_uniform3.depv12024-08-03 10:19 26  
[ ]uniform3__t61_uniform3.depvmin12024-08-03 10:24 26  
[ ]uniform3__t61_uniform3.vmin12024-08-03 10:20 908  
[ ]uniform3__t61_uniform3.vmin1out2024-08-03 10:23 8.6K 
[ ]uniform3__t61_uniform3.vout2024-08-03 05:47 10K 
[ ]uniform3__t62_uniform32024-07-27 02:04 23K 
[ ]uniform3__t62_uniform3.depv12024-08-03 10:19 179  
[ ]uniform3__t62_uniform3.depvmin12024-08-03 10:24 179  
[ ]uniform3__t62_uniform3.vmin12024-08-03 10:20 2.3K 
[ ]uniform3__t62_uniform3.vmin1out2024-08-03 10:22 36K 
[ ]uniform3__t62_uniform3.vout2024-08-03 04:32 30K 
[ ]uniform3__t63_uniform32024-07-27 03:02 25K 
[ ]uniform3__t63_uniform3.depv12024-08-03 10:19 392  
[ ]uniform3__t63_uniform3.depvmin12024-08-03 10:24 392  
[ ]uniform3__t63_uniform3.vmin12024-08-03 10:20 3.8K 
[ ]uniform3__t63_uniform3.vmin1out2024-08-03 10:21 53K 
[ ]uniform3__t63_uniform3.vout2024-08-03 07:54 52K 
[ ]uniform3__t64_uniform32024-07-27 03:04 27K 
[ ]uniform3__t64_uniform3.depv12024-08-03 10:19 392  
[ ]uniform3__t64_uniform3.depvmin12024-08-03 10:24 392  
[ ]uniform3__t64_uniform3.vmin12024-08-03 10:20 3.8K 
[ ]uniform3__t64_uniform3.vmin1out2024-08-03 10:22 53K 
[ ]uniform3__t64_uniform3.vout2024-08-03 04:27 56K 
[ ]uniform3__t65_uniform32024-07-27 03:05 16K 
[ ]uniform3__t65_uniform3.depv12024-08-03 10:19 169  
[ ]uniform3__t65_uniform3.depvmin12024-08-03 10:24 169  
[ ]uniform3__t65_uniform3.vmin12024-08-03 10:20 1.2K 
[ ]uniform3__t65_uniform3.vmin1out2024-08-03 10:23 11K 
[ ]uniform3__t65_uniform3.vout2024-08-03 06:47 11K 
[ ]uniform3__t66_uniform32024-07-27 03:18 18K 
[ ]uniform3__t66_uniform3.vout2024-08-03 10:05 3.7K 
[ ]uniform3__t67_uniform32024-07-27 03:06 22K 
[ ]uniform3__t67_uniform3.vout2024-08-03 06:01 3.6K 
[ ]uniform3__t68_uniform32024-07-27 03:07 21K 
[ ]uniform3__t68_uniform3.vout2024-08-03 05:20 3.7K 
[ ]uniform3__t69_uniform32024-07-27 03:07 19K 
[ ]uniform3__t69_uniform3.depv12024-08-03 10:19 97  
[ ]uniform3__t69_uniform3.depvmin12024-08-03 10:24 97  
[ ]uniform3__t69_uniform3.vmin12024-08-03 10:20 1.1K 
[ ]uniform3__t69_uniform3.vmin1out2024-08-03 10:21 8.6K 
[ ]uniform3__t69_uniform3.vout2024-08-03 04:10 9.7K 
[ ]uniform3__t70_uniform32024-07-27 03:09 22K 
[ ]uniform3__t70_uniform3.vout2024-08-03 06:48 3.7K 
[ ]uniform3__t71_uniform32024-07-27 03:10 19K 
[ ]uniform3__t71_uniform3.vout2024-08-03 05:19 4.7K 
[ ]uniform3__t72_uniform32024-07-27 03:10 19K 
[ ]uniform3__t72_uniform3.vout2024-08-03 05:34 6.8K 
[ ]uniform3__t73_uniform32024-07-27 03:11 21K 
[ ]uniform3__t73_uniform3.vout2024-08-03 05:16 3.7K 
[ ]uniform3__t74_uniform32024-07-27 03:13 22K 
[ ]uniform3__t74_uniform3.vout2024-08-03 07:38 4.2K 
[ ]uniform3__t75_uniform32024-07-27 03:14 21K 
[ ]uniform3__t75_uniform3.depv12024-08-03 10:19 115  
[ ]uniform3__t75_uniform3.depvmin12024-08-03 10:24 115  
[ ]uniform3__t75_uniform3.vmin12024-08-03 10:20 1.6K 
[ ]uniform3__t75_uniform3.vmin1out2024-08-03 10:20 16K 
[ ]uniform3__t75_uniform3.vout2024-08-03 10:08 13K 
[ ]uniform3__t76_uniform32024-07-27 03:15 23K 
[ ]uniform3__t76_uniform3.vout2024-08-03 08:37 3.7K 
[ ]uniform3__t77_uniform32024-07-27 03:16 23K 
[ ]uniform3__t77_uniform3.vout2024-08-03 05:06 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80