Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/armstrng

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]armstrng__l1_armstrng2016-03-08 13:04 43K 
[ ]armstrng__l2_armstrng2017-01-05 20:54 48K 
[ ]armstrng__l74_armstrng2017-01-05 20:54 42K 
[ ]armstrng__t1_armstrng2016-03-08 13:04 40K 
[ ]armstrng__t2_armstrng2016-03-08 13:04 49K 
[ ]armstrng__t3_armstrng2016-03-08 13:04 38K 
[ ]armstrng__t4_armstrng2016-03-08 13:04 39K 
[ ]armstrng__t5_armstrng2017-01-05 20:54 68K 
[ ]armstrng__t6_armstrng2017-01-05 20:54 86K 
[ ]armstrng__t7_armstrng2017-01-05 20:54 161K 
[ ]armstrng__t8_armstrng2016-03-08 13:04 41K 
[ ]armstrng__t9_armstrng2016-03-08 13:04 39K 
[ ]armstrng__t10_armstrng2017-01-05 20:54 40K 
[ ]armstrng__t11_armstrng2016-03-08 13:04 42K 
[ ]armstrng__t12_armstrng2016-03-08 13:04 38K 
[ ]armstrng__t13_armstrng2016-03-08 13:04 42K 
[ ]armstrng__t14_armstrng2017-01-05 20:54 41K 
[ ]armstrng__t15_armstrng2017-01-05 20:54 44K 
[ ]armstrng__t16_armstrng2017-01-05 20:54 44K 
[ ]armstrng__t17_armstrng2017-01-05 20:54 51K 
[ ]armstrng__t18_armstrng2016-03-08 13:04 46K 
[ ]armstrng__t19_armstrng2016-03-08 13:04 50K 
[ ]armstrng__t20_armstrng2016-03-08 13:04 36K 
[ ]armstrng__t21_armstrng2016-03-08 13:04 37K 
[ ]armstrng__t22_armstrng2016-03-08 13:04 37K 
[ ]armstrng__t23_armstrng2017-01-05 20:54 63K 
[ ]armstrng__t24_armstrng2017-01-05 20:54 51K 
[ ]armstrng__t25_armstrng2017-01-05 20:54 44K 
[ ]armstrng__t26_armstrng2017-01-05 20:54 49K 
[ ]armstrng__t27_armstrng2017-01-05 20:54 47K 
[ ]armstrng__t28_armstrng2017-01-05 20:54 61K 
[ ]armstrng__t29_armstrng2017-01-05 20:54 63K 
[ ]armstrng__t30_armstrng2017-01-05 20:54 58K 
[ ]armstrng__t31_armstrng2017-01-05 20:54 38K 
[ ]armstrng__t32_armstrng2017-01-05 20:54 57K 
[ ]armstrng__t33_armstrng2017-01-05 20:54 54K 
[ ]armstrng__t34_armstrng2017-01-05 20:54 53K 
[ ]armstrng__t35_armstrng2017-01-05 20:54 62K 
[ ]armstrng__t36_armstrng2017-01-05 20:54 46K 
[ ]armstrng__t37_armstrng2017-01-05 20:54 52K 
[ ]armstrng__t38_armstrng2017-01-05 20:54 50K 
[ ]armstrng__t39_armstrng2017-01-05 20:54 37K 
[ ]armstrng__t40_armstrng2017-01-05 20:54 52K 
[ ]armstrng__t41_armstrng2017-01-05 20:54 51K 
[ ]armstrng__t42_armstrng2017-01-05 20:54 56K 
[ ]armstrng__t43_armstrng2017-01-05 20:54 52K 
[ ]armstrng__t44_armstrng2017-01-05 20:54 35K 
[ ]armstrng__t45_armstrng2017-01-05 20:54 36K 
[ ]armstrng__t46_armstrng2017-01-05 20:54 151K 
[ ]armstrng__t47_armstrng2017-01-05 20:54 49K 
[ ]armstrng__t48_armstrng2017-01-05 20:54 56K 
[ ]armstrng__t49_armstrng2017-01-05 20:54 55K 
[ ]armstrng__t50_armstrng2017-01-05 20:54 51K 
[ ]armstrng__t51_armstrng2017-01-05 20:54 90K 
[ ]armstrng__t52_armstrng2016-03-08 13:04 40K 
[ ]armstrng__t53_armstrng2016-03-08 13:04 50K 
[ ]armstrng__t54_armstrng2016-03-08 13:04 55K 
[ ]armstrng__t55_armstrng2017-01-05 20:54 42K 
[ ]armstrng__t56_armstrng2017-01-05 20:54 42K 
[ ]armstrng__t57_armstrng2017-01-05 20:54 58K 
[ ]armstrng__t58_armstrng2017-01-05 20:54 51K 
[ ]armstrng__t59_armstrng2017-01-05 20:54 51K 
[ ]armstrng__t60_armstrng2017-01-05 20:54 64K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80