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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rvsum_2__l3_rvsum_22025-09-09 13:03 38K 
[ ]rvsum_2__l3_rvsum_2.vout2025-09-15 17:02 7.3K 
[ ]rvsum_2__l5_rvsum_22025-09-09 13:04 30K 
[ ]rvsum_2__l5_rvsum_2.depv12025-09-15 19:47 96  
[ ]rvsum_2__l5_rvsum_2.depvmin12025-09-15 19:52 96  
[ ]rvsum_2__l5_rvsum_2.vmin12025-09-15 19:47 786  
[ ]rvsum_2__l5_rvsum_2.vmin1out2025-09-15 19:50 7.2K 
[ ]rvsum_2__l5_rvsum_2.vout2025-09-15 14:17 7.1K 
[ ]rvsum_2__l50_rvsum_22025-09-09 13:06 34K 
[ ]rvsum_2__l50_rvsum_2.vout2025-09-15 18:48 2.0K 
[ ]rvsum_2__t1_rvsum_22025-09-09 11:37 43K 
[ ]rvsum_2__t1_rvsum_2.vout2025-09-15 19:40 8.3K 
[ ]rvsum_2__t2_rvsum_22025-09-09 11:38 35K 
[ ]rvsum_2__t2_rvsum_2.depv12025-09-15 19:47 322  
[ ]rvsum_2__t2_rvsum_2.depvmin12025-09-15 19:52 255  
[ ]rvsum_2__t2_rvsum_2.vmin12025-09-15 19:47 4.1K 
[ ]rvsum_2__t2_rvsum_2.vmin1out2025-09-15 19:49 32K 
[ ]rvsum_2__t2_rvsum_2.vout2025-09-15 18:47 38K 
[ ]rvsum_2__t3_rvsum_22025-09-09 11:40 44K 
[ ]rvsum_2__t3_rvsum_2.vout2025-09-15 16:11 7.3K 
[ ]rvsum_2__t4_rvsum_22025-09-09 11:41 39K 
[ ]rvsum_2__t4_rvsum_2.depv12025-09-15 19:47 227  
[ ]rvsum_2__t4_rvsum_2.depvmin12025-09-15 19:52 227  
[ ]rvsum_2__t4_rvsum_2.vmin12025-09-15 19:47 2.3K 
[ ]rvsum_2__t4_rvsum_2.vmin1out2025-09-15 19:47 19K 
[ ]rvsum_2__t4_rvsum_2.vout2025-09-15 17:56 21K 
[ ]rvsum_2__t5_rvsum_22025-09-09 11:43 46K 
[ ]rvsum_2__t5_rvsum_2.vout2025-09-15 14:14 7.3K 
[ ]rvsum_2__t6_rvsum_22025-09-09 11:45 46K 
[ ]rvsum_2__t6_rvsum_2.vout2025-09-15 14:33 4.1K 
[ ]rvsum_2__t7_rvsum_22025-09-09 11:46 54K 
[ ]rvsum_2__t7_rvsum_2.vout2025-09-15 18:08 7.8K 
[ ]rvsum_2__t8_rvsum_22025-09-09 11:48 53K 
[ ]rvsum_2__t8_rvsum_2.vout2025-09-15 15:38 4.1K 
[ ]rvsum_2__t9_rvsum_22025-09-09 11:50 62K 
[ ]rvsum_2__t9_rvsum_2.vout2025-09-15 16:19 4.7K 
[ ]rvsum_2__t10_rvsum_22025-09-09 11:52 62K 
[ ]rvsum_2__t10_rvsum_2.vout2025-09-15 16:55 4.1K 
[ ]rvsum_2__t11_rvsum_22025-09-09 11:54 51K 
[ ]rvsum_2__t11_rvsum_2.vout2025-09-15 18:21 7.3K 
[ ]rvsum_2__t12_rvsum_22025-09-09 11:55 54K 
[ ]rvsum_2__t12_rvsum_2.vout2025-09-15 15:05 2.0K 
[ ]rvsum_2__t13_rvsum_22025-09-09 11:57 63K 
[ ]rvsum_2__t13_rvsum_2.vout2025-09-15 15:53 7.3K 
[ ]rvsum_2__t14_rvsum_22025-09-09 11:59 62K 
[ ]rvsum_2__t14_rvsum_2.vout2025-09-15 15:20 6.3K 
[ ]rvsum_2__t15_rvsum_22025-09-09 12:01 56K 
[ ]rvsum_2__t15_rvsum_2.vout2025-09-15 15:15 6.8K 
[ ]rvsum_2__t16_rvsum_22025-09-09 12:02 62K 
[ ]rvsum_2__t16_rvsum_2.depv12025-09-15 19:47 202  
[ ]rvsum_2__t16_rvsum_2.depvmin12025-09-15 19:52 202  
[ ]rvsum_2__t16_rvsum_2.vmin12025-09-15 19:47 2.3K 
[ ]rvsum_2__t16_rvsum_2.vmin1out2025-09-15 19:48 36K 
[ ]rvsum_2__t16_rvsum_2.vout2025-09-15 15:45 36K 
[ ]rvsum_2__t17_rvsum_22025-09-09 12:04 62K 
[ ]rvsum_2__t17_rvsum_2.depv12025-09-15 19:47 202  
[ ]rvsum_2__t17_rvsum_2.depvmin12025-09-15 19:52 202  
[ ]rvsum_2__t17_rvsum_2.vmin12025-09-15 19:47 2.4K 
[ ]rvsum_2__t17_rvsum_2.vmin1out2025-09-15 19:50 36K 
[ ]rvsum_2__t17_rvsum_2.vout2025-09-15 18:54 36K 
[ ]rvsum_2__t18_rvsum_22025-09-09 12:06 64K 
[ ]rvsum_2__t18_rvsum_2.vout2025-09-15 18:10 6.8K 
[ ]rvsum_2__t19_rvsum_22025-09-09 12:08 69K 
[ ]rvsum_2__t19_rvsum_2.vout2025-09-15 18:08 6.2K 
[ ]rvsum_2__t20_rvsum_22025-09-09 12:10 69K 
[ ]rvsum_2__t20_rvsum_2.vout2025-09-15 15:54 6.2K 
[ ]rvsum_2__t21_rvsum_22025-09-09 12:11 54K 
[ ]rvsum_2__t21_rvsum_2.vout2025-09-15 14:12 7.3K 
[ ]rvsum_2__t22_rvsum_22025-09-09 12:13 53K 
[ ]rvsum_2__t22_rvsum_2.vout2025-09-15 17:04 6.2K 
[ ]rvsum_2__t23_rvsum_22025-09-09 12:15 62K 
[ ]rvsum_2__t23_rvsum_2.vout2025-09-15 14:05 6.2K 
[ ]rvsum_2__t24_rvsum_22025-09-09 12:17 53K 
[ ]rvsum_2__t24_rvsum_2.vout2025-09-15 15:28 6.2K 
[ ]rvsum_2__t25_rvsum_22025-09-09 12:18 39K 
[ ]rvsum_2__t25_rvsum_2.depv12025-09-15 19:47 227  
[ ]rvsum_2__t25_rvsum_2.depvmin12025-09-15 19:52 227  
[ ]rvsum_2__t25_rvsum_2.vmin12025-09-15 19:47 2.3K 
[ ]rvsum_2__t25_rvsum_2.vmin1out2025-09-15 19:48 19K 
[ ]rvsum_2__t25_rvsum_2.vout2025-09-15 15:53 21K 
[ ]rvsum_2__t26_rvsum_22025-09-09 12:20 46K 
[ ]rvsum_2__t26_rvsum_2.vout2025-09-15 17:56 7.3K 
[ ]rvsum_2__t27_rvsum_22025-09-09 12:22 56K 
[ ]rvsum_2__t27_rvsum_2.vout2025-09-15 19:22 6.2K 
[ ]rvsum_2__t28_rvsum_22025-09-09 12:23 38K 
[ ]rvsum_2__t28_rvsum_2.vout2025-09-15 13:42 1.1K 
[ ]rvsum_2__t29_rvsum_22025-09-09 11:32 34K 
[ ]rvsum_2__t29_rvsum_2.depv12025-09-15 19:47 151  
[ ]rvsum_2__t29_rvsum_2.depvmin12025-09-15 19:52 151  
[ ]rvsum_2__t29_rvsum_2.vmin12025-09-15 19:47 1.2K 
[ ]rvsum_2__t29_rvsum_2.vmin1out2025-09-15 19:47 7.3K 
[ ]rvsum_2__t29_rvsum_2.vout2025-09-15 14:50 7.3K 
[ ]rvsum_2__t30_rvsum_22025-09-09 12:25 36K 
[ ]rvsum_2__t30_rvsum_2.vout2025-09-15 19:35 2.1K 
[ ]rvsum_2__t31_rvsum_22025-09-09 12:26 46K 
[ ]rvsum_2__t31_rvsum_2.vout2025-09-15 16:43 7.3K 
[ ]rvsum_2__t32_rvsum_22025-09-09 12:28 44K 
[ ]rvsum_2__t32_rvsum_2.vout2025-09-15 14:06 7.3K 
[ ]rvsum_2__t33_rvsum_22025-09-09 12:30 43K 
[ ]rvsum_2__t33_rvsum_2.vout2025-09-15 16:11 2.0K 
[ ]rvsum_2__t34_rvsum_22025-09-09 12:31 46K 
[ ]rvsum_2__t34_rvsum_2.vout2025-09-15 19:02 2.0K 
[ ]rvsum_2__t35_rvsum_22025-09-09 12:33 35K 
[ ]rvsum_2__t35_rvsum_2.depv12025-09-15 19:47 126  
[ ]rvsum_2__t35_rvsum_2.depvmin12025-09-15 19:52 101  
[ ]rvsum_2__t35_rvsum_2.vmin12025-09-15 19:47 1.2K 
[ ]rvsum_2__t35_rvsum_2.vmin1out2025-09-15 19:50 10K 
[ ]rvsum_2__t35_rvsum_2.vout2025-09-15 15:12 11K 
[ ]rvsum_2__t36_rvsum_22025-09-09 12:34 53K 
[ ]rvsum_2__t36_rvsum_2.vout2025-09-15 15:33 2.0K 
[ ]rvsum_2__t37_rvsum_22025-09-09 12:36 38K 
[ ]rvsum_2__t37_rvsum_2.depv12025-09-15 19:47 256  
[ ]rvsum_2__t37_rvsum_2.depvmin12025-09-15 19:52 256  
[ ]rvsum_2__t37_rvsum_2.vmin12025-09-15 19:47 1.5K 
[ ]rvsum_2__t37_rvsum_2.vmin1out2025-09-15 19:51 12K 
[ ]rvsum_2__t37_rvsum_2.vout2025-09-15 16:46 12K 
[ ]rvsum_2__t38_rvsum_22025-09-09 12:38 53K 
[ ]rvsum_2__t38_rvsum_2.vout2025-09-15 13:50 2.0K 
[ ]rvsum_2__t39_rvsum_22025-09-09 12:39 53K 
[ ]rvsum_2__t39_rvsum_2.vout2025-09-15 13:28 4.1K 
[ ]rvsum_2__t40_rvsum_22025-09-09 12:41 49K 
[ ]rvsum_2__t40_rvsum_2.vout2025-09-15 17:56 7.3K 
[ ]rvsum_2__t41_rvsum_22025-09-09 12:43 65K 
[ ]rvsum_2__t41_rvsum_2.vout2025-09-15 18:31 1.1K 
[ ]rvsum_2__t42_rvsum_22025-09-09 11:33 33K 
[ ]rvsum_2__t42_rvsum_2.depv12025-09-15 19:47 153  
[ ]rvsum_2__t42_rvsum_2.depvmin12025-09-15 19:52 141  
[ ]rvsum_2__t42_rvsum_2.vmin12025-09-15 19:47 958  
[ ]rvsum_2__t42_rvsum_2.vmin1out2025-09-15 19:48 6.8K 
[ ]rvsum_2__t42_rvsum_2.vout2025-09-15 16:00 6.6K 
[ ]rvsum_2__t43_rvsum_22025-09-09 12:44 33K 
[ ]rvsum_2__t43_rvsum_2.depv12025-09-15 19:47 101  
[ ]rvsum_2__t43_rvsum_2.depvmin12025-09-15 19:52 101  
[ ]rvsum_2__t43_rvsum_2.vmin12025-09-15 19:47 953  
[ ]rvsum_2__t43_rvsum_2.vmin1out2025-09-15 19:50 8.9K 
[ ]rvsum_2__t43_rvsum_2.vout2025-09-15 14:06 9.0K 
[ ]rvsum_2__t44_rvsum_22025-09-09 11:35 34K 
[ ]rvsum_2__t44_rvsum_2.depv12025-09-15 19:47 283  
[ ]rvsum_2__t44_rvsum_2.depvmin12025-09-15 19:52 283  
[ ]rvsum_2__t44_rvsum_2.vmin12025-09-15 19:47 1.9K 
[ ]rvsum_2__t44_rvsum_2.vmin1out2025-09-15 19:51 13K 
[ ]rvsum_2__t44_rvsum_2.vout2025-09-15 19:10 14K 
[ ]rvsum_2__t45_rvsum_22025-09-09 12:46 46K 
[ ]rvsum_2__t45_rvsum_2.vout2025-09-15 19:12 7.3K 
[ ]rvsum_2__t46_rvsum_22025-09-09 12:48 38K 
[ ]rvsum_2__t46_rvsum_2.vout2025-09-15 16:19 1.1K 
[ ]rvsum_2__t47_rvsum_22025-09-09 12:50 45K 
[ ]rvsum_2__t47_rvsum_2.vout2025-09-15 19:16 7.3K 
[ ]rvsum_2__t48_rvsum_22025-09-09 12:51 46K 
[ ]rvsum_2__t48_rvsum_2.vout2025-09-15 14:44 7.3K 
[ ]rvsum_2__t49_rvsum_22025-09-09 12:53 47K 
[ ]rvsum_2__t49_rvsum_2.vout2025-09-15 19:19 1.1K 
[ ]rvsum_2__t50_rvsum_22025-09-09 12:54 52K 
[ ]rvsum_2__t50_rvsum_2.vout2025-09-15 14:59 1.1K 
[ ]rvsum_2__t51_rvsum_22025-09-09 12:56 48K 
[ ]rvsum_2__t51_rvsum_2.vout2025-09-15 18:41 7.3K 
[ ]rvsum_2__t52_rvsum_22025-09-09 12:58 60K 
[ ]rvsum_2__t52_rvsum_2.vout2025-09-15 18:31 2.0K 
[ ]rvsum_2__t53_rvsum_22025-09-09 12:59 52K 
[ ]rvsum_2__t53_rvsum_2.vout2025-09-15 19:07 7.3K 
[ ]rvsum_2__t54_rvsum_22025-09-09 13:01 66K 
[ ]rvsum_2__t54_rvsum_2.vout2025-09-15 13:45 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80