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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rvsum_4__l9_rvsum_42024-07-26 23:49 121K 
[ ]rvsum_4__l9_rvsum_4.vout2024-08-03 04:30 7.3K 
[ ]rvsum_4__t1_rvsum_42024-07-26 21:44 88K 
[ ]rvsum_4__t1_rvsum_4.vout2024-08-03 07:17 7.3K 
[ ]rvsum_4__t2_rvsum_42024-07-26 21:46 110K 
[ ]rvsum_4__t2_rvsum_4.vout2024-08-03 06:02 7.3K 
[ ]rvsum_4__t3_rvsum_42024-07-26 21:48 98K 
[ ]rvsum_4__t3_rvsum_4.vout2024-08-03 04:47 7.3K 
[ ]rvsum_4__t4_rvsum_42024-07-26 21:33 123K 
[ ]rvsum_4__t4_rvsum_4.vout2024-08-03 04:38 6.8K 
[ ]rvsum_4__t5_rvsum_42024-07-26 21:50 96K 
[ ]rvsum_4__t5_rvsum_4.vout2024-08-03 07:22 7.3K 
[ ]rvsum_4__t6_rvsum_42024-07-26 21:52 128K 
[ ]rvsum_4__t6_rvsum_4.vout2024-08-03 04:58 7.3K 
[ ]rvsum_4__t7_rvsum_42024-07-26 21:55 133K 
[ ]rvsum_4__t7_rvsum_4.vout2024-08-03 09:31 7.3K 
[ ]rvsum_4__t8_rvsum_42024-07-26 21:57 122K 
[ ]rvsum_4__t8_rvsum_4.vout2024-08-03 06:48 7.3K 
[ ]rvsum_4__t9_rvsum_42024-07-26 21:59 145K 
[ ]rvsum_4__t9_rvsum_4.vout2024-08-03 06:31 7.3K 
[ ]rvsum_4__t10_rvsum_42024-07-26 22:01 125K 
[ ]rvsum_4__t10_rvsum_4.vout2024-08-03 07:11 7.3K 
[ ]rvsum_4__t11_rvsum_42024-07-26 22:03 83K 
[ ]rvsum_4__t11_rvsum_4.vout2024-08-03 06:36 6.8K 
[ ]rvsum_4__t12_rvsum_42024-07-26 22:04 64K 
[ ]rvsum_4__t12_rvsum_4.vout2024-08-03 05:40 7.3K 
[ ]rvsum_4__t13_rvsum_42024-07-26 22:06 64K 
[ ]rvsum_4__t13_rvsum_4.depv12024-08-03 10:19 176  
[ ]rvsum_4__t13_rvsum_4.depvmin12024-08-03 10:24 163  
[ ]rvsum_4__t13_rvsum_4.vmin12024-08-03 10:19 1.4K 
[ ]rvsum_4__t13_rvsum_4.vmin1out2024-08-03 10:20 11K 
[ ]rvsum_4__t13_rvsum_4.vout2024-08-03 04:30 12K 
[ ]rvsum_4__t14_rvsum_42024-07-26 22:08 69K 
[ ]rvsum_4__t14_rvsum_4.vout2024-08-03 05:17 2.0K 
[ ]rvsum_4__t15_rvsum_42024-07-26 22:09 79K 
[ ]rvsum_4__t15_rvsum_4.depv12024-08-03 10:19 24  
[ ]rvsum_4__t15_rvsum_4.depvmin12024-08-03 10:24 24  
[ ]rvsum_4__t15_rvsum_4.vmin12024-08-03 10:19 521  
[ ]rvsum_4__t15_rvsum_4.vmin1out2024-08-03 10:21 6.8K 
[ ]rvsum_4__t15_rvsum_4.vout2024-08-03 07:24 8.0K 
[ ]rvsum_4__t16_rvsum_42024-07-26 22:11 65K 
[ ]rvsum_4__t16_rvsum_4.vout2024-08-03 09:55 2.0K 
[ ]rvsum_4__t17_rvsum_42024-07-26 22:13 74K 
[ ]rvsum_4__t17_rvsum_4.vout2024-08-03 05:30 6.8K 
[ ]rvsum_4__t18_rvsum_42024-07-26 21:35 108K 
[ ]rvsum_4__t18_rvsum_4.vout2024-08-03 09:30 6.8K 
[ ]rvsum_4__t19_rvsum_42024-07-26 22:15 124K 
[ ]rvsum_4__t19_rvsum_4.vout2024-08-03 07:15 7.3K 
[ ]rvsum_4__t20_rvsum_42024-07-26 21:37 59K 
[ ]rvsum_4__t20_rvsum_4.depv12024-08-03 10:19 50  
[ ]rvsum_4__t20_rvsum_4.depvmin12024-08-03 10:24 50  
[ ]rvsum_4__t20_rvsum_4.vmin12024-08-03 10:19 1.0K 
[ ]rvsum_4__t20_rvsum_4.vmin1out2024-08-03 10:20 12K 
[ ]rvsum_4__t20_rvsum_4.vout2024-08-03 09:34 11K 
[ ]rvsum_4__t21_rvsum_42024-07-26 22:17 115K 
[ ]rvsum_4__t21_rvsum_4.vout2024-08-03 08:43 7.3K 
[ ]rvsum_4__t22_rvsum_42024-07-26 22:20 120K 
[ ]rvsum_4__t22_rvsum_4.vout2024-08-03 04:17 7.3K 
[ ]rvsum_4__t23_rvsum_42024-07-26 21:39 82K 
[ ]rvsum_4__t23_rvsum_4.depv12024-08-03 10:19 301  
[ ]rvsum_4__t23_rvsum_4.depvmin12024-08-03 10:24 301  
[ ]rvsum_4__t23_rvsum_4.vmin12024-08-03 10:19 3.2K 
[ ]rvsum_4__t23_rvsum_4.vmin1out2024-08-03 10:20 35K 
[ ]rvsum_4__t23_rvsum_4.vout2024-08-03 08:44 34K 
[ ]rvsum_4__t24_rvsum_42024-07-26 22:22 118K 
[ ]rvsum_4__t24_rvsum_4.vout2024-08-03 05:37 7.3K 
[ ]rvsum_4__t25_rvsum_42024-07-26 22:24 118K 
[ ]rvsum_4__t25_rvsum_4.vout2024-08-03 10:07 7.3K 
[ ]rvsum_4__t26_rvsum_42024-07-26 22:26 76K 
[ ]rvsum_4__t26_rvsum_4.vout2024-08-03 06:09 7.3K 
[ ]rvsum_4__t29_rvsum_42024-07-26 22:27 63K 
[ ]rvsum_4__t29_rvsum_4.vout2024-08-03 10:17 7.3K 
[ ]rvsum_4__t30_rvsum_42024-07-26 22:29 83K 
[ ]rvsum_4__t30_rvsum_4.vout2024-08-03 08:58 7.3K 
[ ]rvsum_4__t31_rvsum_42024-07-26 22:31 84K 
[ ]rvsum_4__t31_rvsum_4.vout2024-08-03 10:02 7.3K 
[ ]rvsum_4__t32_rvsum_42024-07-26 22:33 115K 
[ ]rvsum_4__t32_rvsum_4.vout2024-08-03 09:55 3.7K 
[ ]rvsum_4__t33_rvsum_42024-07-26 22:35 118K 
[ ]rvsum_4__t33_rvsum_4.vout2024-08-03 09:31 7.3K 
[ ]rvsum_4__t34_rvsum_42024-07-26 22:38 118K 
[ ]rvsum_4__t34_rvsum_4.vout2024-08-03 07:31 7.3K 
[ ]rvsum_4__t35_rvsum_42024-07-26 22:40 91K 
[ ]rvsum_4__t35_rvsum_4.vout2024-08-03 08:22 7.3K 
[ ]rvsum_4__t36_rvsum_42024-07-26 21:41 90K 
[ ]rvsum_4__t36_rvsum_4.depv12024-08-03 10:19 36  
[ ]rvsum_4__t36_rvsum_4.depvmin12024-08-03 10:24 36  
[ ]rvsum_4__t36_rvsum_4.vmin12024-08-03 10:19 474  
[ ]rvsum_4__t36_rvsum_4.vmin1out2024-08-03 10:21 6.4K 
[ ]rvsum_4__t36_rvsum_4.vout2024-08-03 05:35 7.3K 
[ ]rvsum_4__t37_rvsum_42024-07-26 22:42 101K 
[ ]rvsum_4__t37_rvsum_4.vout2024-08-03 04:15 7.3K 
[ ]rvsum_4__t38_rvsum_42024-07-26 22:44 75K 
[ ]rvsum_4__t38_rvsum_4.vout2024-08-03 09:51 7.3K 
[ ]rvsum_4__t39_rvsum_42024-07-26 22:46 103K 
[ ]rvsum_4__t39_rvsum_4.vout2024-08-03 06:24 7.3K 
[ ]rvsum_4__t40_rvsum_42024-07-26 22:48 137K 
[ ]rvsum_4__t40_rvsum_4.vout2024-08-03 09:33 7.3K 
[ ]rvsum_4__t41_rvsum_42024-07-26 22:50 116K 
[ ]rvsum_4__t41_rvsum_4.vout2024-08-03 08:23 7.3K 
[ ]rvsum_4__t42_rvsum_42024-07-26 22:52 76K 
[ ]rvsum_4__t42_rvsum_4.vout2024-08-03 04:31 2.0K 
[ ]rvsum_4__t43_rvsum_42024-07-26 22:55 139K 
[ ]rvsum_4__t43_rvsum_4.vout2024-08-03 04:49 6.8K 
[ ]rvsum_4__t44_rvsum_42024-07-26 22:57 119K 
[ ]rvsum_4__t44_rvsum_4.vout2024-08-03 06:35 7.3K 
[ ]rvsum_4__t45_rvsum_42024-07-26 22:59 140K 
[ ]rvsum_4__t45_rvsum_4.vout2024-08-03 10:10 7.3K 
[ ]rvsum_4__t46_rvsum_42024-07-26 23:02 118K 
[ ]rvsum_4__t46_rvsum_4.vout2024-08-03 05:17 7.3K 
[ ]rvsum_4__t47_rvsum_42024-07-26 23:04 121K 
[ ]rvsum_4__t47_rvsum_4.vout2024-08-03 04:12 7.3K 
[ ]rvsum_4__t48_rvsum_42024-07-26 23:06 104K 
[ ]rvsum_4__t48_rvsum_4.vout2024-08-03 04:11 7.3K 
[ ]rvsum_4__t49_rvsum_42024-07-26 23:08 121K 
[ ]rvsum_4__t49_rvsum_4.vout2024-08-03 08:09 7.3K 
[ ]rvsum_4__t50_rvsum_42024-07-26 23:10 93K 
[ ]rvsum_4__t50_rvsum_4.vout2024-08-03 04:20 7.3K 
[ ]rvsum_4__t51_rvsum_42024-07-26 23:12 77K 
[ ]rvsum_4__t51_rvsum_4.depv12024-08-03 10:19 276  
[ ]rvsum_4__t51_rvsum_4.depvmin12024-08-03 10:24 225  
[ ]rvsum_4__t51_rvsum_4.vmin12024-08-03 10:19 3.2K 
[ ]rvsum_4__t51_rvsum_4.vmin1out2024-08-03 10:21 31K 
[ ]rvsum_4__t51_rvsum_4.vout2024-08-03 05:55 34K 
[ ]rvsum_4__t52_rvsum_42024-07-26 23:14 115K 
[ ]rvsum_4__t52_rvsum_4.vout2024-08-03 06:24 7.3K 
[ ]rvsum_4__t53_rvsum_42024-07-26 23:16 136K 
[ ]rvsum_4__t53_rvsum_4.vout2024-08-03 08:52 6.8K 
[ ]rvsum_4__t54_rvsum_42024-07-26 23:19 118K 
[ ]rvsum_4__t54_rvsum_4.vout2024-08-03 04:12 7.3K 
[ ]rvsum_4__t55_rvsum_42024-07-26 23:21 148K 
[ ]rvsum_4__t55_rvsum_4.vout2024-08-03 09:06 7.3K 
[ ]rvsum_4__t56_rvsum_42024-07-26 23:23 126K 
[ ]rvsum_4__t56_rvsum_4.vout2024-08-03 06:36 7.3K 
[ ]rvsum_4__t57_rvsum_42024-07-26 23:26 152K 
[ ]rvsum_4__t57_rvsum_4.vout2024-08-03 06:27 7.3K 
[ ]rvsum_4__t58_rvsum_42024-07-26 23:28 77K 
[ ]rvsum_4__t58_rvsum_4.vout2024-08-03 06:52 2.0K 
[ ]rvsum_4__t59_rvsum_42024-07-26 23:30 123K 
[ ]rvsum_4__t59_rvsum_4.vout2024-08-03 08:38 7.3K 
[ ]rvsum_4__t60_rvsum_42024-07-26 23:32 143K 
[ ]rvsum_4__t60_rvsum_4.vout2024-08-03 10:06 7.3K 
[ ]rvsum_4__t61_rvsum_42024-07-26 23:34 72K 
[ ]rvsum_4__t61_rvsum_4.vout2024-08-03 08:28 7.3K 
[ ]rvsum_4__t62_rvsum_42024-07-26 23:36 75K 
[ ]rvsum_4__t62_rvsum_4.vout2024-08-03 07:23 7.3K 
[ ]rvsum_4__t63_rvsum_42024-07-26 21:42 74K 
[ ]rvsum_4__t63_rvsum_4.vout2024-08-03 09:19 2.0K 
[ ]rvsum_4__t64_rvsum_42024-07-26 23:38 111K 
[ ]rvsum_4__t64_rvsum_4.vout2024-08-03 07:16 7.4K 
[ ]rvsum_4__t65_rvsum_42024-07-26 23:40 77K 
[ ]rvsum_4__t65_rvsum_4.vout2024-08-03 06:34 2.0K 
[ ]rvsum_4__t66_rvsum_42024-07-26 23:42 169K 
[ ]rvsum_4__t66_rvsum_4.vout2024-08-03 10:15 7.3K 
[ ]rvsum_4__t67_rvsum_42024-07-26 23:45 138K 
[ ]rvsum_4__t67_rvsum_4.vout2024-08-03 10:11 7.3K 
[ ]rvsum_4__t68_rvsum_42024-07-26 23:47 124K 
[ ]rvsum_4__t68_rvsum_4.vout2024-08-03 06:44 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80