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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rvsum_2__l3_rvsum_22024-07-26 18:32 38K 
[ ]rvsum_2__l3_rvsum_2.vout2024-08-03 08:54 7.3K 
[ ]rvsum_2__l5_rvsum_22024-07-26 18:33 30K 
[ ]rvsum_2__l5_rvsum_2.depv12024-08-03 10:19 96  
[ ]rvsum_2__l5_rvsum_2.depvmin12024-08-03 10:24 96  
[ ]rvsum_2__l5_rvsum_2.vmin12024-08-03 10:19 786  
[ ]rvsum_2__l5_rvsum_2.vmin1out2024-08-03 10:23 14K 
[ ]rvsum_2__l5_rvsum_2.vout2024-08-03 07:16 7.1K 
[ ]rvsum_2__l50_rvsum_22024-07-26 18:35 34K 
[ ]rvsum_2__l50_rvsum_2.vout2024-08-03 06:37 2.0K 
[ ]rvsum_2__t1_rvsum_22024-07-26 17:15 43K 
[ ]rvsum_2__t1_rvsum_2.vout2024-08-03 04:29 8.3K 
[ ]rvsum_2__t2_rvsum_22024-07-26 17:16 35K 
[ ]rvsum_2__t2_rvsum_2.depv12024-08-03 10:19 322  
[ ]rvsum_2__t2_rvsum_2.depvmin12024-08-03 10:24 255  
[ ]rvsum_2__t2_rvsum_2.vmin12024-08-03 10:19 4.1K 
[ ]rvsum_2__t2_rvsum_2.vmin1out2024-08-03 10:21 32K 
[ ]rvsum_2__t2_rvsum_2.vout2024-08-03 09:13 38K 
[ ]rvsum_2__t3_rvsum_22024-07-26 17:18 44K 
[ ]rvsum_2__t3_rvsum_2.vout2024-08-03 07:21 7.3K 
[ ]rvsum_2__t4_rvsum_22024-07-26 17:19 39K 
[ ]rvsum_2__t4_rvsum_2.depv12024-08-03 10:19 227  
[ ]rvsum_2__t4_rvsum_2.depvmin12024-08-03 10:24 227  
[ ]rvsum_2__t4_rvsum_2.vmin12024-08-03 10:19 2.3K 
[ ]rvsum_2__t4_rvsum_2.vmin1out2024-08-03 10:22 19K 
[ ]rvsum_2__t4_rvsum_2.vout2024-08-03 06:32 21K 
[ ]rvsum_2__t5_rvsum_22024-07-26 17:20 46K 
[ ]rvsum_2__t5_rvsum_2.vout2024-08-03 09:07 7.3K 
[ ]rvsum_2__t6_rvsum_22024-07-26 17:22 46K 
[ ]rvsum_2__t6_rvsum_2.vout2024-08-03 05:58 4.1K 
[ ]rvsum_2__t7_rvsum_22024-07-26 17:23 54K 
[ ]rvsum_2__t7_rvsum_2.vout2024-08-03 07:06 7.8K 
[ ]rvsum_2__t8_rvsum_22024-07-26 17:25 53K 
[ ]rvsum_2__t8_rvsum_2.vout2024-08-03 07:19 4.1K 
[ ]rvsum_2__t9_rvsum_22024-07-26 17:26 62K 
[ ]rvsum_2__t9_rvsum_2.vout2024-08-03 09:56 4.7K 
[ ]rvsum_2__t10_rvsum_22024-07-26 17:28 62K 
[ ]rvsum_2__t10_rvsum_2.vout2024-08-03 09:54 4.1K 
[ ]rvsum_2__t11_rvsum_22024-07-26 17:29 51K 
[ ]rvsum_2__t11_rvsum_2.vout2024-08-03 09:37 7.3K 
[ ]rvsum_2__t12_rvsum_22024-07-26 17:31 54K 
[ ]rvsum_2__t12_rvsum_2.vout2024-08-03 06:23 2.0K 
[ ]rvsum_2__t13_rvsum_22024-07-26 17:32 63K 
[ ]rvsum_2__t13_rvsum_2.vout2024-08-03 10:01 7.3K 
[ ]rvsum_2__t14_rvsum_22024-07-26 17:34 62K 
[ ]rvsum_2__t14_rvsum_2.vout2024-08-03 09:28 6.2K 
[ ]rvsum_2__t15_rvsum_22024-07-26 17:36 56K 
[ ]rvsum_2__t15_rvsum_2.vout2024-08-03 05:48 6.8K 
[ ]rvsum_2__t16_rvsum_22024-07-26 17:37 62K 
[ ]rvsum_2__t16_rvsum_2.depv12024-08-03 10:19 202  
[ ]rvsum_2__t16_rvsum_2.depvmin12024-08-03 10:24 202  
[ ]rvsum_2__t16_rvsum_2.vmin12024-08-03 10:19 2.3K 
[ ]rvsum_2__t16_rvsum_2.vmin1out2024-08-03 10:20 36K 
[ ]rvsum_2__t16_rvsum_2.vout2024-08-03 04:28 36K 
[ ]rvsum_2__t17_rvsum_22024-07-26 17:39 62K 
[ ]rvsum_2__t17_rvsum_2.depv12024-08-03 10:19 202  
[ ]rvsum_2__t17_rvsum_2.depvmin12024-08-03 10:24 202  
[ ]rvsum_2__t17_rvsum_2.vmin12024-08-03 10:19 2.4K 
[ ]rvsum_2__t17_rvsum_2.vmin1out2024-08-03 10:20 36K 
[ ]rvsum_2__t17_rvsum_2.vout2024-08-03 07:43 36K 
[ ]rvsum_2__t18_rvsum_22024-07-26 17:40 64K 
[ ]rvsum_2__t18_rvsum_2.vout2024-08-03 04:39 6.7K 
[ ]rvsum_2__t19_rvsum_22024-07-26 17:42 65K 
[ ]rvsum_2__t19_rvsum_2.vout2024-08-03 05:52 6.7K 
[ ]rvsum_2__t20_rvsum_22024-07-26 17:44 66K 
[ ]rvsum_2__t20_rvsum_2.vout2024-08-03 08:38 6.7K 
[ ]rvsum_2__t21_rvsum_22024-07-26 17:45 54K 
[ ]rvsum_2__t21_rvsum_2.vout2024-08-03 10:02 7.3K 
[ ]rvsum_2__t22_rvsum_22024-07-26 17:47 53K 
[ ]rvsum_2__t22_rvsum_2.vout2024-08-03 09:20 6.2K 
[ ]rvsum_2__t23_rvsum_22024-07-26 17:48 62K 
[ ]rvsum_2__t23_rvsum_2.vout2024-08-03 08:12 6.2K 
[ ]rvsum_2__t24_rvsum_22024-07-26 17:50 53K 
[ ]rvsum_2__t24_rvsum_2.vout2024-08-03 05:53 6.2K 
[ ]rvsum_2__t25_rvsum_22024-07-26 17:51 39K 
[ ]rvsum_2__t25_rvsum_2.depv12024-08-03 10:19 227  
[ ]rvsum_2__t25_rvsum_2.depvmin12024-08-03 10:24 227  
[ ]rvsum_2__t25_rvsum_2.vmin12024-08-03 10:19 2.3K 
[ ]rvsum_2__t25_rvsum_2.vmin1out2024-08-03 10:20 19K 
[ ]rvsum_2__t25_rvsum_2.vout2024-08-03 10:19 21K 
[ ]rvsum_2__t26_rvsum_22024-07-26 17:53 46K 
[ ]rvsum_2__t26_rvsum_2.vout2024-08-03 04:59 7.3K 
[ ]rvsum_2__t27_rvsum_22024-07-26 17:54 56K 
[ ]rvsum_2__t27_rvsum_2.vout2024-08-03 10:03 6.2K 
[ ]rvsum_2__t28_rvsum_22024-07-26 17:56 38K 
[ ]rvsum_2__t28_rvsum_2.vout2024-08-03 04:32 1.1K 
[ ]rvsum_2__t29_rvsum_22024-07-26 17:11 34K 
[ ]rvsum_2__t29_rvsum_2.depv12024-08-03 10:19 151  
[ ]rvsum_2__t29_rvsum_2.depvmin12024-08-03 10:24 151  
[ ]rvsum_2__t29_rvsum_2.vmin12024-08-03 10:19 1.2K 
[ ]rvsum_2__t29_rvsum_2.vmin1out2024-08-03 10:20 7.3K 
[ ]rvsum_2__t29_rvsum_2.vout2024-08-03 04:45 7.3K 
[ ]rvsum_2__t30_rvsum_22024-07-26 17:57 36K 
[ ]rvsum_2__t30_rvsum_2.vout2024-08-03 08:28 2.0K 
[ ]rvsum_2__t31_rvsum_22024-07-26 17:59 46K 
[ ]rvsum_2__t31_rvsum_2.vout2024-08-03 08:22 7.3K 
[ ]rvsum_2__t32_rvsum_22024-07-26 18:00 44K 
[ ]rvsum_2__t32_rvsum_2.vout2024-08-03 10:09 7.3K 
[ ]rvsum_2__t33_rvsum_22024-07-26 18:02 43K 
[ ]rvsum_2__t33_rvsum_2.vout2024-08-03 06:15 2.0K 
[ ]rvsum_2__t34_rvsum_22024-07-26 18:03 46K 
[ ]rvsum_2__t34_rvsum_2.vout2024-08-03 05:43 2.0K 
[ ]rvsum_2__t35_rvsum_22024-07-26 18:04 35K 
[ ]rvsum_2__t35_rvsum_2.depv12024-08-03 10:19 126  
[ ]rvsum_2__t35_rvsum_2.depvmin12024-08-03 10:24 101  
[ ]rvsum_2__t35_rvsum_2.vmin12024-08-03 10:19 1.2K 
[ ]rvsum_2__t35_rvsum_2.vmin1out2024-08-03 10:22 10K 
[ ]rvsum_2__t35_rvsum_2.vout2024-08-03 09:29 11K 
[ ]rvsum_2__t36_rvsum_22024-07-26 18:06 53K 
[ ]rvsum_2__t36_rvsum_2.vout2024-08-03 10:16 2.0K 
[ ]rvsum_2__t37_rvsum_22024-07-26 18:08 38K 
[ ]rvsum_2__t37_rvsum_2.depv12024-08-03 10:19 256  
[ ]rvsum_2__t37_rvsum_2.depvmin12024-08-03 10:24 256  
[ ]rvsum_2__t37_rvsum_2.vmin12024-08-03 10:19 1.5K 
[ ]rvsum_2__t37_rvsum_2.vmin1out2024-08-03 10:22 12K 
[ ]rvsum_2__t37_rvsum_2.vout2024-08-03 04:28 12K 
[ ]rvsum_2__t38_rvsum_22024-07-26 18:09 53K 
[ ]rvsum_2__t38_rvsum_2.vout2024-08-03 07:45 2.0K 
[ ]rvsum_2__t39_rvsum_22024-07-26 18:11 53K 
[ ]rvsum_2__t39_rvsum_2.vout2024-08-03 05:38 4.1K 
[ ]rvsum_2__t40_rvsum_22024-07-26 18:12 49K 
[ ]rvsum_2__t40_rvsum_2.vout2024-08-03 05:21 7.3K 
[ ]rvsum_2__t41_rvsum_22024-07-26 18:14 65K 
[ ]rvsum_2__t41_rvsum_2.vout2024-08-03 08:56 1.1K 
[ ]rvsum_2__t42_rvsum_22024-07-26 17:12 33K 
[ ]rvsum_2__t42_rvsum_2.depv12024-08-03 10:19 153  
[ ]rvsum_2__t42_rvsum_2.depvmin12024-08-03 10:24 141  
[ ]rvsum_2__t42_rvsum_2.vmin12024-08-03 10:19 958  
[ ]rvsum_2__t42_rvsum_2.vmin1out2024-08-03 10:20 6.8K 
[ ]rvsum_2__t42_rvsum_2.vout2024-08-03 07:40 6.6K 
[ ]rvsum_2__t43_rvsum_22024-07-26 18:15 33K 
[ ]rvsum_2__t43_rvsum_2.depv12024-08-03 10:19 101  
[ ]rvsum_2__t43_rvsum_2.depvmin12024-08-03 10:24 101  
[ ]rvsum_2__t43_rvsum_2.vmin12024-08-03 10:19 953  
[ ]rvsum_2__t43_rvsum_2.vmin1out2024-08-03 10:20 8.9K 
[ ]rvsum_2__t43_rvsum_2.vout2024-08-03 04:42 9.0K 
[ ]rvsum_2__t44_rvsum_22024-07-26 17:14 34K 
[ ]rvsum_2__t44_rvsum_2.depv12024-08-03 10:19 283  
[ ]rvsum_2__t44_rvsum_2.depvmin12024-08-03 10:24 283  
[ ]rvsum_2__t44_rvsum_2.vmin12024-08-03 10:19 1.9K 
[ ]rvsum_2__t44_rvsum_2.vmin1out2024-08-03 10:22 13K 
[ ]rvsum_2__t44_rvsum_2.vout2024-08-03 05:11 14K 
[ ]rvsum_2__t45_rvsum_22024-07-26 18:17 46K 
[ ]rvsum_2__t45_rvsum_2.vout2024-08-03 08:14 7.3K 
[ ]rvsum_2__t46_rvsum_22024-07-26 18:18 38K 
[ ]rvsum_2__t46_rvsum_2.vout2024-08-03 09:15 1.2K 
[ ]rvsum_2__t47_rvsum_22024-07-26 18:20 45K 
[ ]rvsum_2__t47_rvsum_2.vout2024-08-03 08:35 7.3K 
[ ]rvsum_2__t48_rvsum_22024-07-26 18:21 46K 
[ ]rvsum_2__t48_rvsum_2.vout2024-08-03 06:13 7.3K 
[ ]rvsum_2__t49_rvsum_22024-07-26 18:23 47K 
[ ]rvsum_2__t49_rvsum_2.vout2024-08-03 05:44 1.1K 
[ ]rvsum_2__t50_rvsum_22024-07-26 18:24 52K 
[ ]rvsum_2__t50_rvsum_2.vout2024-08-03 10:11 1.1K 
[ ]rvsum_2__t51_rvsum_22024-07-26 18:26 45K 
[ ]rvsum_2__t51_rvsum_2.vout2024-08-03 09:08 6.8K 
[ ]rvsum_2__t52_rvsum_22024-07-26 18:27 60K 
[ ]rvsum_2__t52_rvsum_2.vout2024-08-03 07:53 6.8K 
[ ]rvsum_2__t53_rvsum_22024-07-26 18:29 48K 
[ ]rvsum_2__t53_rvsum_2.vout2024-08-03 06:35 7.3K 
[ ]rvsum_2__t54_rvsum_22024-07-26 18:31 66K 
[ ]rvsum_2__t54_rvsum_2.vout2024-08-03 05:56 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80