Index of /~mptp/1147/mptp/problems00/fib_num4
Name
Last modified
Size
Description
Parent Directory
-
fib_num4__l1_fib_num4
2017-03-01 10:58
11K
fib_num4__l2_fib_num4
2017-03-01 10:58
11K
fib_num4__l7_fib_num4
2017-03-01 10:58
447K
fib_num4__l8_fib_num4
2017-03-01 10:58
483K
fib_num4__l9_fib_num4
2017-03-01 10:58
565K
fib_num4__l10_fib_num4
2017-03-01 10:58
380K
fib_num4__l11_fib_num4
2017-03-01 10:58
357K
fib_num4__l12_fib_num4
2017-03-01 10:58
692K
fib_num4__l13_fib_num4
2017-03-01 10:58
96K
fib_num4__l15_fib_num4
2017-03-01 10:58
14K
fib_num4__l16_fib_num4
2017-03-01 10:58
30K
fib_num4__l24_fib_num4
2017-03-01 10:57
87K
fib_num4__l25_fib_num4
2017-03-01 10:57
8.6K
fib_num4__l26_fib_num4
2017-03-01 10:57
16K
fib_num4__l27_fib_num4
2017-03-01 10:57
81K
fib_num4__l28_fib_num4
2017-03-01 10:57
402K
fib_num4__l29_fib_num4
2017-03-01 10:57
13K
fib_num4__l30_fib_num4
2017-03-01 10:57
13K
fib_num4__l31_fib_num4
2017-03-01 10:57
19K
fib_num4__l32_fib_num4
2017-03-01 10:57
108K
fib_num4__l40_fib_num4
2017-03-01 10:57
9.2K
fib_num4__l41_fib_num4
2017-03-01 10:57
85K
fib_num4__l42_fib_num4
2017-03-01 10:57
46K
fib_num4__l43_fib_num4
2017-03-01 10:57
46K
fib_num4__l44_fib_num4
2017-03-01 10:57
8.6K
fib_num4__l45_fib_num4
2017-03-01 10:57
13K
fib_num4__l46_fib_num4
2017-03-01 10:57
16K
fib_num4__l47_fib_num4
2017-03-01 10:57
28K
fib_num4__l48_fib_num4
2017-03-01 10:57
34K
fib_num4__l49_fib_num4
2017-03-01 10:57
57K
fib_num4__l50_fib_num4
2017-03-01 10:57
188K
fib_num4__l51_fib_num4
2017-03-01 10:57
46K
fib_num4__l52_fib_num4
2017-03-01 10:57
46K
fib_num4__l61_fib_num4
2017-03-01 10:57
8.6K
fib_num4__l62_fib_num4
2017-03-01 10:58
308K
fib_num4__l64_fib_num4
2017-03-01 10:58
9.2K
fib_num4__l65_fib_num4
2017-03-01 10:58
16K
fib_num4__l66_fib_num4
2017-03-01 10:58
10K
fib_num4__l67_fib_num4
2017-03-01 10:58
13K
fib_num4__l68_fib_num4
2017-03-01 10:58
19K
fib_num4__l69_fib_num4
2017-03-01 10:58
54K
fib_num4__l70_fib_num4
2017-03-01 10:58
317K
fib_num4__l71_fib_num4
2017-03-01 10:58
49K
fib_num4__l72_fib_num4
2017-03-01 10:58
418K
fib_num4__l73_fib_num4
2017-03-01 10:58
418K
fib_num4__l74_fib_num4
2017-03-01 10:58
49K
fib_num4__l75_fib_num4
2017-03-01 10:58
49K
fib_num4__l76_fib_num4
2017-03-01 10:58
55K
fib_num4__l77_fib_num4
2017-03-01 10:58
55K
fib_num4__l78_fib_num4
2017-03-01 10:58
30K
fib_num4__l79_fib_num4
2017-03-01 10:58
45K
fib_num4__l80_fib_num4
2017-03-01 10:58
16K
fib_num4__l81_fib_num4
2017-03-01 10:58
14K
fib_num4__l82_fib_num4
2017-03-01 10:58
18K
fib_num4__l83_fib_num4
2017-03-01 10:58
14K
fib_num4__l84_fib_num4
2017-03-01 10:58
13K
fib_num4__l85_fib_num4
2017-03-01 10:58
13K
fib_num4__l86_fib_num4
2017-03-01 10:58
12K
fib_num4__l87_fib_num4
2017-03-01 10:58
16K
fib_num4__l88_fib_num4
2017-03-01 10:58
11K
fib_num4__l89_fib_num4
2017-03-01 10:58
19K
fib_num4__l90_fib_num4
2017-03-01 10:58
109K
fib_num4__t1_fib_num4
2017-03-01 10:58
9.8K
fib_num4__t2_fib_num4
2017-03-01 10:58
9.9K
fib_num4__t3_fib_num4
2017-03-01 10:57
8.8K
fib_num4__t4_fib_num4
2017-03-01 10:57
8.8K
fib_num4__t5_fib_num4
2017-03-01 10:58
329K
fib_num4__t6_fib_num4
2017-03-01 10:58
10K
fib_num4__t7_fib_num4
2017-03-01 10:58
16K
fib_num4__t8_fib_num4
2017-03-01 10:58
384K
fib_num4__t9_fib_num4
2017-03-01 10:58
35K
fib_num4__t10_fib_num4
2017-03-01 10:58
34K
fib_num4__t11_fib_num4
2017-03-01 10:58
75K
fib_num4__t12_fib_num4
2017-03-01 10:58
26K
fib_num4__t13_fib_num4
2017-03-01 10:58
423K
fib_num4__t14_fib_num4
2017-03-01 10:58
365K
fib_num4__t15_fib_num4
2017-03-01 10:58
358K
fib_num4__t16_fib_num4
2017-03-01 10:58
400K
fib_num4__t17_fib_num4
2017-03-01 10:58
246K
fib_num4__t18_fib_num4
2017-03-01 10:58
246K
fib_num4__t19_fib_num4
2017-03-01 10:58
248K
fib_num4__t20_fib_num4
2017-03-01 10:58
233K
fib_num4__t21_fib_num4
2017-03-01 10:58
192K
fib_num4__t22_fib_num4
2017-03-01 10:58
489K
fib_num4__t23_fib_num4
2017-03-01 10:58
303K
fib_num4__t24_fib_num4
2017-03-01 10:58
303K
fib_num4__t25_fib_num4
2017-03-01 10:58
350K
fib_num4__t26_fib_num4
2017-03-01 10:58
342K
fib_num4__t27_fib_num4
2017-03-01 10:58
607K
fib_num4__t28_fib_num4
2017-03-01 10:58
470K
fib_num4__t29_fib_num4
2017-03-01 10:58
494K
fib_num4__t30_fib_num4
2017-03-01 10:58
27K
fib_num4__t31_fib_num4
2017-03-01 10:58
27K
fib_num4__t32_fib_num4
2017-03-01 10:58
34K
fib_num4__t33_fib_num4
2017-03-01 10:58
87K
fib_num4__t34_fib_num4
2017-03-01 10:58
456K
fib_num4__t35_fib_num4
2017-03-01 10:58
232K
fib_num4__t36_fib_num4
2017-03-01 10:58
468K
fib_num4__t37_fib_num4
2017-03-01 10:58
1.0M
fib_num4__t38_fib_num4
2017-03-01 10:58
743K
fib_num4__t39_fib_num4
2017-03-01 10:58
526K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80