Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/rcomp_3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rcomp_3__l9_rcomp_32017-01-12 22:02 50K 
[   ]rcomp_3__l10_rcomp_32017-01-12 22:02 48K 
[   ]rcomp_3__l50_rcomp_32017-01-12 22:02 105K 
[   ]rcomp_3__t1_rcomp_32017-01-12 22:01 40K 
[   ]rcomp_3__t2_rcomp_32017-01-12 22:01 40K 
[   ]rcomp_3__t3_rcomp_32017-01-12 22:01 76K 
[   ]rcomp_3__t4_rcomp_32017-01-12 22:01 60K 
[   ]rcomp_3__t5_rcomp_32017-01-12 22:01 84K 
[   ]rcomp_3__t6_rcomp_32017-01-12 22:01 60K 
[   ]rcomp_3__t7_rcomp_32017-01-12 22:01 84K 
[   ]rcomp_3__t8_rcomp_32017-01-12 22:01 59K 
[   ]rcomp_3__t9_rcomp_32017-01-12 22:01 51K 
[   ]rcomp_3__t10_rcomp_32017-01-12 22:01 84K 
[   ]rcomp_3__t11_rcomp_32017-01-12 22:01 50K 
[   ]rcomp_3__t12_rcomp_32017-01-12 22:01 61K 
[   ]rcomp_3__t13_rcomp_32017-01-12 22:01 43K 
[   ]rcomp_3__t14_rcomp_32017-01-12 22:01 52K 
[   ]rcomp_3__t15_rcomp_32017-01-12 22:01 61K 
[   ]rcomp_3__t16_rcomp_32017-01-12 22:01 52K 
[   ]rcomp_3__t17_rcomp_32017-01-12 22:01 60K 
[   ]rcomp_3__t18_rcomp_32017-01-12 22:01 53K 
[   ]rcomp_3__t19_rcomp_32017-01-12 22:01 63K 
[   ]rcomp_3__t20_rcomp_32017-01-12 22:01 47K 
[   ]rcomp_3__t21_rcomp_32017-01-12 22:01 47K 
[   ]rcomp_3__t22_rcomp_32017-01-12 22:01 47K 
[   ]rcomp_3__t23_rcomp_32017-01-12 22:01 60K 
[   ]rcomp_3__t24_rcomp_32017-01-12 22:01 48K 
[   ]rcomp_3__t25_rcomp_32017-01-12 22:01 47K 
[   ]rcomp_3__t26_rcomp_32017-01-12 22:01 48K 
[   ]rcomp_3__t27_rcomp_32017-01-12 22:01 61K 
[   ]rcomp_3__t28_rcomp_32017-01-12 22:01 43K 
[   ]rcomp_3__t29_rcomp_32017-01-12 22:01 60K 
[   ]rcomp_3__t30_rcomp_32017-01-12 22:02 59K 
[   ]rcomp_3__t31_rcomp_32017-01-12 22:02 60K 
[   ]rcomp_3__t32_rcomp_32017-01-12 22:02 106K 
[   ]rcomp_3__t33_rcomp_32017-01-12 22:02 103K 
[   ]rcomp_3__t34_rcomp_32017-01-12 22:02 105K 
[   ]rcomp_3__t35_rcomp_32017-01-12 22:02 105K 
[   ]rcomp_3__t36_rcomp_32017-01-12 22:02 82K 
[   ]rcomp_3__t37_rcomp_32017-01-12 22:02 71K 
[   ]rcomp_3__t38_rcomp_32017-01-12 22:02 83K 
[   ]rcomp_3__t39_rcomp_32017-01-12 22:02 83K 
[   ]rcomp_3__t40_rcomp_32017-01-12 22:02 74K 
[   ]rcomp_3__t41_rcomp_32017-01-12 22:02 95K 
[   ]rcomp_3__t42_rcomp_32017-01-12 22:02 95K 
[   ]rcomp_3__t43_rcomp_32017-01-12 22:02 71K 
[   ]rcomp_3__t44_rcomp_32017-01-12 22:02 97K 
[   ]rcomp_3__t45_rcomp_32017-01-12 22:02 67K 
[   ]rcomp_3__t46_rcomp_32017-01-12 22:02 45K 
[   ]rcomp_3__t47_rcomp_32017-01-12 22:02 71K 
[   ]rcomp_3__t48_rcomp_32017-01-12 22:02 62K 
[   ]rcomp_3__t49_rcomp_32017-01-12 22:02 106K 
[   ]rcomp_3__t50_rcomp_32017-01-12 22:02 104K 
[   ]rcomp_3__t51_rcomp_32017-01-12 22:02 106K 
[   ]rcomp_3__t52_rcomp_32017-01-12 22:02 110K 
[   ]rcomp_3__t53_rcomp_32017-01-12 22:02 108K 
[   ]rcomp_3__t54_rcomp_32017-01-12 22:02 108K 
[   ]rcomp_3__t55_rcomp_32017-01-12 22:02 103K 
[   ]rcomp_3__t56_rcomp_32017-01-12 22:02 103K 
[   ]rcomp_3__t57_rcomp_32017-01-12 22:02 103K 
[   ]rcomp_3__t58_rcomp_32017-01-12 22:02 105K 
[   ]rcomp_3__t59_rcomp_32017-01-12 22:02 105K 
[   ]rcomp_3__t60_rcomp_32017-01-12 22:02 96K 
[   ]rcomp_3__t61_rcomp_32017-01-12 22:02 93K 
[   ]rcomp_3__t62_rcomp_32017-01-12 22:02 91K 
[   ]rcomp_3__t63_rcomp_32017-01-12 22:02 109K 
[   ]rcomp_3__t64_rcomp_32017-01-12 22:02 143K 
[   ]rcomp_3__t65_rcomp_32017-01-12 22:02 220K 
[   ]rcomp_3__t66_rcomp_32017-01-12 22:02 224K 

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