Index of /~mptp/mml5.63.1382/MPTP2/problems/fib_num4
Name
Last modified
Size
Description
Parent Directory
-
fib_num4__l1_fib_num4
2023-06-28 16:45
24K
fib_num4__l2_fib_num4
2023-06-28 16:45
24K
fib_num4__l7_fib_num4
2023-06-28 16:46
927K
fib_num4__l8_fib_num4
2023-06-28 16:46
1.0M
fib_num4__l9_fib_num4
2023-06-28 16:46
1.2M
fib_num4__l10_fib_num4
2023-06-28 16:47
793K
fib_num4__l11_fib_num4
2023-06-28 16:47
729K
fib_num4__l12_fib_num4
2023-06-28 16:47
1.4M
fib_num4__l13_fib_num4
2023-06-28 16:48
176K
fib_num4__l15_fib_num4
2023-06-28 16:48
29K
fib_num4__l16_fib_num4
2023-06-28 16:48
59K
fib_num4__l24_fib_num4
2023-06-28 16:19
170K
fib_num4__l25_fib_num4
2023-06-28 16:19
16K
fib_num4__l26_fib_num4
2023-06-28 16:20
32K
fib_num4__l27_fib_num4
2023-06-28 16:20
161K
fib_num4__l28_fib_num4
2023-06-28 16:20
835K
fib_num4__l29_fib_num4
2023-06-28 16:21
26K
fib_num4__l30_fib_num4
2023-06-28 16:21
26K
fib_num4__l31_fib_num4
2023-06-28 16:21
37K
fib_num4__l32_fib_num4
2023-06-28 16:21
214K
fib_num4__l40_fib_num4
2023-06-28 16:22
18K
fib_num4__l41_fib_num4
2023-06-28 16:22
160K
fib_num4__l42_fib_num4
2023-06-28 16:22
86K
fib_num4__l43_fib_num4
2023-06-28 16:22
87K
fib_num4__l44_fib_num4
2023-06-28 16:23
16K
fib_num4__l45_fib_num4
2023-06-28 16:23
26K
fib_num4__l46_fib_num4
2023-06-28 16:23
30K
fib_num4__l47_fib_num4
2023-06-28 16:23
53K
fib_num4__l48_fib_num4
2023-06-28 16:24
65K
fib_num4__l49_fib_num4
2023-06-28 16:24
106K
fib_num4__l50_fib_num4
2023-06-28 16:24
365K
fib_num4__l51_fib_num4
2023-06-28 16:24
87K
fib_num4__l52_fib_num4
2023-06-28 16:25
86K
fib_num4__l61_fib_num4
2023-06-28 16:25
16K
fib_num4__l62_fib_num4
2023-06-28 16:49
629K
fib_num4__l64_fib_num4
2023-06-28 16:25
18K
fib_num4__l65_fib_num4
2023-06-28 16:25
32K
fib_num4__l66_fib_num4
2023-06-28 16:26
19K
fib_num4__l67_fib_num4
2023-06-28 16:26
23K
fib_num4__l68_fib_num4
2023-06-28 16:26
36K
fib_num4__l69_fib_num4
2023-06-28 16:26
101K
fib_num4__l70_fib_num4
2023-06-28 16:27
627K
fib_num4__l71_fib_num4
2023-06-28 16:27
94K
fib_num4__l72_fib_num4
2023-06-28 16:27
908K
fib_num4__l73_fib_num4
2023-06-28 16:28
908K
fib_num4__l74_fib_num4
2023-06-28 16:28
96K
fib_num4__l75_fib_num4
2023-06-28 16:28
95K
fib_num4__l76_fib_num4
2023-06-28 16:28
115K
fib_num4__l77_fib_num4
2023-06-28 16:29
115K
fib_num4__l78_fib_num4
2023-06-28 16:29
63K
fib_num4__l79_fib_num4
2023-06-28 16:29
91K
fib_num4__l80_fib_num4
2023-06-28 16:29
32K
fib_num4__l81_fib_num4
2023-06-28 16:30
28K
fib_num4__l82_fib_num4
2023-06-28 16:30
38K
fib_num4__l83_fib_num4
2023-06-28 16:30
27K
fib_num4__l84_fib_num4
2023-06-28 16:30
26K
fib_num4__l85_fib_num4
2023-06-28 16:31
26K
fib_num4__l86_fib_num4
2023-06-28 16:31
23K
fib_num4__l87_fib_num4
2023-06-28 16:31
31K
fib_num4__l88_fib_num4
2023-06-28 16:31
20K
fib_num4__l89_fib_num4
2023-06-28 16:32
36K
fib_num4__l90_fib_num4
2023-06-28 16:32
214K
fib_num4__t1_fib_num4
2023-06-28 16:32
20K
fib_num4__t2_fib_num4
2023-06-28 16:32
22K
fib_num4__t3_fib_num4
2023-06-28 16:19
18K
fib_num4__t4_fib_num4
2023-06-28 16:19
18K
fib_num4__t5_fib_num4
2023-06-28 16:33
667K
fib_num4__t6_fib_num4
2023-06-28 16:33
21K
fib_num4__t7_fib_num4
2023-06-28 16:33
32K
fib_num4__t8_fib_num4
2023-06-28 16:33
799K
fib_num4__t9_fib_num4
2023-06-28 16:34
69K
fib_num4__t10_fib_num4
2023-06-28 16:34
68K
fib_num4__t11_fib_num4
2023-06-28 16:34
146K
fib_num4__t12_fib_num4
2023-06-28 16:35
51K
fib_num4__t13_fib_num4
2023-06-28 16:35
886K
fib_num4__t14_fib_num4
2023-06-28 16:35
753K
fib_num4__t15_fib_num4
2023-06-28 16:36
743K
fib_num4__t16_fib_num4
2023-06-28 16:36
850K
fib_num4__t17_fib_num4
2023-06-28 16:37
500K
fib_num4__t18_fib_num4
2023-06-28 16:37
499K
fib_num4__t19_fib_num4
2023-06-28 16:37
503K
fib_num4__t20_fib_num4
2023-06-28 16:38
468K
fib_num4__t21_fib_num4
2023-06-28 16:38
371K
fib_num4__t22_fib_num4
2023-06-28 16:38
1.0M
fib_num4__t23_fib_num4
2023-06-28 16:39
619K
fib_num4__t24_fib_num4
2023-06-28 16:39
620K
fib_num4__t25_fib_num4
2023-06-28 16:39
727K
fib_num4__t26_fib_num4
2023-06-28 16:40
693K
fib_num4__t27_fib_num4
2023-06-28 16:40
1.3M
fib_num4__t28_fib_num4
2023-06-28 16:40
1.0M
fib_num4__t29_fib_num4
2023-06-28 16:41
1.0M
fib_num4__t30_fib_num4
2023-06-28 16:41
55K
fib_num4__t31_fib_num4
2023-06-28 16:41
55K
fib_num4__t32_fib_num4
2023-06-28 16:42
67K
fib_num4__t33_fib_num4
2023-06-28 16:42
164K
fib_num4__t34_fib_num4
2023-06-28 16:42
954K
fib_num4__t35_fib_num4
2023-06-28 16:43
468K
fib_num4__t36_fib_num4
2023-06-28 16:43
1.0M
fib_num4__t37_fib_num4
2023-06-28 16:44
2.1M
fib_num4__t38_fib_num4
2023-06-28 16:44
1.6M
fib_num4__t39_fib_num4
2023-06-28 16:45
1.1M
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80