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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal8__l13_topreal82016-03-08 13:10 43K 
[ ]topreal8__l34_topreal82016-03-08 13:10 66K 
[ ]topreal8__l35_topreal82016-03-08 13:10 167K 
[ ]topreal8__t1_topreal82016-03-08 13:10 26K 
[ ]topreal8__t2_topreal82016-03-08 13:10 37K 
[ ]topreal8__t3_topreal82016-03-08 13:10 50K 
[ ]topreal8__t4_topreal82016-03-08 13:10 36K 
[ ]topreal8__t5_topreal82016-03-08 13:10 42K 
[ ]topreal8__t6_topreal82016-03-08 13:10 38K 
[ ]topreal8__t7_topreal82016-03-08 13:10 50K 
[ ]topreal8__t8_topreal82016-03-08 13:10 36K 
[ ]topreal8__t9_topreal82016-03-08 13:10 60K 
[ ]topreal8__t10_topreal82016-03-08 13:10 34K 
[ ]topreal8__t11_topreal82016-03-08 13:10 34K 
[ ]topreal8__t12_topreal82016-03-08 13:10 85K 
[ ]topreal8__t13_topreal82016-03-08 13:10 75K 
[ ]topreal8__t14_topreal82016-03-08 13:10 53K 
[ ]topreal8__t15_topreal82016-03-08 13:10 82K 
[ ]topreal8__t16_topreal82016-03-08 13:10 57K 
[ ]topreal8__t17_topreal82016-03-08 13:10 79K 
[ ]topreal8__t18_topreal82016-03-08 13:10 58K 
[ ]topreal8__t19_topreal82017-01-05 20:54 62K 
[ ]topreal8__t20_topreal82016-03-08 13:10 61K 
[ ]topreal8__t21_topreal82016-03-08 13:10 83K 
[ ]topreal8__t22_topreal82016-03-08 13:10 55K 
[ ]topreal8__t23_topreal82016-03-08 13:10 50K 
[ ]topreal8__t24_topreal82016-03-08 13:10 82K 
[ ]topreal8__t25_topreal82016-03-08 13:10 92K 
[ ]topreal8__t26_topreal82016-03-08 13:10 95K 
[ ]topreal8__t27_topreal82017-01-05 20:54 357K 
[ ]topreal8__t28_topreal82016-03-08 13:10 57K 
[ ]topreal8__t29_topreal82016-03-08 13:10 58K 
[ ]topreal8__t30_topreal82016-03-08 13:10 62K 
[ ]topreal8__t31_topreal82016-03-08 13:10 55K 
[ ]topreal8__t32_topreal82016-03-08 13:10 167K 
[ ]topreal8__t33_topreal82017-01-05 20:54 186K 
[ ]topreal8__t34_topreal82016-03-08 13:10 183K 
[ ]topreal8__t35_topreal82017-01-05 20:54 100K 
[ ]topreal8__t36_topreal82017-01-05 20:54 381K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80