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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ratfunc1__l37_ratfunc12016-03-08 13:08 96K 
[ ]ratfunc1__l39_ratfunc12017-01-05 20:54 109K 
[ ]ratfunc1__l40_ratfunc12017-01-05 20:54 230K 
[ ]ratfunc1__l42_ratfunc12017-01-05 20:54 125K 
[ ]ratfunc1__l47_ratfunc12016-03-08 13:08 57K 
[ ]ratfunc1__l52_ratfunc12016-03-08 13:08 76K 
[ ]ratfunc1__t1_ratfunc12017-01-05 20:54 71K 
[ ]ratfunc1__t2_ratfunc12017-01-05 20:54 109K 
[ ]ratfunc1__t3_ratfunc12017-01-05 20:54 113K 
[ ]ratfunc1__t4_ratfunc12016-03-08 13:08 4.9K 
[ ]ratfunc1__t5_ratfunc12017-01-05 20:54 89K 
[ ]ratfunc1__t6_ratfunc12017-01-05 20:54 90K 
[ ]ratfunc1__t7_ratfunc12016-03-08 13:08 75K 
[ ]ratfunc1__t8_ratfunc12016-03-08 13:08 74K 
[ ]ratfunc1__t9_ratfunc12016-03-08 13:08 93K 
[ ]ratfunc1__t10_ratfunc12016-03-08 13:08 75K 
[ ]ratfunc1__t11_ratfunc12017-01-05 20:54 125K 
[ ]ratfunc1__t12_ratfunc12017-01-05 20:54 143K 
[ ]ratfunc1__t13_ratfunc12016-03-08 13:08 49K 
[ ]ratfunc1__t14_ratfunc12016-03-08 13:08 56K 
[ ]ratfunc1__t15_ratfunc12016-03-08 13:08 52K 
[ ]ratfunc1__t16_ratfunc12016-03-08 13:08 56K 
[ ]ratfunc1__t17_ratfunc12016-03-08 13:08 85K 
[ ]ratfunc1__t18_ratfunc12016-03-08 13:08 70K 
[ ]ratfunc1__t19_ratfunc12016-03-08 13:08 46K 
[ ]ratfunc1__t20_ratfunc12016-03-08 13:08 67K 
[ ]ratfunc1__t21_ratfunc12017-01-05 20:54 209K 
[ ]ratfunc1__t22_ratfunc12016-03-08 13:08 111K 
[ ]ratfunc1__t23_ratfunc12016-03-08 13:08 110K 
[ ]ratfunc1__t24_ratfunc12016-03-08 13:08 87K 
[ ]ratfunc1__t25_ratfunc12016-03-08 13:08 75K 
[ ]ratfunc1__t26_ratfunc12017-01-05 20:54 174K 
[ ]ratfunc1__t27_ratfunc12016-03-08 13:08 114K 
[ ]ratfunc1__t28_ratfunc12016-03-08 13:08 84K 
[ ]ratfunc1__t29_ratfunc12016-03-08 13:08 162K 
[ ]ratfunc1__t30_ratfunc12016-03-08 13:08 132K 
[ ]ratfunc1__t31_ratfunc12016-03-08 13:08 74K 
[ ]ratfunc1__t32_ratfunc12016-03-08 13:08 75K 
[ ]ratfunc1__t33_ratfunc12016-03-08 13:08 82K 
[ ]ratfunc1__t34_ratfunc12016-03-08 13:08 72K 
[ ]ratfunc1__t35_ratfunc12016-03-08 13:08 77K 
[ ]ratfunc1__t36_ratfunc12016-03-08 13:08 121K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80