Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fib_num2
Name
Last modified
Size
Description
Parent Directory
-
fib_num2__l29_fib_num2
2021-07-18 11:34
34K
fib_num2__l29_fib_num2.vout
2021-07-25 20:22
2.0K
fib_num2__t1_fib_num2
2021-07-18 11:07
41K
fib_num2__t1_fib_num2.vout
2021-07-25 15:33
1.1K
fib_num2__t2_fib_num2
2021-07-18 11:07
26K
fib_num2__t2_fib_num2.depv1
2021-07-25 20:57
105
fib_num2__t2_fib_num2.depvmin1
2021-07-25 21:03
105
fib_num2__t2_fib_num2.vmin1
2021-07-25 20:57
752
fib_num2__t2_fib_num2.vmin1out
2021-07-25 20:58
6.5K
fib_num2__t2_fib_num2.vout
2021-07-25 17:04
6.5K
fib_num2__t3_fib_num2
2021-07-18 11:07
26K
fib_num2__t3_fib_num2.depv1
2021-07-25 20:57
93
fib_num2__t3_fib_num2.depvmin1
2021-07-25 21:03
93
fib_num2__t3_fib_num2.vmin1
2021-07-25 20:57
594
fib_num2__t3_fib_num2.vmin1out
2021-07-25 21:01
5.0K
fib_num2__t3_fib_num2.vout
2021-07-25 15:43
5.9K
fib_num2__t4_fib_num2
2021-07-18 11:08
34K
fib_num2__t4_fib_num2.depv1
2021-07-25 20:57
197
fib_num2__t4_fib_num2.depvmin1
2021-07-25 21:03
197
fib_num2__t4_fib_num2.vmin1
2021-07-25 20:57
1.6K
fib_num2__t4_fib_num2.vmin1out
2021-07-25 21:02
20K
fib_num2__t4_fib_num2.vout
2021-07-25 14:49
22K
fib_num2__t5_fib_num2
2021-07-18 11:08
28K
fib_num2__t5_fib_num2.vout
2021-07-25 20:01
2.0K
fib_num2__t6_fib_num2
2021-07-18 11:08
30K
fib_num2__t6_fib_num2.vout
2021-07-25 14:59
4.7K
fib_num2__t7_fib_num2
2021-07-18 11:09
96K
fib_num2__t7_fib_num2.vout
2021-07-25 17:27
4.7K
fib_num2__t8_fib_num2
2021-07-18 11:09
33K
fib_num2__t8_fib_num2.vout
2021-07-25 15:54
4.7K
fib_num2__t9_fib_num2
2021-07-18 11:10
49K
fib_num2__t9_fib_num2.vout
2021-07-25 15:26
4.7K
fib_num2__t10_fib_num2
2021-07-18 11:10
33K
fib_num2__t10_fib_num2.vout
2021-07-25 15:09
4.7K
fib_num2__t11_fib_num2
2021-07-18 11:10
26K
fib_num2__t11_fib_num2.depv1
2021-07-25 20:57
110
fib_num2__t11_fib_num2.depvmin1
2021-07-25 21:03
110
fib_num2__t11_fib_num2.vmin1
2021-07-25 20:57
876
fib_num2__t11_fib_num2.vmin1out
2021-07-25 20:57
9.6K
fib_num2__t11_fib_num2.vout
2021-07-25 14:25
13K
fib_num2__t12_fib_num2
2021-07-18 11:11
28K
fib_num2__t12_fib_num2.depv1
2021-07-25 20:57
76
fib_num2__t12_fib_num2.depvmin1
2021-07-25 21:03
76
fib_num2__t12_fib_num2.vmin1
2021-07-25 20:57
1.1K
fib_num2__t12_fib_num2.vmin1out
2021-07-25 21:01
13K
fib_num2__t12_fib_num2.vout
2021-07-25 18:24
14K
fib_num2__t13_fib_num2
2021-07-18 11:06
39K
fib_num2__t13_fib_num2.depv1
2021-07-25 20:57
94
fib_num2__t13_fib_num2.depvmin1
2021-07-25 21:03
94
fib_num2__t13_fib_num2.vmin1
2021-07-25 20:57
800
fib_num2__t13_fib_num2.vmin1out
2021-07-25 21:00
6.3K
fib_num2__t13_fib_num2.vout
2021-07-25 18:17
6.5K
fib_num2__t14_fib_num2
2021-07-18 11:11
44K
fib_num2__t14_fib_num2.vout
2021-07-25 16:03
4.7K
fib_num2__t15_fib_num2
2021-07-18 11:11
39K
fib_num2__t15_fib_num2.vout
2021-07-25 18:55
3.7K
fib_num2__t16_fib_num2
2021-07-18 11:12
61K
fib_num2__t16_fib_num2.vout
2021-07-25 16:06
3.7K
fib_num2__t17_fib_num2
2021-07-18 11:12
35K
fib_num2__t17_fib_num2.depv1
2021-07-25 20:57
293
fib_num2__t17_fib_num2.depvmin1
2021-07-25 21:03
257
fib_num2__t17_fib_num2.vmin1
2021-07-25 20:57
2.1K
fib_num2__t17_fib_num2.vmin1out
2021-07-25 20:58
23K
fib_num2__t17_fib_num2.vout
2021-07-25 20:51
26K
fib_num2__t18_fib_num2
2021-07-18 11:13
44K
fib_num2__t18_fib_num2.vout
2021-07-25 19:52
6.8K
fib_num2__t19_fib_num2
2021-07-18 11:13
41K
fib_num2__t19_fib_num2.vout
2021-07-25 18:59
6.8K
fib_num2__t20_fib_num2
2021-07-18 11:13
40K
fib_num2__t20_fib_num2.vout
2021-07-25 14:27
7.3K
fib_num2__t21_fib_num2
2021-07-18 11:14
27K
fib_num2__t21_fib_num2.depv1
2021-07-25 20:57
208
fib_num2__t21_fib_num2.depvmin1
2021-07-25 21:03
208
fib_num2__t21_fib_num2.vmin1
2021-07-25 20:57
969
fib_num2__t21_fib_num2.vmin1out
2021-07-25 21:00
7.1K
fib_num2__t21_fib_num2.vout
2021-07-25 20:48
7.2K
fib_num2__t22_fib_num2
2021-07-18 11:14
32K
fib_num2__t22_fib_num2.depv1
2021-07-25 20:57
165
fib_num2__t22_fib_num2.depvmin1
2021-07-25 21:03
165
fib_num2__t22_fib_num2.vmin1
2021-07-25 20:57
813
fib_num2__t22_fib_num2.vmin1out
2021-07-25 20:59
5.4K
fib_num2__t22_fib_num2.vout
2021-07-25 19:57
6.1K
fib_num2__t23_fib_num2
2021-07-18 11:15
27K
fib_num2__t23_fib_num2.depv1
2021-07-25 20:57
215
fib_num2__t23_fib_num2.depvmin1
2021-07-25 21:03
215
fib_num2__t23_fib_num2.vmin1
2021-07-25 20:57
1.0K
fib_num2__t23_fib_num2.vmin1out
2021-07-25 21:02
6.9K
fib_num2__t23_fib_num2.vout
2021-07-25 14:35
7.4K
fib_num2__t24_fib_num2
2021-07-18 11:15
50K
fib_num2__t24_fib_num2.vout
2021-07-25 19:22
2.0K
fib_num2__t25_fib_num2
2021-07-18 11:15
26K
fib_num2__t25_fib_num2.vout
2021-07-25 18:46
2.0K
fib_num2__t26_fib_num2
2021-07-18 11:16
40K
fib_num2__t26_fib_num2.vout
2021-07-25 19:04
2.0K
fib_num2__t27_fib_num2
2021-07-18 11:16
45K
fib_num2__t27_fib_num2.vout
2021-07-25 20:21
2.0K
fib_num2__t28_fib_num2
2021-07-18 11:16
36K
fib_num2__t28_fib_num2.vout
2021-07-25 19:50
2.0K
fib_num2__t29_fib_num2
2021-07-18 11:17
33K
fib_num2__t29_fib_num2.vout
2021-07-25 19:25
2.0K
fib_num2__t30_fib_num2
2021-07-18 11:17
32K
fib_num2__t30_fib_num2.vout
2021-07-25 17:19
2.0K
fib_num2__t31_fib_num2
2021-07-18 11:18
121K
fib_num2__t31_fib_num2.vout
2021-07-25 19:53
2.0K
fib_num2__t32_fib_num2
2021-07-18 11:18
51K
fib_num2__t32_fib_num2.vout
2021-07-25 19:56
1.1K
fib_num2__t33_fib_num2
2021-07-18 11:18
255K
fib_num2__t33_fib_num2.vout
2021-07-25 15:34
2.0K
fib_num2__t34_fib_num2
2021-07-18 11:19
391K
fib_num2__t34_fib_num2.vout
2021-07-25 17:30
9.9K
fib_num2__t35_fib_num2
2021-07-18 11:19
32K
fib_num2__t35_fib_num2.vout
2021-07-25 18:37
4.7K
fib_num2__t36_fib_num2
2021-07-18 11:20
389K
fib_num2__t36_fib_num2.vout
2021-07-25 17:40
10K
fib_num2__t37_fib_num2
2021-07-18 11:20
149K
fib_num2__t37_fib_num2.vout
2021-07-25 15:11
4.7K
fib_num2__t38_fib_num2
2021-07-18 11:20
305K
fib_num2__t38_fib_num2.vout
2021-07-25 14:45
2.0K
fib_num2__t39_fib_num2
2021-07-18 11:21
172K
fib_num2__t39_fib_num2.vout
2021-07-25 16:12
2.0K
fib_num2__t40_fib_num2
2021-07-18 11:21
47K
fib_num2__t40_fib_num2.vout
2021-07-25 14:25
2.0K
fib_num2__t41_fib_num2
2021-07-18 11:22
35K
fib_num2__t41_fib_num2.vout
2021-07-25 19:15
2.0K
fib_num2__t42_fib_num2
2021-07-18 11:22
27K
fib_num2__t42_fib_num2.depv1
2021-07-25 20:57
48
fib_num2__t42_fib_num2.depvmin1
2021-07-25 21:03
48
fib_num2__t42_fib_num2.vmin1
2021-07-25 20:57
643
fib_num2__t42_fib_num2.vmin1out
2021-07-25 21:02
10K
fib_num2__t42_fib_num2.vout
2021-07-25 18:31
10K
fib_num2__t43_fib_num2
2021-07-18 11:22
37K
fib_num2__t43_fib_num2.vout
2021-07-25 14:45
2.0K
fib_num2__t44_fib_num2
2021-07-18 11:23
37K
fib_num2__t44_fib_num2.vout
2021-07-25 19:33
7.9K
fib_num2__t45_fib_num2
2021-07-18 11:23
33K
fib_num2__t45_fib_num2.vout
2021-07-25 20:28
2.0K
fib_num2__t46_fib_num2
2021-07-18 11:23
34K
fib_num2__t46_fib_num2.vout
2021-07-25 18:03
2.0K
fib_num2__t47_fib_num2
2021-07-18 11:24
29K
fib_num2__t47_fib_num2.vout
2021-07-25 17:39
4.8K
fib_num2__t48_fib_num2
2021-07-18 11:24
34K
fib_num2__t48_fib_num2.vout
2021-07-25 18:42
4.7K
fib_num2__t49_fib_num2
2021-07-18 11:25
61K
fib_num2__t49_fib_num2.vout
2021-07-25 14:25
7.3K
fib_num2__t50_fib_num2
2021-07-18 11:25
28K
fib_num2__t50_fib_num2.vout
2021-07-25 19:29
4.7K
fib_num2__t51_fib_num2
2021-07-18 11:25
81K
fib_num2__t51_fib_num2.depv1
2021-07-25 20:57
175
fib_num2__t51_fib_num2.depvmin1
2021-07-25 21:03
175
fib_num2__t51_fib_num2.vmin1
2021-07-25 20:57
1.2K
fib_num2__t51_fib_num2.vmin1out
2021-07-25 21:02
15K
fib_num2__t51_fib_num2.vout
2021-07-25 14:42
14K
fib_num2__t52_fib_num2
2021-07-18 11:26
81K
fib_num2__t52_fib_num2.vout
2021-07-25 18:55
7.3K
fib_num2__t53_fib_num2
2021-07-18 11:06
57K
fib_num2__t53_fib_num2.vout
2021-07-25 20:10
10K
fib_num2__t54_fib_num2
2021-07-18 11:26
56K
fib_num2__t54_fib_num2.vout
2021-07-25 16:16
5.9K
fib_num2__t55_fib_num2
2021-07-18 11:27
131K
fib_num2__t55_fib_num2.vout
2021-07-25 20:37
9.5K
fib_num2__t56_fib_num2
2021-07-18 11:27
81K
fib_num2__t56_fib_num2.vout
2021-07-25 15:23
5.9K
fib_num2__t57_fib_num2
2021-07-18 11:28
49K
fib_num2__t57_fib_num2.vout
2021-07-25 15:34
7.3K
fib_num2__t58_fib_num2
2021-07-18 11:28
61K
fib_num2__t58_fib_num2.vout
2021-07-25 17:00
7.3K
fib_num2__t59_fib_num2
2021-07-18 11:29
100K
fib_num2__t59_fib_num2.vout
2021-07-25 19:39
4.2K
fib_num2__t60_fib_num2
2021-07-18 11:29
71K
fib_num2__t60_fib_num2.vout
2021-07-25 18:22
9.5K
fib_num2__t61_fib_num2
2021-07-18 11:30
81K
fib_num2__t61_fib_num2.vout
2021-07-25 18:25
5.9K
fib_num2__t62_fib_num2
2021-07-18 11:30
50K
fib_num2__t62_fib_num2.vout
2021-07-25 16:59
7.3K
fib_num2__t63_fib_num2
2021-07-18 11:31
62K
fib_num2__t63_fib_num2.vout
2021-07-25 19:42
7.3K
fib_num2__t64_fib_num2
2021-07-18 11:31
108K
fib_num2__t64_fib_num2.vout
2021-07-25 19:27
3.7K
fib_num2__t65_fib_num2
2021-07-18 11:32
109K
fib_num2__t65_fib_num2.vout
2021-07-25 18:10
3.7K
fib_num2__t66_fib_num2
2021-07-18 11:32
73K
fib_num2__t66_fib_num2.vout
2021-07-25 14:40
3.7K
fib_num2__t67_fib_num2
2021-07-18 11:33
27K
fib_num2__t67_fib_num2.vout
2021-07-25 15:38
2.0K
fib_num2__t68_fib_num2
2021-07-18 11:33
34K
fib_num2__t68_fib_num2.vout
2021-07-25 19:59
7.3K
fib_num2__t69_fib_num2
2021-07-18 11:33
159K
fib_num2__t69_fib_num2.vout
2021-07-25 16:36
6.8K
fib_num2__t70_fib_num2
2021-07-18 11:34
176K
fib_num2__t70_fib_num2.vout
2021-07-25 16:58
7.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80
![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}