Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/fvsum_1
Name
Last modified
Size
Description
Parent Directory
-
fvsum_1__l14_fvsum_1
2024-07-28 09:23
37K
fvsum_1__l14_fvsum_1.depv1
2024-08-03 10:19
182
fvsum_1__l14_fvsum_1.depvmin1
2024-08-03 10:24
182
fvsum_1__l14_fvsum_1.vmin1
2024-08-03 10:19
2.4K
fvsum_1__l14_fvsum_1.vmin1out
2024-08-03 10:23
24K
fvsum_1__l14_fvsum_1.vout
2024-08-03 08:50
24K
fvsum_1__l25_fvsum_1
2024-07-28 09:25
39K
fvsum_1__l25_fvsum_1.vout
2024-08-03 06:11
4.1K
fvsum_1__l32_fvsum_1
2024-07-28 09:27
49K
fvsum_1__l32_fvsum_1.vout
2024-08-03 06:12
4.1K
fvsum_1__l37_fvsum_1
2024-07-28 09:29
48K
fvsum_1__l37_fvsum_1.vout
2024-08-03 08:57
4.1K
fvsum_1__l74_fvsum_1
2024-07-28 09:31
46K
fvsum_1__l74_fvsum_1.vout
2024-08-03 05:54
4.7K
fvsum_1__l91_fvsum_1
2024-07-28 09:33
36K
fvsum_1__l91_fvsum_1.depv1
2024-08-03 10:19
147
fvsum_1__l91_fvsum_1.depvmin1
2024-08-03 10:24
147
fvsum_1__l91_fvsum_1.vmin1
2024-08-03 10:19
1.3K
fvsum_1__l91_fvsum_1.vmin1out
2024-08-03 10:23
11K
fvsum_1__l91_fvsum_1.vout
2024-08-03 09:08
10K
fvsum_1__t1_fvsum_1
2024-07-28 07:04
33K
fvsum_1__t1_fvsum_1.vout
2024-08-03 08:24
2.0K
fvsum_1__t2_fvsum_1
2024-07-28 07:06
33K
fvsum_1__t2_fvsum_1.vout
2024-08-03 09:44
2.0K
fvsum_1__t3_fvsum_1
2024-07-28 07:07
33K
fvsum_1__t3_fvsum_1.vout
2024-08-03 08:07
2.0K
fvsum_1__t4_fvsum_1
2024-07-28 07:09
35K
fvsum_1__t4_fvsum_1.vout
2024-08-03 08:20
2.0K
fvsum_1__t5_fvsum_1
2024-07-28 07:10
33K
fvsum_1__t5_fvsum_1.depv1
2024-08-03 10:19
78
fvsum_1__t5_fvsum_1.depvmin1
2024-08-03 10:24
78
fvsum_1__t5_fvsum_1.vmin1
2024-08-03 10:19
1.2K
fvsum_1__t5_fvsum_1.vmin1out
2024-08-03 10:23
13K
fvsum_1__t5_fvsum_1.vout
2024-08-03 05:32
15K
fvsum_1__t6_fvsum_1
2024-07-28 07:12
34K
fvsum_1__t6_fvsum_1.vout
2024-08-03 04:18
2.0K
fvsum_1__t7_fvsum_1
2024-07-28 07:14
33K
fvsum_1__t7_fvsum_1.depv1
2024-08-03 10:19
78
fvsum_1__t7_fvsum_1.depvmin1
2024-08-03 10:24
78
fvsum_1__t7_fvsum_1.vmin1
2024-08-03 10:19
1.2K
fvsum_1__t7_fvsum_1.vmin1out
2024-08-03 10:21
15K
fvsum_1__t7_fvsum_1.vout
2024-08-03 10:18
16K
fvsum_1__t8_fvsum_1
2024-07-28 07:16
33K
fvsum_1__t8_fvsum_1.depv1
2024-08-03 10:19
107
fvsum_1__t8_fvsum_1.depvmin1
2024-08-03 10:24
107
fvsum_1__t8_fvsum_1.vmin1
2024-08-03 10:19
1.3K
fvsum_1__t8_fvsum_1.vmin1out
2024-08-03 10:23
13K
fvsum_1__t8_fvsum_1.vout
2024-08-03 05:22
15K
fvsum_1__t9_fvsum_1
2024-07-28 06:30
32K
fvsum_1__t9_fvsum_1.depv1
2024-08-03 10:19
64
fvsum_1__t9_fvsum_1.depvmin1
2024-08-03 10:24
64
fvsum_1__t9_fvsum_1.vmin1
2024-08-03 10:19
897
fvsum_1__t9_fvsum_1.vmin1out
2024-08-03 10:21
7.6K
fvsum_1__t9_fvsum_1.vout
2024-08-03 05:41
7.4K
fvsum_1__t10_fvsum_1
2024-07-28 07:18
38K
fvsum_1__t10_fvsum_1.vout
2024-08-03 06:14
1.1K
fvsum_1__t11_fvsum_1
2024-07-28 07:20
42K
fvsum_1__t11_fvsum_1.vout
2024-08-03 05:22
2.0K
fvsum_1__t12_fvsum_1
2024-07-28 06:32
40K
fvsum_1__t12_fvsum_1.depv1
2024-08-03 10:19
229
fvsum_1__t12_fvsum_1.depvmin1
2024-08-03 10:24
229
fvsum_1__t12_fvsum_1.vmin1
2024-08-03 10:19
3.1K
fvsum_1__t12_fvsum_1.vmin1out
2024-08-03 10:22
69K
fvsum_1__t12_fvsum_1.vout
2024-08-03 09:58
35K
fvsum_1__t13_fvsum_1
2024-07-28 07:22
40K
fvsum_1__t13_fvsum_1.vout
2024-08-03 09:15
1.1K
fvsum_1__t14_fvsum_1
2024-07-28 07:23
33K
fvsum_1__t14_fvsum_1.depv1
2024-08-03 10:19
134
fvsum_1__t14_fvsum_1.depvmin1
2024-08-03 10:24
122
fvsum_1__t14_fvsum_1.vmin1
2024-08-03 10:19
2.1K
fvsum_1__t14_fvsum_1.vmin1out
2024-08-03 10:21
20K
fvsum_1__t14_fvsum_1.vout
2024-08-03 05:16
19K
fvsum_1__t15_fvsum_1
2024-07-28 07:25
34K
fvsum_1__t15_fvsum_1.depv1
2024-08-03 10:19
181
fvsum_1__t15_fvsum_1.depvmin1
2024-08-03 10:24
168
fvsum_1__t15_fvsum_1.vmin1
2024-08-03 10:19
2.9K
fvsum_1__t15_fvsum_1.vmin1out
2024-08-03 10:23
18K
fvsum_1__t15_fvsum_1.vout
2024-08-03 09:40
30K
fvsum_1__t16_fvsum_1
2024-07-28 07:27
34K
fvsum_1__t16_fvsum_1.depv1
2024-08-03 10:19
209
fvsum_1__t16_fvsum_1.depvmin1
2024-08-03 10:24
209
fvsum_1__t16_fvsum_1.vmin1
2024-08-03 10:19
3.4K
fvsum_1__t16_fvsum_1.vmin1out
2024-08-03 10:22
22K
fvsum_1__t16_fvsum_1.vout
2024-08-03 06:00
38K
fvsum_1__t17_fvsum_1
2024-07-28 06:33
39K
fvsum_1__t17_fvsum_1.vout
2024-08-03 05:08
1.1K
fvsum_1__t18_fvsum_1
2024-07-28 07:29
44K
fvsum_1__t18_fvsum_1.vout
2024-08-03 09:26
6.8K
fvsum_1__t19_fvsum_1
2024-07-28 06:35
38K
fvsum_1__t19_fvsum_1.vout
2024-08-03 05:06
7.3K
fvsum_1__t20_fvsum_1
2024-07-28 06:37
40K
fvsum_1__t20_fvsum_1.vout
2024-08-03 04:43
4.1K
fvsum_1__t21_fvsum_1
2024-07-28 07:31
39K
fvsum_1__t21_fvsum_1.vout
2024-08-03 08:30
4.1K
fvsum_1__t22_fvsum_1
2024-07-28 07:33
50K
fvsum_1__t22_fvsum_1.vout
2024-08-03 04:38
1.2K
fvsum_1__t23_fvsum_1
2024-07-28 07:34
48K
fvsum_1__t23_fvsum_1.vout
2024-08-03 09:20
6.8K
fvsum_1__t24_fvsum_1
2024-07-28 07:37
50K
fvsum_1__t24_fvsum_1.vout
2024-08-03 07:13
7.3K
fvsum_1__t25_fvsum_1
2024-07-28 07:39
51K
fvsum_1__t25_fvsum_1.vout
2024-08-03 06:36
4.1K
fvsum_1__t26_fvsum_1
2024-07-28 07:41
48K
fvsum_1__t26_fvsum_1.vout
2024-08-03 08:00
4.1K
fvsum_1__t27_fvsum_1
2024-07-28 07:43
50K
fvsum_1__t27_fvsum_1.vout
2024-08-03 09:03
4.1K
fvsum_1__t28_fvsum_1
2024-07-28 07:45
47K
fvsum_1__t28_fvsum_1.vout
2024-08-03 09:24
1.1K
fvsum_1__t29_fvsum_1
2024-07-28 07:46
43K
fvsum_1__t29_fvsum_1.depv1
2024-08-03 10:19
24
fvsum_1__t29_fvsum_1.depvmin1
2024-08-03 10:24
24
fvsum_1__t29_fvsum_1.vmin1
2024-08-03 10:19
754
fvsum_1__t29_fvsum_1.vmin1out
2024-08-03 10:20
15K
fvsum_1__t29_fvsum_1.vout
2024-08-03 04:09
15K
fvsum_1__t30_fvsum_1
2024-07-28 07:48
38K
fvsum_1__t30_fvsum_1.vout
2024-08-03 06:08
4.1K
fvsum_1__t31_fvsum_1
2024-07-28 07:50
49K
fvsum_1__t31_fvsum_1.vout
2024-08-03 07:53
4.1K
fvsum_1__t32_fvsum_1
2024-07-28 07:53
43K
fvsum_1__t32_fvsum_1.vout
2024-08-03 08:40
2.0K
fvsum_1__t33_fvsum_1
2024-07-28 07:55
47K
fvsum_1__t33_fvsum_1.vout
2024-08-03 08:24
6.8K
fvsum_1__t34_fvsum_1
2024-07-28 07:57
42K
fvsum_1__t34_fvsum_1.depv1
2024-08-03 10:19
259
fvsum_1__t34_fvsum_1.depvmin1
2024-08-03 10:24
245
fvsum_1__t34_fvsum_1.vmin1
2024-08-03 10:19
3.6K
fvsum_1__t34_fvsum_1.vmin1out
2024-08-03 10:21
50K
fvsum_1__t34_fvsum_1.vout
2024-08-03 05:41
55K
fvsum_1__t35_fvsum_1
2024-07-28 07:59
44K
fvsum_1__t35_fvsum_1.vout
2024-08-03 06:36
4.7K
fvsum_1__t36_fvsum_1
2024-07-28 08:02
52K
fvsum_1__t36_fvsum_1.vout
2024-08-03 06:14
4.7K
fvsum_1__t37_fvsum_1
2024-07-28 08:04
51K
fvsum_1__t37_fvsum_1.vout
2024-08-03 06:20
4.7K
fvsum_1__t38_fvsum_1
2024-07-28 08:06
50K
fvsum_1__t38_fvsum_1.vout
2024-08-03 10:18
4.7K
fvsum_1__t39_fvsum_1
2024-07-28 08:08
51K
fvsum_1__t39_fvsum_1.vout
2024-08-03 04:42
4.7K
fvsum_1__t40_fvsum_1
2024-07-28 08:10
51K
fvsum_1__t40_fvsum_1.vout
2024-08-03 07:36
4.7K
fvsum_1__t41_fvsum_1
2024-07-28 08:12
51K
fvsum_1__t41_fvsum_1.vout
2024-08-03 04:46
4.7K
fvsum_1__t42_fvsum_1
2024-07-28 08:14
52K
fvsum_1__t42_fvsum_1.vout
2024-08-03 09:24
4.7K
fvsum_1__t43_fvsum_1
2024-07-28 08:16
51K
fvsum_1__t43_fvsum_1.vout
2024-08-03 06:42
4.7K
fvsum_1__t44_fvsum_1
2024-07-28 08:18
51K
fvsum_1__t44_fvsum_1.vout
2024-08-03 10:01
4.7K
fvsum_1__t45_fvsum_1
2024-07-28 08:20
51K
fvsum_1__t45_fvsum_1.vout
2024-08-03 08:27
4.7K
fvsum_1__t46_fvsum_1
2024-07-28 08:22
43K
fvsum_1__t46_fvsum_1.vout
2024-08-03 04:20
2.0K
fvsum_1__t47_fvsum_1
2024-07-28 08:24
52K
fvsum_1__t47_fvsum_1.vout
2024-08-03 07:53
4.7K
fvsum_1__t48_fvsum_1
2024-07-28 08:25
37K
fvsum_1__t48_fvsum_1.depv1
2024-08-03 10:19
182
fvsum_1__t48_fvsum_1.depvmin1
2024-08-03 10:24
182
fvsum_1__t48_fvsum_1.vmin1
2024-08-03 10:19
2.4K
fvsum_1__t48_fvsum_1.vmin1out
2024-08-03 10:20
24K
fvsum_1__t48_fvsum_1.vout
2024-08-03 05:49
24K
fvsum_1__t49_fvsum_1
2024-07-28 06:39
37K
fvsum_1__t49_fvsum_1.depv1
2024-08-03 10:19
35
fvsum_1__t49_fvsum_1.depvmin1
2024-08-03 10:24
35
fvsum_1__t49_fvsum_1.vmin1
2024-08-03 10:19
871
fvsum_1__t49_fvsum_1.vmin1out
2024-08-03 10:20
8.4K
fvsum_1__t49_fvsum_1.vout
2024-08-03 05:49
7.8K
fvsum_1__t50_fvsum_1
2024-07-28 08:27
49K
fvsum_1__t50_fvsum_1.vout
2024-08-03 08:36
2.0K
fvsum_1__t51_fvsum_1
2024-07-28 08:29
52K
fvsum_1__t51_fvsum_1.vout
2024-08-03 08:34
6.8K
fvsum_1__t52_fvsum_1
2024-07-28 08:31
49K
fvsum_1__t52_fvsum_1.vout
2024-08-03 05:08
7.3K
fvsum_1__t53_fvsum_1
2024-07-28 08:33
50K
fvsum_1__t53_fvsum_1.vout
2024-08-03 07:54
4.7K
fvsum_1__t54_fvsum_1
2024-07-28 08:34
49K
fvsum_1__t54_fvsum_1.vout
2024-08-03 09:13
4.7K
fvsum_1__t55_fvsum_1
2024-07-28 08:37
55K
fvsum_1__t55_fvsum_1.vout
2024-08-03 09:07
4.7K
fvsum_1__t56_fvsum_1
2024-07-28 06:41
53K
fvsum_1__t56_fvsum_1.vout
2024-08-03 07:39
4.7K
fvsum_1__t57_fvsum_1
2024-07-28 08:39
56K
fvsum_1__t57_fvsum_1.vout
2024-08-03 09:52
4.7K
fvsum_1__t58_fvsum_1
2024-07-28 08:41
59K
fvsum_1__t58_fvsum_1.vout
2024-08-03 06:16
4.7K
fvsum_1__t59_fvsum_1
2024-07-28 08:43
58K
fvsum_1__t59_fvsum_1.vout
2024-08-03 06:13
4.7K
fvsum_1__t60_fvsum_1
2024-07-28 06:42
39K
fvsum_1__t60_fvsum_1.vout
2024-08-03 05:50
1.1K
fvsum_1__t61_fvsum_1
2024-07-28 08:45
43K
fvsum_1__t61_fvsum_1.vout
2024-08-03 04:15
6.8K
fvsum_1__t62_fvsum_1
2024-07-28 06:44
38K
fvsum_1__t62_fvsum_1.vout
2024-08-03 06:14
7.3K
fvsum_1__t63_fvsum_1
2024-07-28 06:46
37K
fvsum_1__t63_fvsum_1.vout
2024-08-03 05:33
4.1K
fvsum_1__t64_fvsum_1
2024-07-28 08:47
45K
fvsum_1__t64_fvsum_1.vout
2024-08-03 04:51
4.1K
fvsum_1__t65_fvsum_1
2024-07-28 06:47
38K
fvsum_1__t65_fvsum_1.vout
2024-08-03 05:24
4.1K
fvsum_1__t66_fvsum_1
2024-07-28 08:49
50K
fvsum_1__t66_fvsum_1.vout
2024-08-03 07:55
4.7K
fvsum_1__t67_fvsum_1
2024-07-28 08:51
50K
fvsum_1__t67_fvsum_1.depv1
2024-08-03 10:19
103
fvsum_1__t67_fvsum_1.depvmin1
2024-08-03 10:24
103
fvsum_1__t67_fvsum_1.vmin1
2024-08-03 10:19
1.8K
fvsum_1__t67_fvsum_1.vmin1out
2024-08-03 10:21
19K
fvsum_1__t67_fvsum_1.vout
2024-08-03 06:03
17K
fvsum_1__t68_fvsum_1
2024-07-28 06:49
48K
fvsum_1__t68_fvsum_1.vout
2024-08-03 05:13
4.7K
fvsum_1__t69_fvsum_1
2024-07-28 08:53
49K
fvsum_1__t69_fvsum_1.vout
2024-08-03 07:11
4.7K
fvsum_1__t70_fvsum_1
2024-07-28 06:51
48K
fvsum_1__t70_fvsum_1.depv1
2024-08-03 10:19
24
fvsum_1__t70_fvsum_1.depvmin1
2024-08-03 10:24
24
fvsum_1__t70_fvsum_1.vmin1
2024-08-03 10:19
837
fvsum_1__t70_fvsum_1.vmin1out
2024-08-03 10:21
9.2K
fvsum_1__t70_fvsum_1.vout
2024-08-03 04:27
8.7K
fvsum_1__t71_fvsum_1
2024-07-28 08:55
43K
fvsum_1__t71_fvsum_1.depv1
2024-08-03 10:19
123
fvsum_1__t71_fvsum_1.depvmin1
2024-08-03 10:24
123
fvsum_1__t71_fvsum_1.vmin1
2024-08-03 10:19
1.5K
fvsum_1__t71_fvsum_1.vmin1out
2024-08-03 10:23
15K
fvsum_1__t71_fvsum_1.vout
2024-08-03 05:28
16K
fvsum_1__t72_fvsum_1
2024-07-28 08:57
43K
fvsum_1__t72_fvsum_1.vout
2024-08-03 04:44
1.1K
fvsum_1__t73_fvsum_1
2024-07-28 08:59
53K
fvsum_1__t73_fvsum_1.vout
2024-08-03 06:42
2.0K
fvsum_1__t74_fvsum_1
2024-07-28 09:01
37K
fvsum_1__t74_fvsum_1.depv1
2024-08-03 10:19
238
fvsum_1__t74_fvsum_1.depvmin1
2024-08-03 10:24
238
fvsum_1__t74_fvsum_1.vmin1
2024-08-03 10:19
1.7K
fvsum_1__t74_fvsum_1.vmin1out
2024-08-03 10:23
13K
fvsum_1__t74_fvsum_1.vout
2024-08-03 08:42
27K
fvsum_1__t75_fvsum_1
2024-07-28 09:03
51K
fvsum_1__t75_fvsum_1.vout
2024-08-03 08:39
4.1K
fvsum_1__t76_fvsum_1
2024-07-28 06:53
40K
fvsum_1__t76_fvsum_1.vout
2024-08-03 04:55
1.1K
fvsum_1__t77_fvsum_1
2024-07-28 09:05
46K
fvsum_1__t77_fvsum_1.vout
2024-08-03 07:47
4.7K
fvsum_1__t78_fvsum_1
2024-07-28 09:07
46K
fvsum_1__t78_fvsum_1.vout
2024-08-03 05:59
1.1K
fvsum_1__t79_fvsum_1
2024-07-28 09:09
49K
fvsum_1__t79_fvsum_1.vout
2024-08-03 08:11
2.0K
fvsum_1__t80_fvsum_1
2024-07-28 09:11
39K
fvsum_1__t80_fvsum_1.depv1
2024-08-03 10:19
276
fvsum_1__t80_fvsum_1.depvmin1
2024-08-03 10:24
276
fvsum_1__t80_fvsum_1.vmin1
2024-08-03 10:19
2.1K
fvsum_1__t80_fvsum_1.vmin1out
2024-08-03 10:22
17K
fvsum_1__t80_fvsum_1.vout
2024-08-03 08:34
34K
fvsum_1__t81_fvsum_1
2024-07-28 09:13
41K
fvsum_1__t81_fvsum_1.vout
2024-08-03 08:50
1.1K
fvsum_1__t82_fvsum_1
2024-07-28 09:15
59K
fvsum_1__t82_fvsum_1.vout
2024-08-03 07:39
4.7K
fvsum_1__t83_fvsum_1
2024-07-28 06:55
45K
fvsum_1__t83_fvsum_1.vout
2024-08-03 08:41
1.1K
fvsum_1__t84_fvsum_1
2024-07-28 06:57
43K
fvsum_1__t84_fvsum_1.vout
2024-08-03 09:55
1.1K
fvsum_1__t85_fvsum_1
2024-07-28 06:59
42K
fvsum_1__t85_fvsum_1.vout
2024-08-03 05:27
1.1K
fvsum_1__t86_fvsum_1
2024-07-28 07:01
43K
fvsum_1__t86_fvsum_1.vout
2024-08-03 05:35
1.1K
fvsum_1__t87_fvsum_1
2024-07-28 09:17
54K
fvsum_1__t87_fvsum_1.vout
2024-08-03 09:49
2.0K
fvsum_1__t88_fvsum_1
2024-07-28 09:20
47K
fvsum_1__t88_fvsum_1.vout
2024-08-03 06:29
7.3K
fvsum_1__t89_fvsum_1
2024-07-28 09:22
45K
fvsum_1__t89_fvsum_1.vout
2024-08-03 09:37
1.1K
fvsum_1__t90_fvsum_1
2024-07-28 07:02
40K
fvsum_1__t90_fvsum_1.depv1
2024-08-03 10:19
80
fvsum_1__t90_fvsum_1.depvmin1
2024-08-03 10:24
80
fvsum_1__t90_fvsum_1.vmin1
2024-08-03 10:19
1.1K
fvsum_1__t90_fvsum_1.vmin1out
2024-08-03 10:22
11K
fvsum_1__t90_fvsum_1.vout
2024-08-03 06:33
11K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80