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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tex_2__l10_tex_22021-07-18 08:15 12K 
[ ]tex_2__l10_tex_2.depv12021-07-25 20:57 74  
[ ]tex_2__l10_tex_2.depvmin12021-07-25 21:03 74  
[ ]tex_2__l10_tex_2.vmin12021-07-25 20:57 957  
[ ]tex_2__l10_tex_2.vmin1out2021-07-25 20:57 17K 
[ ]tex_2__l10_tex_2.vout2021-07-25 20:05 17K 
[ ]tex_2__l18_tex_22021-07-18 08:16 18K 
[ ]tex_2__l18_tex_2.depv12021-07-25 20:57 158  
[ ]tex_2__l18_tex_2.depvmin12021-07-25 21:03 139  
[ ]tex_2__l18_tex_2.vmin12021-07-25 20:57 1.6K 
[ ]tex_2__l18_tex_2.vmin1out2021-07-25 21:02 17K 
[ ]tex_2__l18_tex_2.vout2021-07-25 16:11 19K 
[ ]tex_2__l40_tex_22021-07-18 08:16 10K 
[ ]tex_2__l40_tex_2.depv12021-07-25 20:57 69  
[ ]tex_2__l40_tex_2.depvmin12021-07-25 21:03 69  
[ ]tex_2__l40_tex_2.vmin12021-07-25 20:57 445  
[ ]tex_2__l40_tex_2.vmin1out2021-07-25 21:00 4.5K 
[ ]tex_2__l40_tex_2.vout2021-07-25 15:13 4.5K 
[ ]tex_2__l79_tex_22021-07-18 08:16 36K 
[ ]tex_2__l79_tex_2.vout2021-07-25 17:17 4.7K 
[ ]tex_2__t1_tex_22021-07-18 07:58 8.5K 
[ ]tex_2__t1_tex_2.depv12021-07-25 20:57 112  
[ ]tex_2__t1_tex_2.depvmin12021-07-25 21:03 76  
[ ]tex_2__t1_tex_2.vmin12021-07-25 20:57 1.0K 
[ ]tex_2__t1_tex_2.vmin1out2021-07-25 21:01 8.8K 
[ ]tex_2__t1_tex_2.vout2021-07-25 17:44 15K 
[ ]tex_2__t2_tex_22021-07-18 07:59 9.0K 
[ ]tex_2__t2_tex_2.depv12021-07-25 20:57 278  
[ ]tex_2__t2_tex_2.depvmin12021-07-25 21:03 121  
[ ]tex_2__t2_tex_2.vmin12021-07-25 20:57 1.8K 
[ ]tex_2__t2_tex_2.vmin1out2021-07-25 20:59 10K 
[ ]tex_2__t2_tex_2.vout2021-07-25 18:02 21K 
[ ]tex_2__t3_tex_22021-07-18 07:56 8.6K 
[ ]tex_2__t3_tex_2.depv12021-07-25 20:57 94  
[ ]tex_2__t3_tex_2.depvmin12021-07-25 21:03 94  
[ ]tex_2__t3_tex_2.vmin12021-07-25 20:57 865  
[ ]tex_2__t3_tex_2.vmin1out2021-07-25 20:57 7.6K 
[ ]tex_2__t3_tex_2.vout2021-07-25 15:30 7.0K 
[ ]tex_2__t4_tex_22021-07-18 07:56 8.6K 
[ ]tex_2__t4_tex_2.vout2021-07-25 17:20 2.0K 
[ ]tex_2__t5_tex_22021-07-18 07:56 12K 
[ ]tex_2__t5_tex_2.depv12021-07-25 20:57 120  
[ ]tex_2__t5_tex_2.depvmin12021-07-25 21:03 120  
[ ]tex_2__t5_tex_2.vmin12021-07-25 20:57 1.1K 
[ ]tex_2__t5_tex_2.vmin1out2021-07-25 20:58 11K 
[ ]tex_2__t5_tex_2.vout2021-07-25 18:16 9.8K 
[ ]tex_2__t6_tex_22021-07-18 07:56 12K 
[ ]tex_2__t6_tex_2.depv12021-07-25 20:57 121  
[ ]tex_2__t6_tex_2.depvmin12021-07-25 21:03 121  
[ ]tex_2__t6_tex_2.vmin12021-07-25 20:57 1.1K 
[ ]tex_2__t6_tex_2.vmin1out2021-07-25 20:59 10K 
[ ]tex_2__t6_tex_2.vout2021-07-25 15:35 9.1K 
[ ]tex_2__t7_tex_22021-07-18 07:56 22K 
[ ]tex_2__t7_tex_2.vout2021-07-25 19:41 7.3K 
[ ]tex_2__t8_tex_22021-07-18 07:57 9.9K 
[ ]tex_2__t8_tex_2.vout2021-07-25 16:38 2.0K 
[ ]tex_2__t9_tex_22021-07-18 07:57 16K 
[ ]tex_2__t9_tex_2.vout2021-07-25 15:51 7.3K 
[ ]tex_2__t10_tex_22021-07-18 07:59 10K 
[ ]tex_2__t10_tex_2.vout2021-07-25 15:13 2.0K 
[ ]tex_2__t11_tex_22021-07-18 07:59 19K 
[ ]tex_2__t11_tex_2.vout2021-07-25 18:58 7.2K 
[ ]tex_2__t12_tex_22021-07-18 07:59 23K 
[ ]tex_2__t12_tex_2.depv12021-07-25 20:57 78  
[ ]tex_2__t12_tex_2.depvmin12021-07-25 21:03 78  
[ ]tex_2__t12_tex_2.vmin12021-07-25 20:57 733  
[ ]tex_2__t12_tex_2.vmin1out2021-07-25 20:58 11K 
[ ]tex_2__t12_tex_2.vout2021-07-25 20:50 11K 
[ ]tex_2__t13_tex_22021-07-18 08:00 23K 
[ ]tex_2__t13_tex_2.depv12021-07-25 20:57 65  
[ ]tex_2__t13_tex_2.depvmin12021-07-25 21:03 65  
[ ]tex_2__t13_tex_2.vmin12021-07-25 20:57 716  
[ ]tex_2__t13_tex_2.vmin1out2021-07-25 20:57 11K 
[ ]tex_2__t13_tex_2.vout2021-07-25 18:27 11K 
[ ]tex_2__t14_tex_22021-07-18 08:00 16K 
[ ]tex_2__t14_tex_2.depv12021-07-25 20:57 101  
[ ]tex_2__t14_tex_2.depvmin12021-07-25 21:03 101  
[ ]tex_2__t14_tex_2.vmin12021-07-25 20:57 948  
[ ]tex_2__t14_tex_2.vmin1out2021-07-25 20:58 17K 
[ ]tex_2__t14_tex_2.vout2021-07-25 18:29 18K 
[ ]tex_2__t15_tex_22021-07-18 08:00 19K 
[ ]tex_2__t15_tex_2.depv12021-07-25 20:57 297  
[ ]tex_2__t15_tex_2.depvmin12021-07-25 21:03 245  
[ ]tex_2__t15_tex_2.vmin12021-07-25 20:57 3.5K 
[ ]tex_2__t15_tex_2.vmin1out2021-07-25 20:57 38K 
[ ]tex_2__t15_tex_2.vout2021-07-25 16:40 35K 
[ ]tex_2__t16_tex_22021-07-18 07:57 18K 
[ ]tex_2__t16_tex_2.depv12021-07-25 20:57 72  
[ ]tex_2__t16_tex_2.depvmin12021-07-25 21:03 62  
[ ]tex_2__t16_tex_2.vmin12021-07-25 20:57 1.0K 
[ ]tex_2__t16_tex_2.vmin1out2021-07-25 21:02 8.4K 
[ ]tex_2__t16_tex_2.vout2021-07-25 20:44 11K 
[ ]tex_2__t17_tex_22021-07-18 08:00 20K 
[ ]tex_2__t17_tex_2.vout2021-07-25 20:56 4.7K 
[ ]tex_2__t18_tex_22021-07-18 07:57 30K 
[ ]tex_2__t18_tex_2.depv12021-07-25 20:57 57  
[ ]tex_2__t18_tex_2.depvmin12021-07-25 21:03 57  
[ ]tex_2__t18_tex_2.vmin12021-07-25 20:57 1.0K 
[ ]tex_2__t18_tex_2.vmin1out2021-07-25 20:58 9.3K 
[ ]tex_2__t18_tex_2.vout2021-07-25 18:18 12K 
[ ]tex_2__t19_tex_22021-07-18 08:01 16K 
[ ]tex_2__t19_tex_2.vout2021-07-25 20:36 7.3K 
[ ]tex_2__t20_tex_22021-07-18 08:01 30K 
[ ]tex_2__t20_tex_2.vout2021-07-25 15:57 7.2K 
[ ]tex_2__t21_tex_22021-07-18 08:01 21K 
[ ]tex_2__t21_tex_2.vout2021-07-25 16:11 7.3K 
[ ]tex_2__t22_tex_22021-07-18 08:01 11K 
[ ]tex_2__t22_tex_2.vout2021-07-25 14:51 2.0K 
[ ]tex_2__t23_tex_22021-07-18 08:02 11K 
[ ]tex_2__t23_tex_2.depv12021-07-25 20:57 109  
[ ]tex_2__t23_tex_2.depvmin12021-07-25 21:03 99  
[ ]tex_2__t23_tex_2.vmin12021-07-25 20:57 1.0K 
[ ]tex_2__t23_tex_2.vmin1out2021-07-25 21:00 10K 
[ ]tex_2__t23_tex_2.vout2021-07-25 14:46 11K 
[ ]tex_2__t24_tex_22021-07-18 08:02 12K 
[ ]tex_2__t24_tex_2.vout2021-07-25 16:04 2.0K 
[ ]tex_2__t25_tex_22021-07-18 08:02 12K 
[ ]tex_2__t25_tex_2.vout2021-07-25 19:10 2.0K 
[ ]tex_2__t26_tex_22021-07-18 08:02 15K 
[ ]tex_2__t26_tex_2.vout2021-07-25 17:39 2.0K 
[ ]tex_2__t27_tex_22021-07-18 08:03 15K 
[ ]tex_2__t27_tex_2.vout2021-07-25 16:40 2.0K 
[ ]tex_2__t28_tex_22021-07-18 08:03 35K 
[ ]tex_2__t28_tex_2.depv12021-07-25 20:57 31  
[ ]tex_2__t28_tex_2.depvmin12021-07-25 21:03 31  
[ ]tex_2__t28_tex_2.vmin12021-07-25 20:57 906  
[ ]tex_2__t28_tex_2.vmin1out2021-07-25 21:01 16K 
[ ]tex_2__t28_tex_2.vout2021-07-25 19:11 9.5K 
[ ]tex_2__t29_tex_22021-07-18 08:03 20K 
[ ]tex_2__t29_tex_2.vout2021-07-25 16:02 2.0K 
[ ]tex_2__t30_tex_22021-07-18 08:03 22K 
[ ]tex_2__t30_tex_2.vout2021-07-25 20:42 7.3K 
[ ]tex_2__t31_tex_22021-07-18 08:04 39K 
[ ]tex_2__t31_tex_2.vout2021-07-25 20:02 6.7K 
[ ]tex_2__t32_tex_22021-07-18 08:04 22K 
[ ]tex_2__t32_tex_2.vout2021-07-25 17:24 2.0K 
[ ]tex_2__t33_tex_22021-07-18 08:04 22K 
[ ]tex_2__t33_tex_2.vout2021-07-25 17:43 2.0K 
[ ]tex_2__t34_tex_22021-07-18 08:05 25K 
[ ]tex_2__t34_tex_2.vout2021-07-25 16:00 7.2K 
[ ]tex_2__t35_tex_22021-07-18 08:05 21K 
[ ]tex_2__t35_tex_2.vout2021-07-25 15:56 2.0K 
[ ]tex_2__t36_tex_22021-07-18 07:58 22K 
[ ]tex_2__t36_tex_2.depv12021-07-25 20:57 106  
[ ]tex_2__t36_tex_2.depvmin12021-07-25 21:03 106  
[ ]tex_2__t36_tex_2.vmin12021-07-25 20:57 1.3K 
[ ]tex_2__t36_tex_2.vmin1out2021-07-25 21:01 15K 
[ ]tex_2__t36_tex_2.vout2021-07-25 16:37 15K 
[ ]tex_2__t37_tex_22021-07-18 08:05 35K 
[ ]tex_2__t37_tex_2.depv12021-07-25 20:57 53  
[ ]tex_2__t37_tex_2.depvmin12021-07-25 21:03 53  
[ ]tex_2__t37_tex_2.vmin12021-07-25 20:57 1.2K 
[ ]tex_2__t37_tex_2.vmin1out2021-07-25 20:59 17K 
[ ]tex_2__t37_tex_2.vout2021-07-25 18:27 15K 
[ ]tex_2__t38_tex_22021-07-18 08:05 23K 
[ ]tex_2__t38_tex_2.depv12021-07-25 20:57 340  
[ ]tex_2__t38_tex_2.depvmin12021-07-25 21:03 340  
[ ]tex_2__t38_tex_2.vmin12021-07-25 20:57 3.1K 
[ ]tex_2__t38_tex_2.vmin1out2021-07-25 21:00 42K 
[ ]tex_2__t38_tex_2.vout2021-07-25 18:03 37K 
[ ]tex_2__t39_tex_22021-07-18 08:06 16K 
[ ]tex_2__t39_tex_2.vout2021-07-25 19:20 4.7K 
[ ]tex_2__t40_tex_22021-07-18 08:06 20K 
[ ]tex_2__t40_tex_2.vout2021-07-25 20:24 2.0K 
[ ]tex_2__t41_tex_22021-07-18 08:06 29K 
[ ]tex_2__t41_tex_2.vout2021-07-25 20:19 4.7K 
[ ]tex_2__t42_tex_22021-07-18 08:07 24K 
[ ]tex_2__t42_tex_2.vout2021-07-25 20:45 7.3K 
[ ]tex_2__t43_tex_22021-07-18 08:07 27K 
[ ]tex_2__t43_tex_2.vout2021-07-25 19:57 4.7K 
[ ]tex_2__t44_tex_22021-07-18 08:07 19K 
[ ]tex_2__t44_tex_2.vout2021-07-25 16:56 8.3K 
[ ]tex_2__t45_tex_22021-07-18 07:58 15K 
[ ]tex_2__t45_tex_2.vout2021-07-25 19:10 2.0K 
[ ]tex_2__t46_tex_22021-07-18 08:07 36K 
[ ]tex_2__t46_tex_2.vout2021-07-25 17:30 4.7K 
[ ]tex_2__t47_tex_22021-07-18 08:08 35K 
[ ]tex_2__t47_tex_2.vout2021-07-25 15:41 4.7K 
[ ]tex_2__t48_tex_22021-07-18 08:15 23K 
[ ]tex_2__t48_tex_2.vout2021-07-25 20:29 3.6K 
[ ]tex_2__t49_tex_22021-07-18 08:08 23K 
[ ]tex_2__t49_tex_2.vout2021-07-25 19:06 2.0K 
[ ]tex_2__t50_tex_22021-07-18 08:08 22K 
[ ]tex_2__t50_tex_2.vout2021-07-25 18:17 7.2K 
[ ]tex_2__t51_tex_22021-07-18 08:09 22K 
[ ]tex_2__t51_tex_2.vout2021-07-25 18:00 2.0K 
[ ]tex_2__t52_tex_22021-07-18 08:09 22K 
[ ]tex_2__t52_tex_2.vout2021-07-25 15:42 2.0K 
[ ]tex_2__t53_tex_22021-07-18 08:09 25K 
[ ]tex_2__t53_tex_2.vout2021-07-25 18:54 4.7K 
[ ]tex_2__t54_tex_22021-07-18 08:09 24K 
[ ]tex_2__t54_tex_2.vout2021-07-25 20:42 7.2K 
[ ]tex_2__t55_tex_22021-07-18 08:10 20K 
[ ]tex_2__t55_tex_2.vout2021-07-25 17:34 2.0K 
[ ]tex_2__t56_tex_22021-07-18 08:10 29K 
[ ]tex_2__t56_tex_2.vout2021-07-25 19:39 4.7K 
[ ]tex_2__t57_tex_22021-07-18 08:15 21K 
[ ]tex_2__t57_tex_2.depv12021-07-25 20:57 40  
[ ]tex_2__t57_tex_2.depvmin12021-07-25 21:03 40  
[ ]tex_2__t57_tex_2.vmin12021-07-25 20:57 901  
[ ]tex_2__t57_tex_2.vmin1out2021-07-25 20:59 8.7K 
[ ]tex_2__t57_tex_2.vout2021-07-25 19:03 11K 
[ ]tex_2__t58_tex_22021-07-18 08:10 24K 
[ ]tex_2__t58_tex_2.vout2021-07-25 16:03 3.6K 
[ ]tex_2__t59_tex_22021-07-18 08:11 35K 
[ ]tex_2__t59_tex_2.vout2021-07-25 15:25 3.6K 
[ ]tex_2__t60_tex_22021-07-18 08:11 19K 
[ ]tex_2__t60_tex_2.depv12021-07-25 20:57 43  
[ ]tex_2__t60_tex_2.depvmin12021-07-25 21:03 43  
[ ]tex_2__t60_tex_2.vmin12021-07-25 20:57 838  
[ ]tex_2__t60_tex_2.vmin1out2021-07-25 20:59 9.7K 
[ ]tex_2__t60_tex_2.vout2021-07-25 14:23 8.4K 
[ ]tex_2__t61_tex_22021-07-18 08:11 38K 
[ ]tex_2__t61_tex_2.vout2021-07-25 16:38 4.7K 
[ ]tex_2__t62_tex_22021-07-18 07:58 14K 
[ ]tex_2__t62_tex_2.vout2021-07-25 20:40 2.0K 
[ ]tex_2__t63_tex_22021-07-18 08:12 28K 
[ ]tex_2__t63_tex_2.vout2021-07-25 16:16 7.8K 
[ ]tex_2__t64_tex_22021-07-18 08:12 23K 
[ ]tex_2__t64_tex_2.vout2021-07-25 14:46 7.2K 
[ ]tex_2__t65_tex_22021-07-18 08:12 28K 
[ ]tex_2__t65_tex_2.vout2021-07-25 19:08 4.7K 
[ ]tex_2__t66_tex_22021-07-18 08:13 34K 
[ ]tex_2__t66_tex_2.vout2021-07-25 20:46 6.8K 
[ ]tex_2__t67_tex_22021-07-18 08:13 32K 
[ ]tex_2__t67_tex_2.depv12021-07-25 20:57 33  
[ ]tex_2__t67_tex_2.depvmin12021-07-25 21:03 33  
[ ]tex_2__t67_tex_2.vmin12021-07-25 20:57 1.0K 
[ ]tex_2__t67_tex_2.vmin1out2021-07-25 21:01 20K 
[ ]tex_2__t67_tex_2.vout2021-07-25 15:04 14K 
[ ]tex_2__t68_tex_22021-07-18 08:13 41K 
[ ]tex_2__t68_tex_2.vout2021-07-25 19:48 4.2K 
[ ]tex_2__t69_tex_22021-07-18 08:13 32K 
[ ]tex_2__t69_tex_2.depv12021-07-25 20:57 33  
[ ]tex_2__t69_tex_2.depvmin12021-07-25 21:03 33  
[ ]tex_2__t69_tex_2.vmin12021-07-25 20:57 1.0K 
[ ]tex_2__t69_tex_2.vmin1out2021-07-25 20:59 21K 
[ ]tex_2__t69_tex_2.vout2021-07-25 19:49 15K 
[ ]tex_2__t70_tex_22021-07-18 08:14 40K 
[ ]tex_2__t70_tex_2.vout2021-07-25 18:55 3.6K 
[ ]tex_2__t71_tex_22021-07-18 07:58 34K 
[ ]tex_2__t71_tex_2.depv12021-07-25 20:57 103  
[ ]tex_2__t71_tex_2.depvmin12021-07-25 21:03 103  
[ ]tex_2__t71_tex_2.vmin12021-07-25 20:57 1.9K 
[ ]tex_2__t71_tex_2.vmin1out2021-07-25 21:00 34K 
[ ]tex_2__t71_tex_2.vout2021-07-25 18:03 34K 
[ ]tex_2__t72_tex_22021-07-18 08:14 45K 
[ ]tex_2__t72_tex_2.vout2021-07-25 17:31 6.7K 
[ ]tex_2__t73_tex_22021-07-18 08:15 32K 
[ ]tex_2__t73_tex_2.depv12021-07-25 20:57 33  
[ ]tex_2__t73_tex_2.depvmin12021-07-25 21:03 33  
[ ]tex_2__t73_tex_2.vmin12021-07-25 20:57 1.0K 
[ ]tex_2__t73_tex_2.vmin1out2021-07-25 21:02 21K 
[ ]tex_2__t73_tex_2.vout2021-07-25 20:22 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80