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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tex_2__l10_tex_22024-07-28 10:41 11K 
[ ]tex_2__l10_tex_2.depv12024-08-03 10:19 74  
[ ]tex_2__l10_tex_2.depvmin12024-08-03 10:24 74  
[ ]tex_2__l10_tex_2.vmin12024-08-03 10:20 957  
[ ]tex_2__l10_tex_2.vmin1out2024-08-03 10:20 16K 
[ ]tex_2__l10_tex_2.vout2024-08-03 04:39 17K 
[ ]tex_2__l18_tex_22024-07-28 10:41 18K 
[ ]tex_2__l18_tex_2.depv12024-08-03 10:19 158  
[ ]tex_2__l18_tex_2.depvmin12024-08-03 10:24 139  
[ ]tex_2__l18_tex_2.vmin12024-08-03 10:20 1.6K 
[ ]tex_2__l18_tex_2.vmin1out2024-08-03 10:22 17K 
[ ]tex_2__l18_tex_2.vout2024-08-03 08:32 19K 
[ ]tex_2__l40_tex_22024-07-28 10:42 9.3K 
[ ]tex_2__l40_tex_2.depv12024-08-03 10:19 69  
[ ]tex_2__l40_tex_2.depvmin12024-08-03 10:24 69  
[ ]tex_2__l40_tex_2.vmin12024-08-03 10:20 445  
[ ]tex_2__l40_tex_2.vmin1out2024-08-03 10:21 4.5K 
[ ]tex_2__l40_tex_2.vout2024-08-03 05:29 4.5K 
[ ]tex_2__l79_tex_22024-07-28 10:43 36K 
[ ]tex_2__l79_tex_2.vout2024-08-03 10:04 4.7K 
[ ]tex_2__t1_tex_22024-07-28 09:42 7.7K 
[ ]tex_2__t1_tex_2.depv12024-08-03 10:19 112  
[ ]tex_2__t1_tex_2.depvmin12024-08-03 10:24 76  
[ ]tex_2__t1_tex_2.vmin12024-08-03 10:20 1.0K 
[ ]tex_2__t1_tex_2.vmin1out2024-08-03 10:23 8.8K 
[ ]tex_2__t1_tex_2.vout2024-08-03 07:56 15K 
[ ]tex_2__t2_tex_22024-07-28 09:43 8.2K 
[ ]tex_2__t2_tex_2.vout2024-08-03 06:14 7.3K 
[ ]tex_2__t3_tex_22024-07-28 09:32 7.8K 
[ ]tex_2__t3_tex_2.depv12024-08-03 10:19 94  
[ ]tex_2__t3_tex_2.depvmin12024-08-03 10:24 94  
[ ]tex_2__t3_tex_2.vmin12024-08-03 10:20 865  
[ ]tex_2__t3_tex_2.vmin1out2024-08-03 10:21 7.6K 
[ ]tex_2__t3_tex_2.vout2024-08-03 09:48 7.0K 
[ ]tex_2__t4_tex_22024-07-28 09:33 7.8K 
[ ]tex_2__t4_tex_2.vout2024-08-03 07:22 2.0K 
[ ]tex_2__t5_tex_22024-07-28 09:34 12K 
[ ]tex_2__t5_tex_2.depv12024-08-03 10:19 120  
[ ]tex_2__t5_tex_2.depvmin12024-08-03 10:24 120  
[ ]tex_2__t5_tex_2.vmin12024-08-03 10:20 1.1K 
[ ]tex_2__t5_tex_2.vmin1out2024-08-03 10:21 11K 
[ ]tex_2__t5_tex_2.vout2024-08-03 04:46 9.8K 
[ ]tex_2__t6_tex_22024-07-28 09:34 12K 
[ ]tex_2__t6_tex_2.depv12024-08-03 10:19 121  
[ ]tex_2__t6_tex_2.depvmin12024-08-03 10:24 121  
[ ]tex_2__t6_tex_2.vmin12024-08-03 10:20 1.1K 
[ ]tex_2__t6_tex_2.vmin1out2024-08-03 10:20 10K 
[ ]tex_2__t6_tex_2.vout2024-08-03 04:23 9.1K 
[ ]tex_2__t7_tex_22024-07-28 09:35 22K 
[ ]tex_2__t7_tex_2.vout2024-08-03 08:51 7.8K 
[ ]tex_2__t8_tex_22024-07-28 09:36 9.1K 
[ ]tex_2__t8_tex_2.vout2024-08-03 04:15 2.0K 
[ ]tex_2__t9_tex_22024-07-28 09:36 16K 
[ ]tex_2__t9_tex_2.vout2024-08-03 09:29 7.2K 
[ ]tex_2__t10_tex_22024-07-28 09:43 9.1K 
[ ]tex_2__t10_tex_2.vout2024-08-03 05:51 2.0K 
[ ]tex_2__t11_tex_22024-07-28 09:44 19K 
[ ]tex_2__t11_tex_2.vout2024-08-03 06:44 7.2K 
[ ]tex_2__t12_tex_22024-07-28 09:45 22K 
[ ]tex_2__t12_tex_2.depv12024-08-03 10:19 78  
[ ]tex_2__t12_tex_2.depvmin12024-08-03 10:24 78  
[ ]tex_2__t12_tex_2.vmin12024-08-03 10:20 733  
[ ]tex_2__t12_tex_2.vmin1out2024-08-03 10:20 11K 
[ ]tex_2__t12_tex_2.vout2024-08-03 04:38 11K 
[ ]tex_2__t13_tex_22024-07-28 09:46 23K 
[ ]tex_2__t13_tex_2.depv12024-08-03 10:19 65  
[ ]tex_2__t13_tex_2.depvmin12024-08-03 10:24 65  
[ ]tex_2__t13_tex_2.vmin12024-08-03 10:20 716  
[ ]tex_2__t13_tex_2.vmin1out2024-08-03 10:22 11K 
[ ]tex_2__t13_tex_2.vout2024-08-03 04:33 11K 
[ ]tex_2__t14_tex_22024-07-28 09:47 16K 
[ ]tex_2__t14_tex_2.depv12024-08-03 10:19 101  
[ ]tex_2__t14_tex_2.depvmin12024-08-03 10:24 101  
[ ]tex_2__t14_tex_2.vmin12024-08-03 10:20 948  
[ ]tex_2__t14_tex_2.vmin1out2024-08-03 10:23 17K 
[ ]tex_2__t14_tex_2.vout2024-08-03 04:31 18K 
[ ]tex_2__t15_tex_22024-07-28 09:48 18K 
[ ]tex_2__t15_tex_2.depv12024-08-03 10:19 307  
[ ]tex_2__t15_tex_2.depvmin12024-08-03 10:24 232  
[ ]tex_2__t15_tex_2.vmin12024-08-03 10:20 3.7K 
[ ]tex_2__t15_tex_2.vmin1out2024-08-03 10:21 36K 
[ ]tex_2__t15_tex_2.vout2024-08-03 06:24 38K 
[ ]tex_2__t16_tex_22024-07-28 09:37 17K 
[ ]tex_2__t16_tex_2.depv12024-08-03 10:19 72  
[ ]tex_2__t16_tex_2.depvmin12024-08-03 10:24 62  
[ ]tex_2__t16_tex_2.vmin12024-08-03 10:20 1.0K 
[ ]tex_2__t16_tex_2.vmin1out2024-08-03 10:20 8.4K 
[ ]tex_2__t16_tex_2.vout2024-08-03 09:27 11K 
[ ]tex_2__t17_tex_22024-07-28 09:49 19K 
[ ]tex_2__t17_tex_2.vout2024-08-03 05:31 4.7K 
[ ]tex_2__t18_tex_22024-07-28 09:38 30K 
[ ]tex_2__t18_tex_2.depv12024-08-03 10:19 57  
[ ]tex_2__t18_tex_2.depvmin12024-08-03 10:24 57  
[ ]tex_2__t18_tex_2.vmin12024-08-03 10:20 1.0K 
[ ]tex_2__t18_tex_2.vmin1out2024-08-03 10:22 9.3K 
[ ]tex_2__t18_tex_2.vout2024-08-03 05:34 12K 
[ ]tex_2__t19_tex_22024-07-28 09:50 16K 
[ ]tex_2__t19_tex_2.vout2024-08-03 08:26 7.2K 
[ ]tex_2__t20_tex_22024-07-28 09:51 30K 
[ ]tex_2__t20_tex_2.vout2024-08-03 05:59 7.2K 
[ ]tex_2__t21_tex_22024-07-28 09:52 21K 
[ ]tex_2__t21_tex_2.vout2024-08-03 08:30 7.3K 
[ ]tex_2__t22_tex_22024-07-28 09:53 10K 
[ ]tex_2__t22_tex_2.vout2024-08-03 07:05 2.0K 
[ ]tex_2__t23_tex_22024-07-28 09:53 10K 
[ ]tex_2__t23_tex_2.depv12024-08-03 10:19 109  
[ ]tex_2__t23_tex_2.depvmin12024-08-03 10:24 99  
[ ]tex_2__t23_tex_2.vmin12024-08-03 10:20 1.0K 
[ ]tex_2__t23_tex_2.vmin1out2024-08-03 10:20 10K 
[ ]tex_2__t23_tex_2.vout2024-08-03 05:09 11K 
[ ]tex_2__t24_tex_22024-07-28 09:54 11K 
[ ]tex_2__t24_tex_2.vout2024-08-03 10:14 2.0K 
[ ]tex_2__t25_tex_22024-07-28 09:55 11K 
[ ]tex_2__t25_tex_2.vout2024-08-03 08:31 2.0K 
[ ]tex_2__t26_tex_22024-07-28 09:56 15K 
[ ]tex_2__t26_tex_2.vout2024-08-03 08:13 2.0K 
[ ]tex_2__t27_tex_22024-07-28 09:56 15K 
[ ]tex_2__t27_tex_2.vout2024-08-03 05:02 2.0K 
[ ]tex_2__t28_tex_22024-07-28 09:57 34K 
[ ]tex_2__t28_tex_2.depv12024-08-03 10:19 31  
[ ]tex_2__t28_tex_2.depvmin12024-08-03 10:24 31  
[ ]tex_2__t28_tex_2.vmin12024-08-03 10:20 906  
[ ]tex_2__t28_tex_2.vmin1out2024-08-03 10:21 16K 
[ ]tex_2__t28_tex_2.vout2024-08-03 06:14 9.5K 
[ ]tex_2__t29_tex_22024-07-28 09:58 20K 
[ ]tex_2__t29_tex_2.vout2024-08-03 09:11 2.0K 
[ ]tex_2__t30_tex_22024-07-28 09:59 22K 
[ ]tex_2__t30_tex_2.vout2024-08-03 06:39 7.3K 
[ ]tex_2__t31_tex_22024-07-28 10:01 38K 
[ ]tex_2__t31_tex_2.vout2024-08-03 08:25 6.7K 
[ ]tex_2__t32_tex_22024-07-28 10:01 22K 
[ ]tex_2__t32_tex_2.depv12024-08-03 10:19 92  
[ ]tex_2__t32_tex_2.depvmin12024-08-03 10:24 92  
[ ]tex_2__t32_tex_2.vmin12024-08-03 10:20 1.8K 
[ ]tex_2__t32_tex_2.vmin1out2024-08-03 10:21 26K 
[ ]tex_2__t32_tex_2.vout2024-08-03 05:25 26K 
[ ]tex_2__t33_tex_22024-07-28 10:02 22K 
[ ]tex_2__t33_tex_2.depv12024-08-03 10:19 92  
[ ]tex_2__t33_tex_2.depvmin12024-08-03 10:24 92  
[ ]tex_2__t33_tex_2.vmin12024-08-03 10:20 1.8K 
[ ]tex_2__t33_tex_2.vmin1out2024-08-03 10:21 26K 
[ ]tex_2__t33_tex_2.vout2024-08-03 07:30 26K 
[ ]tex_2__t34_tex_22024-07-28 10:03 25K 
[ ]tex_2__t34_tex_2.vout2024-08-03 05:56 7.2K 
[ ]tex_2__t35_tex_22024-07-28 10:04 21K 
[ ]tex_2__t35_tex_2.vout2024-08-03 08:14 2.0K 
[ ]tex_2__t36_tex_22024-07-28 09:39 22K 
[ ]tex_2__t36_tex_2.depv12024-08-03 10:19 106  
[ ]tex_2__t36_tex_2.depvmin12024-08-03 10:24 106  
[ ]tex_2__t36_tex_2.vmin12024-08-03 10:20 1.3K 
[ ]tex_2__t36_tex_2.vmin1out2024-08-03 10:22 15K 
[ ]tex_2__t36_tex_2.vout2024-08-03 10:11 15K 
[ ]tex_2__t37_tex_22024-07-28 10:05 34K 
[ ]tex_2__t37_tex_2.depv12024-08-03 10:19 53  
[ ]tex_2__t37_tex_2.depvmin12024-08-03 10:24 53  
[ ]tex_2__t37_tex_2.vmin12024-08-03 10:20 1.2K 
[ ]tex_2__t37_tex_2.vmin1out2024-08-03 10:20 17K 
[ ]tex_2__t37_tex_2.vout2024-08-03 06:43 15K 
[ ]tex_2__t38_tex_22024-07-28 10:06 22K 
[ ]tex_2__t38_tex_2.depv12024-08-03 10:19 340  
[ ]tex_2__t38_tex_2.depvmin12024-08-03 10:24 340  
[ ]tex_2__t38_tex_2.vmin12024-08-03 10:20 3.1K 
[ ]tex_2__t38_tex_2.vmin1out2024-08-03 10:21 42K 
[ ]tex_2__t38_tex_2.vout2024-08-03 07:37 37K 
[ ]tex_2__t39_tex_22024-07-28 10:07 16K 
[ ]tex_2__t39_tex_2.vout2024-08-03 04:45 4.7K 
[ ]tex_2__t40_tex_22024-07-28 10:08 19K 
[ ]tex_2__t40_tex_2.vout2024-08-03 08:10 2.0K 
[ ]tex_2__t41_tex_22024-07-28 10:09 28K 
[ ]tex_2__t41_tex_2.vout2024-08-03 04:28 4.6K 
[ ]tex_2__t42_tex_22024-07-28 10:10 24K 
[ ]tex_2__t42_tex_2.vout2024-08-03 09:51 7.2K 
[ ]tex_2__t43_tex_22024-07-28 10:11 26K 
[ ]tex_2__t43_tex_2.vout2024-08-03 08:11 4.7K 
[ ]tex_2__t44_tex_22024-07-28 10:12 19K 
[ ]tex_2__t44_tex_2.vout2024-08-03 07:30 8.3K 
[ ]tex_2__t45_tex_22024-07-28 09:40 15K 
[ ]tex_2__t45_tex_2.vout2024-08-03 09:01 2.0K 
[ ]tex_2__t46_tex_22024-07-28 10:13 35K 
[ ]tex_2__t46_tex_2.vout2024-08-03 07:10 4.7K 
[ ]tex_2__t47_tex_22024-07-28 10:14 34K 
[ ]tex_2__t47_tex_2.vout2024-08-03 04:51 4.7K 
[ ]tex_2__t48_tex_22024-07-28 10:39 23K 
[ ]tex_2__t48_tex_2.vout2024-08-03 04:40 3.6K 
[ ]tex_2__t49_tex_22024-07-28 10:15 23K 
[ ]tex_2__t49_tex_2.vout2024-08-03 08:12 2.0K 
[ ]tex_2__t50_tex_22024-07-28 10:16 22K 
[ ]tex_2__t50_tex_2.vout2024-08-03 07:29 7.2K 
[ ]tex_2__t51_tex_22024-07-28 10:17 21K 
[ ]tex_2__t51_tex_2.vout2024-08-03 06:23 2.0K 
[ ]tex_2__t52_tex_22024-07-28 10:18 22K 
[ ]tex_2__t52_tex_2.vout2024-08-03 08:14 2.0K 
[ ]tex_2__t53_tex_22024-07-28 10:19 25K 
[ ]tex_2__t53_tex_2.vout2024-08-03 08:20 4.6K 
[ ]tex_2__t54_tex_22024-07-28 10:20 24K 
[ ]tex_2__t54_tex_2.vout2024-08-03 05:18 6.8K 
[ ]tex_2__t55_tex_22024-07-28 10:21 20K 
[ ]tex_2__t55_tex_2.vout2024-08-03 08:13 2.0K 
[ ]tex_2__t56_tex_22024-07-28 10:22 29K 
[ ]tex_2__t56_tex_2.vout2024-08-03 08:42 4.7K 
[ ]tex_2__t57_tex_22024-07-28 10:40 21K 
[ ]tex_2__t57_tex_2.depv12024-08-03 10:19 40  
[ ]tex_2__t57_tex_2.depvmin12024-08-03 10:24 40  
[ ]tex_2__t57_tex_2.vmin12024-08-03 10:20 901  
[ ]tex_2__t57_tex_2.vmin1out2024-08-03 10:23 8.7K 
[ ]tex_2__t57_tex_2.vout2024-08-03 07:58 11K 
[ ]tex_2__t58_tex_22024-07-28 10:23 24K 
[ ]tex_2__t58_tex_2.vout2024-08-03 06:42 3.6K 
[ ]tex_2__t59_tex_22024-07-28 10:25 35K 
[ ]tex_2__t59_tex_2.vout2024-08-03 05:43 3.6K 
[ ]tex_2__t60_tex_22024-07-28 10:26 19K 
[ ]tex_2__t60_tex_2.depv12024-08-03 10:19 43  
[ ]tex_2__t60_tex_2.depvmin12024-08-03 10:24 43  
[ ]tex_2__t60_tex_2.vmin12024-08-03 10:20 838  
[ ]tex_2__t60_tex_2.vmin1out2024-08-03 10:22 9.7K 
[ ]tex_2__t60_tex_2.vout2024-08-03 07:48 8.4K 
[ ]tex_2__t61_tex_22024-07-28 10:27 37K 
[ ]tex_2__t61_tex_2.vout2024-08-03 06:20 4.7K 
[ ]tex_2__t62_tex_22024-07-28 09:41 13K 
[ ]tex_2__t62_tex_2.vout2024-08-03 07:13 2.0K 
[ ]tex_2__t63_tex_22024-07-28 10:28 28K 
[ ]tex_2__t63_tex_2.vout2024-08-03 04:37 7.8K 
[ ]tex_2__t64_tex_22024-07-28 10:29 23K 
[ ]tex_2__t64_tex_2.vout2024-08-03 06:30 7.2K 
[ ]tex_2__t65_tex_22024-07-28 10:30 28K 
[ ]tex_2__t65_tex_2.vout2024-08-03 08:11 4.7K 
[ ]tex_2__t66_tex_22024-07-28 10:31 34K 
[ ]tex_2__t66_tex_2.vout2024-08-03 08:10 6.8K 
[ ]tex_2__t67_tex_22024-07-28 10:32 32K 
[ ]tex_2__t67_tex_2.depv12024-08-03 10:19 33  
[ ]tex_2__t67_tex_2.depvmin12024-08-03 10:24 33  
[ ]tex_2__t67_tex_2.vmin12024-08-03 10:20 1.0K 
[ ]tex_2__t67_tex_2.vmin1out2024-08-03 10:23 20K 
[ ]tex_2__t67_tex_2.vout2024-08-03 10:00 14K 
[ ]tex_2__t68_tex_22024-07-28 10:33 41K 
[ ]tex_2__t68_tex_2.vout2024-08-03 08:16 4.2K 
[ ]tex_2__t69_tex_22024-07-28 10:34 32K 
[ ]tex_2__t69_tex_2.depv12024-08-03 10:19 33  
[ ]tex_2__t69_tex_2.depvmin12024-08-03 10:24 33  
[ ]tex_2__t69_tex_2.vmin12024-08-03 10:20 1.0K 
[ ]tex_2__t69_tex_2.vmin1out2024-08-03 10:23 21K 
[ ]tex_2__t69_tex_2.vout2024-08-03 07:35 15K 
[ ]tex_2__t70_tex_22024-07-28 10:36 40K 
[ ]tex_2__t70_tex_2.vout2024-08-03 08:09 3.6K 
[ ]tex_2__t71_tex_22024-07-28 09:42 34K 
[ ]tex_2__t71_tex_2.depv12024-08-03 10:19 103  
[ ]tex_2__t71_tex_2.depvmin12024-08-03 10:24 103  
[ ]tex_2__t71_tex_2.vmin12024-08-03 10:20 1.9K 
[ ]tex_2__t71_tex_2.vmin1out2024-08-03 10:20 34K 
[ ]tex_2__t71_tex_2.vout2024-08-03 08:58 34K 
[ ]tex_2__t72_tex_22024-07-28 10:37 45K 
[ ]tex_2__t72_tex_2.vout2024-08-03 05:12 6.8K 
[ ]tex_2__t73_tex_22024-07-28 10:38 32K 
[ ]tex_2__t73_tex_2.depv12024-08-03 10:19 33  
[ ]tex_2__t73_tex_2.depvmin12024-08-03 10:24 33  
[ ]tex_2__t73_tex_2.vmin12024-08-03 10:20 1.0K 
[ ]tex_2__t73_tex_2.vmin1out2024-08-03 10:22 21K 
[ ]tex_2__t73_tex_2.vout2024-08-03 05:38 15K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80