Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/bcialg_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_5__t1_bcialg_52017-01-13 00:37 32K 
[ ]bcialg_5__t2_bcialg_52017-01-13 00:37 32K 
[ ]bcialg_5__t3_bcialg_52017-01-13 00:37 41K 
[ ]bcialg_5__t4_bcialg_52017-01-13 00:37 46K 
[ ]bcialg_5__t5_bcialg_52017-01-13 00:37 63K 
[ ]bcialg_5__t6_bcialg_52017-01-13 00:37 66K 
[ ]bcialg_5__t7_bcialg_52017-01-13 00:37 39K 
[ ]bcialg_5__t8_bcialg_52017-01-13 00:37 40K 
[ ]bcialg_5__t9_bcialg_52017-01-13 00:37 43K 
[ ]bcialg_5__t10_bcialg_52017-01-13 00:37 47K 
[ ]bcialg_5__t11_bcialg_52017-01-13 00:37 50K 
[ ]bcialg_5__t12_bcialg_52017-01-13 00:37 45K 
[ ]bcialg_5__t13_bcialg_52017-01-13 00:37 39K 
[ ]bcialg_5__t14_bcialg_52017-01-13 00:37 41K 
[ ]bcialg_5__t15_bcialg_52017-01-13 00:37 41K 
[ ]bcialg_5__t16_bcialg_52017-01-13 00:37 40K 
[ ]bcialg_5__t17_bcialg_52017-01-13 00:37 42K 
[ ]bcialg_5__t18_bcialg_52017-01-13 00:37 42K 
[ ]bcialg_5__t19_bcialg_52017-01-13 00:37 56K 
[ ]bcialg_5__t20_bcialg_52017-01-13 00:37 55K 
[ ]bcialg_5__t21_bcialg_52017-01-13 00:37 41K 
[ ]bcialg_5__t22_bcialg_52017-01-13 00:37 41K 
[ ]bcialg_5__t23_bcialg_52017-01-13 00:37 20K 
[ ]bcialg_5__t24_bcialg_52017-01-13 00:37 20K 
[ ]bcialg_5__t25_bcialg_52017-01-13 00:37 23K 
[ ]bcialg_5__t26_bcialg_52017-01-13 00:37 24K 
[ ]bcialg_5__t27_bcialg_52017-01-13 00:37 56K 
[ ]bcialg_5__t28_bcialg_52017-01-13 00:37 63K 
[ ]bcialg_5__t29_bcialg_52017-01-13 00:37 45K 
[ ]bcialg_5__t30_bcialg_52017-01-13 00:37 58K 
[ ]bcialg_5__t31_bcialg_52017-01-13 00:37 41K 
[ ]bcialg_5__t32_bcialg_52017-01-13 00:37 59K 
[ ]bcialg_5__t33_bcialg_52017-01-13 00:37 81K 
[ ]bcialg_5__t34_bcialg_52017-01-13 00:37 51K 
[ ]bcialg_5__t35_bcialg_52017-01-13 00:37 58K 
[ ]bcialg_5__t36_bcialg_52017-01-13 00:37 56K 
[ ]bcialg_5__t37_bcialg_52017-01-13 00:37 43K 
[ ]bcialg_5__t38_bcialg_52017-01-13 00:37 45K 
[ ]bcialg_5__t39_bcialg_52017-01-13 00:37 38K 
[ ]bcialg_5__t40_bcialg_52017-01-13 00:37 36K 
[ ]bcialg_5__t41_bcialg_52017-01-13 00:37 43K 
[ ]bcialg_5__t42_bcialg_52017-01-13 00:37 43K 
[ ]bcialg_5__t43_bcialg_52017-01-13 00:37 58K 
[ ]bcialg_5__t44_bcialg_52017-01-13 00:37 62K 
[ ]bcialg_5__t45_bcialg_52017-01-13 00:37 49K 
[ ]bcialg_5__t46_bcialg_52017-01-13 00:37 50K 
[ ]bcialg_5__t47_bcialg_52017-01-13 00:37 43K 
[ ]bcialg_5__t48_bcialg_52017-01-13 00:37 51K 
[ ]bcialg_5__t49_bcialg_52017-01-13 00:37 53K 
[ ]bcialg_5__t50_bcialg_52017-01-13 00:37 51K 
[ ]bcialg_5__t51_bcialg_52017-01-13 00:37 32K 
[ ]bcialg_5__t52_bcialg_52017-01-13 00:37 53K 
[ ]bcialg_5__t53_bcialg_52017-01-13 00:37 60K 
[ ]bcialg_5__t54_bcialg_52017-01-13 00:37 46K 
[ ]bcialg_5__t55_bcialg_52017-01-13 00:37 68K 
[ ]bcialg_5__t56_bcialg_52017-01-13 00:37 53K 
[ ]bcialg_5__t57_bcialg_52017-01-13 00:37 56K 
[ ]bcialg_5__t58_bcialg_52017-01-13 00:37 53K 
[ ]bcialg_5__t59_bcialg_52017-01-13 00:37 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80