Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/nat_d

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_d__l1_nat_d2017-01-13 00:35 28K 
[ ]nat_d__l2_nat_d2017-01-13 00:35 28K 
[ ]nat_d__s1_nat_d2017-01-13 00:34 85K 
[ ]nat_d__s2_nat_d2017-01-13 00:34 77K 
[ ]nat_d__t1_nat_d2017-01-13 00:34 39K 
[ ]nat_d__t2_nat_d2017-01-13 00:34 40K 
[ ]nat_d__t3_nat_d2017-01-13 00:34 78K 
[ ]nat_d__t4_nat_d2017-01-13 00:34 38K 
[ ]nat_d__t5_nat_d2017-01-13 00:34 42K 
[ ]nat_d__t6_nat_d2017-01-13 00:34 29K 
[ ]nat_d__t7_nat_d2017-01-13 00:34 51K 
[ ]nat_d__t8_nat_d2017-01-13 00:34 48K 
[ ]nat_d__t9_nat_d2017-01-13 00:34 30K 
[ ]nat_d__t10_nat_d2017-01-13 00:34 79K 
[ ]nat_d__t11_nat_d2017-01-13 00:34 53K 
[ ]nat_d__t12_nat_d2017-01-13 00:34 43K 
[ ]nat_d__t13_nat_d2017-01-13 00:34 39K 
[ ]nat_d__t14_nat_d2017-01-13 00:34 41K 
[ ]nat_d__t15_nat_d2017-01-13 00:34 60K 
[ ]nat_d__t16_nat_d2017-01-13 00:34 49K 
[ ]nat_d__t17_nat_d2017-01-13 00:34 74K 
[ ]nat_d__t18_nat_d2017-01-13 00:34 39K 
[ ]nat_d__t19_nat_d2017-01-13 00:34 57K 
[ ]nat_d__t20_nat_d2017-01-13 00:34 40K 
[ ]nat_d__t21_nat_d2017-01-13 00:34 74K 
[ ]nat_d__t22_nat_d2017-01-13 00:34 41K 
[ ]nat_d__t23_nat_d2017-01-13 00:34 31K 
[ ]nat_d__t24_nat_d2017-01-13 00:34 40K 
[ ]nat_d__t25_nat_d2017-01-13 00:34 41K 
[ ]nat_d__t26_nat_d2017-01-13 00:34 38K 
[ ]nat_d__t27_nat_d2017-01-13 00:34 52K 
[ ]nat_d__t28_nat_d2017-01-13 00:34 55K 
[ ]nat_d__t29_nat_d2017-01-13 00:34 46K 
[ ]nat_d__t30_nat_d2017-01-13 00:34 36K 
[ ]nat_d__t31_nat_d2017-01-13 00:34 25K 
[ ]nat_d__t32_nat_d2017-01-13 00:34 25K 
[ ]nat_d__t33_nat_d2017-01-13 00:34 32K 
[ ]nat_d__t34_nat_d2017-01-13 00:34 43K 
[ ]nat_d__t35_nat_d2017-01-13 00:34 37K 
[ ]nat_d__t36_nat_d2017-01-13 00:34 45K 
[ ]nat_d__t37_nat_d2017-01-13 00:34 40K 
[ ]nat_d__t38_nat_d2017-01-13 00:34 41K 
[ ]nat_d__t39_nat_d2017-01-13 00:34 37K 
[ ]nat_d__t40_nat_d2017-01-13 00:34 37K 
[ ]nat_d__t41_nat_d2017-01-13 00:34 55K 
[ ]nat_d__t42_nat_d2017-01-13 00:34 54K 
[ ]nat_d__t43_nat_d2017-01-13 00:34 44K 
[ ]nat_d__t44_nat_d2017-01-13 00:34 51K 
[ ]nat_d__t45_nat_d2017-01-13 00:34 85K 
[ ]nat_d__t46_nat_d2017-01-13 00:34 36K 
[ ]nat_d__t47_nat_d2017-01-13 00:34 42K 
[ ]nat_d__t48_nat_d2017-01-13 00:34 41K 
[ ]nat_d__t49_nat_d2017-01-13 00:35 46K 
[ ]nat_d__t50_nat_d2017-01-13 00:35 28K 
[ ]nat_d__t51_nat_d2017-01-13 00:35 65K 
[ ]nat_d__t52_nat_d2017-01-13 00:35 35K 
[ ]nat_d__t53_nat_d2017-01-13 00:35 33K 
[ ]nat_d__t54_nat_d2017-01-13 00:35 34K 
[ ]nat_d__t55_nat_d2017-01-13 00:35 46K 
[ ]nat_d__t56_nat_d2017-01-13 00:35 47K 
[ ]nat_d__t57_nat_d2017-01-13 00:35 49K 
[ ]nat_d__t58_nat_d2017-01-13 00:35 45K 
[ ]nat_d__t59_nat_d2017-01-13 00:35 65K 
[ ]nat_d__t60_nat_d2017-01-13 00:35 32K 
[ ]nat_d__t61_nat_d2017-01-13 00:35 67K 
[ ]nat_d__t62_nat_d2017-01-13 00:35 58K 
[ ]nat_d__t63_nat_d2017-01-13 00:35 85K 
[ ]nat_d__t64_nat_d2017-01-13 00:35 63K 
[ ]nat_d__t65_nat_d2017-01-13 00:35 48K 
[ ]nat_d__t66_nat_d2017-01-13 00:35 63K 
[ ]nat_d__t67_nat_d2017-01-13 00:35 63K 
[ ]nat_d__t68_nat_d2017-01-13 00:35 83K 
[ ]nat_d__t69_nat_d2017-01-13 00:35 66K 
[ ]nat_d__t70_nat_d2017-01-13 00:35 41K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80