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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rlvect_4__l1_rlvect_42025-09-08 20:26 18K 
[ ]rlvect_4__l1_rlvect_4.vout2025-09-15 14:34 7.3K 
[ ]rlvect_4__l2_rlvect_42025-09-08 20:27 19K 
[ ]rlvect_4__l2_rlvect_4.vout2025-09-15 16:32 7.3K 
[ ]rlvect_4__l3_rlvect_42025-09-08 20:29 19K 
[ ]rlvect_4__l3_rlvect_4.vout2025-09-15 13:29 6.8K 
[ ]rlvect_4__l10_rlvect_42025-09-08 19:38 5.1K 
[ ]rlvect_4__l10_rlvect_4.depv12025-09-15 19:47 106  
[ ]rlvect_4__l10_rlvect_4.depvmin12025-09-15 19:52 106  
[ ]rlvect_4__l10_rlvect_4.vmin12025-09-15 19:47 520  
[ ]rlvect_4__l10_rlvect_4.vmin1out2025-09-15 19:49 4.0K 
[ ]rlvect_4__l10_rlvect_4.vout2025-09-15 15:00 4.2K 
[ ]rlvect_4__t1_rlvect_42025-09-08 19:39 11K 
[ ]rlvect_4__t1_rlvect_4.depv12025-09-15 19:47 188  
[ ]rlvect_4__t1_rlvect_4.depvmin12025-09-15 19:52 173  
[ ]rlvect_4__t1_rlvect_4.vmin12025-09-15 19:47 3.0K 
[ ]rlvect_4__t1_rlvect_4.vmin1out2025-09-15 19:51 53K 
[ ]rlvect_4__t1_rlvect_4.vout2025-09-15 17:23 53K 
[ ]rlvect_4__t2_rlvect_42025-09-08 19:40 9.4K 
[ ]rlvect_4__t2_rlvect_4.depv12025-09-15 19:47 66  
[ ]rlvect_4__t2_rlvect_4.depvmin12025-09-15 19:52 66  
[ ]rlvect_4__t2_rlvect_4.vmin12025-09-15 19:47 1.4K 
[ ]rlvect_4__t2_rlvect_4.vmin1out2025-09-15 19:48 13K 
[ ]rlvect_4__t2_rlvect_4.vout2025-09-15 15:08 11K 
[ ]rlvect_4__t3_rlvect_42025-09-08 19:41 15K 
[ ]rlvect_4__t3_rlvect_4.depv12025-09-15 19:47 38  
[ ]rlvect_4__t3_rlvect_4.depvmin12025-09-15 19:52 38  
[ ]rlvect_4__t3_rlvect_4.vmin12025-09-15 19:47 1.2K 
[ ]rlvect_4__t3_rlvect_4.vmin1out2025-09-15 19:50 16K 
[ ]rlvect_4__t3_rlvect_4.vout2025-09-15 16:16 13K 
[ ]rlvect_4__t4_rlvect_42025-09-08 19:42 13K 
[ ]rlvect_4__t4_rlvect_4.depv12025-09-15 19:47 194  
[ ]rlvect_4__t4_rlvect_4.depvmin12025-09-15 19:52 137  
[ ]rlvect_4__t4_rlvect_4.vmin12025-09-15 19:47 2.9K 
[ ]rlvect_4__t4_rlvect_4.vmin1out2025-09-15 19:50 65K 
[ ]rlvect_4__t4_rlvect_4.vout2025-09-15 16:49 57K 
[ ]rlvect_4__t5_rlvect_42025-09-08 19:43 13K 
[ ]rlvect_4__t5_rlvect_4.depv12025-09-15 19:47 49  
[ ]rlvect_4__t5_rlvect_4.depvmin12025-09-15 19:52 49  
[ ]rlvect_4__t5_rlvect_4.vmin12025-09-15 19:47 1.7K 
[ ]rlvect_4__t5_rlvect_4.vmin1out2025-09-15 19:51 32K 
[ ]rlvect_4__t5_rlvect_4.vout2025-09-15 17:50 33K 
[ ]rlvect_4__t6_rlvect_42025-09-08 19:45 34K 
[ ]rlvect_4__t6_rlvect_4.vout2025-09-15 19:20 7.3K 
[ ]rlvect_4__t7_rlvect_42025-09-08 19:46 25K 
[ ]rlvect_4__t7_rlvect_4.vout2025-09-15 17:50 7.3K 
[ ]rlvect_4__t8_rlvect_42025-09-08 19:48 23K 
[ ]rlvect_4__t8_rlvect_4.vout2025-09-15 17:58 7.3K 
[ ]rlvect_4__t9_rlvect_42025-09-08 19:49 16K 
[ ]rlvect_4__t9_rlvect_4.depv12025-09-15 19:47 152  
[ ]rlvect_4__t9_rlvect_4.depvmin12025-09-15 19:52 133  
[ ]rlvect_4__t9_rlvect_4.vmin12025-09-15 19:47 1.7K 
[ ]rlvect_4__t9_rlvect_4.vmin1out2025-09-15 19:51 14K 
[ ]rlvect_4__t9_rlvect_4.vout2025-09-15 18:00 17K 
[ ]rlvect_4__t10_rlvect_42025-09-08 19:50 18K 
[ ]rlvect_4__t10_rlvect_4.depv12025-09-15 19:47 204  
[ ]rlvect_4__t10_rlvect_4.depvmin12025-09-15 19:52 204  
[ ]rlvect_4__t10_rlvect_4.vmin12025-09-15 19:47 3.4K 
[ ]rlvect_4__t10_rlvect_4.vmin1out2025-09-15 19:50 91K 
[ ]rlvect_4__t10_rlvect_4.vout2025-09-15 14:23 56K 
[ ]rlvect_4__t11_rlvect_42025-09-08 19:52 27K 
[ ]rlvect_4__t11_rlvect_4.vout2025-09-15 18:16 7.3K 
[ ]rlvect_4__t12_rlvect_42025-09-08 19:53 17K 
[ ]rlvect_4__t12_rlvect_4.depv12025-09-15 19:47 153  
[ ]rlvect_4__t12_rlvect_4.depvmin12025-09-15 19:52 134  
[ ]rlvect_4__t12_rlvect_4.vmin12025-09-15 19:47 1.9K 
[ ]rlvect_4__t12_rlvect_4.vmin1out2025-09-15 19:51 18K 
[ ]rlvect_4__t12_rlvect_4.vout2025-09-15 16:30 23K 
[ ]rlvect_4__t13_rlvect_42025-09-08 19:55 19K 
[ ]rlvect_4__t13_rlvect_4.vout2025-09-15 17:53 4.7K 
[ ]rlvect_4__t14_rlvect_42025-09-08 19:56 29K 
[ ]rlvect_4__t14_rlvect_4.vout2025-09-15 18:56 7.4K 
[ ]rlvect_4__t15_rlvect_42025-09-08 19:58 17K 
[ ]rlvect_4__t15_rlvect_4.depv12025-09-15 19:47 155  
[ ]rlvect_4__t15_rlvect_4.depvmin12025-09-15 19:52 136  
[ ]rlvect_4__t15_rlvect_4.vmin12025-09-15 19:47 2.1K 
[ ]rlvect_4__t15_rlvect_4.vmin1out2025-09-15 19:51 43K 
[ ]rlvect_4__t15_rlvect_4.vout2025-09-15 19:22 28K 
[ ]rlvect_4__t16_rlvect_42025-09-08 19:59 19K 
[ ]rlvect_4__t16_rlvect_4.vout2025-09-15 16:42 4.7K 
[ ]rlvect_4__t17_rlvect_42025-09-08 20:00 35K 
[ ]rlvect_4__t17_rlvect_4.vout2025-09-15 17:59 7.3K 
[ ]rlvect_4__t18_rlvect_42025-09-08 20:01 18K 
[ ]rlvect_4__t18_rlvect_4.vout2025-09-15 18:36 7.3K 
[ ]rlvect_4__t19_rlvect_42025-09-08 20:03 19K 
[ ]rlvect_4__t19_rlvect_4.depv12025-09-15 19:47 199  
[ ]rlvect_4__t19_rlvect_4.depvmin12025-09-15 19:52 123  
[ ]rlvect_4__t19_rlvect_4.vmin12025-09-15 19:47 2.6K 
[ ]rlvect_4__t19_rlvect_4.vmin1out2025-09-15 19:49 41K 
[ ]rlvect_4__t19_rlvect_4.vout2025-09-15 17:11 98K 
[ ]rlvect_4__t20_rlvect_42025-09-08 20:04 16K 
[ ]rlvect_4__t20_rlvect_4.vout2025-09-15 15:00 4.7K 
[ ]rlvect_4__t21_rlvect_42025-09-08 20:05 25K 
[ ]rlvect_4__t21_rlvect_4.vout2025-09-15 17:01 4.7K 
[ ]rlvect_4__t22_rlvect_42025-09-08 20:06 15K 
[ ]rlvect_4__t22_rlvect_4.depv12025-09-15 19:47 176  
[ ]rlvect_4__t22_rlvect_4.depvmin12025-09-15 19:52 176  
[ ]rlvect_4__t22_rlvect_4.vmin12025-09-15 19:47 2.0K 
[ ]rlvect_4__t22_rlvect_4.vmin1out2025-09-15 19:51 30K 
[ ]rlvect_4__t22_rlvect_4.vout2025-09-15 16:08 30K 
[ ]rlvect_4__t23_rlvect_42025-09-08 20:08 34K 
[ ]rlvect_4__t23_rlvect_4.vout2025-09-15 16:16 7.3K 
[ ]rlvect_4__t24_rlvect_42025-09-08 20:09 35K 
[ ]rlvect_4__t24_rlvect_4.vout2025-09-15 17:46 7.3K 
[ ]rlvect_4__t25_rlvect_42025-09-08 20:10 18K 
[ ]rlvect_4__t25_rlvect_4.vout2025-09-15 18:32 7.3K 
[ ]rlvect_4__t26_rlvect_42025-09-08 20:12 30K 
[ ]rlvect_4__t26_rlvect_4.vout2025-09-15 19:29 7.3K 
[ ]rlvect_4__t27_rlvect_42025-09-08 20:13 19K 
[ ]rlvect_4__t27_rlvect_4.depv12025-09-15 19:47 88  
[ ]rlvect_4__t27_rlvect_4.depvmin12025-09-15 19:52 88  
[ ]rlvect_4__t27_rlvect_4.vmin12025-09-15 19:47 2.2K 
[ ]rlvect_4__t27_rlvect_4.vmin1out2025-09-15 19:47 93K 
[ ]rlvect_4__t27_rlvect_4.vout2025-09-15 16:13 110K 
[ ]rlvect_4__t28_rlvect_42025-09-08 20:14 23K 
[ ]rlvect_4__t28_rlvect_4.vout2025-09-15 18:38 7.3K 
[ ]rlvect_4__t29_rlvect_42025-09-08 20:16 16K 
[ ]rlvect_4__t29_rlvect_4.vout2025-09-15 19:08 4.7K 
[ ]rlvect_4__t30_rlvect_42025-09-08 20:17 16K 
[ ]rlvect_4__t30_rlvect_4.vout2025-09-15 15:47 4.7K 
[ ]rlvect_4__t31_rlvect_42025-09-08 20:18 16K 
[ ]rlvect_4__t31_rlvect_4.depv12025-09-15 19:47 203  
[ ]rlvect_4__t31_rlvect_4.depvmin12025-09-15 19:52 203  
[ ]rlvect_4__t31_rlvect_4.vmin12025-09-15 19:47 2.8K 
[ ]rlvect_4__t31_rlvect_4.vmin1out2025-09-15 19:48 47K 
[ ]rlvect_4__t31_rlvect_4.vout2025-09-15 14:16 40K 
[ ]rlvect_4__t32_rlvect_42025-09-08 20:19 14K 
[ ]rlvect_4__t32_rlvect_4.depv12025-09-15 19:47 77  
[ ]rlvect_4__t32_rlvect_4.depvmin12025-09-15 19:52 77  
[ ]rlvect_4__t32_rlvect_4.vmin12025-09-15 19:47 1.4K 
[ ]rlvect_4__t32_rlvect_4.vmin1out2025-09-15 19:49 25K 
[ ]rlvect_4__t32_rlvect_4.vout2025-09-15 13:26 15K 
[ ]rlvect_4__t33_rlvect_42025-09-08 20:20 26K 
[ ]rlvect_4__t33_rlvect_4.vout2025-09-15 14:01 4.7K 
[ ]rlvect_4__t34_rlvect_42025-09-08 20:22 46K 
[ ]rlvect_4__t34_rlvect_4.vout2025-09-15 18:15 4.7K 
[ ]rlvect_4__t35_rlvect_42025-09-08 20:23 36K 
[ ]rlvect_4__t35_rlvect_4.vout2025-09-15 14:06 7.3K 
[ ]rlvect_4__t36_rlvect_42025-09-08 20:25 27K 
[ ]rlvect_4__t36_rlvect_4.vout2025-09-15 17:04 7.3K 
[ ]rlvect_4__t37_rlvect_42025-09-08 19:35 16K 
[ ]rlvect_4__t37_rlvect_4.depv12025-09-15 19:47 25  
[ ]rlvect_4__t37_rlvect_4.depvmin12025-09-15 19:52 25  
[ ]rlvect_4__t37_rlvect_4.vmin12025-09-15 19:47 914  
[ ]rlvect_4__t37_rlvect_4.vmin1out2025-09-15 19:50 21K 
[ ]rlvect_4__t37_rlvect_4.vout2025-09-15 18:53 21K 
[ ]rlvect_4__t38_rlvect_42025-09-08 19:36 16K 
[ ]rlvect_4__t38_rlvect_4.depv12025-09-15 19:47 109  
[ ]rlvect_4__t38_rlvect_4.depvmin12025-09-15 19:52 25  
[ ]rlvect_4__t38_rlvect_4.vmin12025-09-15 19:47 1.8K 
[ ]rlvect_4__t38_rlvect_4.vmin1out2025-09-15 19:48 38K 
[ ]rlvect_4__t38_rlvect_4.vout2025-09-15 17:38 24K 
[ ]rlvect_4__t39_rlvect_42025-09-08 19:37 16K 
[ ]rlvect_4__t39_rlvect_4.depv12025-09-15 19:47 25  
[ ]rlvect_4__t39_rlvect_4.depvmin12025-09-15 19:52 25  
[ ]rlvect_4__t39_rlvect_4.vmin12025-09-15 19:47 1.6K 
[ ]rlvect_4__t39_rlvect_4.vmin1out2025-09-15 19:49 64K 
[ ]rlvect_4__t39_rlvect_4.vout2025-09-15 17:22 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80