Index of /~mptp/mml5.63.1382/MPTP2/problems_small/rfunct_3
Name
Last modified
Size
Description
Parent Directory
-
rfunct_3__t84_rfunct_3.vout
2021-07-25 18:44
6.8K
rfunct_3__t84_rfunct_3
2021-07-17 19:01
51K
rfunct_3__t83_rfunct_3.vout
2021-07-25 20:27
1.1K
rfunct_3__t83_rfunct_3
2021-07-17 19:01
48K
rfunct_3__t82_rfunct_3.vout
2021-07-25 17:12
2.0K
rfunct_3__t82_rfunct_3
2021-07-17 19:00
37K
rfunct_3__t81_rfunct_3.vout
2021-07-25 19:42
6.9K
rfunct_3__t81_rfunct_3.vmin1out
2021-07-25 21:01
6.4K
rfunct_3__t81_rfunct_3.vmin1
2021-07-25 20:57
794
rfunct_3__t81_rfunct_3.depvmin1
2021-07-25 21:03
51
rfunct_3__t81_rfunct_3.depv1
2021-07-25 20:57
75
rfunct_3__t81_rfunct_3
2021-07-17 18:17
32K
rfunct_3__t80_rfunct_3.vout
2021-07-25 19:14
7.3K
rfunct_3__t80_rfunct_3
2021-07-17 19:00
57K
rfunct_3__t79_rfunct_3.vout
2021-07-25 16:07
7.4K
rfunct_3__t79_rfunct_3
2021-07-17 18:59
52K
rfunct_3__t78_rfunct_3.vout
2021-07-25 18:16
6.8K
rfunct_3__t78_rfunct_3
2021-07-17 18:58
73K
rfunct_3__t77_rfunct_3.vout
2021-07-25 17:22
6.8K
rfunct_3__t77_rfunct_3
2021-07-17 18:57
66K
rfunct_3__t76_rfunct_3.vout
2021-07-25 18:06
6.8K
rfunct_3__t76_rfunct_3
2021-07-17 18:57
72K
rfunct_3__t75_rfunct_3.vout
2021-07-25 15:29
7.3K
rfunct_3__t75_rfunct_3
2021-07-17 18:56
42K
rfunct_3__t74_rfunct_3.vout
2021-07-25 18:04
4.7K
rfunct_3__t74_rfunct_3
2021-07-17 18:55
40K
rfunct_3__t73_rfunct_3.vout
2021-07-25 19:04
3.7K
rfunct_3__t73_rfunct_3
2021-07-17 18:55
97K
rfunct_3__t72_rfunct_3.vout
2021-07-25 16:24
4.7K
rfunct_3__t72_rfunct_3
2021-07-17 18:54
70K
rfunct_3__t71_rfunct_3.vout
2021-07-25 15:39
7.3K
rfunct_3__t71_rfunct_3
2021-07-17 18:53
52K
rfunct_3__t70_rfunct_3.vout
2021-07-25 16:58
4.7K
rfunct_3__t70_rfunct_3
2021-07-17 18:53
68K
rfunct_3__t69_rfunct_3.vout
2021-07-25 17:45
7.3K
rfunct_3__t69_rfunct_3
2021-07-17 18:52
45K
rfunct_3__t68_rfunct_3.vout
2021-07-25 15:24
7.3K
rfunct_3__t68_rfunct_3
2021-07-17 18:52
40K
rfunct_3__t67_rfunct_3.vout
2021-07-25 20:18
7.3K
rfunct_3__t67_rfunct_3
2021-07-17 18:51
38K
rfunct_3__t66_rfunct_3.vout
2021-07-25 17:17
7.3K
rfunct_3__t66_rfunct_3
2021-07-17 18:51
50K
rfunct_3__t65_rfunct_3.vout
2021-07-25 19:48
6.8K
rfunct_3__t65_rfunct_3
2021-07-17 18:50
66K
rfunct_3__t64_rfunct_3.vout
2021-07-25 18:11
4.1K
rfunct_3__t64_rfunct_3
2021-07-17 18:49
35K
rfunct_3__t63_rfunct_3.vout
2021-07-25 16:05
6.8K
rfunct_3__t63_rfunct_3
2021-07-17 18:49
39K
rfunct_3__t62_rfunct_3.vout
2021-07-25 17:46
7.5K
rfunct_3__t62_rfunct_3.vmin1out
2021-07-25 20:59
8.4K
rfunct_3__t62_rfunct_3.vmin1
2021-07-25 20:57
1.0K
rfunct_3__t62_rfunct_3.depvmin1
2021-07-25 21:03
93
rfunct_3__t62_rfunct_3.depv1
2021-07-25 20:57
93
rfunct_3__t62_rfunct_3
2021-07-17 18:17
44K
rfunct_3__t61_rfunct_3.vout
2021-07-25 15:54
8.4K
rfunct_3__t61_rfunct_3
2021-07-17 18:48
42K
rfunct_3__t60_rfunct_3.vout
2021-07-25 14:35
17K
rfunct_3__t60_rfunct_3.vmin1out
2021-07-25 21:02
13K
rfunct_3__t60_rfunct_3.vmin1
2021-07-25 20:57
1.5K
rfunct_3__t60_rfunct_3.depvmin1
2021-07-25 21:03
154
rfunct_3__t60_rfunct_3.depv1
2021-07-25 20:57
154
rfunct_3__t60_rfunct_3
2021-07-17 18:48
43K
rfunct_3__t59_rfunct_3.vout
2021-07-25 20:07
6.8K
rfunct_3__t59_rfunct_3
2021-07-17 18:47
58K
rfunct_3__t58_rfunct_3.vout
2021-07-25 16:13
6.8K
rfunct_3__t58_rfunct_3
2021-07-17 18:47
59K
rfunct_3__t57_rfunct_3.vout
2021-07-25 16:31
7.4K
rfunct_3__t57_rfunct_3
2021-07-17 18:46
46K
rfunct_3__t56_rfunct_3.vout
2021-07-25 16:02
6.8K
rfunct_3__t56_rfunct_3
2021-07-17 18:46
44K
rfunct_3__t55_rfunct_3.vout
2021-07-25 20:31
6.8K
rfunct_3__t55_rfunct_3
2021-07-17 18:45
55K
rfunct_3__t54_rfunct_3.vout
2021-07-25 15:54
29K
rfunct_3__t54_rfunct_3.vmin1out
2021-07-25 21:02
24K
rfunct_3__t54_rfunct_3.vmin1
2021-07-25 20:57
1.1K
rfunct_3__t54_rfunct_3.depvmin1
2021-07-25 21:03
59
rfunct_3__t54_rfunct_3.depv1
2021-07-25 20:57
59
rfunct_3__t54_rfunct_3
2021-07-17 18:45
41K
rfunct_3__t52_rfunct_3.vout
2021-07-25 18:20
3.7K
rfunct_3__t52_rfunct_3
2021-07-17 18:44
43K
rfunct_3__t51_rfunct_3.vout
2021-07-25 18:08
7.3K
rfunct_3__t51_rfunct_3
2021-07-17 18:44
40K
rfunct_3__t50_rfunct_3.vout
2021-07-25 14:40
6.8K
rfunct_3__t50_rfunct_3
2021-07-17 18:43
46K
rfunct_3__t49_rfunct_3.vout
2021-07-25 17:42
4.2K
rfunct_3__t49_rfunct_3
2021-07-17 18:43
42K
rfunct_3__t48_rfunct_3.vout
2021-07-25 15:20
4.7K
rfunct_3__t48_rfunct_3
2021-07-17 18:42
35K
rfunct_3__t47_rfunct_3.vout
2021-07-25 14:44
4.7K
rfunct_3__t47_rfunct_3
2021-07-17 18:42
38K
rfunct_3__t46_rfunct_3.vout
2021-07-25 16:22
4.7K
rfunct_3__t46_rfunct_3
2021-07-17 18:41
35K
rfunct_3__t45_rfunct_3.vout
2021-07-25 16:48
4.7K
rfunct_3__t45_rfunct_3
2021-07-17 18:41
41K
rfunct_3__t44_rfunct_3.vout
2021-07-25 20:37
4.7K
rfunct_3__t44_rfunct_3
2021-07-17 18:40
41K
rfunct_3__t43_rfunct_3.vout
2021-07-25 16:12
6.8K
rfunct_3__t43_rfunct_3
2021-07-17 18:40
76K
rfunct_3__t42_rfunct_3.vout
2021-07-25 17:33
7.3K
rfunct_3__t42_rfunct_3
2021-07-17 18:39
41K
rfunct_3__t41_rfunct_3.vout
2021-07-25 15:19
7.3K
rfunct_3__t41_rfunct_3
2021-07-17 18:38
40K
rfunct_3__t40_rfunct_3.vout
2021-07-25 17:14
7.3K
rfunct_3__t40_rfunct_3
2021-07-17 18:38
35K
rfunct_3__t39_rfunct_3.vout
2021-07-25 17:12
3.7K
rfunct_3__t39_rfunct_3
2021-07-17 18:37
38K
rfunct_3__t38_rfunct_3.vout
2021-07-25 19:41
6.8K
rfunct_3__t38_rfunct_3
2021-07-17 18:37
52K
rfunct_3__t37_rfunct_3.vout
2021-07-25 19:40
60K
rfunct_3__t37_rfunct_3.vmin1out
2021-07-25 20:58
43K
rfunct_3__t37_rfunct_3.vmin1
2021-07-25 20:57
5.0K
rfunct_3__t37_rfunct_3.depvmin1
2021-07-25 21:03
361
rfunct_3__t37_rfunct_3.depv1
2021-07-25 20:57
564
rfunct_3__t37_rfunct_3
2021-07-17 18:36
34K
rfunct_3__t36_rfunct_3.vout
2021-07-25 20:07
3.7K
rfunct_3__t36_rfunct_3
2021-07-17 18:36
37K
rfunct_3__t35_rfunct_3.vout
2021-07-25 17:56
7.3K
rfunct_3__t35_rfunct_3
2021-07-17 18:35
36K
rfunct_3__t34_rfunct_3.vout
2021-07-25 15:30
4.7K
rfunct_3__t34_rfunct_3
2021-07-17 18:35
52K
rfunct_3__t33_rfunct_3.vout
2021-07-25 15:02
4.7K
rfunct_3__t33_rfunct_3
2021-07-17 18:34
78K
rfunct_3__t32_rfunct_3.vout
2021-07-25 16:13
9.4K
rfunct_3__t32_rfunct_3.vmin1out
2021-07-25 20:59
9.4K
rfunct_3__t32_rfunct_3.vmin1
2021-07-25 20:57
1.0K
rfunct_3__t32_rfunct_3.depvmin1
2021-07-25 21:03
55
rfunct_3__t32_rfunct_3.depv1
2021-07-25 20:57
55
rfunct_3__t32_rfunct_3
2021-07-17 18:16
34K
rfunct_3__t31_rfunct_3.vout
2021-07-25 17:20
4.7K
rfunct_3__t31_rfunct_3
2021-07-17 18:33
43K
rfunct_3__t30_rfunct_3.vout
2021-07-25 16:22
4.7K
rfunct_3__t30_rfunct_3
2021-07-17 18:33
36K
rfunct_3__t29_rfunct_3.vout
2021-07-25 20:22
4.7K
rfunct_3__t29_rfunct_3
2021-07-17 18:32
44K
rfunct_3__t28_rfunct_3.vout
2021-07-25 18:17
4.7K
rfunct_3__t28_rfunct_3
2021-07-17 18:32
74K
rfunct_3__t27_rfunct_3.vout
2021-07-25 15:30
4.7K
rfunct_3__t27_rfunct_3
2021-07-17 18:31
49K
rfunct_3__t26_rfunct_3.vout
2021-07-25 17:01
4.7K
rfunct_3__t26_rfunct_3
2021-07-17 18:30
42K
rfunct_3__t25_rfunct_3.vout
2021-07-25 17:17
7.3K
rfunct_3__t25_rfunct_3
2021-07-17 18:30
80K
rfunct_3__t24_rfunct_3.vout
2021-07-25 20:07
5.8K
rfunct_3__t24_rfunct_3
2021-07-17 18:29
43K
rfunct_3__t23_rfunct_3.vout
2021-07-25 15:22
5.8K
rfunct_3__t23_rfunct_3
2021-07-17 18:29
43K
rfunct_3__t22_rfunct_3.vout
2021-07-25 19:52
4.7K
rfunct_3__t22_rfunct_3
2021-07-17 18:28
40K
rfunct_3__t21_rfunct_3.vout
2021-07-25 19:08
4.7K
rfunct_3__t21_rfunct_3
2021-07-17 18:27
43K
rfunct_3__t20_rfunct_3.vout
2021-07-25 18:33
4.7K
rfunct_3__t20_rfunct_3
2021-07-17 18:27
44K
rfunct_3__t19_rfunct_3.vout
2021-07-25 18:57
2.0K
rfunct_3__t19_rfunct_3
2021-07-17 18:26
35K
rfunct_3__t18_rfunct_3.vout
2021-07-25 17:43
2.0K
rfunct_3__t18_rfunct_3
2021-07-17 18:26
34K
rfunct_3__t17_rfunct_3.vout
2021-07-25 19:11
8.4K
rfunct_3__t17_rfunct_3
2021-07-17 18:25
34K
rfunct_3__t16_rfunct_3.vout
2021-07-25 17:45
8.4K
rfunct_3__t16_rfunct_3
2021-07-17 18:25
47K
rfunct_3__t15_rfunct_3.vout
2021-07-25 15:03
7.9K
rfunct_3__t15_rfunct_3
2021-07-17 18:24
33K
rfunct_3__t14_rfunct_3.vout
2021-07-25 17:09
7.9K
rfunct_3__t14_rfunct_3
2021-07-17 18:24
32K
rfunct_3__t13_rfunct_3.vout
2021-07-25 17:36
7.3K
rfunct_3__t13_rfunct_3
2021-07-17 18:23
40K
rfunct_3__t12_rfunct_3.vout
2021-07-25 16:23
2.0K
rfunct_3__t12_rfunct_3
2021-07-17 18:16
31K
rfunct_3__t11_rfunct_3.vout
2021-07-25 19:22
7.3K
rfunct_3__t11_rfunct_3
2021-07-17 18:23
37K
rfunct_3__t10_rfunct_3.vout
2021-07-25 20:23
7.3K
rfunct_3__t10_rfunct_3
2021-07-17 18:22
35K
rfunct_3__t9_rfunct_3.vout
2021-07-25 15:49
7.3K
rfunct_3__t9_rfunct_3
2021-07-17 18:22
34K
rfunct_3__t8_rfunct_3.vout
2021-07-25 17:08
6.8K
rfunct_3__t8_rfunct_3
2021-07-17 18:21
53K
rfunct_3__t7_rfunct_3.vout
2021-07-25 17:21
6.8K
rfunct_3__t7_rfunct_3
2021-07-17 18:21
35K
rfunct_3__t6_rfunct_3.vout
2021-07-25 20:42
6.8K
rfunct_3__t6_rfunct_3
2021-07-17 18:20
40K
rfunct_3__t5_rfunct_3.vout
2021-07-25 20:09
2.0K
rfunct_3__t5_rfunct_3
2021-07-17 18:20
33K
rfunct_3__t4_rfunct_3.vout
2021-07-25 18:19
32K
rfunct_3__t4_rfunct_3.vmin1out
2021-07-25 20:57
55K
rfunct_3__t4_rfunct_3.vmin1
2021-07-25 20:57
2.2K
rfunct_3__t4_rfunct_3.depvmin1
2021-07-25 21:03
250
rfunct_3__t4_rfunct_3.depv1
2021-07-25 20:57
250
rfunct_3__t4_rfunct_3
2021-07-17 18:19
27K
rfunct_3__t3_rfunct_3.vout
2021-07-25 15:41
2.0K
rfunct_3__t3_rfunct_3
2021-07-17 18:19
31K
rfunct_3__t2_rfunct_3.vout
2021-07-25 17:30
2.0K
rfunct_3__t2_rfunct_3
2021-07-17 18:18
32K
rfunct_3__t1_rfunct_3.vout
2021-07-25 16:10
63K
rfunct_3__t1_rfunct_3.vmin1out
2021-07-25 20:58
55K
rfunct_3__t1_rfunct_3.vmin1
2021-07-25 20:57
4.7K
rfunct_3__t1_rfunct_3.depvmin1
2021-07-25 21:03
466
rfunct_3__t1_rfunct_3.depv1
2021-07-25 20:57
635
rfunct_3__t1_rfunct_3
2021-07-17 18:18
31K
rfunct_3__l87_rfunct_3.vout
2021-07-25 19:19
6.8K
rfunct_3__l87_rfunct_3
2021-07-17 19:03
129K
rfunct_3__l86_rfunct_3.vout
2021-07-25 14:57
7.3K
rfunct_3__l86_rfunct_3
2021-07-17 19:03
51K
rfunct_3__l9_rfunct_3.vout
2021-07-25 16:05
4.1K
rfunct_3__l9_rfunct_3
2021-07-17 19:02
25K
rfunct_3__l8_rfunct_3.vout
2021-07-25 15:21
22K
rfunct_3__l8_rfunct_3.vmin1out
2021-07-25 21:01
20K
rfunct_3__l8_rfunct_3.vmin1
2021-07-25 20:57
1.8K
rfunct_3__l8_rfunct_3.depvmin1
2021-07-25 21:03
195
rfunct_3__l8_rfunct_3.depv1
2021-07-25 20:57
205
rfunct_3__l8_rfunct_3
2021-07-17 19:02
40K
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}