Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_from.bad_dt_f/asympt_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]asympt_1__e1_5_1_12017-01-05 21:12 65K 
[ ]asympt_1__e1_41_1_12017-01-05 21:12 60K 
[ ]asympt_1__e1_772017-01-05 21:12 64K 
[ ]asympt_1__e2_2_12017-01-05 21:11 64K 
[ ]asympt_1__e2_2_82017-01-05 21:12 70K 
[ ]asympt_1__e2_9_1_12017-01-05 21:12 57K 
[ ]asympt_1__e2_10_1_12017-01-05 21:12 57K 
[ ]asympt_1__e2_21_12017-01-05 21:12 59K 
[ ]asympt_1__e2_31_1_12017-01-05 21:12 61K 
[ ]asympt_1__e2_31_2_12017-01-05 21:12 58K 
[ ]asympt_1__e2_89_2_22017-01-05 21:12 60K 
[ ]asympt_1__e2_89_2_82017-01-05 21:12 57K 
[ ]asympt_1__e3_172017-01-05 21:12 40K 
[ ]asympt_1__e3_182017-01-05 21:12 36K 
[ ]asympt_1__e3_242017-01-05 21:12 62K 
[ ]asympt_1__e3_252017-01-05 21:12 62K 
[ ]asympt_1__e3_282017-01-05 21:12 64K 
[ ]asympt_1__e3_37_32017-01-05 21:12 45K 
[ ]asympt_1__e3_512017-01-05 21:12 39K 
[ ]asympt_1__e3_542017-01-05 21:12 42K 
[ ]asympt_1__e3_622017-01-05 21:12 39K 
[ ]asympt_1__e3_642017-01-05 21:12 40K 
[ ]asympt_1__e3_702017-01-05 21:12 41K 
[ ]asympt_1__e3_862017-01-05 21:12 70K 
[ ]asympt_1__e3_932017-01-05 21:12 34K 
[ ]asympt_1__e3_992017-01-05 21:12 34K 
[ ]asympt_1__e3_1002017-01-05 21:12 34K 
[ ]asympt_1__e3_1012017-01-05 21:12 36K 
[ ]asympt_1__e4_12017-01-05 21:11 35K 
[ ]asympt_1__e4_2_62017-01-05 21:12 67K 
[ ]asympt_1__e4_632017-01-05 21:12 44K 
[ ]asympt_1__e4_652017-01-05 21:12 36K 
[ ]asympt_1__e4_842017-01-05 21:12 74K 
[ ]asympt_1__e6_262017-01-05 21:12 61K 
[ ]asympt_1__e6_692017-01-05 21:12 48K 
[ ]asympt_1__e6_872017-01-05 21:12 62K 
[ ]asympt_1__e7_302017-01-05 21:12 65K 
[ ]asympt_1__e10_36_12017-01-05 21:12 64K 
[ ]asympt_1__e11_842017-01-05 21:12 60K 
[ ]asympt_1__e16_842017-01-05 21:12 80K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80