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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num4__l1_fib_num42017-01-13 17:47 34K 
[ ]fib_num4__l2_fib_num42017-01-13 17:47 34K 
[ ]fib_num4__l7_fib_num42017-01-13 17:47 809K 
[ ]fib_num4__l8_fib_num42017-01-13 17:47 872K 
[ ]fib_num4__l9_fib_num42017-01-13 17:47 1.0M 
[ ]fib_num4__l10_fib_num42017-01-13 17:47 693K 
[ ]fib_num4__l11_fib_num42017-01-13 17:47 651K 
[ ]fib_num4__l12_fib_num42017-01-13 17:47 1.2M 
[ ]fib_num4__l13_fib_num42017-01-13 17:47 196K 
[ ]fib_num4__l15_fib_num42017-01-13 17:47 41K 
[ ]fib_num4__l16_fib_num42017-01-13 17:47 72K 
[ ]fib_num4__l24_fib_num42017-01-13 17:46 173K 
[ ]fib_num4__l25_fib_num42017-01-13 17:46 23K 
[ ]fib_num4__l26_fib_num42017-01-13 17:46 42K 
[ ]fib_num4__l27_fib_num42017-01-13 17:46 163K 
[ ]fib_num4__l28_fib_num42017-01-13 17:46 729K 
[ ]fib_num4__l29_fib_num42017-01-13 17:46 36K 
[ ]fib_num4__l30_fib_num42017-01-13 17:46 36K 
[ ]fib_num4__l31_fib_num42017-01-13 17:46 49K 
[ ]fib_num4__l32_fib_num42017-01-13 17:46 215K 
[ ]fib_num4__l40_fib_num42017-01-13 17:46 25K 
[ ]fib_num4__l41_fib_num42017-01-13 17:46 174K 
[ ]fib_num4__l42_fib_num42017-01-13 17:46 104K 
[ ]fib_num4__l43_fib_num42017-01-13 17:46 106K 
[ ]fib_num4__l44_fib_num42017-01-13 17:46 23K 
[ ]fib_num4__l45_fib_num42017-01-13 17:46 36K 
[ ]fib_num4__l46_fib_num42017-01-13 17:46 41K 
[ ]fib_num4__l47_fib_num42017-01-13 17:46 68K 
[ ]fib_num4__l48_fib_num42017-01-13 17:46 82K 
[ ]fib_num4__l49_fib_num42017-01-13 17:46 125K 
[ ]fib_num4__l50_fib_num42017-01-13 17:46 353K 
[ ]fib_num4__l51_fib_num42017-01-13 17:46 106K 
[ ]fib_num4__l52_fib_num42017-01-13 17:46 106K 
[ ]fib_num4__l61_fib_num42017-01-13 17:46 23K 
[ ]fib_num4__l62_fib_num42017-01-13 17:47 564K 
[ ]fib_num4__l64_fib_num42017-01-13 17:46 25K 
[ ]fib_num4__l65_fib_num42017-01-13 17:46 44K 
[ ]fib_num4__l66_fib_num42017-01-13 17:46 26K 
[ ]fib_num4__l67_fib_num42017-01-13 17:46 32K 
[ ]fib_num4__l68_fib_num42017-01-13 17:46 47K 
[ ]fib_num4__l69_fib_num42017-01-13 17:46 119K 
[ ]fib_num4__l70_fib_num42017-01-13 17:46 580K 
[ ]fib_num4__l71_fib_num42017-01-13 17:47 102K 
[ ]fib_num4__l72_fib_num42017-01-13 17:47 751K 
[ ]fib_num4__l73_fib_num42017-01-13 17:47 751K 
[ ]fib_num4__l74_fib_num42017-01-13 17:47 103K 
[ ]fib_num4__l75_fib_num42017-01-13 17:47 102K 
[ ]fib_num4__l76_fib_num42017-01-13 17:47 113K 
[ ]fib_num4__l77_fib_num42017-01-13 17:47 113K 
[ ]fib_num4__l78_fib_num42017-01-13 17:47 69K 
[ ]fib_num4__l79_fib_num42017-01-13 17:47 95K 
[ ]fib_num4__l80_fib_num42017-01-13 17:47 44K 
[ ]fib_num4__l81_fib_num42017-01-13 17:47 38K 
[ ]fib_num4__l82_fib_num42017-01-13 17:47 50K 
[ ]fib_num4__l83_fib_num42017-01-13 17:47 38K 
[ ]fib_num4__l84_fib_num42017-01-13 17:47 36K 
[ ]fib_num4__l85_fib_num42017-01-13 17:47 36K 
[ ]fib_num4__l86_fib_num42017-01-13 17:47 31K 
[ ]fib_num4__l87_fib_num42017-01-13 17:47 42K 
[ ]fib_num4__l88_fib_num42017-01-13 17:47 28K 
[ ]fib_num4__l89_fib_num42017-01-13 17:47 47K 
[ ]fib_num4__l90_fib_num42017-01-13 17:47 215K 
[ ]fib_num4__t1_fib_num42017-01-13 17:47 31K 
[ ]fib_num4__t2_fib_num42017-01-13 17:47 31K 
[ ]fib_num4__t3_fib_num42017-01-13 17:46 25K 
[ ]fib_num4__t4_fib_num42017-01-13 17:46 25K 
[ ]fib_num4__t5_fib_num42017-01-13 17:47 602K 
[ ]fib_num4__t6_fib_num42017-01-13 17:47 29K 
[ ]fib_num4__t7_fib_num42017-01-13 17:47 43K 
[ ]fib_num4__t8_fib_num42017-01-13 17:47 702K 
[ ]fib_num4__t9_fib_num42017-01-13 17:47 90K 
[ ]fib_num4__t10_fib_num42017-01-13 17:47 89K 
[ ]fib_num4__t11_fib_num42017-01-13 17:47 159K 
[ ]fib_num4__t12_fib_num42017-01-13 17:47 65K 
[ ]fib_num4__t13_fib_num42017-01-13 17:47 769K 
[ ]fib_num4__t14_fib_num42017-01-13 17:47 669K 
[ ]fib_num4__t15_fib_num42017-01-13 17:47 655K 
[ ]fib_num4__t16_fib_num42017-01-13 17:47 729K 
[ ]fib_num4__t17_fib_num42017-01-13 17:47 459K 
[ ]fib_num4__t18_fib_num42017-01-13 17:47 458K 
[ ]fib_num4__t19_fib_num42017-01-13 17:47 465K 
[ ]fib_num4__t20_fib_num42017-01-13 17:47 438K 
[ ]fib_num4__t21_fib_num42017-01-13 17:47 364K 
[ ]fib_num4__t22_fib_num42017-01-13 17:47 888K 
[ ]fib_num4__t23_fib_num42017-01-13 17:47 560K 
[ ]fib_num4__t24_fib_num42017-01-13 17:47 562K 
[ ]fib_num4__t25_fib_num42017-01-13 17:47 641K 
[ ]fib_num4__t26_fib_num42017-01-13 17:47 627K 
[ ]fib_num4__t27_fib_num42017-01-13 17:47 1.1M 
[ ]fib_num4__t28_fib_num42017-01-13 17:47 856K 
[ ]fib_num4__t29_fib_num42017-01-13 17:47 901K 
[ ]fib_num4__t30_fib_num42017-01-13 17:47 75K 
[ ]fib_num4__t31_fib_num42017-01-13 17:47 75K 
[ ]fib_num4__t32_fib_num42017-01-13 17:47 87K 
[ ]fib_num4__t33_fib_num42017-01-13 17:47 181K 
[ ]fib_num4__t34_fib_num42017-01-13 17:47 827K 
[ ]fib_num4__t35_fib_num42017-01-13 17:47 435K 
[ ]fib_num4__t36_fib_num42017-01-13 17:47 850K 
[ ]fib_num4__t37_fib_num42017-01-13 17:47 1.7M 
[ ]fib_num4__t38_fib_num42017-01-13 17:47 1.3M 
[ ]fib_num4__t39_fib_num42017-01-13 17:47 955K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80