Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/fib_num4
Name
Last modified
Size
Description
Parent Directory
-
fib_num4__l25_fib_num4
2016-03-08 13:05
16K
fib_num4__l44_fib_num4
2016-03-08 13:05
16K
fib_num4__l61_fib_num4
2016-03-08 13:05
16K
fib_num4__t3_fib_num4
2016-03-08 13:05
16K
fib_num4__t4_fib_num4
2016-03-08 13:05
16K
fib_num4__l40_fib_num4
2016-03-08 13:05
17K
fib_num4__l64_fib_num4
2016-03-08 13:05
17K
fib_num4__l66_fib_num4
2016-03-08 13:05
18K
fib_num4__t6_fib_num4
2016-03-08 13:05
19K
fib_num4__l88_fib_num4
2016-03-08 13:05
19K
fib_num4__t1_fib_num4
2016-03-08 13:05
20K
fib_num4__t2_fib_num4
2016-03-08 13:05
20K
fib_num4__l1_fib_num4
2016-03-08 13:05
22K
fib_num4__l2_fib_num4
2016-03-08 13:05
22K
fib_num4__l86_fib_num4
2016-03-08 13:05
22K
fib_num4__l67_fib_num4
2016-03-08 13:05
23K
fib_num4__l45_fib_num4
2016-03-08 13:05
24K
fib_num4__l29_fib_num4
2016-03-08 13:05
25K
fib_num4__l84_fib_num4
2016-03-08 13:05
25K
fib_num4__l30_fib_num4
2016-03-08 13:05
25K
fib_num4__l85_fib_num4
2016-03-08 13:05
25K
fib_num4__l83_fib_num4
2016-03-08 13:05
26K
fib_num4__l81_fib_num4
2016-03-08 13:05
26K
fib_num4__l15_fib_num4
2016-03-08 13:05
28K
fib_num4__l46_fib_num4
2016-03-08 13:05
29K
fib_num4__t7_fib_num4
2016-03-08 13:05
30K
fib_num4__l87_fib_num4
2016-03-08 13:05
30K
fib_num4__l26_fib_num4
2016-03-08 13:05
30K
fib_num4__l65_fib_num4
2016-03-08 13:05
31K
fib_num4__l80_fib_num4
2016-03-08 13:05
31K
fib_num4__l68_fib_num4
2016-03-08 13:05
35K
fib_num4__l89_fib_num4
2016-03-08 13:05
35K
fib_num4__l31_fib_num4
2016-03-08 13:05
35K
fib_num4__l82_fib_num4
2016-03-08 13:05
36K
fib_num4__t12_fib_num4
2016-03-08 13:05
49K
fib_num4__l47_fib_num4
2016-03-08 13:05
51K
fib_num4__l78_fib_num4
2016-03-08 13:05
53K
fib_num4__t30_fib_num4
2016-03-08 13:05
54K
fib_num4__t31_fib_num4
2016-03-08 13:05
54K
fib_num4__l16_fib_num4
2016-03-08 13:05
55K
fib_num4__l48_fib_num4
2016-03-08 13:05
62K
fib_num4__t32_fib_num4
2016-03-08 13:05
64K
fib_num4__t10_fib_num4
2016-03-08 13:05
66K
fib_num4__t9_fib_num4
2016-03-08 13:05
66K
fib_num4__l79_fib_num4
2016-03-08 13:05
77K
fib_num4__l42_fib_num4
2016-03-08 13:05
83K
fib_num4__l52_fib_num4
2016-03-08 13:05
83K
fib_num4__l43_fib_num4
2016-03-08 13:05
84K
fib_num4__l51_fib_num4
2016-03-08 13:05
84K
fib_num4__l71_fib_num4
2016-03-08 13:05
84K
fib_num4__l75_fib_num4
2016-03-08 13:05
84K
fib_num4__l74_fib_num4
2016-03-08 13:05
85K
fib_num4__l76_fib_num4
2016-03-08 13:05
93K
fib_num4__l77_fib_num4
2016-03-08 13:05
93K
fib_num4__l69_fib_num4
2016-03-08 13:05
97K
fib_num4__l49_fib_num4
2016-03-08 13:05
102K
fib_num4__t11_fib_num4
2016-03-08 13:05
131K
fib_num4__l27_fib_num4
2016-03-08 13:05
137K
fib_num4__l41_fib_num4
2016-03-08 13:05
146K
fib_num4__l24_fib_num4
2016-03-08 13:05
147K
fib_num4__t33_fib_num4
2016-03-08 13:05
151K
fib_num4__l13_fib_num4
2016-03-08 13:05
167K
fib_num4__l32_fib_num4
2016-03-08 13:05
183K
fib_num4__l90_fib_num4
2016-03-08 13:05
184K
fib_num4__l50_fib_num4
2016-03-08 13:05
311K
fib_num4__t21_fib_num4
2016-03-08 13:05
319K
fib_num4__t35_fib_num4
2016-03-08 13:05
385K
fib_num4__t20_fib_num4
2016-03-08 13:05
387K
fib_num4__t18_fib_num4
2016-03-08 13:05
406K
fib_num4__t17_fib_num4
2016-03-08 13:05
407K
fib_num4__t19_fib_num4
2016-03-08 13:05
411K
fib_num4__t23_fib_num4
2016-03-08 13:05
499K
fib_num4__t24_fib_num4
2016-03-08 13:05
501K
fib_num4__l62_fib_num4
2016-03-08 13:05
505K
fib_num4__l70_fib_num4
2016-03-08 13:05
520K
fib_num4__t5_fib_num4
2016-03-08 13:05
539K
fib_num4__t26_fib_num4
2016-03-08 13:05
562K
fib_num4__t25_fib_num4
2016-03-08 13:05
576K
fib_num4__l11_fib_num4
2016-03-08 13:05
585K
fib_num4__t15_fib_num4
2016-03-08 13:05
588K
fib_num4__t14_fib_num4
2016-03-08 13:05
600K
fib_num4__l10_fib_num4
2016-03-08 13:05
623K
fib_num4__t8_fib_num4
2016-03-08 13:05
630K
fib_num4__t16_fib_num4
2016-03-08 13:05
656K
fib_num4__l28_fib_num4
2016-03-08 13:05
658K
fib_num4__l72_fib_num4
2016-03-08 13:05
681K
fib_num4__l73_fib_num4
2016-03-08 13:05
681K
fib_num4__t13_fib_num4
2016-03-08 13:05
693K
fib_num4__l7_fib_num4
2016-03-08 13:05
731K
fib_num4__t34_fib_num4
2016-03-08 13:05
747K
fib_num4__t36_fib_num4
2016-03-08 13:05
767K
fib_num4__t28_fib_num4
2016-03-08 13:05
771K
fib_num4__l8_fib_num4
2016-03-08 13:05
789K
fib_num4__t22_fib_num4
2016-03-08 13:05
802K
fib_num4__t29_fib_num4
2016-03-08 13:05
812K
fib_num4__t39_fib_num4
2016-03-08 13:05
862K
fib_num4__l9_fib_num4
2016-03-08 13:05
924K
fib_num4__t27_fib_num4
2016-03-08 13:05
1.0M
fib_num4__l12_fib_num4
2016-03-08 13:05
1.1M
fib_num4__t38_fib_num4
2016-03-08 13:05
1.2M
fib_num4__t37_fib_num4
2016-03-08 13:05
1.6M
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80