Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls1/fib_num4
Name
Last modified
Size
Description
Parent Directory
-
fib_num4__l1_fib_num4
2017-01-13 17:47
34K
fib_num4__l2_fib_num4
2017-01-13 17:47
34K
fib_num4__l7_fib_num4
2017-01-13 17:47
809K
fib_num4__l8_fib_num4
2017-01-13 17:47
872K
fib_num4__l9_fib_num4
2017-01-13 17:47
1.0M
fib_num4__l10_fib_num4
2017-01-13 17:47
693K
fib_num4__l11_fib_num4
2017-01-13 17:47
651K
fib_num4__l12_fib_num4
2017-01-13 17:47
1.2M
fib_num4__l13_fib_num4
2017-01-13 17:47
196K
fib_num4__l15_fib_num4
2017-01-13 17:47
41K
fib_num4__l16_fib_num4
2017-01-13 17:47
72K
fib_num4__l24_fib_num4
2017-01-13 17:46
173K
fib_num4__l25_fib_num4
2017-01-13 17:46
23K
fib_num4__l26_fib_num4
2017-01-13 17:46
42K
fib_num4__l27_fib_num4
2017-01-13 17:46
163K
fib_num4__l28_fib_num4
2017-01-13 17:46
729K
fib_num4__l29_fib_num4
2017-01-13 17:46
36K
fib_num4__l30_fib_num4
2017-01-13 17:46
36K
fib_num4__l31_fib_num4
2017-01-13 17:46
49K
fib_num4__l32_fib_num4
2017-01-13 17:46
215K
fib_num4__l40_fib_num4
2017-01-13 17:46
25K
fib_num4__l41_fib_num4
2017-01-13 17:46
174K
fib_num4__l42_fib_num4
2017-01-13 17:46
104K
fib_num4__l43_fib_num4
2017-01-13 17:46
106K
fib_num4__l44_fib_num4
2017-01-13 17:46
23K
fib_num4__l45_fib_num4
2017-01-13 17:46
36K
fib_num4__l46_fib_num4
2017-01-13 17:46
41K
fib_num4__l47_fib_num4
2017-01-13 17:46
68K
fib_num4__l48_fib_num4
2017-01-13 17:46
82K
fib_num4__l49_fib_num4
2017-01-13 17:46
125K
fib_num4__l50_fib_num4
2017-01-13 17:46
353K
fib_num4__l51_fib_num4
2017-01-13 17:46
106K
fib_num4__l52_fib_num4
2017-01-13 17:46
106K
fib_num4__l61_fib_num4
2017-01-13 17:46
23K
fib_num4__l62_fib_num4
2017-01-13 17:47
564K
fib_num4__l64_fib_num4
2017-01-13 17:46
25K
fib_num4__l65_fib_num4
2017-01-13 17:46
44K
fib_num4__l66_fib_num4
2017-01-13 17:46
26K
fib_num4__l67_fib_num4
2017-01-13 17:46
32K
fib_num4__l68_fib_num4
2017-01-13 17:46
47K
fib_num4__l69_fib_num4
2017-01-13 17:46
119K
fib_num4__l70_fib_num4
2017-01-13 17:46
580K
fib_num4__l71_fib_num4
2017-01-13 17:47
102K
fib_num4__l72_fib_num4
2017-01-13 17:47
751K
fib_num4__l73_fib_num4
2017-01-13 17:47
751K
fib_num4__l74_fib_num4
2017-01-13 17:47
103K
fib_num4__l75_fib_num4
2017-01-13 17:47
102K
fib_num4__l76_fib_num4
2017-01-13 17:47
113K
fib_num4__l77_fib_num4
2017-01-13 17:47
113K
fib_num4__l78_fib_num4
2017-01-13 17:47
69K
fib_num4__l79_fib_num4
2017-01-13 17:47
95K
fib_num4__l80_fib_num4
2017-01-13 17:47
44K
fib_num4__l81_fib_num4
2017-01-13 17:47
38K
fib_num4__l82_fib_num4
2017-01-13 17:47
50K
fib_num4__l83_fib_num4
2017-01-13 17:47
38K
fib_num4__l84_fib_num4
2017-01-13 17:47
36K
fib_num4__l85_fib_num4
2017-01-13 17:47
36K
fib_num4__l86_fib_num4
2017-01-13 17:47
31K
fib_num4__l87_fib_num4
2017-01-13 17:47
42K
fib_num4__l88_fib_num4
2017-01-13 17:47
28K
fib_num4__l89_fib_num4
2017-01-13 17:47
47K
fib_num4__l90_fib_num4
2017-01-13 17:47
215K
fib_num4__t1_fib_num4
2017-01-13 17:47
31K
fib_num4__t2_fib_num4
2017-01-13 17:47
31K
fib_num4__t3_fib_num4
2017-01-13 17:46
25K
fib_num4__t4_fib_num4
2017-01-13 17:46
25K
fib_num4__t5_fib_num4
2017-01-13 17:47
602K
fib_num4__t6_fib_num4
2017-01-13 17:47
29K
fib_num4__t7_fib_num4
2017-01-13 17:47
43K
fib_num4__t8_fib_num4
2017-01-13 17:47
702K
fib_num4__t9_fib_num4
2017-01-13 17:47
90K
fib_num4__t10_fib_num4
2017-01-13 17:47
89K
fib_num4__t11_fib_num4
2017-01-13 17:47
159K
fib_num4__t12_fib_num4
2017-01-13 17:47
65K
fib_num4__t13_fib_num4
2017-01-13 17:47
769K
fib_num4__t14_fib_num4
2017-01-13 17:47
669K
fib_num4__t15_fib_num4
2017-01-13 17:47
655K
fib_num4__t16_fib_num4
2017-01-13 17:47
729K
fib_num4__t17_fib_num4
2017-01-13 17:47
459K
fib_num4__t18_fib_num4
2017-01-13 17:47
458K
fib_num4__t19_fib_num4
2017-01-13 17:47
465K
fib_num4__t20_fib_num4
2017-01-13 17:47
438K
fib_num4__t21_fib_num4
2017-01-13 17:47
364K
fib_num4__t22_fib_num4
2017-01-13 17:47
888K
fib_num4__t23_fib_num4
2017-01-13 17:47
560K
fib_num4__t24_fib_num4
2017-01-13 17:47
562K
fib_num4__t25_fib_num4
2017-01-13 17:47
641K
fib_num4__t26_fib_num4
2017-01-13 17:47
627K
fib_num4__t27_fib_num4
2017-01-13 17:47
1.1M
fib_num4__t28_fib_num4
2017-01-13 17:47
856K
fib_num4__t29_fib_num4
2017-01-13 17:47
901K
fib_num4__t30_fib_num4
2017-01-13 17:47
75K
fib_num4__t31_fib_num4
2017-01-13 17:47
75K
fib_num4__t32_fib_num4
2017-01-13 17:47
87K
fib_num4__t33_fib_num4
2017-01-13 17:47
181K
fib_num4__t34_fib_num4
2017-01-13 17:47
827K
fib_num4__t35_fib_num4
2017-01-13 17:47
435K
fib_num4__t36_fib_num4
2017-01-13 17:47
850K
fib_num4__t37_fib_num4
2017-01-13 17:47
1.7M
fib_num4__t38_fib_num4
2017-01-13 17:47
1.3M
fib_num4__t39_fib_num4
2017-01-13 17:47
955K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80