Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rvsum_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rvsum_4__l9_rvsum_42021-07-18 01:13 109K 
[ ]rvsum_4__l9_rvsum_4.vout2021-07-25 19:50 7.3K 
[ ]rvsum_4__t1_rvsum_42021-07-18 00:32 82K 
[ ]rvsum_4__t1_rvsum_4.vout2021-07-25 16:48 7.3K 
[ ]rvsum_4__t2_rvsum_42021-07-18 00:32 103K 
[ ]rvsum_4__t2_rvsum_4.vout2021-07-25 19:58 7.3K 
[ ]rvsum_4__t3_rvsum_42021-07-18 00:33 91K 
[ ]rvsum_4__t3_rvsum_4.vout2021-07-25 18:29 7.3K 
[ ]rvsum_4__t4_rvsum_42021-07-18 00:28 115K 
[ ]rvsum_4__t4_rvsum_4.vout2021-07-25 20:26 6.8K 
[ ]rvsum_4__t5_rvsum_42021-07-18 00:34 89K 
[ ]rvsum_4__t5_rvsum_4.vout2021-07-25 18:04 7.3K 
[ ]rvsum_4__t6_rvsum_42021-07-18 00:35 117K 
[ ]rvsum_4__t6_rvsum_4.vout2021-07-25 16:08 7.3K 
[ ]rvsum_4__t7_rvsum_42021-07-18 00:36 121K 
[ ]rvsum_4__t7_rvsum_4.vout2021-07-25 16:45 7.3K 
[ ]rvsum_4__t8_rvsum_42021-07-18 00:37 109K 
[ ]rvsum_4__t8_rvsum_4.vout2021-07-25 18:57 7.3K 
[ ]rvsum_4__t9_rvsum_42021-07-18 00:37 132K 
[ ]rvsum_4__t9_rvsum_4.vout2021-07-25 18:25 7.3K 
[ ]rvsum_4__t10_rvsum_42021-07-18 00:38 98K 
[ ]rvsum_4__t10_rvsum_4.vout2021-07-25 16:35 7.3K 
[ ]rvsum_4__t11_rvsum_42021-07-18 00:39 80K 
[ ]rvsum_4__t11_rvsum_4.vout2021-07-25 18:09 6.8K 
[ ]rvsum_4__t12_rvsum_42021-07-18 00:39 60K 
[ ]rvsum_4__t12_rvsum_4.vout2021-07-25 16:27 6.8K 
[ ]rvsum_4__t13_rvsum_42021-07-18 00:40 60K 
[ ]rvsum_4__t13_rvsum_4.depv12021-07-25 20:57 176  
[ ]rvsum_4__t13_rvsum_4.depvmin12021-07-25 21:03 163  
[ ]rvsum_4__t13_rvsum_4.vmin12021-07-25 20:57 1.4K 
[ ]rvsum_4__t13_rvsum_4.vmin1out2021-07-25 20:58 11K 
[ ]rvsum_4__t13_rvsum_4.vout2021-07-25 14:44 12K 
[ ]rvsum_4__t14_rvsum_42021-07-18 00:41 65K 
[ ]rvsum_4__t14_rvsum_4.vout2021-07-25 16:49 2.0K 
[ ]rvsum_4__t15_rvsum_42021-07-18 00:41 76K 
[ ]rvsum_4__t15_rvsum_4.depv12021-07-25 20:57 24  
[ ]rvsum_4__t15_rvsum_4.depvmin12021-07-25 21:03 24  
[ ]rvsum_4__t15_rvsum_4.vmin12021-07-25 20:57 521  
[ ]rvsum_4__t15_rvsum_4.vmin1out2021-07-25 20:58 6.8K 
[ ]rvsum_4__t15_rvsum_4.vout2021-07-25 14:54 8.0K 
[ ]rvsum_4__t16_rvsum_42021-07-18 00:42 61K 
[ ]rvsum_4__t16_rvsum_4.vout2021-07-25 19:24 2.0K 
[ ]rvsum_4__t17_rvsum_42021-07-18 00:43 70K 
[ ]rvsum_4__t17_rvsum_4.vout2021-07-25 17:07 6.8K 
[ ]rvsum_4__t18_rvsum_42021-07-18 00:29 101K 
[ ]rvsum_4__t18_rvsum_4.vout2021-07-25 14:26 6.8K 
[ ]rvsum_4__t19_rvsum_42021-07-18 00:43 117K 
[ ]rvsum_4__t19_rvsum_4.vout2021-07-25 18:07 7.3K 
[ ]rvsum_4__t20_rvsum_42021-07-18 00:29 55K 
[ ]rvsum_4__t20_rvsum_4.depv12021-07-25 20:57 50  
[ ]rvsum_4__t20_rvsum_4.depvmin12021-07-25 21:03 50  
[ ]rvsum_4__t20_rvsum_4.vmin12021-07-25 20:57 1.0K 
[ ]rvsum_4__t20_rvsum_4.vmin1out2021-07-25 21:01 12K 
[ ]rvsum_4__t20_rvsum_4.vout2021-07-25 16:21 11K 
[ ]rvsum_4__t21_rvsum_42021-07-18 00:44 107K 
[ ]rvsum_4__t21_rvsum_4.vout2021-07-25 20:09 7.3K 
[ ]rvsum_4__t22_rvsum_42021-07-18 00:45 113K 
[ ]rvsum_4__t22_rvsum_4.vout2021-07-25 20:55 7.3K 
[ ]rvsum_4__t23_rvsum_42021-07-18 00:30 78K 
[ ]rvsum_4__t23_rvsum_4.depv12021-07-25 20:57 301  
[ ]rvsum_4__t23_rvsum_4.depvmin12021-07-25 21:03 301  
[ ]rvsum_4__t23_rvsum_4.vmin12021-07-25 20:57 3.2K 
[ ]rvsum_4__t23_rvsum_4.vmin1out2021-07-25 21:00 35K 
[ ]rvsum_4__t23_rvsum_4.vout2021-07-25 17:45 34K 
[ ]rvsum_4__t24_rvsum_42021-07-18 00:46 110K 
[ ]rvsum_4__t24_rvsum_4.vout2021-07-25 18:00 7.3K 
[ ]rvsum_4__t25_rvsum_42021-07-18 00:46 111K 
[ ]rvsum_4__t25_rvsum_4.vout2021-07-25 15:19 7.3K 
[ ]rvsum_4__t26_rvsum_42021-07-18 00:47 72K 
[ ]rvsum_4__t26_rvsum_4.vout2021-07-25 18:16 7.3K 
[ ]rvsum_4__t29_rvsum_42021-07-18 00:48 59K 
[ ]rvsum_4__t29_rvsum_4.vout2021-07-25 17:48 7.3K 
[ ]rvsum_4__t30_rvsum_42021-07-18 00:48 79K 
[ ]rvsum_4__t30_rvsum_4.vout2021-07-25 20:26 7.3K 
[ ]rvsum_4__t31_rvsum_42021-07-18 00:49 80K 
[ ]rvsum_4__t31_rvsum_4.vout2021-07-25 18:32 7.3K 
[ ]rvsum_4__t32_rvsum_42021-07-18 00:50 107K 
[ ]rvsum_4__t32_rvsum_4.vout2021-07-25 19:39 3.7K 
[ ]rvsum_4__t33_rvsum_42021-07-18 00:50 111K 
[ ]rvsum_4__t33_rvsum_4.vout2021-07-25 17:13 7.3K 
[ ]rvsum_4__t34_rvsum_42021-07-18 00:51 111K 
[ ]rvsum_4__t34_rvsum_4.vout2021-07-25 20:45 7.3K 
[ ]rvsum_4__t35_rvsum_42021-07-18 00:52 87K 
[ ]rvsum_4__t35_rvsum_4.vout2021-07-25 14:58 7.3K 
[ ]rvsum_4__t36_rvsum_42021-07-18 00:31 83K 
[ ]rvsum_4__t36_rvsum_4.depv12021-07-25 20:57 65  
[ ]rvsum_4__t36_rvsum_4.depvmin12021-07-25 21:03 65  
[ ]rvsum_4__t36_rvsum_4.vmin12021-07-25 20:57 585  
[ ]rvsum_4__t36_rvsum_4.vmin1out2021-07-25 20:59 6.4K 
[ ]rvsum_4__t36_rvsum_4.vout2021-07-25 15:18 6.9K 
[ ]rvsum_4__t37_rvsum_42021-07-18 00:52 100K 
[ ]rvsum_4__t37_rvsum_4.vout2021-07-25 18:51 6.8K 
[ ]rvsum_4__t38_rvsum_42021-07-18 00:53 72K 
[ ]rvsum_4__t38_rvsum_4.vout2021-07-25 20:51 7.3K 
[ ]rvsum_4__t39_rvsum_42021-07-18 00:54 100K 
[ ]rvsum_4__t39_rvsum_4.vout2021-07-25 15:12 7.3K 
[ ]rvsum_4__t40_rvsum_42021-07-18 00:54 129K 
[ ]rvsum_4__t40_rvsum_4.vout2021-07-25 16:43 7.3K 
[ ]rvsum_4__t41_rvsum_42021-07-18 00:55 109K 
[ ]rvsum_4__t41_rvsum_4.depv12021-07-25 20:57 78  
[ ]rvsum_4__t41_rvsum_4.depvmin12021-07-25 21:03 54  
[ ]rvsum_4__t41_rvsum_4.vmin12021-07-25 20:57 1.0K 
[ ]rvsum_4__t41_rvsum_4.vmin1out2021-07-25 20:58 8.0K 
[ ]rvsum_4__t41_rvsum_4.vout2021-07-25 15:15 16K 
[ ]rvsum_4__t42_rvsum_42021-07-18 00:56 74K 
[ ]rvsum_4__t42_rvsum_4.depv12021-07-25 20:57 77  
[ ]rvsum_4__t42_rvsum_4.depvmin12021-07-25 21:03 77  
[ ]rvsum_4__t42_rvsum_4.vmin12021-07-25 20:57 1.0K 
[ ]rvsum_4__t42_rvsum_4.vmin1out2021-07-25 20:58 11K 
[ ]rvsum_4__t42_rvsum_4.vout2021-07-25 18:05 12K 
[ ]rvsum_4__t43_rvsum_42021-07-18 00:56 132K 
[ ]rvsum_4__t43_rvsum_4.vout2021-07-25 19:15 6.8K 
[ ]rvsum_4__t44_rvsum_42021-07-18 00:57 112K 
[ ]rvsum_4__t44_rvsum_4.vout2021-07-25 16:09 7.3K 
[ ]rvsum_4__t45_rvsum_42021-07-18 00:58 134K 
[ ]rvsum_4__t45_rvsum_4.vout2021-07-25 17:06 6.8K 
[ ]rvsum_4__t46_rvsum_42021-07-18 00:58 112K 
[ ]rvsum_4__t46_rvsum_4.vout2021-07-25 16:26 7.3K 
[ ]rvsum_4__t47_rvsum_42021-07-18 00:59 114K 
[ ]rvsum_4__t47_rvsum_4.vout2021-07-25 20:28 7.3K 
[ ]rvsum_4__t48_rvsum_42021-07-18 01:00 115K 
[ ]rvsum_4__t48_rvsum_4.vout2021-07-25 17:24 7.3K 
[ ]rvsum_4__t49_rvsum_42021-07-18 01:01 113K 
[ ]rvsum_4__t49_rvsum_4.vout2021-07-25 16:37 7.3K 
[ ]rvsum_4__t50_rvsum_42021-07-18 01:01 85K 
[ ]rvsum_4__t50_rvsum_4.vout2021-07-25 16:23 7.3K 
[ ]rvsum_4__t51_rvsum_42021-07-18 01:02 73K 
[ ]rvsum_4__t51_rvsum_4.depv12021-07-25 20:57 276  
[ ]rvsum_4__t51_rvsum_4.depvmin12021-07-25 21:03 225  
[ ]rvsum_4__t51_rvsum_4.vmin12021-07-25 20:57 3.2K 
[ ]rvsum_4__t51_rvsum_4.vmin1out2021-07-25 20:57 31K 
[ ]rvsum_4__t51_rvsum_4.vout2021-07-25 18:00 34K 
[ ]rvsum_4__t52_rvsum_42021-07-18 01:02 108K 
[ ]rvsum_4__t52_rvsum_4.vout2021-07-25 17:35 7.3K 
[ ]rvsum_4__t53_rvsum_42021-07-18 01:03 128K 
[ ]rvsum_4__t53_rvsum_4.vout2021-07-25 20:22 6.8K 
[ ]rvsum_4__t54_rvsum_42021-07-18 01:04 113K 
[ ]rvsum_4__t54_rvsum_4.vout2021-07-25 19:48 7.3K 
[ ]rvsum_4__t55_rvsum_42021-07-18 01:05 141K 
[ ]rvsum_4__t55_rvsum_4.vout2021-07-25 15:44 7.3K 
[ ]rvsum_4__t56_rvsum_42021-07-18 01:05 118K 
[ ]rvsum_4__t56_rvsum_4.vout2021-07-25 17:24 6.8K 
[ ]rvsum_4__t57_rvsum_42021-07-18 01:06 148K 
[ ]rvsum_4__t57_rvsum_4.vout2021-07-25 14:42 7.3K 
[ ]rvsum_4__t58_rvsum_42021-07-18 01:07 74K 
[ ]rvsum_4__t58_rvsum_4.depv12021-07-25 20:57 91  
[ ]rvsum_4__t58_rvsum_4.depvmin12021-07-25 21:03 91  
[ ]rvsum_4__t58_rvsum_4.vmin12021-07-25 20:57 917  
[ ]rvsum_4__t58_rvsum_4.vmin1out2021-07-25 21:00 8.2K 
[ ]rvsum_4__t58_rvsum_4.vout2021-07-25 17:40 8.9K 
[ ]rvsum_4__t59_rvsum_42021-07-18 01:07 116K 
[ ]rvsum_4__t59_rvsum_4.vout2021-07-25 19:12 7.3K 
[ ]rvsum_4__t60_rvsum_42021-07-18 01:08 137K 
[ ]rvsum_4__t60_rvsum_4.vout2021-07-25 18:03 7.3K 
[ ]rvsum_4__t61_rvsum_42021-07-18 01:08 68K 
[ ]rvsum_4__t61_rvsum_4.vout2021-07-25 15:12 7.3K 
[ ]rvsum_4__t62_rvsum_42021-07-18 01:09 71K 
[ ]rvsum_4__t62_rvsum_4.vout2021-07-25 19:06 7.3K 
[ ]rvsum_4__t63_rvsum_42021-07-18 00:31 74K 
[ ]rvsum_4__t63_rvsum_4.vout2021-07-25 19:20 2.0K 
[ ]rvsum_4__t64_rvsum_42021-07-18 01:10 106K 
[ ]rvsum_4__t64_rvsum_4.vout2021-07-25 18:22 7.3K 
[ ]rvsum_4__t65_rvsum_42021-07-18 01:10 74K 
[ ]rvsum_4__t65_rvsum_4.depv12021-07-25 20:57 91  
[ ]rvsum_4__t65_rvsum_4.depvmin12021-07-25 21:03 91  
[ ]rvsum_4__t65_rvsum_4.vmin12021-07-25 20:57 917  
[ ]rvsum_4__t65_rvsum_4.vmin1out2021-07-25 20:59 8.2K 
[ ]rvsum_4__t65_rvsum_4.vout2021-07-25 16:00 8.9K 
[ ]rvsum_4__t66_rvsum_42021-07-18 01:11 161K 
[ ]rvsum_4__t66_rvsum_4.vout2021-07-25 14:56 7.3K 
[ ]rvsum_4__t67_rvsum_42021-07-18 01:12 132K 
[ ]rvsum_4__t67_rvsum_4.vout2021-07-25 17:05 7.3K 
[ ]rvsum_4__t68_rvsum_42021-07-18 01:12 117K 
[ ]rvsum_4__t68_rvsum_4.vout2021-07-25 18:49 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80