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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]uniform3__l5_uniform32021-07-18 00:44 13K 
[ ]uniform3__l5_uniform3.vout2021-07-25 18:57 6.8K 
[ ]uniform3__l27_uniform32021-07-18 00:45 60K 
[ ]uniform3__l27_uniform3.vout2021-07-25 20:35 5.3K 
[ ]uniform3__l110_uniform32021-07-18 00:46 21K 
[ ]uniform3__l110_uniform3.depv12021-07-25 20:57 95  
[ ]uniform3__l110_uniform3.depvmin12021-07-25 21:03 95  
[ ]uniform3__l110_uniform3.vmin12021-07-25 20:57 1.5K 
[ ]uniform3__l110_uniform3.vmin1out2021-07-25 20:58 19K 
[ ]uniform3__l110_uniform3.vout2021-07-25 18:30 19K 
[ ]uniform3__t1_uniform32021-07-18 00:17 18K 
[ ]uniform3__t1_uniform3.vout2021-07-25 19:48 6.8K 
[ ]uniform3__t2_uniform32021-07-18 00:18 15K 
[ ]uniform3__t2_uniform3.vout2021-07-25 19:04 8.4K 
[ ]uniform3__t3_uniform32021-07-18 00:18 21K 
[ ]uniform3__t3_uniform3.vout2021-07-25 14:24 4.7K 
[ ]uniform3__t4_uniform32021-07-18 00:18 18K 
[ ]uniform3__t4_uniform3.vout2021-07-25 20:05 6.3K 
[ ]uniform3__t5_uniform32021-07-18 00:12 12K 
[ ]uniform3__t5_uniform3.vout2021-07-25 16:56 7.9K 
[ ]uniform3__t6_uniform32021-07-18 00:19 14K 
[ ]uniform3__t6_uniform3.vout2021-07-25 16:12 7.3K 
[ ]uniform3__t7_uniform32021-07-18 00:19 12K 
[ ]uniform3__t7_uniform3.depv12021-07-25 20:57 123  
[ ]uniform3__t7_uniform3.depvmin12021-07-25 21:03 123  
[ ]uniform3__t7_uniform3.vmin12021-07-25 20:57 1.1K 
[ ]uniform3__t7_uniform3.vmin1out2021-07-25 21:02 16K 
[ ]uniform3__t7_uniform3.vout2021-07-25 14:52 17K 
[ ]uniform3__t8_uniform32021-07-18 00:19 17K 
[ ]uniform3__t8_uniform3.vout2021-07-25 15:42 7.3K 
[ ]uniform3__t9_uniform32021-07-18 00:20 26K 
[ ]uniform3__t9_uniform3.vout2021-07-25 20:20 7.3K 
[ ]uniform3__t10_uniform32021-07-18 00:20 26K 
[ ]uniform3__t10_uniform3.vout2021-07-25 14:34 7.3K 
[ ]uniform3__t11_uniform32021-07-18 00:20 21K 
[ ]uniform3__t11_uniform3.depv12021-07-25 20:57 66  
[ ]uniform3__t11_uniform3.depvmin12021-07-25 21:03 66  
[ ]uniform3__t11_uniform3.vmin12021-07-25 20:57 1.0K 
[ ]uniform3__t11_uniform3.vmin1out2021-07-25 20:59 11K 
[ ]uniform3__t11_uniform3.vout2021-07-25 15:43 14K 
[ ]uniform3__t12_uniform32021-07-18 00:12 932  
[ ]uniform3__t12_uniform3.depv12021-07-25 20:57 14  
[ ]uniform3__t12_uniform3.depvmin12021-07-25 21:03 14  
[ ]uniform3__t12_uniform3.vmin12021-07-25 20:57 291  
[ ]uniform3__t12_uniform3.vmin1out2021-07-25 21:02 5.3K 
[ ]uniform3__t12_uniform3.vout2021-07-25 18:59 5.3K 
[ ]uniform3__t13_uniform32021-07-18 00:12 932  
[ ]uniform3__t13_uniform3.depv12021-07-25 20:57 14  
[ ]uniform3__t13_uniform3.depvmin12021-07-25 21:03 14  
[ ]uniform3__t13_uniform3.vmin12021-07-25 20:57 291  
[ ]uniform3__t13_uniform3.vmin1out2021-07-25 20:58 5.3K 
[ ]uniform3__t13_uniform3.vout2021-07-25 18:38 5.3K 
[ ]uniform3__t14_uniform32021-07-18 00:21 18K 
[ ]uniform3__t14_uniform3.vout2021-07-25 19:31 7.3K 
[ ]uniform3__t15_uniform32021-07-18 00:21 23K 
[ ]uniform3__t15_uniform3.vout2021-07-25 16:27 7.3K 
[ ]uniform3__t16_uniform32021-07-18 00:22 25K 
[ ]uniform3__t16_uniform3.vout2021-07-25 14:45 3.7K 
[ ]uniform3__t17_uniform32021-07-18 00:13 30K 
[ ]uniform3__t17_uniform3.depv12021-07-25 20:57 206  
[ ]uniform3__t17_uniform3.depvmin12021-07-25 21:03 206  
[ ]uniform3__t17_uniform3.vmin12021-07-25 20:57 3.3K 
[ ]uniform3__t17_uniform3.vmin1out2021-07-25 20:59 47K 
[ ]uniform3__t17_uniform3.vout2021-07-25 18:34 54K 
[ ]uniform3__t18_uniform32021-07-18 00:23 28K 
[ ]uniform3__t18_uniform3.vout2021-07-25 15:24 7.4K 
[ ]uniform3__t19_uniform32021-07-18 00:17 24K 
[ ]uniform3__t19_uniform3.depv12021-07-25 20:57 149  
[ ]uniform3__t19_uniform3.depvmin12021-07-25 21:03 126  
[ ]uniform3__t19_uniform3.vmin12021-07-25 20:57 2.3K 
[ ]uniform3__t19_uniform3.vmin1out2021-07-25 20:59 72K 
[ ]uniform3__t19_uniform3.vout2021-07-25 16:16 70K 
[ ]uniform3__t20_uniform32021-07-18 00:23 24K 
[ ]uniform3__t20_uniform3.depv12021-07-25 20:57 140  
[ ]uniform3__t20_uniform3.depvmin12021-07-25 21:03 115  
[ ]uniform3__t20_uniform3.vmin12021-07-25 20:57 2.0K 
[ ]uniform3__t20_uniform3.vmin1out2021-07-25 21:01 23K 
[ ]uniform3__t20_uniform3.vout2021-07-25 15:47 41K 
[ ]uniform3__t21_uniform32021-07-18 00:13 28K 
[ ]uniform3__t21_uniform3.depv12021-07-25 20:57 64  
[ ]uniform3__t21_uniform3.depvmin12021-07-25 21:03 39  
[ ]uniform3__t21_uniform3.vmin12021-07-25 20:57 1.3K 
[ ]uniform3__t21_uniform3.vmin1out2021-07-25 20:59 24K 
[ ]uniform3__t21_uniform3.vout2021-07-25 15:26 39K 
[ ]uniform3__t22_uniform32021-07-18 00:24 58K 
[ ]uniform3__t22_uniform3.vout2021-07-25 19:59 3.7K 
[ ]uniform3__t23_uniform32021-07-18 00:25 38K 
[ ]uniform3__t23_uniform3.depv12021-07-25 20:57 416  
[ ]uniform3__t23_uniform3.depvmin12021-07-25 21:03 360  
[ ]uniform3__t23_uniform3.vmin12021-07-25 20:57 5.5K 
[ ]uniform3__t23_uniform3.vmin1out2021-07-25 20:59 38K 
[ ]uniform3__t23_uniform3.vout2021-07-25 19:19 74K 
[ ]uniform3__t24_uniform32021-07-18 00:26 26K 
[ ]uniform3__t24_uniform3.vout2021-07-25 18:52 7.3K 
[ ]uniform3__t25_uniform32021-07-18 00:26 34K 
[ ]uniform3__t25_uniform3.vout2021-07-25 19:36 7.3K 
[ ]uniform3__t26_uniform32021-07-18 00:27 25K 
[ ]uniform3__t26_uniform3.vout2021-07-25 17:21 7.4K 
[ ]uniform3__t27_uniform32021-07-18 00:28 33K 
[ ]uniform3__t27_uniform3.vout2021-07-25 15:07 7.3K 
[ ]uniform3__t28_uniform32021-07-18 00:29 52K 
[ ]uniform3__t28_uniform3.vout2021-07-25 14:45 5.3K 
[ ]uniform3__t29_uniform32021-07-18 00:30 52K 
[ ]uniform3__t29_uniform3.vout2021-07-25 14:58 3.7K 
[ ]uniform3__t30_uniform32021-07-18 00:44 13K 
[ ]uniform3__t30_uniform3.vout2021-07-25 18:23 7.9K 
[ ]uniform3__t31_uniform32021-07-18 00:30 13K 
[ ]uniform3__t31_uniform3.depv12021-07-25 20:57 155  
[ ]uniform3__t31_uniform3.depvmin12021-07-25 21:03 155  
[ ]uniform3__t31_uniform3.vmin12021-07-25 20:57 1.3K 
[ ]uniform3__t31_uniform3.vmin1out2021-07-25 21:01 17K 
[ ]uniform3__t31_uniform3.vout2021-07-25 17:09 17K 
[ ]uniform3__t32_uniform32021-07-18 00:13 14K 
[ ]uniform3__t32_uniform3.depv12021-07-25 20:57 101  
[ ]uniform3__t32_uniform3.depvmin12021-07-25 21:03 101  
[ ]uniform3__t32_uniform3.vmin12021-07-25 20:57 1.0K 
[ ]uniform3__t32_uniform3.vmin1out2021-07-25 21:00 15K 
[ ]uniform3__t32_uniform3.vout2021-07-25 19:55 16K 
[ ]uniform3__t33_uniform32021-07-18 00:30 15K 
[ ]uniform3__t33_uniform3.vout2021-07-25 17:26 7.3K 
[ ]uniform3__t34_uniform32021-07-18 00:14 13K 
[ ]uniform3__t34_uniform3.depv12021-07-25 20:57 81  
[ ]uniform3__t34_uniform3.depvmin12021-07-25 21:03 81  
[ ]uniform3__t34_uniform3.vmin12021-07-25 20:57 831  
[ ]uniform3__t34_uniform3.vmin1out2021-07-25 20:58 7.5K 
[ ]uniform3__t34_uniform3.vout2021-07-25 15:33 7.6K 
[ ]uniform3__t35_uniform32021-07-18 00:14 15K 
[ ]uniform3__t35_uniform3.depv12021-07-25 20:57 81  
[ ]uniform3__t35_uniform3.depvmin12021-07-25 21:03 81  
[ ]uniform3__t35_uniform3.vmin12021-07-25 20:57 833  
[ ]uniform3__t35_uniform3.vmin1out2021-07-25 20:58 7.5K 
[ ]uniform3__t35_uniform3.vout2021-07-25 19:33 7.6K 
[ ]uniform3__t36_uniform32021-07-18 00:30 24K 
[ ]uniform3__t36_uniform3.vout2021-07-25 20:32 7.9K 
[ ]uniform3__t37_uniform32021-07-18 00:31 25K 
[ ]uniform3__t37_uniform3.vout2021-07-25 14:35 3.2K 
[ ]uniform3__t38_uniform32021-07-18 00:31 28K 
[ ]uniform3__t38_uniform3.depv12021-07-25 20:57 290  
[ ]uniform3__t38_uniform3.depvmin12021-07-25 21:03 280  
[ ]uniform3__t38_uniform3.vmin12021-07-25 20:57 2.7K 
[ ]uniform3__t38_uniform3.vmin1out2021-07-25 20:58 29K 
[ ]uniform3__t38_uniform3.vout2021-07-25 15:14 32K 
[ ]uniform3__t39_uniform32021-07-18 00:14 24K 
[ ]uniform3__t39_uniform3.depv12021-07-25 20:57 39  
[ ]uniform3__t39_uniform3.depvmin12021-07-25 21:03 39  
[ ]uniform3__t39_uniform3.vmin12021-07-25 20:57 700  
[ ]uniform3__t39_uniform3.vmin1out2021-07-25 20:58 9.0K 
[ ]uniform3__t39_uniform3.vout2021-07-25 19:53 8.5K 
[ ]uniform3__t40_uniform32021-07-18 00:32 28K 
[ ]uniform3__t40_uniform3.vout2021-07-25 16:50 7.4K 
[ ]uniform3__t41_uniform32021-07-18 00:32 25K 
[ ]uniform3__t41_uniform3.vout2021-07-25 17:23 7.4K 
[ ]uniform3__t42_uniform32021-07-18 00:33 17K 
[ ]uniform3__t42_uniform3.vout2021-07-25 15:09 7.3K 
[ ]uniform3__t43_uniform32021-07-18 00:33 17K 
[ ]uniform3__t43_uniform3.vout2021-07-25 18:46 7.3K 
[ ]uniform3__t44_uniform32021-07-18 00:33 18K 
[ ]uniform3__t44_uniform3.vout2021-07-25 20:41 7.4K 
[ ]uniform3__t45_uniform32021-07-18 00:34 19K 
[ ]uniform3__t45_uniform3.vout2021-07-25 15:41 4.2K 
[ ]uniform3__t46_uniform32021-07-18 00:34 18K 
[ ]uniform3__t46_uniform3.depv12021-07-25 20:57 254  
[ ]uniform3__t46_uniform3.depvmin12021-07-25 21:03 230  
[ ]uniform3__t46_uniform3.vmin12021-07-25 20:57 2.4K 
[ ]uniform3__t46_uniform3.vmin1out2021-07-25 21:02 20K 
[ ]uniform3__t46_uniform3.vout2021-07-25 15:34 28K 
[ ]uniform3__t47_uniform32021-07-18 00:35 19K 
[ ]uniform3__t47_uniform3.vout2021-07-25 17:08 6.8K 
[ ]uniform3__t48_uniform32021-07-18 00:35 17K 
[ ]uniform3__t48_uniform3.vout2021-07-25 19:52 7.3K 
[ ]uniform3__t49_uniform32021-07-18 00:35 19K 
[ ]uniform3__t49_uniform3.vout2021-07-25 20:21 7.3K 
[ ]uniform3__t50_uniform32021-07-18 00:36 20K 
[ ]uniform3__t50_uniform3.vout2021-07-25 20:33 6.8K 
[ ]uniform3__t51_uniform32021-07-18 00:15 18K 
[ ]uniform3__t51_uniform3.depv12021-07-25 20:57 105  
[ ]uniform3__t51_uniform3.depvmin12021-07-25 21:03 105  
[ ]uniform3__t51_uniform3.vmin12021-07-25 20:57 1.5K 
[ ]uniform3__t51_uniform3.vmin1out2021-07-25 20:57 21K 
[ ]uniform3__t51_uniform3.vout2021-07-25 16:48 21K 
[ ]uniform3__t52_uniform32021-07-18 00:37 56K 
[ ]uniform3__t52_uniform3.vout2021-07-25 18:14 4.2K 
[ ]uniform3__t53_uniform32021-07-18 00:37 17K 
[ ]uniform3__t53_uniform3.vout2021-07-25 16:22 7.9K 
[ ]uniform3__t54_uniform32021-07-18 00:37 17K 
[ ]uniform3__t54_uniform3.vout2021-07-25 20:33 6.8K 
[ ]uniform3__t55_uniform32021-07-18 00:37 19K 
[ ]uniform3__t55_uniform3.depv12021-07-25 20:57 360  
[ ]uniform3__t55_uniform3.depvmin12021-07-25 21:03 360  
[ ]uniform3__t55_uniform3.vmin12021-07-25 20:57 3.2K 
[ ]uniform3__t55_uniform3.vmin1out2021-07-25 21:00 53K 
[ ]uniform3__t55_uniform3.vout2021-07-25 14:55 47K 
[ ]uniform3__t56_uniform32021-07-18 00:15 19K 
[ ]uniform3__t56_uniform3.vout2021-07-25 19:03 7.3K 
[ ]uniform3__t57_uniform32021-07-18 00:38 16K 
[ ]uniform3__t57_uniform3.depv12021-07-25 20:57 220  
[ ]uniform3__t57_uniform3.depvmin12021-07-25 21:03 220  
[ ]uniform3__t57_uniform3.vmin12021-07-25 20:57 1.9K 
[ ]uniform3__t57_uniform3.vmin1out2021-07-25 21:01 36K 
[ ]uniform3__t57_uniform3.vout2021-07-25 16:10 30K 
[ ]uniform3__t58_uniform32021-07-18 00:38 16K 
[ ]uniform3__t58_uniform3.vout2021-07-25 16:43 7.3K 
[ ]uniform3__t59_uniform32021-07-18 00:16 16K 
[ ]uniform3__t59_uniform3.depv12021-07-25 20:57 59  
[ ]uniform3__t59_uniform3.depvmin12021-07-25 21:03 59  
[ ]uniform3__t59_uniform3.vmin12021-07-25 20:57 1.1K 
[ ]uniform3__t59_uniform3.vmin1out2021-07-25 20:57 17K 
[ ]uniform3__t59_uniform3.vout2021-07-25 15:18 16K 
[ ]uniform3__t60_uniform32021-07-18 00:38 17K 
[ ]uniform3__t60_uniform3.depv12021-07-25 20:57 102  
[ ]uniform3__t60_uniform3.depvmin12021-07-25 21:03 86  
[ ]uniform3__t60_uniform3.vmin12021-07-25 20:57 1.7K 
[ ]uniform3__t60_uniform3.vmin1out2021-07-25 20:58 22K 
[ ]uniform3__t60_uniform3.vout2021-07-25 15:52 21K 
[ ]uniform3__t61_uniform32021-07-18 00:16 17K 
[ ]uniform3__t61_uniform3.depv12021-07-25 20:57 26  
[ ]uniform3__t61_uniform3.depvmin12021-07-25 21:03 26  
[ ]uniform3__t61_uniform3.vmin12021-07-25 20:57 908  
[ ]uniform3__t61_uniform3.vmin1out2021-07-25 21:02 8.6K 
[ ]uniform3__t61_uniform3.vout2021-07-25 17:32 10K 
[ ]uniform3__t62_uniform32021-07-18 00:17 23K 
[ ]uniform3__t62_uniform3.depv12021-07-25 20:57 179  
[ ]uniform3__t62_uniform3.depvmin12021-07-25 21:03 179  
[ ]uniform3__t62_uniform3.vmin12021-07-25 20:57 2.3K 
[ ]uniform3__t62_uniform3.vmin1out2021-07-25 20:57 36K 
[ ]uniform3__t62_uniform3.vout2021-07-25 19:43 30K 
[ ]uniform3__t63_uniform32021-07-18 00:39 25K 
[ ]uniform3__t63_uniform3.depv12021-07-25 20:57 392  
[ ]uniform3__t63_uniform3.depvmin12021-07-25 21:03 392  
[ ]uniform3__t63_uniform3.vmin12021-07-25 20:57 3.8K 
[ ]uniform3__t63_uniform3.vmin1out2021-07-25 21:00 53K 
[ ]uniform3__t63_uniform3.vout2021-07-25 16:19 53K 
[ ]uniform3__t64_uniform32021-07-18 00:39 27K 
[ ]uniform3__t64_uniform3.depv12021-07-25 20:57 392  
[ ]uniform3__t64_uniform3.depvmin12021-07-25 21:03 392  
[ ]uniform3__t64_uniform3.vmin12021-07-25 20:57 3.8K 
[ ]uniform3__t64_uniform3.vmin1out2021-07-25 20:58 53K 
[ ]uniform3__t64_uniform3.vout2021-07-25 14:50 56K 
[ ]uniform3__t65_uniform32021-07-18 00:39 16K 
[ ]uniform3__t65_uniform3.depv12021-07-25 20:57 169  
[ ]uniform3__t65_uniform3.depvmin12021-07-25 21:03 169  
[ ]uniform3__t65_uniform3.vmin12021-07-25 20:57 1.2K 
[ ]uniform3__t65_uniform3.vmin1out2021-07-25 21:02 11K 
[ ]uniform3__t65_uniform3.vout2021-07-25 16:06 11K 
[ ]uniform3__t66_uniform32021-07-18 00:44 18K 
[ ]uniform3__t66_uniform3.vout2021-07-25 15:47 3.7K 
[ ]uniform3__t67_uniform32021-07-18 00:40 22K 
[ ]uniform3__t67_uniform3.vout2021-07-25 17:47 3.7K 
[ ]uniform3__t68_uniform32021-07-18 00:40 22K 
[ ]uniform3__t68_uniform3.vout2021-07-25 19:26 3.7K 
[ ]uniform3__t69_uniform32021-07-18 00:40 19K 
[ ]uniform3__t69_uniform3.depv12021-07-25 20:57 97  
[ ]uniform3__t69_uniform3.depvmin12021-07-25 21:03 97  
[ ]uniform3__t69_uniform3.vmin12021-07-25 20:57 1.1K 
[ ]uniform3__t69_uniform3.vmin1out2021-07-25 20:59 8.6K 
[ ]uniform3__t69_uniform3.vout2021-07-25 18:52 9.7K 
[ ]uniform3__t70_uniform32021-07-18 00:41 22K 
[ ]uniform3__t70_uniform3.vout2021-07-25 14:27 3.7K 
[ ]uniform3__t71_uniform32021-07-18 00:41 19K 
[ ]uniform3__t71_uniform3.vout2021-07-25 16:40 4.7K 
[ ]uniform3__t72_uniform32021-07-18 00:41 20K 
[ ]uniform3__t72_uniform3.vout2021-07-25 16:05 6.8K 
[ ]uniform3__t73_uniform32021-07-18 00:42 21K 
[ ]uniform3__t73_uniform3.vout2021-07-25 19:04 3.7K 
[ ]uniform3__t74_uniform32021-07-18 00:42 22K 
[ ]uniform3__t74_uniform3.vout2021-07-25 14:48 4.2K 
[ ]uniform3__t75_uniform32021-07-18 00:43 21K 
[ ]uniform3__t75_uniform3.depv12021-07-25 20:57 115  
[ ]uniform3__t75_uniform3.depvmin12021-07-25 21:03 115  
[ ]uniform3__t75_uniform3.vmin12021-07-25 20:57 1.6K 
[ ]uniform3__t75_uniform3.vmin1out2021-07-25 20:59 16K 
[ ]uniform3__t75_uniform3.vout2021-07-25 19:50 13K 
[ ]uniform3__t76_uniform32021-07-18 00:43 23K 
[ ]uniform3__t76_uniform3.vout2021-07-25 18:36 3.7K 
[ ]uniform3__t77_uniform32021-07-18 00:43 23K 
[ ]uniform3__t77_uniform3.vout2021-07-25 19:16 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80