Index of /~mptp/1147/MPTP2/problems_thf_tls/fib_num4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num4__l1_fib_num42017-01-12 22:03 22K 
[ ]fib_num4__l2_fib_num42017-01-12 22:03 22K 
[ ]fib_num4__l7_fib_num42017-01-12 22:03 731K 
[ ]fib_num4__l8_fib_num42017-01-12 22:03 789K 
[ ]fib_num4__l9_fib_num42017-01-12 22:03 924K 
[ ]fib_num4__l10_fib_num42017-01-12 22:03 623K 
[ ]fib_num4__l11_fib_num42017-01-12 22:03 585K 
[ ]fib_num4__l12_fib_num42017-01-12 22:03 1.1M 
[ ]fib_num4__l13_fib_num42017-01-12 22:03 167K 
[ ]fib_num4__l15_fib_num42017-01-12 22:03 28K 
[ ]fib_num4__l16_fib_num42017-01-12 22:03 55K 
[ ]fib_num4__l24_fib_num42017-01-12 22:03 147K 
[ ]fib_num4__l25_fib_num42017-01-12 22:03 16K 
[ ]fib_num4__l26_fib_num42017-01-12 22:03 30K 
[ ]fib_num4__l27_fib_num42017-01-12 22:03 137K 
[ ]fib_num4__l28_fib_num42017-01-12 22:03 658K 
[ ]fib_num4__l29_fib_num42017-01-12 22:03 25K 
[ ]fib_num4__l30_fib_num42017-01-12 22:03 25K 
[ ]fib_num4__l31_fib_num42017-01-12 22:03 35K 
[ ]fib_num4__l32_fib_num42017-01-12 22:03 183K 
[ ]fib_num4__l40_fib_num42017-01-12 22:03 17K 
[ ]fib_num4__l41_fib_num42017-01-12 22:03 146K 
[ ]fib_num4__l42_fib_num42017-01-12 22:03 83K 
[ ]fib_num4__l43_fib_num42017-01-12 22:03 84K 
[ ]fib_num4__l44_fib_num42017-01-12 22:03 16K 
[ ]fib_num4__l45_fib_num42017-01-12 22:03 24K 
[ ]fib_num4__l46_fib_num42017-01-12 22:03 29K 
[ ]fib_num4__l47_fib_num42017-01-12 22:03 51K 
[ ]fib_num4__l48_fib_num42017-01-12 22:03 62K 
[ ]fib_num4__l49_fib_num42017-01-12 22:03 102K 
[ ]fib_num4__l50_fib_num42017-01-12 22:03 311K 
[ ]fib_num4__l51_fib_num42017-01-12 22:03 84K 
[ ]fib_num4__l52_fib_num42017-01-12 22:03 83K 
[ ]fib_num4__l61_fib_num42017-01-12 22:03 16K 
[ ]fib_num4__l62_fib_num42017-01-12 22:03 505K 
[ ]fib_num4__l64_fib_num42017-01-12 22:03 17K 
[ ]fib_num4__l65_fib_num42017-01-12 22:03 31K 
[ ]fib_num4__l66_fib_num42017-01-12 22:03 18K 
[ ]fib_num4__l67_fib_num42017-01-12 22:03 23K 
[ ]fib_num4__l68_fib_num42017-01-12 22:03 35K 
[ ]fib_num4__l69_fib_num42017-01-12 22:03 97K 
[ ]fib_num4__l70_fib_num42017-01-12 22:03 520K 
[ ]fib_num4__l71_fib_num42017-01-12 22:03 84K 
[ ]fib_num4__l72_fib_num42017-01-12 22:03 681K 
[ ]fib_num4__l73_fib_num42017-01-12 22:03 681K 
[ ]fib_num4__l74_fib_num42017-01-12 22:03 85K 
[ ]fib_num4__l75_fib_num42017-01-12 22:03 84K 
[ ]fib_num4__l76_fib_num42017-01-12 22:03 93K 
[ ]fib_num4__l77_fib_num42017-01-12 22:03 93K 
[ ]fib_num4__l78_fib_num42017-01-12 22:03 53K 
[ ]fib_num4__l79_fib_num42017-01-12 22:03 77K 
[ ]fib_num4__l80_fib_num42017-01-12 22:03 31K 
[ ]fib_num4__l81_fib_num42017-01-12 22:03 26K 
[ ]fib_num4__l82_fib_num42017-01-12 22:03 36K 
[ ]fib_num4__l83_fib_num42017-01-12 22:03 26K 
[ ]fib_num4__l84_fib_num42017-01-12 22:03 25K 
[ ]fib_num4__l85_fib_num42017-01-12 22:03 25K 
[ ]fib_num4__l86_fib_num42017-01-12 22:03 22K 
[ ]fib_num4__l87_fib_num42017-01-12 22:03 30K 
[ ]fib_num4__l88_fib_num42017-01-12 22:03 19K 
[ ]fib_num4__l89_fib_num42017-01-12 22:03 35K 
[ ]fib_num4__l90_fib_num42017-01-12 22:03 184K 
[ ]fib_num4__t1_fib_num42017-01-12 22:03 20K 
[ ]fib_num4__t2_fib_num42017-01-12 22:03 20K 
[ ]fib_num4__t3_fib_num42017-01-12 22:03 16K 
[ ]fib_num4__t4_fib_num42017-01-12 22:03 16K 
[ ]fib_num4__t5_fib_num42017-01-12 22:03 539K 
[ ]fib_num4__t6_fib_num42017-01-12 22:03 19K 
[ ]fib_num4__t7_fib_num42017-01-12 22:03 30K 
[ ]fib_num4__t8_fib_num42017-01-12 22:03 630K 
[ ]fib_num4__t9_fib_num42017-01-12 22:03 66K 
[ ]fib_num4__t10_fib_num42017-01-12 22:03 66K 
[ ]fib_num4__t11_fib_num42017-01-12 22:03 131K 
[ ]fib_num4__t12_fib_num42017-01-12 22:03 49K 
[ ]fib_num4__t13_fib_num42017-01-12 22:03 693K 
[ ]fib_num4__t14_fib_num42017-01-12 22:03 600K 
[ ]fib_num4__t15_fib_num42017-01-12 22:03 588K 
[ ]fib_num4__t16_fib_num42017-01-12 22:03 656K 
[ ]fib_num4__t17_fib_num42017-01-12 22:03 407K 
[ ]fib_num4__t18_fib_num42017-01-12 22:03 406K 
[ ]fib_num4__t19_fib_num42017-01-12 22:03 411K 
[ ]fib_num4__t20_fib_num42017-01-12 22:03 387K 
[ ]fib_num4__t21_fib_num42017-01-12 22:03 319K 
[ ]fib_num4__t22_fib_num42017-01-12 22:03 802K 
[ ]fib_num4__t23_fib_num42017-01-12 22:03 499K 
[ ]fib_num4__t24_fib_num42017-01-12 22:03 501K 
[ ]fib_num4__t25_fib_num42017-01-12 22:03 576K 
[ ]fib_num4__t26_fib_num42017-01-12 22:03 562K 
[ ]fib_num4__t27_fib_num42017-01-12 22:03 1.0M 
[ ]fib_num4__t28_fib_num42017-01-12 22:03 771K 
[ ]fib_num4__t29_fib_num42017-01-12 22:03 812K 
[ ]fib_num4__t30_fib_num42017-01-12 22:03 54K 
[ ]fib_num4__t31_fib_num42017-01-12 22:03 54K 
[ ]fib_num4__t32_fib_num42017-01-12 22:03 64K 
[ ]fib_num4__t33_fib_num42017-01-12 22:03 151K 
[ ]fib_num4__t34_fib_num42017-01-12 22:03 747K 
[ ]fib_num4__t35_fib_num42017-01-12 22:03 385K 
[ ]fib_num4__t36_fib_num42017-01-12 22:03 767K 
[ ]fib_num4__t37_fib_num42017-01-12 22:03 1.6M 
[ ]fib_num4__t38_fib_num42017-01-12 22:03 1.2M 
[ ]fib_num4__t39_fib_num42017-01-12 22:03 862K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80