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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tex_1__l8_tex_12024-07-28 20:55 3.5K 
[ ]tex_1__l8_tex_1.depv12024-08-03 10:19 19  
[ ]tex_1__l8_tex_1.depvmin12024-08-03 10:24 19  
[ ]tex_1__l8_tex_1.vmin12024-08-03 10:19 210  
[ ]tex_1__l8_tex_1.vmin1out2024-08-03 10:22 4.4K 
[ ]tex_1__l8_tex_1.vout2024-08-03 04:13 3.2K 
[ ]tex_1__l33_tex_12024-07-28 21:26 7.3K 
[ ]tex_1__l33_tex_1.depv12024-08-03 10:19 237  
[ ]tex_1__l33_tex_1.depvmin12024-08-03 10:24 190  
[ ]tex_1__l33_tex_1.vmin12024-08-03 10:19 2.0K 
[ ]tex_1__l33_tex_1.vmin1out2024-08-03 10:20 27K 
[ ]tex_1__l33_tex_1.vout2024-08-03 09:45 35K 
[ ]tex_1__t1_tex_12024-07-28 20:55 15K 
[ ]tex_1__t1_tex_1.depv12024-08-03 10:19 110  
[ ]tex_1__t1_tex_1.depvmin12024-08-03 10:24 110  
[ ]tex_1__t1_tex_1.vmin12024-08-03 10:19 2.0K 
[ ]tex_1__t1_tex_1.vmin1out2024-08-03 10:20 20K 
[ ]tex_1__t1_tex_1.vout2024-08-03 07:09 24K 
[ ]tex_1__t2_tex_12024-07-28 20:56 16K 
[ ]tex_1__t2_tex_1.depv12024-08-03 10:19 117  
[ ]tex_1__t2_tex_1.depvmin12024-08-03 10:24 117  
[ ]tex_1__t2_tex_1.vmin12024-08-03 10:19 2.2K 
[ ]tex_1__t2_tex_1.vmin1out2024-08-03 10:23 27K 
[ ]tex_1__t2_tex_1.vout2024-08-03 06:14 24K 
[ ]tex_1__t3_tex_12024-07-28 20:57 16K 
[ ]tex_1__t3_tex_1.vout2024-08-03 06:47 4.7K 
[ ]tex_1__t4_tex_12024-07-28 20:58 24K 
[ ]tex_1__t4_tex_1.vout2024-08-03 09:47 7.2K 
[ ]tex_1__t5_tex_12024-07-28 20:59 15K 
[ ]tex_1__t5_tex_1.depv12024-08-03 10:19 75  
[ ]tex_1__t5_tex_1.depvmin12024-08-03 10:24 75  
[ ]tex_1__t5_tex_1.vmin12024-08-03 10:19 1.9K 
[ ]tex_1__t5_tex_1.vmin1out2024-08-03 10:22 27K 
[ ]tex_1__t5_tex_1.vout2024-08-03 04:12 23K 
[ ]tex_1__t6_tex_12024-07-28 20:59 16K 
[ ]tex_1__t6_tex_1.vout2024-08-03 10:01 5.2K 
[ ]tex_1__t7_tex_12024-07-28 21:00 16K 
[ ]tex_1__t7_tex_1.depv12024-08-03 10:19 171  
[ ]tex_1__t7_tex_1.depvmin12024-08-03 10:24 90  
[ ]tex_1__t7_tex_1.vmin12024-08-03 10:19 3.0K 
[ ]tex_1__t7_tex_1.vmin1out2024-08-03 10:21 30K 
[ ]tex_1__t7_tex_1.vout2024-08-03 04:54 39K 
[ ]tex_1__t8_tex_12024-07-28 21:01 15K 
[ ]tex_1__t8_tex_1.depv12024-08-03 10:19 428  
[ ]tex_1__t8_tex_1.depvmin12024-08-03 10:24 343  
[ ]tex_1__t8_tex_1.vmin12024-08-03 10:19 3.5K 
[ ]tex_1__t8_tex_1.vmin1out2024-08-03 10:21 38K 
[ ]tex_1__t8_tex_1.vout2024-08-03 07:37 50K 
[ ]tex_1__t9_tex_12024-07-28 20:53 14K 
[ ]tex_1__t9_tex_1.depv12024-08-03 10:19 94  
[ ]tex_1__t9_tex_1.depvmin12024-08-03 10:24 94  
[ ]tex_1__t9_tex_1.vmin12024-08-03 10:19 1.3K 
[ ]tex_1__t9_tex_1.vmin1out2024-08-03 10:21 19K 
[ ]tex_1__t9_tex_1.vout2024-08-03 07:15 21K 
[ ]tex_1__t10_tex_12024-07-28 21:02 16K 
[ ]tex_1__t10_tex_1.depv12024-08-03 10:19 131  
[ ]tex_1__t10_tex_1.depvmin12024-08-03 10:24 131  
[ ]tex_1__t10_tex_1.vmin12024-08-03 10:19 1.6K 
[ ]tex_1__t10_tex_1.vmin1out2024-08-03 10:21 16K 
[ ]tex_1__t10_tex_1.vout2024-08-03 04:57 17K 
[ ]tex_1__t11_tex_12024-07-28 21:03 14K 
[ ]tex_1__t11_tex_1.depv12024-08-03 10:19 44  
[ ]tex_1__t11_tex_1.depvmin12024-08-03 10:24 44  
[ ]tex_1__t11_tex_1.vmin12024-08-03 10:19 813  
[ ]tex_1__t11_tex_1.vmin1out2024-08-03 10:21 14K 
[ ]tex_1__t11_tex_1.vout2024-08-03 10:14 14K 
[ ]tex_1__t12_tex_12024-07-28 21:03 14K 
[ ]tex_1__t12_tex_1.depv12024-08-03 10:19 72  
[ ]tex_1__t12_tex_1.depvmin12024-08-03 10:24 72  
[ ]tex_1__t12_tex_1.vmin12024-08-03 10:19 1.1K 
[ ]tex_1__t12_tex_1.vmin1out2024-08-03 10:20 16K 
[ ]tex_1__t12_tex_1.vout2024-08-03 07:26 16K 
[ ]tex_1__t13_tex_12024-07-28 21:04 15K 
[ ]tex_1__t13_tex_1.depv12024-08-03 10:19 72  
[ ]tex_1__t13_tex_1.depvmin12024-08-03 10:24 72  
[ ]tex_1__t13_tex_1.vmin12024-08-03 10:19 1.3K 
[ ]tex_1__t13_tex_1.vmin1out2024-08-03 10:21 17K 
[ ]tex_1__t13_tex_1.vout2024-08-03 07:16 18K 
[ ]tex_1__t14_tex_12024-07-28 21:05 14K 
[ ]tex_1__t14_tex_1.depv12024-08-03 10:19 56  
[ ]tex_1__t14_tex_1.depvmin12024-08-03 10:24 43  
[ ]tex_1__t14_tex_1.vmin12024-08-03 10:19 770  
[ ]tex_1__t14_tex_1.vmin1out2024-08-03 10:23 8.4K 
[ ]tex_1__t14_tex_1.vout2024-08-03 06:57 8.9K 
[ ]tex_1__t15_tex_12024-07-28 21:06 14K 
[ ]tex_1__t15_tex_1.depv12024-08-03 10:19 41  
[ ]tex_1__t15_tex_1.depvmin12024-08-03 10:24 41  
[ ]tex_1__t15_tex_1.vmin12024-08-03 10:19 724  
[ ]tex_1__t15_tex_1.vmin1out2024-08-03 10:22 12K 
[ ]tex_1__t15_tex_1.vout2024-08-03 09:56 12K 
[ ]tex_1__t16_tex_12024-07-28 20:54 15K 
[ ]tex_1__t16_tex_1.depv12024-08-03 10:19 58  
[ ]tex_1__t16_tex_1.depvmin12024-08-03 10:24 58  
[ ]tex_1__t16_tex_1.vmin12024-08-03 10:19 1.2K 
[ ]tex_1__t16_tex_1.vmin1out2024-08-03 10:23 14K 
[ ]tex_1__t16_tex_1.vout2024-08-03 05:33 12K 
[ ]tex_1__t17_tex_12024-07-28 21:07 14K 
[ ]tex_1__t17_tex_1.depv12024-08-03 10:19 33  
[ ]tex_1__t17_tex_1.depvmin12024-08-03 10:24 33  
[ ]tex_1__t17_tex_1.vmin12024-08-03 10:19 566  
[ ]tex_1__t17_tex_1.vmin1out2024-08-03 10:21 8.2K 
[ ]tex_1__t17_tex_1.vout2024-08-03 09:30 7.0K 
[ ]tex_1__t18_tex_12024-07-28 21:07 14K 
[ ]tex_1__t18_tex_1.depv12024-08-03 10:19 33  
[ ]tex_1__t18_tex_1.depvmin12024-08-03 10:24 33  
[ ]tex_1__t18_tex_1.vmin12024-08-03 10:19 562  
[ ]tex_1__t18_tex_1.vmin1out2024-08-03 10:22 8.2K 
[ ]tex_1__t18_tex_1.vout2024-08-03 08:58 7.0K 
[ ]tex_1__t19_tex_12024-07-28 21:08 18K 
[ ]tex_1__t19_tex_1.depv12024-08-03 10:19 448  
[ ]tex_1__t19_tex_1.depvmin12024-08-03 10:24 355  
[ ]tex_1__t19_tex_1.vmin12024-08-03 10:19 3.1K 
[ ]tex_1__t19_tex_1.vmin1out2024-08-03 10:23 39K 
[ ]tex_1__t19_tex_1.vout2024-08-03 07:40 35K 
[ ]tex_1__t20_tex_12024-07-28 21:09 22K 
[ ]tex_1__t20_tex_1.vout2024-08-03 07:51 7.3K 
[ ]tex_1__t21_tex_12024-07-28 21:10 21K 
[ ]tex_1__t21_tex_1.vout2024-08-03 06:35 6.7K 
[ ]tex_1__t22_tex_12024-07-28 21:11 23K 
[ ]tex_1__t22_tex_1.depv12024-08-03 10:19 344  
[ ]tex_1__t22_tex_1.depvmin12024-08-03 10:24 331  
[ ]tex_1__t22_tex_1.vmin12024-08-03 10:19 3.2K 
[ ]tex_1__t22_tex_1.vmin1out2024-08-03 10:22 38K 
[ ]tex_1__t22_tex_1.vout2024-08-03 04:53 34K 
[ ]tex_1__t23_tex_12024-07-28 21:12 23K 
[ ]tex_1__t23_tex_1.depv12024-08-03 10:19 335  
[ ]tex_1__t23_tex_1.depvmin12024-08-03 10:24 335  
[ ]tex_1__t23_tex_1.vmin12024-08-03 10:19 4.0K 
[ ]tex_1__t23_tex_1.vmin1out2024-08-03 10:23 46K 
[ ]tex_1__t23_tex_1.vout2024-08-03 05:11 48K 
[ ]tex_1__t24_tex_12024-07-28 21:13 20K 
[ ]tex_1__t24_tex_1.vout2024-08-03 07:49 7.2K 
[ ]tex_1__t25_tex_12024-07-28 21:14 21K 
[ ]tex_1__t25_tex_1.vout2024-08-03 08:22 7.2K 
[ ]tex_1__t26_tex_12024-07-28 21:15 23K 
[ ]tex_1__t26_tex_1.vout2024-08-03 07:12 6.8K 
[ ]tex_1__t27_tex_12024-07-28 21:16 24K 
[ ]tex_1__t27_tex_1.vout2024-08-03 09:33 7.2K 
[ ]tex_1__t28_tex_12024-07-28 21:17 21K 
[ ]tex_1__t28_tex_1.vout2024-08-03 07:59 7.3K 
[ ]tex_1__t29_tex_12024-07-28 21:18 20K 
[ ]tex_1__t29_tex_1.vout2024-08-03 09:27 3.6K 
[ ]tex_1__t30_tex_12024-07-28 21:19 26K 
[ ]tex_1__t30_tex_1.vout2024-08-03 07:27 3.6K 
[ ]tex_1__t31_tex_12024-07-28 21:20 17K 
[ ]tex_1__t31_tex_1.vout2024-08-03 07:57 7.3K 
[ ]tex_1__t32_tex_12024-07-28 21:21 17K 
[ ]tex_1__t32_tex_1.vout2024-08-03 08:55 7.3K 
[ ]tex_1__t33_tex_12024-07-28 21:22 14K 
[ ]tex_1__t33_tex_1.vout2024-08-03 08:23 2.0K 
[ ]tex_1__t34_tex_12024-07-28 21:22 18K 
[ ]tex_1__t34_tex_1.depv12024-08-03 10:19 209  
[ ]tex_1__t34_tex_1.depvmin12024-08-03 10:24 196  
[ ]tex_1__t34_tex_1.vmin12024-08-03 10:19 3.0K 
[ ]tex_1__t34_tex_1.vmin1out2024-08-03 10:23 51K 
[ ]tex_1__t34_tex_1.vout2024-08-03 06:17 39K 
[ ]tex_1__t35_tex_12024-07-28 21:23 20K 
[ ]tex_1__t35_tex_1.vout2024-08-03 09:30 7.2K 
[ ]tex_1__t36_tex_12024-07-28 21:24 20K 
[ ]tex_1__t36_tex_1.vout2024-08-03 05:42 7.3K 
[ ]tex_1__t37_tex_12024-07-28 21:25 19K 
[ ]tex_1__t37_tex_1.depv12024-08-03 10:19 127  
[ ]tex_1__t37_tex_1.depvmin12024-08-03 10:24 86  
[ ]tex_1__t37_tex_1.vmin12024-08-03 10:19 1.9K 
[ ]tex_1__t37_tex_1.vmin1out2024-08-03 10:20 22K 
[ ]tex_1__t37_tex_1.vout2024-08-03 05:11 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80