Index of /~mptp/mml5.63.1382/MPTP2/problems_small/fib_num3
Name
Last modified
Size
Description
Parent Directory
-
fib_num3__t1_fib_num3
2021-07-18 07:43
11K
fib_num3__t1_fib_num3.depv1
2021-07-25 20:57
83
fib_num3__t1_fib_num3.depvmin1
2021-07-25 21:03
83
fib_num3__t1_fib_num3.vmin1
2021-07-25 20:57
655
fib_num3__t1_fib_num3.vmin1out
2021-07-25 21:00
8.5K
fib_num3__t1_fib_num3.vout
2021-07-25 14:24
8.7K
fib_num3__t2_fib_num3
2021-07-18 07:43
20K
fib_num3__t2_fib_num3.depv1
2021-07-25 20:57
157
fib_num3__t2_fib_num3.depvmin1
2021-07-25 21:03
157
fib_num3__t2_fib_num3.vmin1
2021-07-25 20:57
1.3K
fib_num3__t2_fib_num3.vmin1out
2021-07-25 21:02
12K
fib_num3__t2_fib_num3.vout
2021-07-25 14:29
9.9K
fib_num3__t3_fib_num3
2021-07-18 07:43
14K
fib_num3__t3_fib_num3.depv1
2021-07-25 20:57
146
fib_num3__t3_fib_num3.depvmin1
2021-07-25 21:03
146
fib_num3__t3_fib_num3.vmin1
2021-07-25 20:57
937
fib_num3__t3_fib_num3.vmin1out
2021-07-25 21:02
9.8K
fib_num3__t3_fib_num3.vout
2021-07-25 17:56
9.7K
fib_num3__t4_fib_num3
2021-07-18 07:44
16K
fib_num3__t4_fib_num3.vout
2021-07-25 16:46
2.0K
fib_num3__t5_fib_num3
2021-07-18 07:44
23K
fib_num3__t5_fib_num3.vout
2021-07-25 15:52
2.0K
fib_num3__t6_fib_num3
2021-07-18 07:44
16K
fib_num3__t6_fib_num3.vout
2021-07-25 17:47
2.0K
fib_num3__t7_fib_num3
2021-07-18 07:44
22K
fib_num3__t7_fib_num3.vout
2021-07-25 15:30
2.0K
fib_num3__t8_fib_num3
2021-07-18 07:45
13K
fib_num3__t8_fib_num3.depv1
2021-07-25 20:57
87
fib_num3__t8_fib_num3.depvmin1
2021-07-25 21:03
87
fib_num3__t8_fib_num3.vmin1
2021-07-25 20:57
953
fib_num3__t8_fib_num3.vmin1out
2021-07-25 21:00
8.2K
fib_num3__t8_fib_num3.vout
2021-07-25 18:33
8.8K
fib_num3__t9_fib_num3
2021-07-18 07:45
381K
fib_num3__t9_fib_num3.vout
2021-07-25 20:03
2.0K
fib_num3__t10_fib_num3
2021-07-18 07:45
381K
fib_num3__t10_fib_num3.vout
2021-07-25 15:07
2.0K
fib_num3__t11_fib_num3
2021-07-18 07:45
22K
fib_num3__t11_fib_num3.vout
2021-07-25 15:05
11K
fib_num3__t12_fib_num3
2021-07-18 07:46
19K
fib_num3__t12_fib_num3.vout
2021-07-25 19:56
2.0K
fib_num3__t13_fib_num3
2021-07-18 07:46
19K
fib_num3__t13_fib_num3.vout
2021-07-25 19:58
2.0K
fib_num3__t14_fib_num3
2021-07-18 07:46
19K
fib_num3__t14_fib_num3.depv1
2021-07-25 20:57
302
fib_num3__t14_fib_num3.depvmin1
2021-07-25 21:03
302
fib_num3__t14_fib_num3.vmin1
2021-07-25 20:57
1.5K
fib_num3__t14_fib_num3.vmin1out
2021-07-25 21:00
11K
fib_num3__t14_fib_num3.vout
2021-07-25 18:56
11K
fib_num3__t15_fib_num3
2021-07-18 07:47
22K
fib_num3__t15_fib_num3.depv1
2021-07-25 20:57
215
fib_num3__t15_fib_num3.depvmin1
2021-07-25 21:03
215
fib_num3__t15_fib_num3.vmin1
2021-07-25 20:57
965
fib_num3__t15_fib_num3.vmin1out
2021-07-25 20:57
6.2K
fib_num3__t15_fib_num3.vout
2021-07-25 17:42
6.6K
fib_num3__t16_fib_num3
2021-07-18 07:47
22K
fib_num3__t16_fib_num3.depv1
2021-07-25 20:57
265
fib_num3__t16_fib_num3.depvmin1
2021-07-25 21:03
265
fib_num3__t16_fib_num3.vmin1
2021-07-25 20:57
1.2K
fib_num3__t16_fib_num3.vmin1out
2021-07-25 21:00
8.5K
fib_num3__t16_fib_num3.vout
2021-07-25 17:44
9.3K
fib_num3__t17_fib_num3
2021-07-18 07:47
38K
fib_num3__t17_fib_num3.vout
2021-07-25 19:23
2.0K
fib_num3__t18_fib_num3
2021-07-18 07:48
135K
fib_num3__t18_fib_num3.vout
2021-07-25 17:35
2.0K
fib_num3__t19_fib_num3
2021-07-18 07:48
65K
fib_num3__t19_fib_num3.vout
2021-07-25 14:52
1.1K
fib_num3__t20_fib_num3
2021-07-18 07:48
38K
fib_num3__t20_fib_num3.vout
2021-07-25 19:25
2.0K
fib_num3__t21_fib_num3
2021-07-18 07:49
241K
fib_num3__t21_fib_num3.vout
2021-07-25 18:53
2.0K
fib_num3__t22_fib_num3
2021-07-18 07:49
44K
fib_num3__t22_fib_num3.vout
2021-07-25 20:03
2.0K
fib_num3__t23_fib_num3
2021-07-18 07:49
49K
fib_num3__t23_fib_num3.vout
2021-07-25 18:20
2.0K
fib_num3__t24_fib_num3
2021-07-18 07:49
51K
fib_num3__t24_fib_num3.vout
2021-07-25 14:36
2.0K
fib_num3__t25_fib_num3
2021-07-18 07:50
44K
fib_num3__t25_fib_num3.vout
2021-07-25 14:54
2.0K
fib_num3__t26_fib_num3
2021-07-18 07:50
160K
fib_num3__t26_fib_num3.vout
2021-07-25 17:08
2.0K
fib_num3__t27_fib_num3
2021-07-18 07:50
71K
fib_num3__t27_fib_num3.vout
2021-07-25 17:38
2.0K
fib_num3__t28_fib_num3
2021-07-18 07:51
61K
fib_num3__t28_fib_num3.vout
2021-07-25 18:13
2.0K
fib_num3__t29_fib_num3
2021-07-18 07:51
297K
fib_num3__t29_fib_num3.vout
2021-07-25 17:47
2.0K
fib_num3__t30_fib_num3
2021-07-18 07:52
495K
fib_num3__t30_fib_num3.vout
2021-07-25 20:16
1.1K
fib_num3__t31_fib_num3
2021-07-18 07:52
25K
fib_num3__t31_fib_num3.vout
2021-07-25 14:38
2.0K
fib_num3__t32_fib_num3
2021-07-18 07:52
22K
fib_num3__t32_fib_num3.vout
2021-07-25 15:56
7.3K
fib_num3__t33_fib_num3
2021-07-18 07:52
24K
fib_num3__t33_fib_num3.vout
2021-07-25 20:12
2.0K
fib_num3__t34_fib_num3
2021-07-18 07:53
19K
fib_num3__t34_fib_num3.vout
2021-07-25 18:12
2.0K
fib_num3__t35_fib_num3
2021-07-18 07:53
19K
fib_num3__t35_fib_num3.vout
2021-07-25 17:51
2.0K
fib_num3__t36_fib_num3
2021-07-18 07:53
20K
fib_num3__t36_fib_num3.vout
2021-07-25 15:04
2.0K
fib_num3__t37_fib_num3
2021-07-18 07:54
20K
fib_num3__t37_fib_num3.vout
2021-07-25 18:05
2.0K
fib_num3__t38_fib_num3
2021-07-18 07:54
21K
fib_num3__t38_fib_num3.vout
2021-07-25 19:50
2.0K
fib_num3__t39_fib_num3
2021-07-18 07:54
22K
fib_num3__t39_fib_num3.vout
2021-07-25 16:41
2.0K
fib_num3__t40_fib_num3
2021-07-18 07:55
23K
fib_num3__t40_fib_num3.vout
2021-07-25 17:10
2.0K
fib_num3__t41_fib_num3
2021-07-18 07:55
32K
fib_num3__t41_fib_num3.vout
2021-07-25 17:16
2.0K
fib_num3__t42_fib_num3
2021-07-18 07:55
44K
fib_num3__t42_fib_num3.vout
2021-07-25 17:01
2.0K
fib_num3__t43_fib_num3
2021-07-18 07:56
70K
fib_num3__t43_fib_num3.vout
2021-07-25 14:30
2.0K
fib_num3__t44_fib_num3
2021-07-18 07:56
66K
fib_num3__t44_fib_num3.vout
2021-07-25 19:39
1.1K
fib_num3__t45_fib_num3
2021-07-18 07:56
38K
fib_num3__t45_fib_num3.vout
2021-07-25 16:47
2.0K
fib_num3__t46_fib_num3
2021-07-18 07:56
21K
fib_num3__t46_fib_num3.vout
2021-07-25 18:37
2.0K
fib_num3__t47_fib_num3
2021-07-18 07:57
111K
fib_num3__t47_fib_num3.vout
2021-07-25 16:27
2.0K
fib_num3__t48_fib_num3
2021-07-18 07:57
20K
fib_num3__t48_fib_num3.vout
2021-07-25 15:38
2.0K
fib_num3__t49_fib_num3
2021-07-18 07:57
34K
fib_num3__t49_fib_num3.vout
2021-07-25 14:54
2.0K
fib_num3__t50_fib_num3
2021-07-18 07:58
30K
fib_num3__t50_fib_num3.vout
2021-07-25 16:17
2.0K
fib_num3__t51_fib_num3
2021-07-18 07:58
33K
fib_num3__t51_fib_num3.vout
2021-07-25 16:42
2.0K
fib_num3__t52_fib_num3
2021-07-18 07:58
32K
fib_num3__t52_fib_num3.vout
2021-07-25 15:39
2.0K
fib_num3__t53_fib_num3
2021-07-18 07:59
29K
fib_num3__t53_fib_num3.vout
2021-07-25 18:23
2.0K
fib_num3__t54_fib_num3
2021-07-18 07:59
408K
fib_num3__t54_fib_num3.vout
2021-07-25 20:03
2.0K
fib_num3__t55_fib_num3
2021-07-18 07:59
22K
fib_num3__t55_fib_num3.vout
2021-07-25 19:22
2.0K
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}