Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/nat_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]nat_5__l1_nat_52016-03-08 13:08 58K 
[ ]nat_5__l7_nat_52016-03-08 13:08 52K 
[ ]nat_5__l8_nat_52016-03-08 13:08 49K 
[ ]nat_5__l25_nat_52016-03-08 13:08 57K 
[ ]nat_5__l26_nat_52017-01-05 20:54 109K 
[ ]nat_5__l27_nat_52017-01-05 20:54 290K 
[ ]nat_5__l28_nat_52017-01-05 20:54 122K 
[ ]nat_5__l29_nat_52016-03-08 13:08 103K 
[ ]nat_5__l30_nat_52017-01-05 20:54 167K 
[ ]nat_5__l31_nat_52017-01-05 20:54 135K 
[ ]nat_5__l38_nat_52016-03-08 13:08 172K 
[ ]nat_5__t1_nat_52016-03-08 13:08 103K 
[ ]nat_5__t2_nat_52016-03-08 13:08 79K 
[ ]nat_5__t3_nat_52016-03-08 13:08 73K 
[ ]nat_5__t4_nat_52016-03-08 13:08 42K 
[ ]nat_5__t5_nat_52016-03-08 13:08 43K 
[ ]nat_5__t6_nat_52017-01-05 20:54 69K 
[ ]nat_5__t7_nat_52017-01-05 20:54 93K 
[ ]nat_5__t8_nat_52017-01-05 20:54 94K 
[ ]nat_5__t9_nat_52017-01-05 20:54 66K 
[ ]nat_5__t10_nat_52017-01-05 20:54 127K 
[ ]nat_5__t11_nat_52017-01-05 20:54 127K 
[ ]nat_5__t12_nat_52016-03-08 13:08 69K 
[ ]nat_5__t13_nat_52016-03-08 13:08 53K 
[ ]nat_5__t14_nat_52017-01-05 20:54 54K 
[ ]nat_5__t15_nat_52017-01-05 20:54 67K 
[ ]nat_5__t16_nat_52017-01-05 20:54 93K 
[ ]nat_5__t17_nat_52016-03-08 13:08 69K 
[ ]nat_5__t18_nat_52017-01-05 20:54 52K 
[ ]nat_5__t19_nat_52017-01-05 20:54 50K 
[ ]nat_5__t20_nat_52016-03-08 13:08 79K 
[ ]nat_5__t21_nat_52016-03-08 13:08 44K 
[ ]nat_5__t22_nat_52017-01-05 20:54 276K 
[ ]nat_5__t23_nat_52016-03-08 13:08 166K 
[ ]nat_5__t24_nat_52017-01-05 20:54 104K 
[ ]nat_5__t25_nat_52016-03-08 13:08 88K 
[ ]nat_5__t26_nat_52016-03-08 13:08 78K 
[ ]nat_5__t27_nat_52016-03-08 13:08 94K 
[ ]nat_5__t28_nat_52016-03-08 13:08 134K 
[ ]nat_5__t29_nat_52017-01-05 20:54 100K 
[ ]nat_5__t30_nat_52017-01-05 20:54 141K 
[ ]nat_5__t31_nat_52017-01-05 20:54 129K 
[ ]nat_5__t32_nat_52017-01-05 20:54 131K 
[ ]nat_5__t33_nat_52016-03-08 13:08 67K 
[ ]nat_5__t34_nat_52017-01-05 20:54 133K 
[ ]nat_5__t35_nat_52016-03-08 13:08 64K 
[ ]nat_5__t36_nat_52017-01-05 20:54 67K 
[ ]nat_5__t37_nat_52016-03-08 13:08 61K 
[ ]nat_5__t38_nat_52016-03-08 13:08 403K 
[ ]nat_5__t39_nat_52016-03-08 13:08 257K 
[ ]nat_5__t40_nat_52017-01-05 20:54 157K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80