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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]mesfunc8__t1_mesfunc82017-01-05 20:54 98K 
[ ]mesfunc8__t2_mesfunc82017-01-05 20:54 60K 
[ ]mesfunc8__t3_mesfunc82016-03-08 13:07 77K 
[ ]mesfunc8__t4_mesfunc82017-01-05 20:54 94K 
[ ]mesfunc8__t5_mesfunc82016-03-08 13:07 70K 
[ ]mesfunc8__t6_mesfunc82016-03-08 13:07 69K 
[ ]mesfunc8__t7_mesfunc82016-03-08 13:07 58K 
[ ]mesfunc8__t8_mesfunc82016-03-08 13:07 78K 
[ ]mesfunc8__t9_mesfunc82016-03-08 13:07 78K 
[ ]mesfunc8__t10_mesfunc82016-03-08 13:07 58K 
[ ]mesfunc8__t11_mesfunc82016-03-08 13:07 65K 
[ ]mesfunc8__t12_mesfunc82016-03-08 13:07 65K 
[ ]mesfunc8__t13_mesfunc82016-03-08 13:07 60K 
[ ]mesfunc8__t14_mesfunc82016-03-08 13:07 62K 
[ ]mesfunc8__t15_mesfunc82016-03-08 13:07 74K 
[ ]mesfunc8__t16_mesfunc82016-03-08 13:07 74K 
[ ]mesfunc8__t17_mesfunc82016-03-08 13:07 80K 
[ ]mesfunc8__t18_mesfunc82016-03-08 13:07 80K 
[ ]mesfunc8__t19_mesfunc82016-03-08 13:07 70K 
[ ]mesfunc8__t20_mesfunc82016-03-08 13:07 70K 
[ ]mesfunc8__t21_mesfunc82016-03-08 13:07 71K 
[ ]mesfunc8__t22_mesfunc82016-03-08 13:07 70K 
[ ]mesfunc8__t23_mesfunc82016-03-08 13:07 78K 
[ ]mesfunc8__t24_mesfunc82016-03-08 13:07 77K 
[ ]mesfunc8__t25_mesfunc82016-03-08 13:07 62K 
[ ]mesfunc8__t26_mesfunc82016-03-08 13:07 55K 
[ ]mesfunc8__t27_mesfunc82016-03-08 13:07 72K 
[ ]mesfunc8__t28_mesfunc82017-01-05 20:54 189K 
[ ]mesfunc8__t29_mesfunc82016-03-08 13:07 49K 
[ ]mesfunc8__t30_mesfunc82016-03-08 13:07 266K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80