Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tls/topreal8

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]topreal8__l13_topreal82017-01-12 22:14 43K 
[ ]topreal8__l34_topreal82017-01-12 22:14 66K 
[ ]topreal8__l35_topreal82017-01-12 22:14 167K 
[ ]topreal8__t1_topreal82017-01-12 22:14 26K 
[ ]topreal8__t2_topreal82017-01-12 22:14 37K 
[ ]topreal8__t3_topreal82017-01-12 22:14 50K 
[ ]topreal8__t4_topreal82017-01-12 22:14 36K 
[ ]topreal8__t5_topreal82017-01-12 22:14 42K 
[ ]topreal8__t6_topreal82017-01-12 22:14 38K 
[ ]topreal8__t7_topreal82017-01-12 22:14 50K 
[ ]topreal8__t8_topreal82017-01-12 22:14 36K 
[ ]topreal8__t9_topreal82017-01-12 22:14 60K 
[ ]topreal8__t10_topreal82017-01-12 22:14 34K 
[ ]topreal8__t11_topreal82017-01-12 22:14 34K 
[ ]topreal8__t12_topreal82017-01-12 22:14 85K 
[ ]topreal8__t13_topreal82017-01-12 22:14 75K 
[ ]topreal8__t14_topreal82017-01-12 22:14 53K 
[ ]topreal8__t15_topreal82017-01-12 22:14 82K 
[ ]topreal8__t16_topreal82017-01-12 22:14 57K 
[ ]topreal8__t17_topreal82017-01-12 22:14 79K 
[ ]topreal8__t18_topreal82017-01-12 22:14 58K 
[ ]topreal8__t19_topreal82017-01-12 22:14 62K 
[ ]topreal8__t20_topreal82017-01-12 22:14 61K 
[ ]topreal8__t21_topreal82017-01-12 22:14 83K 
[ ]topreal8__t22_topreal82017-01-12 22:14 55K 
[ ]topreal8__t23_topreal82017-01-12 22:14 50K 
[ ]topreal8__t24_topreal82017-01-12 22:14 82K 
[ ]topreal8__t25_topreal82017-01-12 22:14 92K 
[ ]topreal8__t26_topreal82017-01-12 22:14 95K 
[ ]topreal8__t27_topreal82017-01-12 22:14 357K 
[ ]topreal8__t28_topreal82017-01-12 22:14 57K 
[ ]topreal8__t29_topreal82017-01-12 22:14 58K 
[ ]topreal8__t30_topreal82017-01-12 22:14 62K 
[ ]topreal8__t31_topreal82017-01-12 22:14 55K 
[ ]topreal8__t32_topreal82017-01-12 22:14 167K 
[ ]topreal8__t33_topreal82017-01-12 22:14 186K 
[ ]topreal8__t34_topreal82017-01-12 22:14 183K 
[ ]topreal8__t35_topreal82017-01-12 22:14 100K 
[ ]topreal8__t36_topreal82017-01-12 22:14 381K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80