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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fib_num4__l1_fib_num42017-01-13 19:05 22K 
[ ]fib_num4__l2_fib_num42017-01-13 19:05 22K 
[ ]fib_num4__l7_fib_num42017-01-13 19:05 787K 
[ ]fib_num4__l8_fib_num42017-01-13 19:05 850K 
[ ]fib_num4__l9_fib_num42017-01-13 19:05 1.0M 
[ ]fib_num4__l10_fib_num42017-01-13 19:05 671K 
[ ]fib_num4__l11_fib_num42017-01-13 19:05 630K 
[ ]fib_num4__l12_fib_num42017-01-13 19:06 1.2M 
[ ]fib_num4__l13_fib_num42017-01-13 19:06 177K 
[ ]fib_num4__l15_fib_num42017-01-13 19:06 28K 
[ ]fib_num4__l16_fib_num42017-01-13 19:06 57K 
[ ]fib_num4__l24_fib_num42017-01-13 19:05 158K 
[ ]fib_num4__l25_fib_num42017-01-13 19:05 16K 
[ ]fib_num4__l26_fib_num42017-01-13 19:05 31K 
[ ]fib_num4__l27_fib_num42017-01-13 19:05 146K 
[ ]fib_num4__l28_fib_num42017-01-13 19:05 708K 
[ ]fib_num4__l29_fib_num42017-01-13 19:05 26K 
[ ]fib_num4__l30_fib_num42017-01-13 19:05 26K 
[ ]fib_num4__l31_fib_num42017-01-13 19:05 36K 
[ ]fib_num4__l32_fib_num42017-01-13 19:05 196K 
[ ]fib_num4__l40_fib_num42017-01-13 19:05 17K 
[ ]fib_num4__l41_fib_num42017-01-13 19:05 155K 
[ ]fib_num4__l42_fib_num42017-01-13 19:05 86K 
[ ]fib_num4__l43_fib_num42017-01-13 19:05 87K 
[ ]fib_num4__l44_fib_num42017-01-13 19:05 16K 
[ ]fib_num4__l45_fib_num42017-01-13 19:05 25K 
[ ]fib_num4__l46_fib_num42017-01-13 19:05 29K 
[ ]fib_num4__l47_fib_num42017-01-13 19:05 53K 
[ ]fib_num4__l48_fib_num42017-01-13 19:05 65K 
[ ]fib_num4__l49_fib_num42017-01-13 19:05 107K 
[ ]fib_num4__l50_fib_num42017-01-13 19:05 334K 
[ ]fib_num4__l51_fib_num42017-01-13 19:05 87K 
[ ]fib_num4__l52_fib_num42017-01-13 19:05 87K 
[ ]fib_num4__l61_fib_num42017-01-13 19:05 16K 
[ ]fib_num4__l62_fib_num42017-01-13 19:06 543K 
[ ]fib_num4__l64_fib_num42017-01-13 19:05 17K 
[ ]fib_num4__l65_fib_num42017-01-13 19:05 32K 
[ ]fib_num4__l66_fib_num42017-01-13 19:05 18K 
[ ]fib_num4__l67_fib_num42017-01-13 19:05 23K 
[ ]fib_num4__l68_fib_num42017-01-13 19:05 36K 
[ ]fib_num4__l69_fib_num42017-01-13 19:05 101K 
[ ]fib_num4__l70_fib_num42017-01-13 19:05 560K 
[ ]fib_num4__l71_fib_num42017-01-13 19:05 88K 
[ ]fib_num4__l72_fib_num42017-01-13 19:05 733K 
[ ]fib_num4__l73_fib_num42017-01-13 19:05 734K 
[ ]fib_num4__l74_fib_num42017-01-13 19:05 90K 
[ ]fib_num4__l75_fib_num42017-01-13 19:05 89K 
[ ]fib_num4__l76_fib_num42017-01-13 19:05 99K 
[ ]fib_num4__l77_fib_num42017-01-13 19:05 99K 
[ ]fib_num4__l78_fib_num42017-01-13 19:05 56K 
[ ]fib_num4__l79_fib_num42017-01-13 19:05 82K 
[ ]fib_num4__l80_fib_num42017-01-13 19:05 32K 
[ ]fib_num4__l81_fib_num42017-01-13 19:05 27K 
[ ]fib_num4__l82_fib_num42017-01-13 19:05 37K 
[ ]fib_num4__l83_fib_num42017-01-13 19:05 27K 
[ ]fib_num4__l84_fib_num42017-01-13 19:05 26K 
[ ]fib_num4__l85_fib_num42017-01-13 19:05 26K 
[ ]fib_num4__l86_fib_num42017-01-13 19:05 23K 
[ ]fib_num4__l87_fib_num42017-01-13 19:05 31K 
[ ]fib_num4__l88_fib_num42017-01-13 19:05 20K 
[ ]fib_num4__l89_fib_num42017-01-13 19:05 36K 
[ ]fib_num4__l90_fib_num42017-01-13 19:05 196K 
[ ]fib_num4__t1_fib_num42017-01-13 19:05 20K 
[ ]fib_num4__t2_fib_num42017-01-13 19:05 21K 
[ ]fib_num4__t3_fib_num42017-01-13 19:05 16K 
[ ]fib_num4__t4_fib_num42017-01-13 19:05 16K 
[ ]fib_num4__t5_fib_num42017-01-13 19:05 580K 
[ ]fib_num4__t6_fib_num42017-01-13 19:05 19K 
[ ]fib_num4__t7_fib_num42017-01-13 19:05 30K 
[ ]fib_num4__t8_fib_num42017-01-13 19:05 678K 
[ ]fib_num4__t9_fib_num42017-01-13 19:05 68K 
[ ]fib_num4__t10_fib_num42017-01-13 19:05 68K 
[ ]fib_num4__t11_fib_num42017-01-13 19:05 138K 
[ ]fib_num4__t12_fib_num42017-01-13 19:05 50K 
[ ]fib_num4__t13_fib_num42017-01-13 19:05 746K 
[ ]fib_num4__t14_fib_num42017-01-13 19:05 646K 
[ ]fib_num4__t15_fib_num42017-01-13 19:05 633K 
[ ]fib_num4__t16_fib_num42017-01-13 19:05 706K 
[ ]fib_num4__t17_fib_num42017-01-13 19:05 436K 
[ ]fib_num4__t18_fib_num42017-01-13 19:05 436K 
[ ]fib_num4__t19_fib_num42017-01-13 19:05 441K 
[ ]fib_num4__t20_fib_num42017-01-13 19:05 415K 
[ ]fib_num4__t21_fib_num42017-01-13 19:05 342K 
[ ]fib_num4__t22_fib_num42017-01-13 19:05 864K 
[ ]fib_num4__t23_fib_num42017-01-13 19:05 536K 
[ ]fib_num4__t24_fib_num42017-01-13 19:05 538K 
[ ]fib_num4__t25_fib_num42017-01-13 19:05 619K 
[ ]fib_num4__t26_fib_num42017-01-13 19:05 605K 
[ ]fib_num4__t27_fib_num42017-01-13 19:05 1.0M 
[ ]fib_num4__t28_fib_num42017-01-13 19:05 830K 
[ ]fib_num4__t29_fib_num42017-01-13 19:05 873K 
[ ]fib_num4__t30_fib_num42017-01-13 19:05 55K 
[ ]fib_num4__t31_fib_num42017-01-13 19:05 55K 
[ ]fib_num4__t32_fib_num42017-01-13 19:05 67K 
[ ]fib_num4__t33_fib_num42017-01-13 19:05 160K 
[ ]fib_num4__t34_fib_num42017-01-13 19:05 804K 
[ ]fib_num4__t35_fib_num42017-01-13 19:05 413K 
[ ]fib_num4__t36_fib_num42017-01-13 19:05 826K 
[ ]fib_num4__t37_fib_num42017-01-13 19:05 1.7M 
[ ]fib_num4__t38_fib_num42017-01-13 19:05 1.3M 
[ ]fib_num4__t39_fib_num42017-01-13 19:05 927K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80