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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rvsum_4__l9_rvsum_42025-09-09 05:53 121K 
[   ]rvsum_4__l9_rvsum_4.vout2025-09-15 13:31 7.3K 
[   ]rvsum_4__t1_rvsum_42025-09-09 03:48 89K 
[   ]rvsum_4__t1_rvsum_4.vout2025-09-15 18:01 7.3K 
[   ]rvsum_4__t2_rvsum_42025-09-09 03:50 110K 
[   ]rvsum_4__t2_rvsum_4.vout2025-09-15 18:40 7.3K 
[   ]rvsum_4__t3_rvsum_42025-09-09 03:52 98K 
[   ]rvsum_4__t3_rvsum_4.vout2025-09-15 14:57 7.3K 
[   ]rvsum_4__t4_rvsum_42025-09-09 03:37 123K 
[   ]rvsum_4__t4_rvsum_4.vout2025-09-15 16:25 6.8K 
[   ]rvsum_4__t5_rvsum_42025-09-09 03:54 96K 
[   ]rvsum_4__t5_rvsum_4.vout2025-09-15 19:16 7.3K 
[   ]rvsum_4__t6_rvsum_42025-09-09 03:56 128K 
[   ]rvsum_4__t6_rvsum_4.vout2025-09-15 17:36 7.3K 
[   ]rvsum_4__t7_rvsum_42025-09-09 03:59 133K 
[   ]rvsum_4__t7_rvsum_4.vout2025-09-15 16:47 7.3K 
[   ]rvsum_4__t8_rvsum_42025-09-09 04:01 122K 
[   ]rvsum_4__t8_rvsum_4.vout2025-09-15 13:34 7.3K 
[   ]rvsum_4__t9_rvsum_42025-09-09 04:03 145K 
[   ]rvsum_4__t9_rvsum_4.vout2025-09-15 14:38 7.3K 
[   ]rvsum_4__t10_rvsum_42025-09-09 04:05 125K 
[   ]rvsum_4__t10_rvsum_4.vout2025-09-15 15:11 7.3K 
[   ]rvsum_4__t11_rvsum_42025-09-09 04:07 83K 
[   ]rvsum_4__t11_rvsum_4.vout2025-09-15 19:05 6.8K 
[   ]rvsum_4__t12_rvsum_42025-09-09 04:09 64K 
[   ]rvsum_4__t12_rvsum_4.vout2025-09-15 13:49 7.3K 
[   ]rvsum_4__t13_rvsum_42025-09-09 04:10 64K 
[   ]rvsum_4__t13_rvsum_4.depv12025-09-15 19:47 176  
[   ]rvsum_4__t13_rvsum_4.depvmin12025-09-15 19:51 163  
[   ]rvsum_4__t13_rvsum_4.vmin12025-09-15 19:47 1.4K 
[   ]rvsum_4__t13_rvsum_4.vmin1out2025-09-15 19:47 11K 
[   ]rvsum_4__t13_rvsum_4.vout2025-09-15 17:23 12K 
[   ]rvsum_4__t14_rvsum_42025-09-09 04:12 69K 
[   ]rvsum_4__t14_rvsum_4.vout2025-09-15 14:34 2.0K 
[   ]rvsum_4__t15_rvsum_42025-09-09 04:14 79K 
[   ]rvsum_4__t15_rvsum_4.depv12025-09-15 19:47 24  
[   ]rvsum_4__t15_rvsum_4.depvmin12025-09-15 19:51 24  
[   ]rvsum_4__t15_rvsum_4.vmin12025-09-15 19:47 521  
[   ]rvsum_4__t15_rvsum_4.vmin1out2025-09-15 19:48 6.8K 
[   ]rvsum_4__t15_rvsum_4.vout2025-09-15 16:41 8.0K 
[   ]rvsum_4__t16_rvsum_42025-09-09 04:16 65K 
[   ]rvsum_4__t16_rvsum_4.vout2025-09-15 18:46 2.0K 
[   ]rvsum_4__t17_rvsum_42025-09-09 04:17 74K 
[   ]rvsum_4__t17_rvsum_4.vout2025-09-15 14:57 6.8K 
[   ]rvsum_4__t18_rvsum_42025-09-09 03:39 108K 
[   ]rvsum_4__t18_rvsum_4.vout2025-09-15 13:34 6.8K 
[   ]rvsum_4__t19_rvsum_42025-09-09 04:20 124K 
[   ]rvsum_4__t19_rvsum_4.vout2025-09-15 14:27 7.3K 
[   ]rvsum_4__t20_rvsum_42025-09-09 03:41 59K 
[   ]rvsum_4__t20_rvsum_4.depv12025-09-15 19:47 50  
[   ]rvsum_4__t20_rvsum_4.depvmin12025-09-15 19:51 50  
[   ]rvsum_4__t20_rvsum_4.vmin12025-09-15 19:47 1.0K 
[   ]rvsum_4__t20_rvsum_4.vmin1out2025-09-15 19:49 12K 
[   ]rvsum_4__t20_rvsum_4.vout2025-09-15 13:50 11K 
[   ]rvsum_4__t21_rvsum_42025-09-09 04:22 115K 
[   ]rvsum_4__t21_rvsum_4.vout2025-09-15 14:15 7.3K 
[   ]rvsum_4__t22_rvsum_42025-09-09 04:24 120K 
[   ]rvsum_4__t22_rvsum_4.vout2025-09-15 18:39 7.3K 
[   ]rvsum_4__t23_rvsum_42025-09-09 03:43 82K 
[   ]rvsum_4__t23_rvsum_4.depv12025-09-15 19:47 301  
[   ]rvsum_4__t23_rvsum_4.depvmin12025-09-15 19:51 301  
[   ]rvsum_4__t23_rvsum_4.vmin12025-09-15 19:47 3.2K 
[   ]rvsum_4__t23_rvsum_4.vmin1out2025-09-15 19:51 35K 
[   ]rvsum_4__t23_rvsum_4.vout2025-09-15 14:21 34K 
[   ]rvsum_4__t24_rvsum_42025-09-09 04:26 118K 
[   ]rvsum_4__t24_rvsum_4.vout2025-09-15 15:20 7.3K 
[   ]rvsum_4__t25_rvsum_42025-09-09 04:28 118K 
[   ]rvsum_4__t25_rvsum_4.vout2025-09-15 18:18 7.3K 
[   ]rvsum_4__t26_rvsum_42025-09-09 04:30 76K 
[   ]rvsum_4__t26_rvsum_4.vout2025-09-15 16:42 7.3K 
[   ]rvsum_4__t29_rvsum_42025-09-09 04:32 63K 
[   ]rvsum_4__t29_rvsum_4.vout2025-09-15 15:00 7.3K 
[   ]rvsum_4__t30_rvsum_42025-09-09 04:34 83K 
[   ]rvsum_4__t30_rvsum_4.vout2025-09-15 18:37 7.3K 
[   ]rvsum_4__t31_rvsum_42025-09-09 04:36 84K 
[   ]rvsum_4__t31_rvsum_4.vout2025-09-15 14:54 7.3K 
[   ]rvsum_4__t32_rvsum_42025-09-09 04:38 115K 
[   ]rvsum_4__t32_rvsum_4.vout2025-09-15 19:22 3.7K 
[   ]rvsum_4__t33_rvsum_42025-09-09 04:40 119K 
[   ]rvsum_4__t33_rvsum_4.vout2025-09-15 17:18 7.3K 
[   ]rvsum_4__t34_rvsum_42025-09-09 04:42 118K 
[   ]rvsum_4__t34_rvsum_4.vout2025-09-15 17:34 7.3K 
[   ]rvsum_4__t35_rvsum_42025-09-09 04:44 91K 
[   ]rvsum_4__t35_rvsum_4.vout2025-09-15 16:30 7.3K 
[   ]rvsum_4__t36_rvsum_42025-09-09 03:45 90K 
[   ]rvsum_4__t36_rvsum_4.depv12025-09-15 19:47 36  
[   ]rvsum_4__t36_rvsum_4.depvmin12025-09-15 19:51 36  
[   ]rvsum_4__t36_rvsum_4.vmin12025-09-15 19:47 474  
[   ]rvsum_4__t36_rvsum_4.vmin1out2025-09-15 19:47 6.4K 
[   ]rvsum_4__t36_rvsum_4.vout2025-09-15 16:46 7.3K 
[   ]rvsum_4__t37_rvsum_42025-09-09 04:46 101K 
[   ]rvsum_4__t37_rvsum_4.vout2025-09-15 14:33 7.3K 
[   ]rvsum_4__t38_rvsum_42025-09-09 04:48 75K 
[   ]rvsum_4__t38_rvsum_4.vout2025-09-15 15:04 7.3K 
[   ]rvsum_4__t39_rvsum_42025-09-09 04:50 103K 
[   ]rvsum_4__t39_rvsum_4.vout2025-09-15 13:32 7.3K 
[   ]rvsum_4__t40_rvsum_42025-09-09 04:52 137K 
[   ]rvsum_4__t40_rvsum_4.vout2025-09-15 18:35 7.3K 
[   ]rvsum_4__t41_rvsum_42025-09-09 04:55 116K 
[   ]rvsum_4__t41_rvsum_4.vout2025-09-15 14:52 7.3K 
[   ]rvsum_4__t42_rvsum_42025-09-09 04:56 76K 
[   ]rvsum_4__t42_rvsum_4.vout2025-09-15 15:18 2.0K 
[   ]rvsum_4__t43_rvsum_42025-09-09 04:59 139K 
[   ]rvsum_4__t43_rvsum_4.vout2025-09-15 17:48 6.8K 
[   ]rvsum_4__t44_rvsum_42025-09-09 05:01 119K 
[   ]rvsum_4__t44_rvsum_4.vout2025-09-15 13:33 7.3K 
[   ]rvsum_4__t45_rvsum_42025-09-09 05:03 140K 
[   ]rvsum_4__t45_rvsum_4.vout2025-09-15 17:13 7.3K 
[   ]rvsum_4__t46_rvsum_42025-09-09 05:06 119K 
[   ]rvsum_4__t46_rvsum_4.vout2025-09-15 19:09 7.3K 
[   ]rvsum_4__t47_rvsum_42025-09-09 05:08 121K 
[   ]rvsum_4__t47_rvsum_4.vout2025-09-15 15:49 7.3K 
[   ]rvsum_4__t48_rvsum_42025-09-09 05:10 104K 
[   ]rvsum_4__t48_rvsum_4.vout2025-09-15 18:30 7.3K 
[   ]rvsum_4__t49_rvsum_42025-09-09 05:12 121K 
[   ]rvsum_4__t49_rvsum_4.vout2025-09-15 18:44 7.3K 
[   ]rvsum_4__t50_rvsum_42025-09-09 05:14 93K 
[   ]rvsum_4__t50_rvsum_4.vout2025-09-15 17:04 7.3K 
[   ]rvsum_4__t51_rvsum_42025-09-09 05:16 77K 
[   ]rvsum_4__t51_rvsum_4.depv12025-09-15 19:47 276  
[   ]rvsum_4__t51_rvsum_4.depvmin12025-09-15 19:51 225  
[   ]rvsum_4__t51_rvsum_4.vmin12025-09-15 19:47 3.2K 
[   ]rvsum_4__t51_rvsum_4.vmin1out2025-09-15 19:51 31K 
[   ]rvsum_4__t51_rvsum_4.vout2025-09-15 13:58 34K 
[   ]rvsum_4__t52_rvsum_42025-09-09 05:18 115K 
[   ]rvsum_4__t52_rvsum_4.vout2025-09-15 18:19 7.3K 
[   ]rvsum_4__t53_rvsum_42025-09-09 05:20 136K 
[   ]rvsum_4__t53_rvsum_4.vout2025-09-15 18:50 6.8K 
[   ]rvsum_4__t54_rvsum_42025-09-09 05:23 118K 
[   ]rvsum_4__t54_rvsum_4.vout2025-09-15 18:36 7.3K 
[   ]rvsum_4__t55_rvsum_42025-09-09 05:25 148K 
[   ]rvsum_4__t55_rvsum_4.vout2025-09-15 15:54 7.3K 
[   ]rvsum_4__t56_rvsum_42025-09-09 05:27 126K 
[   ]rvsum_4__t56_rvsum_4.vout2025-09-15 13:52 6.8K 
[   ]rvsum_4__t57_rvsum_42025-09-09 05:30 153K 
[   ]rvsum_4__t57_rvsum_4.vout2025-09-15 19:06 7.3K 
[   ]rvsum_4__t58_rvsum_42025-09-09 05:32 77K 
[   ]rvsum_4__t58_rvsum_4.vout2025-09-15 16:50 2.0K 
[   ]rvsum_4__t59_rvsum_42025-09-09 05:34 123K 
[   ]rvsum_4__t59_rvsum_4.vout2025-09-15 17:05 7.3K 
[   ]rvsum_4__t60_rvsum_42025-09-09 05:36 144K 
[   ]rvsum_4__t60_rvsum_4.vout2025-09-15 16:16 7.3K 
[   ]rvsum_4__t61_rvsum_42025-09-09 05:38 72K 
[   ]rvsum_4__t61_rvsum_4.vout2025-09-15 17:27 7.3K 
[   ]rvsum_4__t62_rvsum_42025-09-09 05:40 75K 
[   ]rvsum_4__t62_rvsum_4.vout2025-09-15 16:50 7.3K 
[   ]rvsum_4__t63_rvsum_42025-09-09 03:46 74K 
[   ]rvsum_4__t63_rvsum_4.vout2025-09-15 13:56 2.0K 
[   ]rvsum_4__t64_rvsum_42025-09-09 05:42 111K 
[   ]rvsum_4__t64_rvsum_4.vout2025-09-15 17:00 7.3K 
[   ]rvsum_4__t65_rvsum_42025-09-09 05:44 77K 
[   ]rvsum_4__t65_rvsum_4.vout2025-09-15 16:27 2.0K 
[   ]rvsum_4__t66_rvsum_42025-09-09 05:46 169K 
[   ]rvsum_4__t66_rvsum_4.vout2025-09-15 19:42 7.3K 
[   ]rvsum_4__t67_rvsum_42025-09-09 05:49 139K 
[   ]rvsum_4__t67_rvsum_4.vout2025-09-15 18:01 7.3K 
[   ]rvsum_4__t68_rvsum_42025-09-09 05:51 124K 
[   ]rvsum_4__t68_rvsum_4.vout2025-09-15 16:29 7.3K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80