Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/fib_num4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num4__l1_fib_num42017-01-13 00:28 34K 
[ ]fib_num4__l2_fib_num42017-01-13 00:28 34K 
[ ]fib_num4__l7_fib_num42017-01-13 00:28 752K 
[ ]fib_num4__l8_fib_num42017-01-13 00:28 811K 
[ ]fib_num4__l9_fib_num42017-01-13 00:28 946K 
[ ]fib_num4__l10_fib_num42017-01-13 00:28 645K 
[ ]fib_num4__l11_fib_num42017-01-13 00:28 607K 
[ ]fib_num4__l12_fib_num42017-01-13 00:28 1.1M 
[ ]fib_num4__l13_fib_num42017-01-13 00:28 187K 
[ ]fib_num4__l15_fib_num42017-01-13 00:28 40K 
[ ]fib_num4__l16_fib_num42017-01-13 00:28 70K 
[ ]fib_num4__l24_fib_num42017-01-13 00:27 163K 
[ ]fib_num4__l25_fib_num42017-01-13 00:27 23K 
[ ]fib_num4__l26_fib_num42017-01-13 00:27 41K 
[ ]fib_num4__l27_fib_num42017-01-13 00:27 154K 
[ ]fib_num4__l28_fib_num42017-01-13 00:27 678K 
[ ]fib_num4__l29_fib_num42017-01-13 00:27 35K 
[ ]fib_num4__l30_fib_num42017-01-13 00:27 35K 
[ ]fib_num4__l31_fib_num42017-01-13 00:27 48K 
[ ]fib_num4__l32_fib_num42017-01-13 00:27 203K 
[ ]fib_num4__l40_fib_num42017-01-13 00:27 25K 
[ ]fib_num4__l41_fib_num42017-01-13 00:27 165K 
[ ]fib_num4__l42_fib_num42017-01-13 00:27 101K 
[ ]fib_num4__l43_fib_num42017-01-13 00:27 102K 
[ ]fib_num4__l44_fib_num42017-01-13 00:27 23K 
[ ]fib_num4__l45_fib_num42017-01-13 00:27 36K 
[ ]fib_num4__l46_fib_num42017-01-13 00:27 40K 
[ ]fib_num4__l47_fib_num42017-01-13 00:27 67K 
[ ]fib_num4__l48_fib_num42017-01-13 00:27 80K 
[ ]fib_num4__l49_fib_num42017-01-13 00:27 120K 
[ ]fib_num4__l50_fib_num42017-01-13 00:27 330K 
[ ]fib_num4__l51_fib_num42017-01-13 00:27 103K 
[ ]fib_num4__l52_fib_num42017-01-13 00:27 102K 
[ ]fib_num4__l61_fib_num42017-01-13 00:27 23K 
[ ]fib_num4__l62_fib_num42017-01-13 00:28 526K 
[ ]fib_num4__l64_fib_num42017-01-13 00:27 25K 
[ ]fib_num4__l65_fib_num42017-01-13 00:27 43K 
[ ]fib_num4__l66_fib_num42017-01-13 00:27 26K 
[ ]fib_num4__l67_fib_num42017-01-13 00:27 31K 
[ ]fib_num4__l68_fib_num42017-01-13 00:27 46K 
[ ]fib_num4__l69_fib_num42017-01-13 00:27 115K 
[ ]fib_num4__l70_fib_num42017-01-13 00:27 541K 
[ ]fib_num4__l71_fib_num42017-01-13 00:27 97K 
[ ]fib_num4__l72_fib_num42017-01-13 00:27 699K 
[ ]fib_num4__l73_fib_num42017-01-13 00:27 699K 
[ ]fib_num4__l74_fib_num42017-01-13 00:27 99K 
[ ]fib_num4__l75_fib_num42017-01-13 00:27 97K 
[ ]fib_num4__l76_fib_num42017-01-13 00:27 107K 
[ ]fib_num4__l77_fib_num42017-01-13 00:27 107K 
[ ]fib_num4__l78_fib_num42017-01-13 00:27 66K 
[ ]fib_num4__l79_fib_num42017-01-13 00:27 90K 
[ ]fib_num4__l80_fib_num42017-01-13 00:27 43K 
[ ]fib_num4__l81_fib_num42017-01-13 00:27 37K 
[ ]fib_num4__l82_fib_num42017-01-13 00:27 49K 
[ ]fib_num4__l83_fib_num42017-01-13 00:27 38K 
[ ]fib_num4__l84_fib_num42017-01-13 00:27 35K 
[ ]fib_num4__l85_fib_num42017-01-13 00:27 35K 
[ ]fib_num4__l86_fib_num42017-01-13 00:27 31K 
[ ]fib_num4__l87_fib_num42017-01-13 00:27 41K 
[ ]fib_num4__l88_fib_num42017-01-13 00:27 28K 
[ ]fib_num4__l89_fib_num42017-01-13 00:27 46K 
[ ]fib_num4__l90_fib_num42017-01-13 00:27 203K 
[ ]fib_num4__t1_fib_num42017-01-13 00:27 30K 
[ ]fib_num4__t2_fib_num42017-01-13 00:27 31K 
[ ]fib_num4__t3_fib_num42017-01-13 00:27 25K 
[ ]fib_num4__t4_fib_num42017-01-13 00:27 25K 
[ ]fib_num4__t5_fib_num42017-01-13 00:27 561K 
[ ]fib_num4__t6_fib_num42017-01-13 00:27 29K 
[ ]fib_num4__t7_fib_num42017-01-13 00:27 42K 
[ ]fib_num4__t8_fib_num42017-01-13 00:27 655K 
[ ]fib_num4__t9_fib_num42017-01-13 00:27 87K 
[ ]fib_num4__t10_fib_num42017-01-13 00:27 87K 
[ ]fib_num4__t11_fib_num42017-01-13 00:27 151K 
[ ]fib_num4__t12_fib_num42017-01-13 00:27 63K 
[ ]fib_num4__t13_fib_num42017-01-13 00:27 716K 
[ ]fib_num4__t14_fib_num42017-01-13 00:27 624K 
[ ]fib_num4__t15_fib_num42017-01-13 00:27 611K 
[ ]fib_num4__t16_fib_num42017-01-13 00:27 679K 
[ ]fib_num4__t17_fib_num42017-01-13 00:27 429K 
[ ]fib_num4__t18_fib_num42017-01-13 00:27 428K 
[ ]fib_num4__t19_fib_num42017-01-13 00:27 435K 
[ ]fib_num4__t20_fib_num42017-01-13 00:27 409K 
[ ]fib_num4__t21_fib_num42017-01-13 00:27 341K 
[ ]fib_num4__t22_fib_num42017-01-13 00:27 827K 
[ ]fib_num4__t23_fib_num42017-01-13 00:27 523K 
[ ]fib_num4__t24_fib_num42017-01-13 00:27 525K 
[ ]fib_num4__t25_fib_num42017-01-13 00:27 598K 
[ ]fib_num4__t26_fib_num42017-01-13 00:27 585K 
[ ]fib_num4__t27_fib_num42017-01-13 00:27 1.0M 
[ ]fib_num4__t28_fib_num42017-01-13 00:27 797K 
[ ]fib_num4__t29_fib_num42017-01-13 00:27 840K 
[ ]fib_num4__t30_fib_num42017-01-13 00:27 74K 
[ ]fib_num4__t31_fib_num42017-01-13 00:27 74K 
[ ]fib_num4__t32_fib_num42017-01-13 00:27 85K 
[ ]fib_num4__t33_fib_num42017-01-13 00:27 172K 
[ ]fib_num4__t34_fib_num42017-01-13 00:27 770K 
[ ]fib_num4__t35_fib_num42017-01-13 00:28 407K 
[ ]fib_num4__t36_fib_num42017-01-13 00:28 792K 
[ ]fib_num4__t37_fib_num42017-01-13 00:28 1.6M 
[ ]fib_num4__t38_fib_num42017-01-13 00:28 1.2M 
[ ]fib_num4__t39_fib_num42017-01-13 00:28 889K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80