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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]filter_1__l65_filter_12017-01-12 22:09 42K 
[ ]filter_1__l67_filter_12017-01-12 22:09 42K 
[ ]filter_1__l69_filter_12017-01-12 22:09 38K 
[ ]filter_1__l71_filter_12017-01-12 22:09 52K 
[ ]filter_1__s1_filter_12017-01-12 22:09 23K 
[ ]filter_1__s2_filter_12017-01-12 22:09 23K 
[ ]filter_1__s3_filter_12017-01-12 22:09 24K 
[ ]filter_1__s4_filter_12017-01-12 22:09 8.4K 
[ ]filter_1__s5_filter_12017-01-12 22:09 8.7K 
[ ]filter_1__s6_filter_12017-01-12 22:09 9.0K 
[ ]filter_1__t1_filter_12017-01-12 22:09 40K 
[ ]filter_1__t2_filter_12017-01-12 22:09 20K 
[ ]filter_1__t3_filter_12017-01-12 22:09 29K 
[ ]filter_1__t4_filter_12017-01-12 22:09 30K 
[ ]filter_1__t5_filter_12017-01-12 22:09 30K 
[ ]filter_1__t6_filter_12017-01-12 22:09 30K 
[ ]filter_1__t7_filter_12017-01-12 22:09 30K 
[ ]filter_1__t8_filter_12017-01-12 22:09 25K 
[ ]filter_1__t9_filter_12017-01-12 22:09 30K 
[ ]filter_1__t10_filter_12017-01-12 22:09 30K 
[ ]filter_1__t11_filter_12017-01-12 22:09 23K 
[ ]filter_1__t12_filter_12017-01-12 22:09 29K 
[ ]filter_1__t13_filter_12017-01-12 22:09 52K 
[ ]filter_1__t14_filter_12017-01-12 22:09 47K 
[ ]filter_1__t15_filter_12017-01-12 22:09 57K 
[ ]filter_1__t16_filter_12017-01-12 22:09 62K 
[ ]filter_1__t17_filter_12017-01-12 22:09 38K 
[ ]filter_1__t18_filter_12017-01-12 22:09 57K 
[ ]filter_1__t19_filter_12017-01-12 22:09 57K 
[ ]filter_1__t20_filter_12017-01-12 22:09 63K 
[ ]filter_1__t21_filter_12017-01-12 22:09 24K 
[ ]filter_1__t22_filter_12017-01-12 22:09 25K 
[ ]filter_1__t23_filter_12017-01-12 22:09 25K 
[ ]filter_1__t24_filter_12017-01-12 22:09 25K 
[ ]filter_1__t25_filter_12017-01-12 22:09 25K 
[ ]filter_1__t26_filter_12017-01-12 22:09 22K 
[ ]filter_1__t27_filter_12017-01-12 22:09 26K 
[ ]filter_1__t28_filter_12017-01-12 22:09 26K 
[ ]filter_1__t29_filter_12017-01-12 22:09 21K 
[ ]filter_1__t30_filter_12017-01-12 22:09 24K 
[ ]filter_1__t31_filter_12017-01-12 22:09 16K 
[ ]filter_1__t32_filter_12017-01-12 22:09 20K 
[ ]filter_1__t33_filter_12017-01-12 22:09 17K 
[ ]filter_1__t34_filter_12017-01-12 22:09 39K 
[ ]filter_1__t35_filter_12017-01-12 22:09 46K 
[ ]filter_1__t36_filter_12017-01-12 22:09 45K 
[ ]filter_1__t37_filter_12017-01-12 22:09 48K 
[ ]filter_1__t38_filter_12017-01-12 22:09 40K 
[ ]filter_1__t39_filter_12017-01-12 22:09 44K 
[ ]filter_1__t40_filter_12017-01-12 22:09 44K 
[ ]filter_1__t41_filter_12017-01-12 22:09 36K 
[ ]filter_1__t42_filter_12017-01-12 22:09 45K 
[ ]filter_1__t43_filter_12017-01-12 22:09 45K 
[ ]filter_1__t44_filter_12017-01-12 22:09 50K 
[ ]filter_1__t45_filter_12017-01-12 22:09 40K 
[ ]filter_1__t46_filter_12017-01-12 22:09 42K 
[ ]filter_1__t47_filter_12017-01-12 22:09 49K 
[ ]filter_1__t48_filter_12017-01-12 22:09 36K 
[ ]filter_1__t49_filter_12017-01-12 22:09 56K 
[ ]filter_1__t50_filter_12017-01-12 22:09 44K 
[ ]filter_1__t51_filter_12017-01-12 22:09 44K 
[ ]filter_1__t52_filter_12017-01-12 22:09 51K 
[ ]filter_1__t53_filter_12017-01-12 22:09 47K 
[ ]filter_1__t54_filter_12017-01-12 22:09 45K 
[ ]filter_1__t55_filter_12017-01-12 22:09 43K 
[ ]filter_1__t56_filter_12017-01-12 22:09 43K 
[ ]filter_1__t57_filter_12017-01-12 22:09 38K 
[ ]filter_1__t58_filter_12017-01-12 22:09 44K 
[ ]filter_1__t59_filter_12017-01-12 22:09 46K 
[ ]filter_1__t60_filter_12017-01-12 22:09 60K 
[ ]filter_1__t61_filter_12017-01-12 22:09 105K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80