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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_5__l1_nat_52017-01-13 00:35 91K 
[ ]nat_5__l7_nat_52017-01-13 00:35 83K 
[ ]nat_5__l8_nat_52017-01-13 00:35 78K 
[ ]nat_5__l25_nat_52017-01-13 00:35 89K 
[ ]nat_5__l26_nat_52017-01-13 00:35 158K 
[ ]nat_5__l27_nat_52017-01-13 00:35 355K 
[ ]nat_5__l28_nat_52017-01-13 00:35 181K 
[ ]nat_5__l29_nat_52017-01-13 00:35 161K 
[ ]nat_5__l30_nat_52017-01-13 00:35 210K 
[ ]nat_5__l31_nat_52017-01-13 00:35 197K 
[ ]nat_5__l38_nat_52017-01-13 00:35 252K 
[ ]nat_5__t1_nat_52017-01-13 00:35 143K 
[ ]nat_5__t2_nat_52017-01-13 00:35 119K 
[ ]nat_5__t3_nat_52017-01-13 00:35 110K 
[ ]nat_5__t4_nat_52017-01-13 00:35 68K 
[ ]nat_5__t5_nat_52017-01-13 00:35 69K 
[ ]nat_5__t6_nat_52017-01-13 00:35 111K 
[ ]nat_5__t7_nat_52017-01-13 00:35 146K 
[ ]nat_5__t8_nat_52017-01-13 00:35 147K 
[ ]nat_5__t9_nat_52017-01-13 00:35 106K 
[ ]nat_5__t10_nat_52017-01-13 00:35 197K 
[ ]nat_5__t11_nat_52017-01-13 00:35 194K 
[ ]nat_5__t12_nat_52017-01-13 00:35 109K 
[ ]nat_5__t13_nat_52017-01-13 00:35 85K 
[ ]nat_5__t14_nat_52017-01-13 00:35 85K 
[ ]nat_5__t15_nat_52017-01-13 00:35 103K 
[ ]nat_5__t16_nat_52017-01-13 00:35 133K 
[ ]nat_5__t17_nat_52017-01-13 00:35 106K 
[ ]nat_5__t18_nat_52017-01-13 00:35 82K 
[ ]nat_5__t19_nat_52017-01-13 00:35 79K 
[ ]nat_5__t20_nat_52017-01-13 00:35 119K 
[ ]nat_5__t21_nat_52017-01-13 00:35 71K 
[ ]nat_5__t22_nat_52017-01-13 00:35 329K 
[ ]nat_5__t23_nat_52017-01-13 00:35 224K 
[ ]nat_5__t24_nat_52017-01-13 00:35 166K 
[ ]nat_5__t25_nat_52017-01-13 00:35 141K 
[ ]nat_5__t26_nat_52017-01-13 00:35 123K 
[ ]nat_5__t27_nat_52017-01-13 00:35 149K 
[ ]nat_5__t28_nat_52017-01-13 00:35 202K 
[ ]nat_5__t29_nat_52017-01-13 00:35 158K 
[ ]nat_5__t30_nat_52017-01-13 00:35 205K 
[ ]nat_5__t31_nat_52017-01-13 00:35 190K 
[ ]nat_5__t32_nat_52017-01-13 00:35 192K 
[ ]nat_5__t33_nat_52017-01-13 00:35 104K 
[ ]nat_5__t34_nat_52017-01-13 00:35 205K 
[ ]nat_5__t35_nat_52017-01-13 00:35 103K 
[ ]nat_5__t36_nat_52017-01-13 00:35 107K 
[ ]nat_5__t37_nat_52017-01-13 00:35 99K 
[ ]nat_5__t38_nat_52017-01-13 00:35 448K 
[ ]nat_5__t39_nat_52017-01-13 00:35 302K 
[ ]nat_5__t40_nat_52017-01-13 00:35 238K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80