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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mathmorp__l9_mathmorp2021-07-18 10:43 14K 
[ ]mathmorp__l9_mathmorp.vout2021-07-25 18:07 3.7K 
[ ]mathmorp__l17_mathmorp2021-07-18 10:43 16K 
[ ]mathmorp__l17_mathmorp.depv12021-07-25 20:57 205  
[ ]mathmorp__l17_mathmorp.depvmin12021-07-25 21:03 205  
[ ]mathmorp__l17_mathmorp.vmin12021-07-25 20:57 2.6K 
[ ]mathmorp__l17_mathmorp.vmin1out2021-07-25 21:00 30K 
[ ]mathmorp__l17_mathmorp.vout2021-07-25 17:13 34K 
[ ]mathmorp__l28_mathmorp2021-07-18 10:44 15K 
[ ]mathmorp__l28_mathmorp.vout2021-07-25 18:04 3.7K 
[ ]mathmorp__t1_mathmorp2021-07-18 10:16 12K 
[ ]mathmorp__t1_mathmorp.vout2021-07-25 15:32 4.2K 
[ ]mathmorp__t2_mathmorp2021-07-18 10:16 15K 
[ ]mathmorp__t2_mathmorp.vout2021-07-25 15:26 3.7K 
[ ]mathmorp__t3_mathmorp2021-07-18 10:17 14K 
[ ]mathmorp__t3_mathmorp.depv12021-07-25 20:57 111  
[ ]mathmorp__t3_mathmorp.depvmin12021-07-25 21:03 111  
[ ]mathmorp__t3_mathmorp.vmin12021-07-25 20:57 1.4K 
[ ]mathmorp__t3_mathmorp.vmin1out2021-07-25 21:01 32K 
[ ]mathmorp__t3_mathmorp.vout2021-07-25 20:32 33K 
[ ]mathmorp__t4_mathmorp2021-07-18 10:17 14K 
[ ]mathmorp__t4_mathmorp.depv12021-07-25 20:57 138  
[ ]mathmorp__t4_mathmorp.depvmin12021-07-25 21:03 138  
[ ]mathmorp__t4_mathmorp.vmin12021-07-25 20:57 1.4K 
[ ]mathmorp__t4_mathmorp.vmin1out2021-07-25 20:59 20K 
[ ]mathmorp__t4_mathmorp.vout2021-07-25 20:13 19K 
[ ]mathmorp__t5_mathmorp2021-07-18 10:17 16K 
[ ]mathmorp__t5_mathmorp.vout2021-07-25 15:22 3.7K 
[ ]mathmorp__t6_mathmorp2021-07-18 10:18 16K 
[ ]mathmorp__t6_mathmorp.vout2021-07-25 19:46 3.7K 
[ ]mathmorp__t7_mathmorp2021-07-18 10:18 15K 
[ ]mathmorp__t7_mathmorp.vout2021-07-25 18:47 3.7K 
[ ]mathmorp__t8_mathmorp2021-07-18 10:18 15K 
[ ]mathmorp__t8_mathmorp.vout2021-07-25 20:32 3.7K 
[ ]mathmorp__t9_mathmorp2021-07-18 10:19 16K 
[ ]mathmorp__t9_mathmorp.vout2021-07-25 20:38 3.7K 
[ ]mathmorp__t10_mathmorp2021-07-18 10:19 16K 
[ ]mathmorp__t10_mathmorp.vout2021-07-25 18:39 3.7K 
[ ]mathmorp__t11_mathmorp2021-07-18 10:19 17K 
[ ]mathmorp__t11_mathmorp.vout2021-07-25 17:28 3.7K 
[ ]mathmorp__t12_mathmorp2021-07-18 10:19 14K 
[ ]mathmorp__t12_mathmorp.vout2021-07-25 18:19 3.7K 
[ ]mathmorp__t13_mathmorp2021-07-18 10:20 16K 
[ ]mathmorp__t13_mathmorp.vout2021-07-25 15:08 3.7K 
[ ]mathmorp__t14_mathmorp2021-07-18 10:20 17K 
[ ]mathmorp__t14_mathmorp.vout2021-07-25 18:44 5.9K 
[ ]mathmorp__t15_mathmorp2021-07-18 10:20 15K 
[ ]mathmorp__t15_mathmorp.vout2021-07-25 19:16 3.7K 
[ ]mathmorp__t16_mathmorp2021-07-18 10:21 14K 
[ ]mathmorp__t16_mathmorp.vout2021-07-25 16:05 5.9K 
[ ]mathmorp__t17_mathmorp2021-07-18 10:21 17K 
[ ]mathmorp__t17_mathmorp.vout2021-07-25 16:57 3.7K 
[ ]mathmorp__t18_mathmorp2021-07-18 10:21 15K 
[ ]mathmorp__t18_mathmorp.vout2021-07-25 18:23 3.7K 
[ ]mathmorp__t19_mathmorp2021-07-18 10:22 15K 
[ ]mathmorp__t19_mathmorp.vout2021-07-25 19:04 3.7K 
[ ]mathmorp__t20_mathmorp2021-07-18 10:22 16K 
[ ]mathmorp__t20_mathmorp.vout2021-07-25 15:26 3.7K 
[ ]mathmorp__t21_mathmorp2021-07-18 10:22 15K 
[ ]mathmorp__t21_mathmorp.vout2021-07-25 17:56 3.7K 
[ ]mathmorp__t22_mathmorp2021-07-18 10:23 20K 
[ ]mathmorp__t22_mathmorp.vout2021-07-25 15:38 3.7K 
[ ]mathmorp__t23_mathmorp2021-07-18 10:23 22K 
[ ]mathmorp__t23_mathmorp.vout2021-07-25 14:38 3.7K 
[ ]mathmorp__t24_mathmorp2021-07-18 10:23 16K 
[ ]mathmorp__t24_mathmorp.depv12021-07-25 20:57 39  
[ ]mathmorp__t24_mathmorp.depvmin12021-07-25 21:03 39  
[ ]mathmorp__t24_mathmorp.vmin12021-07-25 20:57 1.2K 
[ ]mathmorp__t24_mathmorp.vmin1out2021-07-25 20:59 14K 
[ ]mathmorp__t24_mathmorp.vout2021-07-25 14:33 19K 
[ ]mathmorp__t25_mathmorp2021-07-18 10:24 17K 
[ ]mathmorp__t25_mathmorp.vout2021-07-25 16:21 3.7K 
[ ]mathmorp__t26_mathmorp2021-07-18 10:24 14K 
[ ]mathmorp__t26_mathmorp.vout2021-07-25 20:39 3.7K 
[ ]mathmorp__t27_mathmorp2021-07-18 10:24 15K 
[ ]mathmorp__t27_mathmorp.vout2021-07-25 19:05 4.2K 
[ ]mathmorp__t28_mathmorp2021-07-18 10:25 16K 
[ ]mathmorp__t28_mathmorp.vout2021-07-25 19:05 3.7K 
[ ]mathmorp__t29_mathmorp2021-07-18 10:25 17K 
[ ]mathmorp__t29_mathmorp.vout2021-07-25 15:04 3.7K 
[ ]mathmorp__t30_mathmorp2021-07-18 10:25 16K 
[ ]mathmorp__t30_mathmorp.vout2021-07-25 15:56 3.7K 
[ ]mathmorp__t31_mathmorp2021-07-18 10:26 15K 
[ ]mathmorp__t31_mathmorp.vout2021-07-25 20:31 3.7K 
[ ]mathmorp__t32_mathmorp2021-07-18 10:26 16K 
[ ]mathmorp__t32_mathmorp.vout2021-07-25 14:44 3.7K 
[ ]mathmorp__t33_mathmorp2021-07-18 10:26 16K 
[ ]mathmorp__t33_mathmorp.vout2021-07-25 15:23 4.2K 
[ ]mathmorp__t34_mathmorp2021-07-18 10:27 15K 
[ ]mathmorp__t34_mathmorp.vout2021-07-25 18:44 3.7K 
[ ]mathmorp__t35_mathmorp2021-07-18 10:27 15K 
[ ]mathmorp__t35_mathmorp.depv12021-07-25 20:57 131  
[ ]mathmorp__t35_mathmorp.depvmin12021-07-25 21:03 79  
[ ]mathmorp__t35_mathmorp.vmin12021-07-25 20:57 1.8K 
[ ]mathmorp__t35_mathmorp.vmin1out2021-07-25 20:59 18K 
[ ]mathmorp__t35_mathmorp.vout2021-07-25 19:31 15K 
[ ]mathmorp__t36_mathmorp2021-07-18 10:27 17K 
[ ]mathmorp__t36_mathmorp.vout2021-07-25 17:43 3.7K 
[ ]mathmorp__t37_mathmorp2021-07-18 10:28 19K 
[ ]mathmorp__t37_mathmorp.vout2021-07-25 20:52 3.7K 
[ ]mathmorp__t38_mathmorp2021-07-18 10:28 19K 
[ ]mathmorp__t38_mathmorp.vout2021-07-25 19:58 3.7K 
[ ]mathmorp__t39_mathmorp2021-07-18 10:28 18K 
[ ]mathmorp__t39_mathmorp.vout2021-07-25 16:12 7.3K 
[ ]mathmorp__t40_mathmorp2021-07-18 10:29 18K 
[ ]mathmorp__t40_mathmorp.vout2021-07-25 15:47 7.3K 
[ ]mathmorp__t41_mathmorp2021-07-18 10:29 17K 
[ ]mathmorp__t41_mathmorp.vout2021-07-25 15:34 3.7K 
[ ]mathmorp__t42_mathmorp2021-07-18 10:29 18K 
[ ]mathmorp__t42_mathmorp.vout2021-07-25 15:06 3.6K 
[ ]mathmorp__t43_mathmorp2021-07-18 10:30 17K 
[ ]mathmorp__t43_mathmorp.depv12021-07-25 20:57 68  
[ ]mathmorp__t43_mathmorp.depvmin12021-07-25 21:03 68  
[ ]mathmorp__t43_mathmorp.vmin12021-07-25 20:57 1.6K 
[ ]mathmorp__t43_mathmorp.vmin1out2021-07-25 21:02 20K 
[ ]mathmorp__t43_mathmorp.vout2021-07-25 14:54 17K 
[ ]mathmorp__t44_mathmorp2021-07-18 10:30 17K 
[ ]mathmorp__t44_mathmorp.depv12021-07-25 20:57 68  
[ ]mathmorp__t44_mathmorp.depvmin12021-07-25 21:03 68  
[ ]mathmorp__t44_mathmorp.vmin12021-07-25 20:57 1.6K 
[ ]mathmorp__t44_mathmorp.vmin1out2021-07-25 20:59 20K 
[ ]mathmorp__t44_mathmorp.vout2021-07-25 20:10 17K 
[ ]mathmorp__t45_mathmorp2021-07-18 10:30 18K 
[ ]mathmorp__t45_mathmorp.vout2021-07-25 20:56 3.7K 
[ ]mathmorp__t46_mathmorp2021-07-18 10:31 16K 
[ ]mathmorp__t46_mathmorp.vout2021-07-25 15:07 7.9K 
[ ]mathmorp__t47_mathmorp2021-07-18 10:31 16K 
[ ]mathmorp__t47_mathmorp.depv12021-07-25 20:57 110  
[ ]mathmorp__t47_mathmorp.depvmin12021-07-25 21:03 110  
[ ]mathmorp__t47_mathmorp.vmin12021-07-25 20:57 2.2K 
[ ]mathmorp__t47_mathmorp.vmin1out2021-07-25 21:02 25K 
[ ]mathmorp__t47_mathmorp.vout2021-07-25 15:42 28K 
[ ]mathmorp__t48_mathmorp2021-07-18 10:31 16K 
[ ]mathmorp__t48_mathmorp.vout2021-07-25 18:13 3.7K 
[ ]mathmorp__t49_mathmorp2021-07-18 10:32 16K 
[ ]mathmorp__t49_mathmorp.vout2021-07-25 20:19 3.7K 
[ ]mathmorp__t50_mathmorp2021-07-18 10:32 17K 
[ ]mathmorp__t50_mathmorp.vout2021-07-25 19:21 3.7K 
[ ]mathmorp__t51_mathmorp2021-07-18 10:32 16K 
[ ]mathmorp__t51_mathmorp.depv12021-07-25 20:57 109  
[ ]mathmorp__t51_mathmorp.depvmin12021-07-25 21:03 109  
[ ]mathmorp__t51_mathmorp.vmin12021-07-25 20:57 2.0K 
[ ]mathmorp__t51_mathmorp.vmin1out2021-07-25 20:59 25K 
[ ]mathmorp__t51_mathmorp.vout2021-07-25 15:23 30K 
[ ]mathmorp__t52_mathmorp2021-07-18 10:32 19K 
[ ]mathmorp__t52_mathmorp.vout2021-07-25 16:12 3.7K 
[ ]mathmorp__t53_mathmorp2021-07-18 10:16 16K 
[ ]mathmorp__t53_mathmorp.depv12021-07-25 20:57 79  
[ ]mathmorp__t53_mathmorp.depvmin12021-07-25 21:03 68  
[ ]mathmorp__t53_mathmorp.vmin12021-07-25 20:57 1.6K 
[ ]mathmorp__t53_mathmorp.vmin1out2021-07-25 21:00 15K 
[ ]mathmorp__t53_mathmorp.vout2021-07-25 18:34 21K 
[ ]mathmorp__t54_mathmorp2021-07-18 10:33 17K 
[ ]mathmorp__t54_mathmorp.depv12021-07-25 20:57 78  
[ ]mathmorp__t54_mathmorp.depvmin12021-07-25 21:03 78  
[ ]mathmorp__t54_mathmorp.vmin12021-07-25 20:57 1.3K 
[ ]mathmorp__t54_mathmorp.vmin1out2021-07-25 21:01 13K 
[ ]mathmorp__t54_mathmorp.vout2021-07-25 16:17 11K 
[ ]mathmorp__t55_mathmorp2021-07-18 10:33 17K 
[ ]mathmorp__t55_mathmorp.vout2021-07-25 18:29 3.7K 
[ ]mathmorp__t56_mathmorp2021-07-18 10:33 12K 
[ ]mathmorp__t56_mathmorp.depv12021-07-25 20:57 243  
[ ]mathmorp__t56_mathmorp.depvmin12021-07-25 21:03 201  
[ ]mathmorp__t56_mathmorp.vmin12021-07-25 20:57 2.0K 
[ ]mathmorp__t56_mathmorp.vmin1out2021-07-25 21:00 18K 
[ ]mathmorp__t56_mathmorp.vout2021-07-25 19:25 25K 
[ ]mathmorp__t57_mathmorp2021-07-18 10:34 18K 
[ ]mathmorp__t57_mathmorp.vout2021-07-25 16:26 3.7K 
[ ]mathmorp__t58_mathmorp2021-07-18 10:34 15K 
[ ]mathmorp__t58_mathmorp.vout2021-07-25 14:33 5.3K 
[ ]mathmorp__t59_mathmorp2021-07-18 10:35 25K 
[ ]mathmorp__t59_mathmorp.vout2021-07-25 19:28 4.8K 
[ ]mathmorp__t60_mathmorp2021-07-18 10:35 17K 
[ ]mathmorp__t60_mathmorp.vout2021-07-25 19:52 4.2K 
[ ]mathmorp__t61_mathmorp2021-07-18 10:35 15K 
[ ]mathmorp__t61_mathmorp.vout2021-07-25 16:07 4.8K 
[ ]mathmorp__t62_mathmorp2021-07-18 10:36 21K 
[ ]mathmorp__t62_mathmorp.vout2021-07-25 15:23 5.3K 
[ ]mathmorp__t63_mathmorp2021-07-18 10:36 22K 
[ ]mathmorp__t63_mathmorp.vout2021-07-25 15:07 5.3K 
[ ]mathmorp__t64_mathmorp2021-07-18 10:37 25K 
[ ]mathmorp__t64_mathmorp.vout2021-07-25 18:55 3.7K 
[ ]mathmorp__t65_mathmorp2021-07-18 10:37 22K 
[ ]mathmorp__t65_mathmorp.vout2021-07-25 16:58 7.9K 
[ ]mathmorp__t66_mathmorp2021-07-18 10:37 22K 
[ ]mathmorp__t66_mathmorp.depv12021-07-25 20:57 172  
[ ]mathmorp__t66_mathmorp.depvmin12021-07-25 21:03 172  
[ ]mathmorp__t66_mathmorp.vmin12021-07-25 20:57 2.6K 
[ ]mathmorp__t66_mathmorp.vmin1out2021-07-25 20:57 34K 
[ ]mathmorp__t66_mathmorp.vout2021-07-25 20:23 34K 
[ ]mathmorp__t67_mathmorp2021-07-18 10:38 20K 
[ ]mathmorp__t67_mathmorp.vout2021-07-25 16:13 3.7K 
[ ]mathmorp__t68_mathmorp2021-07-18 10:38 20K 
[ ]mathmorp__t68_mathmorp.vout2021-07-25 16:30 3.7K 
[ ]mathmorp__t69_mathmorp2021-07-18 10:39 24K 
[ ]mathmorp__t69_mathmorp.vout2021-07-25 18:46 3.7K 
[ ]mathmorp__t70_mathmorp2021-07-18 10:39 24K 
[ ]mathmorp__t70_mathmorp.vout2021-07-25 14:47 3.7K 
[ ]mathmorp__t71_mathmorp2021-07-18 10:40 25K 
[ ]mathmorp__t71_mathmorp.vout2021-07-25 14:59 3.7K 
[ ]mathmorp__t72_mathmorp2021-07-18 10:40 25K 
[ ]mathmorp__t72_mathmorp.vout2021-07-25 16:33 3.7K 
[ ]mathmorp__t73_mathmorp2021-07-18 10:40 22K 
[ ]mathmorp__t73_mathmorp.vout2021-07-25 19:33 7.3K 
[ ]mathmorp__t74_mathmorp2021-07-18 10:41 22K 
[ ]mathmorp__t74_mathmorp.vout2021-07-25 16:17 3.7K 
[ ]mathmorp__t75_mathmorp2021-07-18 10:41 29K 
[ ]mathmorp__t75_mathmorp.vout2021-07-25 17:28 7.9K 
[ ]mathmorp__t76_mathmorp2021-07-18 10:42 33K 
[ ]mathmorp__t76_mathmorp.vout2021-07-25 20:44 5.9K 
[ ]mathmorp__t77_mathmorp2021-07-18 10:42 23K 
[ ]mathmorp__t77_mathmorp.depv12021-07-25 20:57 162  
[ ]mathmorp__t77_mathmorp.depvmin12021-07-25 21:03 162  
[ ]mathmorp__t77_mathmorp.vmin12021-07-25 20:57 2.5K 
[ ]mathmorp__t77_mathmorp.vmin1out2021-07-25 21:01 29K 
[ ]mathmorp__t77_mathmorp.vout2021-07-25 17:37 31K 
[ ]mathmorp__t78_mathmorp2021-07-18 10:43 34K 
[ ]mathmorp__t78_mathmorp.vout2021-07-25 15:40 4.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80