Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/rlvect_3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rlvect_3__l1_rlvect_32025-09-08 19:13 37K 
[   ]rlvect_3__l1_rlvect_3.vout2025-09-15 19:22 7.3K 
[   ]rlvect_3__l4_rlvect_32025-09-08 18:32 7.0K 
[   ]rlvect_3__l4_rlvect_3.depv12025-09-15 19:47 95  
[   ]rlvect_3__l4_rlvect_3.depvmin12025-09-15 19:52 95  
[   ]rlvect_3__l4_rlvect_3.vmin12025-09-15 19:47 563  
[   ]rlvect_3__l4_rlvect_3.vmin1out2025-09-15 19:49 4.0K 
[   ]rlvect_3__l4_rlvect_3.vout2025-09-15 17:40 3.9K 
[   ]rlvect_3__l20_rlvect_32025-09-08 19:14 22K 
[   ]rlvect_3__l20_rlvect_3.depv12025-09-15 19:47 184  
[   ]rlvect_3__l20_rlvect_3.depvmin12025-09-15 19:52 184  
[   ]rlvect_3__l20_rlvect_3.vmin12025-09-15 19:47 2.7K 
[   ]rlvect_3__l20_rlvect_3.vmin1out2025-09-15 19:50 23K 
[   ]rlvect_3__l20_rlvect_3.vout2025-09-15 19:05 37K 
[   ]rlvect_3__l25_rlvect_32025-09-08 19:15 21K 
[   ]rlvect_3__l25_rlvect_3.depv12025-09-15 19:47 65  
[   ]rlvect_3__l25_rlvect_3.depvmin12025-09-15 19:52 65  
[   ]rlvect_3__l25_rlvect_3.vmin12025-09-15 19:47 2.4K 
[   ]rlvect_3__l25_rlvect_3.vmin1out2025-09-15 19:48 70K 
[   ]rlvect_3__l25_rlvect_3.vout2025-09-15 13:40 43K 
[   ]rlvect_3__l26_rlvect_32025-09-08 19:17 21K 
[   ]rlvect_3__l26_rlvect_3.depv12025-09-15 19:47 61  
[   ]rlvect_3__l26_rlvect_3.depvmin12025-09-15 19:52 61  
[   ]rlvect_3__l26_rlvect_3.vmin12025-09-15 19:47 2.1K 
[   ]rlvect_3__l26_rlvect_3.vmin1out2025-09-15 19:50 51K 
[   ]rlvect_3__l26_rlvect_3.vout2025-09-15 18:32 36K 
[   ]rlvect_3__l27_rlvect_32025-09-08 19:18 21K 
[   ]rlvect_3__l27_rlvect_3.depv12025-09-15 19:47 64  
[   ]rlvect_3__l27_rlvect_3.depvmin12025-09-15 19:52 64  
[   ]rlvect_3__l27_rlvect_3.vmin12025-09-15 19:47 2.4K 
[   ]rlvect_3__l27_rlvect_3.vmin1out2025-09-15 19:50 41K 
[   ]rlvect_3__l27_rlvect_3.vout2025-09-15 13:52 44K 
[   ]rlvect_3__l28_rlvect_32025-09-08 19:19 23K 
[   ]rlvect_3__l28_rlvect_3.vout2025-09-15 15:13 4.1K 
[   ]rlvect_3__l33_rlvect_32025-09-08 19:20 15K 
[   ]rlvect_3__l33_rlvect_3.depv12025-09-15 19:47 182  
[   ]rlvect_3__l33_rlvect_3.depvmin12025-09-15 19:52 182  
[   ]rlvect_3__l33_rlvect_3.vmin12025-09-15 19:47 2.0K 
[   ]rlvect_3__l33_rlvect_3.vmin1out2025-09-15 19:50 20K 
[   ]rlvect_3__l33_rlvect_3.vout2025-09-15 18:23 21K 
[   ]rlvect_3__t1_rlvect_32025-09-08 18:34 51K 
[   ]rlvect_3__t1_rlvect_3.vout2025-09-15 19:28 4.2K 
[   ]rlvect_3__t2_rlvect_32025-09-08 18:36 41K 
[   ]rlvect_3__t2_rlvect_3.vout2025-09-15 15:09 3.7K 
[   ]rlvect_3__t3_rlvect_32025-09-08 18:38 21K 
[   ]rlvect_3__t3_rlvect_3.depv12025-09-15 19:47 116  
[   ]rlvect_3__t3_rlvect_3.depvmin12025-09-15 19:52 116  
[   ]rlvect_3__t3_rlvect_3.vmin12025-09-15 19:47 2.1K 
[   ]rlvect_3__t3_rlvect_3.vmin1out2025-09-15 19:48 24K 
[   ]rlvect_3__t3_rlvect_3.vout2025-09-15 15:27 26K 
[   ]rlvect_3__t4_rlvect_32025-09-08 18:39 24K 
[   ]rlvect_3__t4_rlvect_3.vout2025-09-15 17:01 2.0K 
[   ]rlvect_3__t5_rlvect_32025-09-08 18:40 22K 
[   ]rlvect_3__t5_rlvect_3.depv12025-09-15 19:47 37  
[   ]rlvect_3__t5_rlvect_3.depvmin12025-09-15 19:52 37  
[   ]rlvect_3__t5_rlvect_3.vmin12025-09-15 19:47 1.3K 
[   ]rlvect_3__t5_rlvect_3.vmin1out2025-09-15 19:49 32K 
[   ]rlvect_3__t5_rlvect_3.vout2025-09-15 16:52 13K 
[   ]rlvect_3__t6_rlvect_32025-09-08 18:42 25K 
[   ]rlvect_3__t6_rlvect_3.vout2025-09-15 19:27 4.2K 
[   ]rlvect_3__t7_rlvect_32025-09-08 18:43 22K 
[   ]rlvect_3__t7_rlvect_3.depv12025-09-15 19:47 140  
[   ]rlvect_3__t7_rlvect_3.depvmin12025-09-15 19:52 140  
[   ]rlvect_3__t7_rlvect_3.vmin12025-09-15 19:47 1.8K 
[   ]rlvect_3__t7_rlvect_3.vmin1out2025-09-15 19:49 22K 
[   ]rlvect_3__t7_rlvect_3.vout2025-09-15 19:07 15K 
[   ]rlvect_3__t8_rlvect_32025-09-08 18:45 25K 
[   ]rlvect_3__t8_rlvect_3.vout2025-09-15 17:54 3.7K 
[   ]rlvect_3__t9_rlvect_32025-09-08 18:22 16K 
[   ]rlvect_3__t9_rlvect_3.depv12025-09-15 19:47 69  
[   ]rlvect_3__t9_rlvect_3.depvmin12025-09-15 19:52 69  
[   ]rlvect_3__t9_rlvect_3.vmin12025-09-15 19:47 1.0K 
[   ]rlvect_3__t9_rlvect_3.vmin1out2025-09-15 19:49 15K 
[   ]rlvect_3__t9_rlvect_3.vout2025-09-15 17:01 15K 
[   ]rlvect_3__t10_rlvect_32025-09-08 18:46 17K 
[   ]rlvect_3__t10_rlvect_3.depv12025-09-15 19:47 180  
[   ]rlvect_3__t10_rlvect_3.depvmin12025-09-15 19:52 180  
[   ]rlvect_3__t10_rlvect_3.vmin12025-09-15 19:47 1.8K 
[   ]rlvect_3__t10_rlvect_3.vmin1out2025-09-15 19:50 18K 
[   ]rlvect_3__t10_rlvect_3.vout2025-09-15 19:36 21K 
[   ]rlvect_3__t11_rlvect_32025-09-08 18:23 16K 
[   ]rlvect_3__t11_rlvect_3.depv12025-09-15 19:47 71  
[   ]rlvect_3__t11_rlvect_3.depvmin12025-09-15 19:52 71  
[   ]rlvect_3__t11_rlvect_3.vmin12025-09-15 19:47 1.2K 
[   ]rlvect_3__t11_rlvect_3.vmin1out2025-09-15 19:50 22K 
[   ]rlvect_3__t11_rlvect_3.vout2025-09-15 18:24 22K 
[   ]rlvect_3__t12_rlvect_32025-09-08 18:48 40K 
[   ]rlvect_3__t12_rlvect_3.vout2025-09-15 18:30 3.7K 
[   ]rlvect_3__t13_rlvect_32025-09-08 18:49 30K 
[   ]rlvect_3__t13_rlvect_3.vout2025-09-15 19:33 4.7K 
[   ]rlvect_3__t14_rlvect_32025-09-08 18:51 23K 
[   ]rlvect_3__t14_rlvect_3.depv12025-09-15 19:47 209  
[   ]rlvect_3__t14_rlvect_3.depvmin12025-09-15 19:52 135  
[   ]rlvect_3__t14_rlvect_3.vmin12025-09-15 19:47 3.0K 
[   ]rlvect_3__t14_rlvect_3.vmin1out2025-09-15 19:50 58K 
[   ]rlvect_3__t14_rlvect_3.vout2025-09-15 19:40 38K 
[   ]rlvect_3__t15_rlvect_32025-09-08 18:52 28K 
[   ]rlvect_3__t15_rlvect_3.vout2025-09-15 19:29 5.3K 
[   ]rlvect_3__t16_rlvect_32025-09-08 18:54 26K 
[   ]rlvect_3__t16_rlvect_3.vout2025-09-15 14:28 7.3K 
[   ]rlvect_3__t17_rlvect_32025-09-08 18:55 23K 
[   ]rlvect_3__t17_rlvect_3.depv12025-09-15 19:47 174  
[   ]rlvect_3__t17_rlvect_3.depvmin12025-09-15 19:52 174  
[   ]rlvect_3__t17_rlvect_3.vmin12025-09-15 19:47 2.1K 
[   ]rlvect_3__t17_rlvect_3.vmin1out2025-09-15 19:50 41K 
[   ]rlvect_3__t17_rlvect_3.vout2025-09-15 17:13 24K 
[   ]rlvect_3__t18_rlvect_32025-09-08 18:56 24K 
[   ]rlvect_3__t18_rlvect_3.depv12025-09-15 19:47 231  
[   ]rlvect_3__t18_rlvect_3.depvmin12025-09-15 19:52 211  
[   ]rlvect_3__t18_rlvect_3.vmin12025-09-15 19:47 4.2K 
[   ]rlvect_3__t18_rlvect_3.vmin1out2025-09-15 19:50 65K 
[   ]rlvect_3__t18_rlvect_3.vout2025-09-15 19:02 73K 
[   ]rlvect_3__t19_rlvect_32025-09-08 18:58 21K 
[   ]rlvect_3__t19_rlvect_3.depv12025-09-15 19:47 76  
[   ]rlvect_3__t19_rlvect_3.depvmin12025-09-15 19:52 76  
[   ]rlvect_3__t19_rlvect_3.vmin12025-09-15 19:47 1.6K 
[   ]rlvect_3__t19_rlvect_3.vmin1out2025-09-15 19:50 29K 
[   ]rlvect_3__t19_rlvect_3.vout2025-09-15 15:14 16K 
[   ]rlvect_3__t20_rlvect_32025-09-08 18:59 23K 
[   ]rlvect_3__t20_rlvect_3.depv12025-09-15 19:47 66  
[   ]rlvect_3__t20_rlvect_3.depvmin12025-09-15 19:52 66  
[   ]rlvect_3__t20_rlvect_3.vmin12025-09-15 19:47 2.1K 
[   ]rlvect_3__t20_rlvect_3.vmin1out2025-09-15 19:50 58K 
[   ]rlvect_3__t20_rlvect_3.vout2025-09-15 16:14 34K 
[   ]rlvect_3__t21_rlvect_32025-09-08 19:00 21K 
[   ]rlvect_3__t21_rlvect_3.depv12025-09-15 19:47 67  
[   ]rlvect_3__t21_rlvect_3.depvmin12025-09-15 19:52 67  
[   ]rlvect_3__t21_rlvect_3.vmin12025-09-15 19:47 2.3K 
[   ]rlvect_3__t21_rlvect_3.vmin1out2025-09-15 19:49 18K 
[   ]rlvect_3__t21_rlvect_3.vout2025-09-15 17:09 53K 
[   ]rlvect_3__t22_rlvect_32025-09-08 19:02 40K 
[   ]rlvect_3__t22_rlvect_3.vout2025-09-15 15:06 3.7K 
[   ]rlvect_3__t23_rlvect_32025-09-08 19:03 23K 
[   ]rlvect_3__t23_rlvect_3.depv12025-09-15 19:47 159  
[   ]rlvect_3__t23_rlvect_3.depvmin12025-09-15 19:52 133  
[   ]rlvect_3__t23_rlvect_3.vmin12025-09-15 19:47 2.3K 
[   ]rlvect_3__t23_rlvect_3.vmin1out2025-09-15 19:50 35K 
[   ]rlvect_3__t23_rlvect_3.vout2025-09-15 14:09 49K 
[   ]rlvect_3__t24_rlvect_32025-09-08 19:06 69K 
[   ]rlvect_3__t24_rlvect_3.vout2025-09-15 18:37 3.7K 
[   ]rlvect_3__t25_rlvect_32025-09-08 19:09 71K 
[   ]rlvect_3__t25_rlvect_3.vout2025-09-15 15:23 3.7K 
[   ]rlvect_3__t26_rlvect_32025-09-08 19:10 22K 
[   ]rlvect_3__t26_rlvect_3.depv12025-09-15 19:47 63  
[   ]rlvect_3__t26_rlvect_3.depvmin12025-09-15 19:52 63  
[   ]rlvect_3__t26_rlvect_3.vmin12025-09-15 19:47 1.6K 
[   ]rlvect_3__t26_rlvect_3.vmin1out2025-09-15 19:51 30K 
[   ]rlvect_3__t26_rlvect_3.vout2025-09-15 17:25 41K 
[   ]rlvect_3__t27_rlvect_32025-09-08 19:11 22K 
[   ]rlvect_3__t27_rlvect_3.depv12025-09-15 19:47 78  
[   ]rlvect_3__t27_rlvect_3.depvmin12025-09-15 19:52 78  
[   ]rlvect_3__t27_rlvect_3.vmin12025-09-15 19:47 1.9K 
[   ]rlvect_3__t27_rlvect_3.vmin1out2025-09-15 19:50 35K 
[   ]rlvect_3__t27_rlvect_3.vout2025-09-15 16:58 45K 
[   ]rlvect_3__t28_rlvect_32025-09-08 18:24 13K 
[   ]rlvect_3__t28_rlvect_3.depv12025-09-15 19:47 51  
[   ]rlvect_3__t28_rlvect_3.depvmin12025-09-15 19:52 51  
[   ]rlvect_3__t28_rlvect_3.vmin12025-09-15 19:47 437  
[   ]rlvect_3__t28_rlvect_3.vmin1out2025-09-15 19:48 5.8K 
[   ]rlvect_3__t28_rlvect_3.vout2025-09-15 16:00 5.9K 
[   ]rlvect_3__t29_rlvect_32025-09-08 18:25 21K 
[   ]rlvect_3__t29_rlvect_3.depv12025-09-15 19:47 26  
[   ]rlvect_3__t29_rlvect_3.depvmin12025-09-15 19:52 26  
[   ]rlvect_3__t29_rlvect_3.vmin12025-09-15 19:47 653  
[   ]rlvect_3__t29_rlvect_3.vmin1out2025-09-15 19:49 18K 
[   ]rlvect_3__t29_rlvect_3.vout2025-09-15 18:37 12K 
[   ]rlvect_3__t30_rlvect_32025-09-08 18:26 20K 
[   ]rlvect_3__t30_rlvect_3.depv12025-09-15 19:47 26  
[   ]rlvect_3__t30_rlvect_3.depvmin12025-09-15 19:52 26  
[   ]rlvect_3__t30_rlvect_3.vmin12025-09-15 19:47 853  
[   ]rlvect_3__t30_rlvect_3.vmin1out2025-09-15 19:48 11K 
[   ]rlvect_3__t30_rlvect_3.vout2025-09-15 15:38 7.5K 
[   ]rlvect_3__t31_rlvect_32025-09-08 18:27 20K 
[   ]rlvect_3__t31_rlvect_3.depv12025-09-15 19:47 26  
[   ]rlvect_3__t31_rlvect_3.depvmin12025-09-15 19:52 26  
[   ]rlvect_3__t31_rlvect_3.vmin12025-09-15 19:47 899  
[   ]rlvect_3__t31_rlvect_3.vmin1out2025-09-15 19:48 11K 
[   ]rlvect_3__t31_rlvect_3.vout2025-09-15 18:31 7.9K 
[   ]rlvect_3__t32_rlvect_32025-09-08 18:29 20K 
[   ]rlvect_3__t32_rlvect_3.depv12025-09-15 19:47 26  
[   ]rlvect_3__t32_rlvect_3.depvmin12025-09-15 19:52 26  
[   ]rlvect_3__t32_rlvect_3.vmin12025-09-15 19:47 899  
[   ]rlvect_3__t32_rlvect_3.vmin1out2025-09-15 19:51 11K 
[   ]rlvect_3__t32_rlvect_3.vout2025-09-15 14:20 7.9K 
[   ]rlvect_3__t33_rlvect_32025-09-08 18:30 20K 
[   ]rlvect_3__t33_rlvect_3.depv12025-09-15 19:47 26  
[   ]rlvect_3__t33_rlvect_3.depvmin12025-09-15 19:52 26  
[   ]rlvect_3__t33_rlvect_3.vmin12025-09-15 19:47 853  
[   ]rlvect_3__t33_rlvect_3.vmin1out2025-09-15 19:49 11K 
[   ]rlvect_3__t33_rlvect_3.vout2025-09-15 19:11 7.5K 
[   ]rlvect_3__t34_rlvect_32025-09-08 18:31 19K 
[   ]rlvect_3__t34_rlvect_3.depv12025-09-15 19:47 25  
[   ]rlvect_3__t34_rlvect_3.depvmin12025-09-15 19:52 25  
[   ]rlvect_3__t34_rlvect_3.vmin12025-09-15 19:47 1.3K 
[   ]rlvect_3__t34_rlvect_3.vmin1out2025-09-15 19:48 17K 
[   ]rlvect_3__t34_rlvect_3.vout2025-09-15 13:39 19K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80