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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]clvect_3__t1_clvect_32024-07-27 14:18 38K 
[ ]clvect_3__t1_clvect_3.vout2024-08-03 05:05 6.8K 
[ ]clvect_3__t2_clvect_32024-07-27 14:20 37K 
[ ]clvect_3__t2_clvect_3.vout2024-08-03 07:37 7.3K 
[ ]clvect_3__t3_clvect_32024-07-27 14:21 36K 
[ ]clvect_3__t3_clvect_3.vout2024-08-03 04:17 6.8K 
[ ]clvect_3__t4_clvect_32024-07-27 14:23 32K 
[ ]clvect_3__t4_clvect_3.vout2024-08-03 05:27 4.1K 
[ ]clvect_3__t5_clvect_32024-07-27 14:24 32K 
[ ]clvect_3__t5_clvect_3.depv12024-08-03 10:19 65  
[ ]clvect_3__t5_clvect_3.depvmin12024-08-03 10:24 65  
[ ]clvect_3__t5_clvect_3.vmin12024-08-03 10:19 2.7K 
[ ]clvect_3__t5_clvect_3.vmin1out2024-08-03 10:21 56K 
[ ]clvect_3__t5_clvect_3.vout2024-08-03 07:17 70K 
[ ]clvect_3__t6_clvect_32024-07-27 14:26 34K 
[ ]clvect_3__t6_clvect_3.vout2024-08-03 04:33 2.0K 
[ ]clvect_3__t7_clvect_32024-07-27 14:27 32K 
[ ]clvect_3__t7_clvect_3.vout2024-08-03 09:41 2.0K 
[ ]clvect_3__t8_clvect_32024-07-27 14:29 31K 
[ ]clvect_3__t8_clvect_3.vout2024-08-03 08:54 2.0K 
[ ]clvect_3__t10_clvect_32024-07-27 14:09 34K 
[ ]clvect_3__t10_clvect_3.vout2024-08-03 06:15 2.0K 
[ ]clvect_3__t11_clvect_32024-07-27 14:11 28K 
[ ]clvect_3__t11_clvect_3.vout2024-08-03 08:52 3.6K 
[ ]clvect_3__t13_clvect_32024-07-27 14:30 45K 
[ ]clvect_3__t13_clvect_3.vout2024-08-03 09:50 4.7K 
[ ]clvect_3__t15_clvect_32024-07-27 14:12 34K 
[ ]clvect_3__t15_clvect_3.depv12024-08-03 10:19 220  
[ ]clvect_3__t15_clvect_3.depvmin12024-08-03 10:24 220  
[ ]clvect_3__t15_clvect_3.vmin12024-08-03 10:19 3.3K 
[ ]clvect_3__t15_clvect_3.vmin1out2024-08-03 10:22 52K 
[ ]clvect_3__t15_clvect_3.vout2024-08-03 05:50 53K 
[ ]clvect_3__t16_clvect_32024-07-27 14:32 35K 
[ ]clvect_3__t16_clvect_3.vout2024-08-03 09:04 7.4K 
[ ]clvect_3__t17_clvect_32024-07-27 14:33 36K 
[ ]clvect_3__t17_clvect_3.depv12024-08-03 10:19 260  
[ ]clvect_3__t17_clvect_3.depvmin12024-08-03 10:24 260  
[ ]clvect_3__t17_clvect_3.vmin12024-08-03 10:19 4.0K 
[ ]clvect_3__t17_clvect_3.vmin1out2024-08-03 10:21 65K 
[ ]clvect_3__t17_clvect_3.vout2024-08-03 06:49 67K 
[ ]clvect_3__t18_clvect_32024-07-27 14:13 35K 
[ ]clvect_3__t18_clvect_3.vout2024-08-03 09:08 7.3K 
[ ]clvect_3__t19_clvect_32024-07-27 14:35 37K 
[ ]clvect_3__t19_clvect_3.vout2024-08-03 04:28 7.3K 
[ ]clvect_3__t20_clvect_32024-07-27 14:37 34K 
[ ]clvect_3__t20_clvect_3.depv12024-08-03 10:19 256  
[ ]clvect_3__t20_clvect_3.depvmin12024-08-03 10:24 256  
[ ]clvect_3__t20_clvect_3.vmin12024-08-03 10:19 2.5K 
[ ]clvect_3__t20_clvect_3.vmin1out2024-08-03 10:23 24K 
[ ]clvect_3__t20_clvect_3.vout2024-08-03 07:41 26K 
[ ]clvect_3__t21_clvect_32024-07-27 14:38 39K 
[ ]clvect_3__t21_clvect_3.vout2024-08-03 05:58 7.9K 
[ ]clvect_3__t22_clvect_32024-07-27 14:15 35K 
[ ]clvect_3__t22_clvect_3.depv12024-08-03 10:19 285  
[ ]clvect_3__t22_clvect_3.depvmin12024-08-03 10:24 120  
[ ]clvect_3__t22_clvect_3.vmin12024-08-03 10:19 3.3K 
[ ]clvect_3__t22_clvect_3.vmin1out2024-08-03 10:22 25K 
[ ]clvect_3__t22_clvect_3.vout2024-08-03 07:09 23K 
[ ]clvect_3__t23_clvect_32024-07-27 14:40 34K 
[ ]clvect_3__t23_clvect_3.depv12024-08-03 10:19 62  
[ ]clvect_3__t23_clvect_3.depvmin12024-08-03 10:24 38  
[ ]clvect_3__t23_clvect_3.vmin12024-08-03 10:19 2.2K 
[ ]clvect_3__t23_clvect_3.vmin1out2024-08-03 10:23 59K 
[ ]clvect_3__t23_clvect_3.vout2024-08-03 05:28 61K 
[ ]clvect_3__t24_clvect_32024-07-27 14:42 35K 
[ ]clvect_3__t24_clvect_3.depv12024-08-03 10:19 62  
[ ]clvect_3__t24_clvect_3.depvmin12024-08-03 10:24 38  
[ ]clvect_3__t24_clvect_3.vmin12024-08-03 10:19 2.2K 
[ ]clvect_3__t24_clvect_3.vmin1out2024-08-03 10:21 55K 
[ ]clvect_3__t24_clvect_3.vout2024-08-03 04:10 57K 
[ ]clvect_3__t25_clvect_32024-07-27 14:43 50K 
[ ]clvect_3__t25_clvect_3.vout2024-08-03 08:28 4.7K 
[ ]clvect_3__t26_clvect_32024-07-27 14:45 43K 
[ ]clvect_3__t26_clvect_3.vout2024-08-03 06:19 4.7K 
[ ]clvect_3__t27_clvect_32024-07-27 14:47 34K 
[ ]clvect_3__t27_clvect_3.vout2024-08-03 09:24 7.3K 
[ ]clvect_3__t28_clvect_32024-07-27 14:48 41K 
[ ]clvect_3__t28_clvect_3.vout2024-08-03 04:57 7.3K 
[ ]clvect_3__t29_clvect_32024-07-27 14:50 36K 
[ ]clvect_3__t29_clvect_3.vout2024-08-03 09:43 6.8K 
[ ]clvect_3__t30_clvect_32024-07-27 14:52 54K 
[ ]clvect_3__t30_clvect_3.vout2024-08-03 06:25 7.3K 
[ ]clvect_3__t31_clvect_32024-07-27 14:53 45K 
[ ]clvect_3__t31_clvect_3.vout2024-08-03 04:47 6.8K 
[ ]clvect_3__t32_clvect_32024-07-27 14:55 35K 
[ ]clvect_3__t32_clvect_3.vout2024-08-03 09:11 7.3K 
[ ]clvect_3__t33_clvect_32024-07-27 14:57 40K 
[ ]clvect_3__t33_clvect_3.vout2024-08-03 09:42 7.3K 
[ ]clvect_3__t34_clvect_32024-07-27 14:58 47K 
[ ]clvect_3__t34_clvect_3.vout2024-08-03 05:17 6.8K 
[ ]clvect_3__t35_clvect_32024-07-27 15:00 38K 
[ ]clvect_3__t35_clvect_3.vout2024-08-03 09:54 7.3K 
[ ]clvect_3__t36_clvect_32024-07-27 15:02 37K 
[ ]clvect_3__t36_clvect_3.vout2024-08-03 08:51 7.3K 
[ ]clvect_3__t37_clvect_32024-07-27 15:03 41K 
[ ]clvect_3__t37_clvect_3.vout2024-08-03 09:06 6.8K 
[ ]clvect_3__t38_clvect_32024-07-27 15:05 35K 
[ ]clvect_3__t38_clvect_3.depv12024-08-03 10:19 65  
[ ]clvect_3__t38_clvect_3.depvmin12024-08-03 10:24 65  
[ ]clvect_3__t38_clvect_3.vmin12024-08-03 10:19 2.5K 
[ ]clvect_3__t38_clvect_3.vmin1out2024-08-03 10:23 34K 
[ ]clvect_3__t38_clvect_3.vout2024-08-03 08:11 18K 
[ ]clvect_3__t39_clvect_32024-07-27 15:07 61K 
[ ]clvect_3__t39_clvect_3.vout2024-08-03 05:47 7.3K 
[ ]clvect_3__t40_clvect_32024-07-27 15:09 39K 
[ ]clvect_3__t40_clvect_3.vout2024-08-03 08:24 1.1K 
[ ]clvect_3__t41_clvect_32024-07-27 15:10 39K 
[ ]clvect_3__t41_clvect_3.vout2024-08-03 08:21 1.1K 
[ ]clvect_3__t42_clvect_32024-07-27 15:12 59K 
[ ]clvect_3__t42_clvect_3.vout2024-08-03 07:44 2.0K 
[ ]clvect_3__t43_clvect_32024-07-27 15:14 36K 
[ ]clvect_3__t43_clvect_3.vout2024-08-03 07:31 4.1K 
[ ]clvect_3__t44_clvect_32024-07-27 15:15 46K 
[ ]clvect_3__t44_clvect_3.vout2024-08-03 06:19 4.1K 
[ ]clvect_3__t45_clvect_32024-07-27 15:17 40K 
[ ]clvect_3__t45_clvect_3.vout2024-08-03 07:26 4.1K 
[ ]clvect_3__t46_clvect_32024-07-27 15:18 39K 
[ ]clvect_3__t46_clvect_3.vout2024-08-03 04:25 4.1K 
[ ]clvect_3__t47_clvect_32024-07-27 15:20 42K 
[ ]clvect_3__t47_clvect_3.vout2024-08-03 05:23 4.1K 
[ ]clvect_3__t48_clvect_32024-07-27 15:22 67K 
[ ]clvect_3__t48_clvect_3.vout2024-08-03 08:44 7.3K 
[ ]clvect_3__t49_clvect_32024-07-27 15:24 44K 
[ ]clvect_3__t49_clvect_3.vout2024-08-03 05:48 6.8K 
[ ]clvect_3__t50_clvect_32024-07-27 15:25 70K 
[ ]clvect_3__t50_clvect_3.vout2024-08-03 06:21 7.3K 
[ ]clvect_3__t51_clvect_32024-07-27 15:27 37K 
[ ]clvect_3__t51_clvect_3.vout2024-08-03 06:53 2.0K 
[ ]clvect_3__t53_clvect_32024-07-27 15:29 62K 
[ ]clvect_3__t53_clvect_3.vout2024-08-03 07:39 4.1K 
[ ]clvect_3__t54_clvect_32024-07-27 14:17 54K 
[ ]clvect_3__t54_clvect_3.vout2024-08-03 08:43 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80