Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/rvsum_3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rvsum_3__l28_rvsum_32021-07-19 01:12 96K 
[   ]rvsum_3__l29_rvsum_32021-07-19 01:13 96K 
[   ]rvsum_3__t1_rvsum_32021-07-19 00:45 89K 
[   ]rvsum_3__t2_rvsum_32021-07-19 00:46 393K 
[   ]rvsum_3__t3_rvsum_32021-07-19 00:46 79K 
[   ]rvsum_3__t4_rvsum_32021-07-19 00:47 155K 
[   ]rvsum_3__t5_rvsum_32021-07-19 00:48 76K 
[   ]rvsum_3__t6_rvsum_32021-07-19 00:48 69K 
[   ]rvsum_3__t7_rvsum_32021-07-19 00:49 80K 
[   ]rvsum_3__t8_rvsum_32021-07-19 00:49 78K 
[   ]rvsum_3__t9_rvsum_32021-07-19 00:50 54K 
[   ]rvsum_3__t10_rvsum_32021-07-19 00:50 60K 
[   ]rvsum_3__t11_rvsum_32021-07-19 00:51 54K 
[   ]rvsum_3__t12_rvsum_32021-07-19 00:52 62K 
[   ]rvsum_3__t13_rvsum_32021-07-19 00:52 64K 
[   ]rvsum_3__t14_rvsum_32021-07-19 00:53 53K 
[   ]rvsum_3__t15_rvsum_32021-07-19 00:45 60K 
[   ]rvsum_3__t16_rvsum_32021-07-19 00:53 61K 
[   ]rvsum_3__t17_rvsum_32021-07-19 00:54 63K 
[   ]rvsum_3__t18_rvsum_32021-07-19 00:54 63K 
[   ]rvsum_3__t19_rvsum_32021-07-19 00:55 70K 
[   ]rvsum_3__t20_rvsum_32021-07-19 00:55 70K 
[   ]rvsum_3__t21_rvsum_32021-07-19 00:56 103K 
[   ]rvsum_3__t22_rvsum_32021-07-19 00:57 56K 
[   ]rvsum_3__t23_rvsum_32021-07-19 00:57 93K 
[   ]rvsum_3__t24_rvsum_32021-07-19 00:58 135K 
[   ]rvsum_3__t25_rvsum_32021-07-19 00:59 125K 
[   ]rvsum_3__t26_rvsum_32021-07-19 00:59 75K 
[   ]rvsum_3__t27_rvsum_32021-07-19 01:00 71K 
[   ]rvsum_3__t28_rvsum_32021-07-19 01:00 78K 
[   ]rvsum_3__t29_rvsum_32021-07-19 01:01 59K 
[   ]rvsum_3__t30_rvsum_32021-07-19 01:01 59K 
[   ]rvsum_3__t31_rvsum_32021-07-19 01:02 59K 
[   ]rvsum_3__t32_rvsum_32021-07-19 01:03 86K 
[   ]rvsum_3__t33_rvsum_32021-07-19 01:03 53K 
[   ]rvsum_3__t34_rvsum_32021-07-19 01:04 67K 
[   ]rvsum_3__t35_rvsum_32021-07-19 01:04 108K 
[   ]rvsum_3__t36_rvsum_32021-07-19 01:05 108K 
[   ]rvsum_3__t37_rvsum_32021-07-19 01:06 114K 
[   ]rvsum_3__t38_rvsum_32021-07-19 01:06 66K 
[   ]rvsum_3__t39_rvsum_32021-07-19 01:07 66K 
[   ]rvsum_3__t40_rvsum_32021-07-19 01:07 116K 
[   ]rvsum_3__t41_rvsum_32021-07-19 01:08 117K 
[   ]rvsum_3__t42_rvsum_32021-07-19 01:09 81K 
[   ]rvsum_3__t43_rvsum_32021-07-19 01:09 106K 
[   ]rvsum_3__t44_rvsum_32021-07-19 01:10 96K 
[   ]rvsum_3__t45_rvsum_32021-07-19 01:10 97K 
[   ]rvsum_3__t46_rvsum_32021-07-19 01:11 73K 
[   ]rvsum_3__t47_rvsum_32021-07-19 01:12 70K 

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