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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_3__t10_bcialg_32017-01-13 00:30 17K 
[ ]bcialg_3__t11_bcialg_32017-01-13 00:30 18K 
[ ]bcialg_3__t16_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t22_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t12_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t1_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t7_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t9_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t3_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t15_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t25_bcialg_32017-01-13 00:30 19K 
[ ]bcialg_3__t8_bcialg_32017-01-13 00:30 20K 
[ ]bcialg_3__t20_bcialg_32017-01-13 00:30 20K 
[ ]bcialg_3__t21_bcialg_32017-01-13 00:30 20K 
[ ]bcialg_3__t23_bcialg_32017-01-13 00:30 20K 
[ ]bcialg_3__t38_bcialg_32017-01-13 00:30 20K 
[ ]bcialg_3__t2_bcialg_32017-01-13 00:30 20K 
[ ]bcialg_3__t33_bcialg_32017-01-13 00:30 21K 
[ ]bcialg_3__t24_bcialg_32017-01-13 00:30 21K 
[ ]bcialg_3__t4_bcialg_32017-01-13 00:30 21K 
[ ]bcialg_3__t17_bcialg_32017-01-13 00:30 21K 
[ ]bcialg_3__t19_bcialg_32017-01-13 00:30 21K 
[ ]bcialg_3__l49_bcialg_32017-01-13 00:30 21K 
[ ]bcialg_3__t32_bcialg_32017-01-13 00:30 21K 
[ ]bcialg_3__t47_bcialg_32017-01-13 00:30 22K 
[ ]bcialg_3__t31_bcialg_32017-01-13 00:30 22K 
[ ]bcialg_3__t6_bcialg_32017-01-13 00:30 23K 
[ ]bcialg_3__t13_bcialg_32017-01-13 00:30 23K 
[ ]bcialg_3__t30_bcialg_32017-01-13 00:30 23K 
[ ]bcialg_3__t28_bcialg_32017-01-13 00:30 24K 
[ ]bcialg_3__t5_bcialg_32017-01-13 00:30 24K 
[ ]bcialg_3__t26_bcialg_32017-01-13 00:30 24K 
[ ]bcialg_3__t27_bcialg_32017-01-13 00:30 24K 
[ ]bcialg_3__t14_bcialg_32017-01-13 00:30 24K 
[ ]bcialg_3__t40_bcialg_32017-01-13 00:30 24K 
[ ]bcialg_3__t43_bcialg_32017-01-13 00:30 25K 
[ ]bcialg_3__t29_bcialg_32017-01-13 00:30 25K 
[ ]bcialg_3__t39_bcialg_32017-01-13 00:30 25K 
[ ]bcialg_3__t44_bcialg_32017-01-13 00:30 26K 
[ ]bcialg_3__t45_bcialg_32017-01-13 00:30 26K 
[ ]bcialg_3__t36_bcialg_32017-01-13 00:30 26K 
[ ]bcialg_3__t34_bcialg_32017-01-13 00:30 26K 
[ ]bcialg_3__t41_bcialg_32017-01-13 00:30 27K 
[ ]bcialg_3__t35_bcialg_32017-01-13 00:30 28K 
[ ]bcialg_3__t42_bcialg_32017-01-13 00:30 28K 
[ ]bcialg_3__t37_bcialg_32017-01-13 00:30 29K 
[ ]bcialg_3__t48_bcialg_32017-01-13 00:30 30K 
[ ]bcialg_3__t46_bcialg_32017-01-13 00:30 31K 
[ ]bcialg_3__t18_bcialg_32017-01-13 00:30 31K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80