Index of /~mptp/mml5.63.1382/MPTP2/problems/rvsum_3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rvsum_3__l28_rvsum_32023-06-28 16:55 96K 
[   ]rvsum_3__l29_rvsum_32023-06-28 16:56 96K 
[   ]rvsum_3__t1_rvsum_32023-06-28 16:30 90K 
[   ]rvsum_3__t2_rvsum_32023-06-28 16:31 410K 
[   ]rvsum_3__t3_rvsum_32023-06-28 16:31 79K 
[   ]rvsum_3__t4_rvsum_32023-06-28 16:32 156K 
[   ]rvsum_3__t5_rvsum_32023-06-28 16:33 76K 
[   ]rvsum_3__t6_rvsum_32023-06-28 16:33 69K 
[   ]rvsum_3__t7_rvsum_32023-06-28 16:34 80K 
[   ]rvsum_3__t8_rvsum_32023-06-28 16:34 78K 
[   ]rvsum_3__t9_rvsum_32023-06-28 16:35 54K 
[   ]rvsum_3__t10_rvsum_32023-06-28 16:35 60K 
[   ]rvsum_3__t11_rvsum_32023-06-28 16:36 54K 
[   ]rvsum_3__t12_rvsum_32023-06-28 16:36 62K 
[   ]rvsum_3__t13_rvsum_32023-06-28 16:37 64K 
[   ]rvsum_3__t14_rvsum_32023-06-28 16:37 53K 
[   ]rvsum_3__t15_rvsum_32023-06-28 16:30 60K 
[   ]rvsum_3__t16_rvsum_32023-06-28 16:38 61K 
[   ]rvsum_3__t17_rvsum_32023-06-28 16:38 63K 
[   ]rvsum_3__t18_rvsum_32023-06-28 16:39 63K 
[   ]rvsum_3__t19_rvsum_32023-06-28 16:39 70K 
[   ]rvsum_3__t20_rvsum_32023-06-28 16:40 70K 
[   ]rvsum_3__t21_rvsum_32023-06-28 16:40 104K 
[   ]rvsum_3__t22_rvsum_32023-06-28 16:41 56K 
[   ]rvsum_3__t23_rvsum_32023-06-28 16:41 93K 
[   ]rvsum_3__t24_rvsum_32023-06-28 16:42 136K 
[   ]rvsum_3__t25_rvsum_32023-06-28 16:42 125K 
[   ]rvsum_3__t26_rvsum_32023-06-28 16:43 75K 
[   ]rvsum_3__t27_rvsum_32023-06-28 16:43 71K 
[   ]rvsum_3__t28_rvsum_32023-06-28 16:44 78K 
[   ]rvsum_3__t29_rvsum_32023-06-28 16:45 59K 
[   ]rvsum_3__t30_rvsum_32023-06-28 16:45 59K 
[   ]rvsum_3__t31_rvsum_32023-06-28 16:45 59K 
[   ]rvsum_3__t32_rvsum_32023-06-28 16:46 86K 
[   ]rvsum_3__t33_rvsum_32023-06-28 16:47 53K 
[   ]rvsum_3__t34_rvsum_32023-06-28 16:47 67K 
[   ]rvsum_3__t35_rvsum_32023-06-28 16:48 109K 
[   ]rvsum_3__t36_rvsum_32023-06-28 16:48 109K 
[   ]rvsum_3__t37_rvsum_32023-06-28 16:49 115K 
[   ]rvsum_3__t38_rvsum_32023-06-28 16:49 66K 
[   ]rvsum_3__t39_rvsum_32023-06-28 16:50 66K 
[   ]rvsum_3__t40_rvsum_32023-06-28 16:50 117K 
[   ]rvsum_3__t41_rvsum_32023-06-28 16:51 117K 
[   ]rvsum_3__t42_rvsum_32023-06-28 16:52 81K 
[   ]rvsum_3__t43_rvsum_32023-06-28 16:52 107K 
[   ]rvsum_3__t44_rvsum_32023-06-28 16:53 96K 
[   ]rvsum_3__t45_rvsum_32023-06-28 16:53 97K 
[   ]rvsum_3__t46_rvsum_32023-06-28 16:54 73K 
[   ]rvsum_3__t47_rvsum_32023-06-28 16:54 70K 

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