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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rvsum_3__l28_rvsum_32024-07-27 13:21 56K 
[ ]rvsum_3__l28_rvsum_3.vout2024-08-03 10:18 7.3K 
[ ]rvsum_3__l29_rvsum_32024-07-27 13:23 56K 
[ ]rvsum_3__l29_rvsum_3.vout2024-08-03 09:10 7.3K 
[ ]rvsum_3__t1_rvsum_32024-07-27 12:11 52K 
[ ]rvsum_3__t1_rvsum_3.vout2024-08-03 07:35 2.0K 
[ ]rvsum_3__t2_rvsum_32024-07-27 12:13 233K 
[ ]rvsum_3__t2_rvsum_3.vout2024-08-03 08:51 2.0K 
[ ]rvsum_3__t3_rvsum_32024-07-27 12:14 45K 
[ ]rvsum_3__t3_rvsum_3.vout2024-08-03 04:34 7.3K 
[ ]rvsum_3__t4_rvsum_32024-07-27 12:16 96K 
[ ]rvsum_3__t4_rvsum_3.vout2024-08-03 05:19 5.3K 
[ ]rvsum_3__t5_rvsum_32024-07-27 12:18 42K 
[ ]rvsum_3__t5_rvsum_3.vout2024-08-03 07:19 2.0K 
[ ]rvsum_3__t6_rvsum_32024-07-27 12:19 46K 
[ ]rvsum_3__t6_rvsum_3.vout2024-08-03 08:31 7.3K 
[ ]rvsum_3__t7_rvsum_32024-07-27 12:20 45K 
[ ]rvsum_3__t7_rvsum_3.vout2024-08-03 08:16 7.3K 
[ ]rvsum_3__t8_rvsum_32024-07-27 12:22 44K 
[ ]rvsum_3__t8_rvsum_3.depv12024-08-03 10:19 174  
[ ]rvsum_3__t8_rvsum_3.depvmin12024-08-03 10:24 174  
[ ]rvsum_3__t8_rvsum_3.vmin12024-08-03 10:20 1.6K 
[ ]rvsum_3__t8_rvsum_3.vmin1out2024-08-03 10:22 19K 
[ ]rvsum_3__t8_rvsum_3.vout2024-08-03 09:01 20K 
[ ]rvsum_3__t9_rvsum_32024-07-27 12:23 33K 
[ ]rvsum_3__t9_rvsum_3.vout2024-08-03 07:58 2.0K 
[ ]rvsum_3__t10_rvsum_32024-07-27 12:25 37K 
[ ]rvsum_3__t10_rvsum_3.depv12024-08-03 10:19 149  
[ ]rvsum_3__t10_rvsum_3.depvmin12024-08-03 10:24 149  
[ ]rvsum_3__t10_rvsum_3.vmin12024-08-03 10:20 1.4K 
[ ]rvsum_3__t10_rvsum_3.vmin1out2024-08-03 10:20 22K 
[ ]rvsum_3__t10_rvsum_3.vout2024-08-03 04:40 23K 
[ ]rvsum_3__t11_rvsum_32024-07-27 12:26 33K 
[ ]rvsum_3__t11_rvsum_3.vout2024-08-03 06:38 2.0K 
[ ]rvsum_3__t12_rvsum_32024-07-27 12:28 39K 
[ ]rvsum_3__t12_rvsum_3.vout2024-08-03 04:43 7.3K 
[ ]rvsum_3__t13_rvsum_32024-07-27 12:29 40K 
[ ]rvsum_3__t13_rvsum_3.depv12024-08-03 10:19 312  
[ ]rvsum_3__t13_rvsum_3.depvmin12024-08-03 10:24 209  
[ ]rvsum_3__t13_rvsum_3.vmin12024-08-03 10:20 2.9K 
[ ]rvsum_3__t13_rvsum_3.vmin1out2024-08-03 10:23 23K 
[ ]rvsum_3__t13_rvsum_3.vout2024-08-03 04:41 37K 
[ ]rvsum_3__t14_rvsum_32024-07-27 12:31 33K 
[ ]rvsum_3__t14_rvsum_3.depv12024-08-03 10:19 35  
[ ]rvsum_3__t14_rvsum_3.depvmin12024-08-03 10:24 35  
[ ]rvsum_3__t14_rvsum_3.vmin12024-08-03 10:20 634  
[ ]rvsum_3__t14_rvsum_3.vmin1out2024-08-03 10:23 6.8K 
[ ]rvsum_3__t14_rvsum_3.vout2024-08-03 08:14 7.5K 
[ ]rvsum_3__t15_rvsum_32024-07-27 12:10 37K 
[ ]rvsum_3__t15_rvsum_3.vout2024-08-03 06:00 2.0K 
[ ]rvsum_3__t16_rvsum_32024-07-27 12:32 38K 
[ ]rvsum_3__t16_rvsum_3.depv12024-08-03 10:19 79  
[ ]rvsum_3__t16_rvsum_3.depvmin12024-08-03 10:24 79  
[ ]rvsum_3__t16_rvsum_3.vmin12024-08-03 10:20 822  
[ ]rvsum_3__t16_rvsum_3.vmin1out2024-08-03 10:23 15K 
[ ]rvsum_3__t16_rvsum_3.vout2024-08-03 10:10 12K 
[ ]rvsum_3__t17_rvsum_32024-07-27 12:34 40K 
[ ]rvsum_3__t17_rvsum_3.depv12024-08-03 10:19 79  
[ ]rvsum_3__t17_rvsum_3.depvmin12024-08-03 10:24 79  
[ ]rvsum_3__t17_rvsum_3.vmin12024-08-03 10:20 836  
[ ]rvsum_3__t17_rvsum_3.vmin1out2024-08-03 10:21 15K 
[ ]rvsum_3__t17_rvsum_3.vout2024-08-03 10:01 12K 
[ ]rvsum_3__t18_rvsum_32024-07-27 12:35 40K 
[ ]rvsum_3__t18_rvsum_3.depv12024-08-03 10:19 79  
[ ]rvsum_3__t18_rvsum_3.depvmin12024-08-03 10:24 79  
[ ]rvsum_3__t18_rvsum_3.vmin12024-08-03 10:20 836  
[ ]rvsum_3__t18_rvsum_3.vmin1out2024-08-03 10:21 15K 
[ ]rvsum_3__t18_rvsum_3.vout2024-08-03 06:34 12K 
[ ]rvsum_3__t19_rvsum_32024-07-27 12:37 44K 
[ ]rvsum_3__t19_rvsum_3.vout2024-08-03 04:21 4.2K 
[ ]rvsum_3__t20_rvsum_32024-07-27 12:38 44K 
[ ]rvsum_3__t20_rvsum_3.depv12024-08-03 10:19 171  
[ ]rvsum_3__t20_rvsum_3.depvmin12024-08-03 10:24 171  
[ ]rvsum_3__t20_rvsum_3.vmin12024-08-03 10:20 1.9K 
[ ]rvsum_3__t20_rvsum_3.vmin1out2024-08-03 10:22 21K 
[ ]rvsum_3__t20_rvsum_3.vout2024-08-03 04:41 29K 
[ ]rvsum_3__t21_rvsum_32024-07-27 12:40 53K 
[ ]rvsum_3__t21_rvsum_3.vout2024-08-03 09:04 5.3K 
[ ]rvsum_3__t22_rvsum_32024-07-27 12:41 35K 
[ ]rvsum_3__t22_rvsum_3.depv12024-08-03 10:19 74  
[ ]rvsum_3__t22_rvsum_3.depvmin12024-08-03 10:24 74  
[ ]rvsum_3__t22_rvsum_3.vmin12024-08-03 10:20 936  
[ ]rvsum_3__t22_rvsum_3.vmin1out2024-08-03 10:21 10K 
[ ]rvsum_3__t22_rvsum_3.vout2024-08-03 08:15 11K 
[ ]rvsum_3__t23_rvsum_32024-07-27 12:43 62K 
[ ]rvsum_3__t23_rvsum_3.vout2024-08-03 07:48 7.3K 
[ ]rvsum_3__t24_rvsum_32024-07-27 12:44 82K 
[ ]rvsum_3__t24_rvsum_3.vout2024-08-03 06:15 7.3K 
[ ]rvsum_3__t25_rvsum_32024-07-27 12:46 77K 
[ ]rvsum_3__t25_rvsum_3.vout2024-08-03 10:02 7.3K 
[ ]rvsum_3__t26_rvsum_32024-07-27 12:48 46K 
[ ]rvsum_3__t26_rvsum_3.vout2024-08-03 04:51 7.3K 
[ ]rvsum_3__t27_rvsum_32024-07-27 12:49 44K 
[ ]rvsum_3__t27_rvsum_3.vout2024-08-03 06:10 7.3K 
[ ]rvsum_3__t28_rvsum_32024-07-27 12:50 48K 
[ ]rvsum_3__t28_rvsum_3.vout2024-08-03 06:14 4.7K 
[ ]rvsum_3__t29_rvsum_32024-07-27 12:52 37K 
[ ]rvsum_3__t29_rvsum_3.depv12024-08-03 10:19 49  
[ ]rvsum_3__t29_rvsum_3.depvmin12024-08-03 10:24 49  
[ ]rvsum_3__t29_rvsum_3.vmin12024-08-03 10:20 1.0K 
[ ]rvsum_3__t29_rvsum_3.vmin1out2024-08-03 10:21 15K 
[ ]rvsum_3__t29_rvsum_3.vout2024-08-03 05:17 16K 
[ ]rvsum_3__t30_rvsum_32024-07-27 12:53 37K 
[ ]rvsum_3__t30_rvsum_3.depv12024-08-03 10:19 109  
[ ]rvsum_3__t30_rvsum_3.depvmin12024-08-03 10:24 109  
[ ]rvsum_3__t30_rvsum_3.vmin12024-08-03 10:20 1.2K 
[ ]rvsum_3__t30_rvsum_3.vmin1out2024-08-03 10:20 17K 
[ ]rvsum_3__t30_rvsum_3.vout2024-08-03 07:21 16K 
[ ]rvsum_3__t31_rvsum_32024-07-27 12:54 37K 
[ ]rvsum_3__t31_rvsum_3.depv12024-08-03 10:19 109  
[ ]rvsum_3__t31_rvsum_3.depvmin12024-08-03 10:24 109  
[ ]rvsum_3__t31_rvsum_3.vmin12024-08-03 10:20 1.3K 
[ ]rvsum_3__t31_rvsum_3.vmin1out2024-08-03 10:22 17K 
[ ]rvsum_3__t31_rvsum_3.vout2024-08-03 08:44 16K 
[ ]rvsum_3__t32_rvsum_32024-07-27 12:56 54K 
[ ]rvsum_3__t32_rvsum_3.vout2024-08-03 08:26 3.7K 
[ ]rvsum_3__t33_rvsum_32024-07-27 12:58 33K 
[ ]rvsum_3__t33_rvsum_3.vout2024-08-03 07:41 2.0K 
[ ]rvsum_3__t34_rvsum_32024-07-27 12:59 43K 
[ ]rvsum_3__t34_rvsum_3.vout2024-08-03 06:19 6.8K 
[ ]rvsum_3__t35_rvsum_32024-07-27 13:01 65K 
[ ]rvsum_3__t35_rvsum_3.vout2024-08-03 07:35 4.7K 
[ ]rvsum_3__t36_rvsum_32024-07-27 13:02 65K 
[ ]rvsum_3__t36_rvsum_3.vout2024-08-03 04:59 4.7K 
[ ]rvsum_3__t37_rvsum_32024-07-27 13:04 69K 
[ ]rvsum_3__t37_rvsum_3.vout2024-08-03 08:56 4.7K 
[ ]rvsum_3__t38_rvsum_32024-07-27 13:20 42K 
[ ]rvsum_3__t38_rvsum_3.vout2024-08-03 08:07 7.3K 
[ ]rvsum_3__t39_rvsum_32024-07-27 13:05 42K 
[ ]rvsum_3__t39_rvsum_3.depv12024-08-03 10:19 180  
[ ]rvsum_3__t39_rvsum_3.depvmin12024-08-03 10:24 180  
[ ]rvsum_3__t39_rvsum_3.vmin12024-08-03 10:20 2.1K 
[ ]rvsum_3__t39_rvsum_3.vmin1out2024-08-03 10:23 29K 
[ ]rvsum_3__t39_rvsum_3.vout2024-08-03 05:59 37K 
[ ]rvsum_3__t40_rvsum_32024-07-27 13:07 71K 
[ ]rvsum_3__t40_rvsum_3.vout2024-08-03 05:06 7.3K 
[ ]rvsum_3__t41_rvsum_32024-07-27 13:09 71K 
[ ]rvsum_3__t41_rvsum_3.vout2024-08-03 05:57 7.3K 
[ ]rvsum_3__t42_rvsum_32024-07-27 13:10 51K 
[ ]rvsum_3__t42_rvsum_3.depv12024-08-03 10:19 111  
[ ]rvsum_3__t42_rvsum_3.depvmin12024-08-03 10:24 75  
[ ]rvsum_3__t42_rvsum_3.vmin12024-08-03 10:20 1.8K 
[ ]rvsum_3__t42_rvsum_3.vmin1out2024-08-03 10:21 68K 
[ ]rvsum_3__t42_rvsum_3.vout2024-08-03 05:58 29K 
[ ]rvsum_3__t43_rvsum_32024-07-27 13:12 66K 
[ ]rvsum_3__t43_rvsum_3.vout2024-08-03 09:07 7.3K 
[ ]rvsum_3__t44_rvsum_32024-07-27 13:14 60K 
[ ]rvsum_3__t44_rvsum_3.vout2024-08-03 07:40 7.3K 
[ ]rvsum_3__t45_rvsum_32024-07-27 13:15 60K 
[ ]rvsum_3__t45_rvsum_3.vout2024-08-03 04:20 7.3K 
[ ]rvsum_3__t46_rvsum_32024-07-27 13:17 48K 
[ ]rvsum_3__t46_rvsum_3.vout2024-08-03 09:38 7.3K 
[ ]rvsum_3__t47_rvsum_32024-07-27 13:18 44K 
[ ]rvsum_3__t47_rvsum_3.depv12024-08-03 10:19 135  
[ ]rvsum_3__t47_rvsum_3.depvmin12024-08-03 10:24 135  
[ ]rvsum_3__t47_rvsum_3.vmin12024-08-03 10:20 1.7K 
[ ]rvsum_3__t47_rvsum_3.vmin1out2024-08-03 10:20 44K 
[ ]rvsum_3__t47_rvsum_3.vout2024-08-03 06:13 29K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80