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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rlvect_3__l1_rlvect_32024-07-28 06:58 37K 
[ ]rlvect_3__l1_rlvect_3.vout2024-08-03 04:20 7.3K 
[ ]rlvect_3__l4_rlvect_32024-07-28 06:18 7.0K 
[ ]rlvect_3__l4_rlvect_3.depv12024-08-03 10:19 95  
[ ]rlvect_3__l4_rlvect_3.depvmin12024-08-03 10:24 95  
[ ]rlvect_3__l4_rlvect_3.vmin12024-08-03 10:20 563  
[ ]rlvect_3__l4_rlvect_3.vmin1out2024-08-03 10:22 4.0K 
[ ]rlvect_3__l4_rlvect_3.vout2024-08-03 06:55 3.9K 
[ ]rlvect_3__l20_rlvect_32024-07-28 06:59 22K 
[ ]rlvect_3__l20_rlvect_3.depv12024-08-03 10:19 184  
[ ]rlvect_3__l20_rlvect_3.depvmin12024-08-03 10:24 184  
[ ]rlvect_3__l20_rlvect_3.vmin12024-08-03 10:20 2.7K 
[ ]rlvect_3__l20_rlvect_3.vmin1out2024-08-03 10:23 23K 
[ ]rlvect_3__l20_rlvect_3.vout2024-08-03 08:13 37K 
[ ]rlvect_3__l25_rlvect_32024-07-28 07:00 21K 
[ ]rlvect_3__l25_rlvect_3.depv12024-08-03 10:19 65  
[ ]rlvect_3__l25_rlvect_3.depvmin12024-08-03 10:24 65  
[ ]rlvect_3__l25_rlvect_3.vmin12024-08-03 10:20 2.4K 
[ ]rlvect_3__l25_rlvect_3.vmin1out2024-08-03 10:22 70K 
[ ]rlvect_3__l25_rlvect_3.vout2024-08-03 06:17 43K 
[ ]rlvect_3__l26_rlvect_32024-07-28 07:02 21K 
[ ]rlvect_3__l26_rlvect_3.depv12024-08-03 10:19 61  
[ ]rlvect_3__l26_rlvect_3.depvmin12024-08-03 10:24 61  
[ ]rlvect_3__l26_rlvect_3.vmin12024-08-03 10:20 2.1K 
[ ]rlvect_3__l26_rlvect_3.vmin1out2024-08-03 10:21 51K 
[ ]rlvect_3__l26_rlvect_3.vout2024-08-03 07:13 36K 
[ ]rlvect_3__l27_rlvect_32024-07-28 07:03 21K 
[ ]rlvect_3__l27_rlvect_3.depv12024-08-03 10:19 64  
[ ]rlvect_3__l27_rlvect_3.depvmin12024-08-03 10:24 64  
[ ]rlvect_3__l27_rlvect_3.vmin12024-08-03 10:20 2.4K 
[ ]rlvect_3__l27_rlvect_3.vmin1out2024-08-03 10:21 41K 
[ ]rlvect_3__l27_rlvect_3.vout2024-08-03 06:15 44K 
[ ]rlvect_3__l28_rlvect_32024-07-28 07:04 23K 
[ ]rlvect_3__l28_rlvect_3.vout2024-08-03 09:57 4.1K 
[ ]rlvect_3__l33_rlvect_32024-07-28 07:05 15K 
[ ]rlvect_3__l33_rlvect_3.depv12024-08-03 10:19 182  
[ ]rlvect_3__l33_rlvect_3.depvmin12024-08-03 10:24 182  
[ ]rlvect_3__l33_rlvect_3.vmin12024-08-03 10:20 2.0K 
[ ]rlvect_3__l33_rlvect_3.vmin1out2024-08-03 10:21 20K 
[ ]rlvect_3__l33_rlvect_3.vout2024-08-03 07:50 21K 
[ ]rlvect_3__t1_rlvect_32024-07-28 06:21 51K 
[ ]rlvect_3__t1_rlvect_3.vout2024-08-03 07:21 3.7K 
[ ]rlvect_3__t2_rlvect_32024-07-28 06:23 41K 
[ ]rlvect_3__t2_rlvect_3.vout2024-08-03 05:25 3.7K 
[ ]rlvect_3__t3_rlvect_32024-07-28 06:24 21K 
[ ]rlvect_3__t3_rlvect_3.depv12024-08-03 10:19 116  
[ ]rlvect_3__t3_rlvect_3.depvmin12024-08-03 10:24 116  
[ ]rlvect_3__t3_rlvect_3.vmin12024-08-03 10:20 2.1K 
[ ]rlvect_3__t3_rlvect_3.vmin1out2024-08-03 10:22 24K 
[ ]rlvect_3__t3_rlvect_3.vout2024-08-03 08:31 26K 
[ ]rlvect_3__t4_rlvect_32024-07-28 06:26 24K 
[ ]rlvect_3__t4_rlvect_3.vout2024-08-03 09:15 2.0K 
[ ]rlvect_3__t5_rlvect_32024-07-28 06:27 22K 
[ ]rlvect_3__t5_rlvect_3.depv12024-08-03 10:19 37  
[ ]rlvect_3__t5_rlvect_3.depvmin12024-08-03 10:24 37  
[ ]rlvect_3__t5_rlvect_3.vmin12024-08-03 10:20 1.3K 
[ ]rlvect_3__t5_rlvect_3.vmin1out2024-08-03 10:20 32K 
[ ]rlvect_3__t5_rlvect_3.vout2024-08-03 07:37 13K 
[ ]rlvect_3__t6_rlvect_32024-07-28 06:28 25K 
[ ]rlvect_3__t6_rlvect_3.vout2024-08-03 08:30 4.2K 
[ ]rlvect_3__t7_rlvect_32024-07-28 06:30 22K 
[ ]rlvect_3__t7_rlvect_3.depv12024-08-03 10:19 140  
[ ]rlvect_3__t7_rlvect_3.depvmin12024-08-03 10:24 140  
[ ]rlvect_3__t7_rlvect_3.vmin12024-08-03 10:20 1.8K 
[ ]rlvect_3__t7_rlvect_3.vmin1out2024-08-03 10:21 22K 
[ ]rlvect_3__t7_rlvect_3.vout2024-08-03 08:20 15K 
[ ]rlvect_3__t8_rlvect_32024-07-28 06:31 25K 
[ ]rlvect_3__t8_rlvect_3.vout2024-08-03 08:00 3.7K 
[ ]rlvect_3__t9_rlvect_32024-07-28 06:09 16K 
[ ]rlvect_3__t9_rlvect_3.depv12024-08-03 10:19 69  
[ ]rlvect_3__t9_rlvect_3.depvmin12024-08-03 10:24 69  
[ ]rlvect_3__t9_rlvect_3.vmin12024-08-03 10:20 1.0K 
[ ]rlvect_3__t9_rlvect_3.vmin1out2024-08-03 10:22 15K 
[ ]rlvect_3__t9_rlvect_3.vout2024-08-03 09:34 15K 
[ ]rlvect_3__t10_rlvect_32024-07-28 06:32 17K 
[ ]rlvect_3__t10_rlvect_3.depv12024-08-03 10:19 180  
[ ]rlvect_3__t10_rlvect_3.depvmin12024-08-03 10:24 180  
[ ]rlvect_3__t10_rlvect_3.vmin12024-08-03 10:20 1.8K 
[ ]rlvect_3__t10_rlvect_3.vmin1out2024-08-03 10:21 18K 
[ ]rlvect_3__t10_rlvect_3.vout2024-08-03 04:55 21K 
[ ]rlvect_3__t11_rlvect_32024-07-28 06:10 16K 
[ ]rlvect_3__t11_rlvect_3.depv12024-08-03 10:19 71  
[ ]rlvect_3__t11_rlvect_3.depvmin12024-08-03 10:24 71  
[ ]rlvect_3__t11_rlvect_3.vmin12024-08-03 10:20 1.2K 
[ ]rlvect_3__t11_rlvect_3.vmin1out2024-08-03 10:21 22K 
[ ]rlvect_3__t11_rlvect_3.vout2024-08-03 06:02 22K 
[ ]rlvect_3__t12_rlvect_32024-07-28 06:34 40K 
[ ]rlvect_3__t12_rlvect_3.vout2024-08-03 06:15 3.7K 
[ ]rlvect_3__t13_rlvect_32024-07-28 06:35 30K 
[ ]rlvect_3__t13_rlvect_3.vout2024-08-03 08:13 4.7K 
[ ]rlvect_3__t14_rlvect_32024-07-28 06:36 23K 
[ ]rlvect_3__t14_rlvect_3.depv12024-08-03 10:19 209  
[ ]rlvect_3__t14_rlvect_3.depvmin12024-08-03 10:24 135  
[ ]rlvect_3__t14_rlvect_3.vmin12024-08-03 10:20 3.0K 
[ ]rlvect_3__t14_rlvect_3.vmin1out2024-08-03 10:20 58K 
[ ]rlvect_3__t14_rlvect_3.vout2024-08-03 05:48 38K 
[ ]rlvect_3__t15_rlvect_32024-07-28 06:38 28K 
[ ]rlvect_3__t15_rlvect_3.vout2024-08-03 06:32 5.3K 
[ ]rlvect_3__t16_rlvect_32024-07-28 06:39 26K 
[ ]rlvect_3__t16_rlvect_3.vout2024-08-03 09:16 7.3K 
[ ]rlvect_3__t17_rlvect_32024-07-28 06:41 23K 
[ ]rlvect_3__t17_rlvect_3.depv12024-08-03 10:19 174  
[ ]rlvect_3__t17_rlvect_3.depvmin12024-08-03 10:24 174  
[ ]rlvect_3__t17_rlvect_3.vmin12024-08-03 10:20 2.1K 
[ ]rlvect_3__t17_rlvect_3.vmin1out2024-08-03 10:20 41K 
[ ]rlvect_3__t17_rlvect_3.vout2024-08-03 08:26 24K 
[ ]rlvect_3__t18_rlvect_32024-07-28 06:42 24K 
[ ]rlvect_3__t18_rlvect_3.depv12024-08-03 10:19 231  
[ ]rlvect_3__t18_rlvect_3.depvmin12024-08-03 10:24 211  
[ ]rlvect_3__t18_rlvect_3.vmin12024-08-03 10:20 4.2K 
[ ]rlvect_3__t18_rlvect_3.vmin1out2024-08-03 10:21 65K 
[ ]rlvect_3__t18_rlvect_3.vout2024-08-03 06:55 73K 
[ ]rlvect_3__t19_rlvect_32024-07-28 06:43 21K 
[ ]rlvect_3__t19_rlvect_3.depv12024-08-03 10:19 76  
[ ]rlvect_3__t19_rlvect_3.depvmin12024-08-03 10:24 76  
[ ]rlvect_3__t19_rlvect_3.vmin12024-08-03 10:20 1.6K 
[ ]rlvect_3__t19_rlvect_3.vmin1out2024-08-03 10:20 29K 
[ ]rlvect_3__t19_rlvect_3.vout2024-08-03 09:25 16K 
[ ]rlvect_3__t20_rlvect_32024-07-28 06:44 23K 
[ ]rlvect_3__t20_rlvect_3.depv12024-08-03 10:19 66  
[ ]rlvect_3__t20_rlvect_3.depvmin12024-08-03 10:24 66  
[ ]rlvect_3__t20_rlvect_3.vmin12024-08-03 10:20 2.1K 
[ ]rlvect_3__t20_rlvect_3.vmin1out2024-08-03 10:22 58K 
[ ]rlvect_3__t20_rlvect_3.vout2024-08-03 05:09 34K 
[ ]rlvect_3__t21_rlvect_32024-07-28 06:46 21K 
[ ]rlvect_3__t21_rlvect_3.depv12024-08-03 10:19 67  
[ ]rlvect_3__t21_rlvect_3.depvmin12024-08-03 10:24 67  
[ ]rlvect_3__t21_rlvect_3.vmin12024-08-03 10:20 2.3K 
[ ]rlvect_3__t21_rlvect_3.vmin1out2024-08-03 10:20 18K 
[ ]rlvect_3__t21_rlvect_3.vout2024-08-03 06:02 53K 
[ ]rlvect_3__t22_rlvect_32024-07-28 06:47 40K 
[ ]rlvect_3__t22_rlvect_3.vout2024-08-03 08:54 3.7K 
[ ]rlvect_3__t23_rlvect_32024-07-28 06:49 23K 
[ ]rlvect_3__t23_rlvect_3.depv12024-08-03 10:19 159  
[ ]rlvect_3__t23_rlvect_3.depvmin12024-08-03 10:24 133  
[ ]rlvect_3__t23_rlvect_3.vmin12024-08-03 10:20 2.3K 
[ ]rlvect_3__t23_rlvect_3.vmin1out2024-08-03 10:22 35K 
[ ]rlvect_3__t23_rlvect_3.vout2024-08-03 09:25 49K 
[ ]rlvect_3__t24_rlvect_32024-07-28 06:51 69K 
[ ]rlvect_3__t24_rlvect_3.vout2024-08-03 08:38 3.7K 
[ ]rlvect_3__t25_rlvect_32024-07-28 06:54 71K 
[ ]rlvect_3__t25_rlvect_3.vout2024-08-03 05:51 3.7K 
[ ]rlvect_3__t26_rlvect_32024-07-28 06:55 22K 
[ ]rlvect_3__t26_rlvect_3.depv12024-08-03 10:19 63  
[ ]rlvect_3__t26_rlvect_3.depvmin12024-08-03 10:24 63  
[ ]rlvect_3__t26_rlvect_3.vmin12024-08-03 10:20 1.6K 
[ ]rlvect_3__t26_rlvect_3.vmin1out2024-08-03 10:21 30K 
[ ]rlvect_3__t26_rlvect_3.vout2024-08-03 04:23 41K 
[ ]rlvect_3__t27_rlvect_32024-07-28 06:57 22K 
[ ]rlvect_3__t27_rlvect_3.depv12024-08-03 10:19 78  
[ ]rlvect_3__t27_rlvect_3.depvmin12024-08-03 10:24 78  
[ ]rlvect_3__t27_rlvect_3.vmin12024-08-03 10:20 1.9K 
[ ]rlvect_3__t27_rlvect_3.vmin1out2024-08-03 10:23 35K 
[ ]rlvect_3__t27_rlvect_3.vout2024-08-03 05:44 45K 
[ ]rlvect_3__t28_rlvect_32024-07-28 06:11 13K 
[ ]rlvect_3__t28_rlvect_3.depv12024-08-03 10:19 51  
[ ]rlvect_3__t28_rlvect_3.depvmin12024-08-03 10:24 51  
[ ]rlvect_3__t28_rlvect_3.vmin12024-08-03 10:20 437  
[ ]rlvect_3__t28_rlvect_3.vmin1out2024-08-03 10:22 5.8K 
[ ]rlvect_3__t28_rlvect_3.vout2024-08-03 04:33 5.9K 
[ ]rlvect_3__t29_rlvect_32024-07-28 06:12 21K 
[ ]rlvect_3__t29_rlvect_3.depv12024-08-03 10:19 26  
[ ]rlvect_3__t29_rlvect_3.depvmin12024-08-03 10:24 26  
[ ]rlvect_3__t29_rlvect_3.vmin12024-08-03 10:20 653  
[ ]rlvect_3__t29_rlvect_3.vmin1out2024-08-03 10:21 18K 
[ ]rlvect_3__t29_rlvect_3.vout2024-08-03 08:42 12K 
[ ]rlvect_3__t30_rlvect_32024-07-28 06:13 20K 
[ ]rlvect_3__t30_rlvect_3.depv12024-08-03 10:19 26  
[ ]rlvect_3__t30_rlvect_3.depvmin12024-08-03 10:24 26  
[ ]rlvect_3__t30_rlvect_3.vmin12024-08-03 10:20 853  
[ ]rlvect_3__t30_rlvect_3.vmin1out2024-08-03 10:22 11K 
[ ]rlvect_3__t30_rlvect_3.vout2024-08-03 09:02 7.5K 
[ ]rlvect_3__t31_rlvect_32024-07-28 06:14 20K 
[ ]rlvect_3__t31_rlvect_3.depv12024-08-03 10:19 26  
[ ]rlvect_3__t31_rlvect_3.depvmin12024-08-03 10:24 26  
[ ]rlvect_3__t31_rlvect_3.vmin12024-08-03 10:20 899  
[ ]rlvect_3__t31_rlvect_3.vmin1out2024-08-03 10:21 11K 
[ ]rlvect_3__t31_rlvect_3.vout2024-08-03 09:11 7.9K 
[ ]rlvect_3__t32_rlvect_32024-07-28 06:16 20K 
[ ]rlvect_3__t32_rlvect_3.depv12024-08-03 10:19 26  
[ ]rlvect_3__t32_rlvect_3.depvmin12024-08-03 10:24 26  
[ ]rlvect_3__t32_rlvect_3.vmin12024-08-03 10:20 899  
[ ]rlvect_3__t32_rlvect_3.vmin1out2024-08-03 10:22 11K 
[ ]rlvect_3__t32_rlvect_3.vout2024-08-03 04:10 7.9K 
[ ]rlvect_3__t33_rlvect_32024-07-28 06:17 20K 
[ ]rlvect_3__t33_rlvect_3.depv12024-08-03 10:19 26  
[ ]rlvect_3__t33_rlvect_3.depvmin12024-08-03 10:24 26  
[ ]rlvect_3__t33_rlvect_3.vmin12024-08-03 10:20 853  
[ ]rlvect_3__t33_rlvect_3.vmin1out2024-08-03 10:20 11K 
[ ]rlvect_3__t33_rlvect_3.vout2024-08-03 07:40 7.5K 
[ ]rlvect_3__t34_rlvect_32024-07-28 06:18 19K 
[ ]rlvect_3__t34_rlvect_3.depv12024-08-03 10:19 25  
[ ]rlvect_3__t34_rlvect_3.depvmin12024-08-03 10:24 25  
[ ]rlvect_3__t34_rlvect_3.vmin12024-08-03 10:20 1.3K 
[ ]rlvect_3__t34_rlvect_3.vmin1out2024-08-03 10:21 17K 
[ ]rlvect_3__t34_rlvect_3.vout2024-08-03 09:16 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80