Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/finseq_5
Name
Last modified
Size
Description
Parent Directory
-
finseq_5__l16_finseq_5
2024-07-27 22:42
30K
finseq_5__l16_finseq_5.depv1
2024-08-03 10:19
120
finseq_5__l16_finseq_5.depvmin1
2024-08-03 10:24
120
finseq_5__l16_finseq_5.vmin1
2024-08-03 10:19
1.7K
finseq_5__l16_finseq_5.vmin1out
2024-08-03 10:21
28K
finseq_5__l16_finseq_5.vout
2024-08-03 04:08
29K
finseq_5__l23_finseq_5
2024-07-28 00:19
29K
finseq_5__l23_finseq_5.vout
2024-08-03 07:57
7.4K
finseq_5__l36_finseq_5
2024-07-28 00:20
28K
finseq_5__l36_finseq_5.vout
2024-08-03 08:02
2.0K
finseq_5__t1_finseq_5
2024-07-27 22:43
25K
finseq_5__t1_finseq_5.vout
2024-08-03 08:57
2.0K
finseq_5__t2_finseq_5
2024-07-27 22:44
41K
finseq_5__t2_finseq_5.vout
2024-08-03 07:51
7.3K
finseq_5__t3_finseq_5
2024-07-27 22:45
17K
finseq_5__t3_finseq_5.depv1
2024-08-03 10:19
112
finseq_5__t3_finseq_5.depvmin1
2024-08-03 10:24
67
finseq_5__t3_finseq_5.vmin1
2024-08-03 10:19
1.1K
finseq_5__t3_finseq_5.vmin1out
2024-08-03 10:23
18K
finseq_5__t3_finseq_5.vout
2024-08-03 05:44
22K
finseq_5__t4_finseq_5
2024-07-27 22:46
15K
finseq_5__t4_finseq_5.depv1
2024-08-03 10:19
59
finseq_5__t4_finseq_5.depvmin1
2024-08-03 10:24
59
finseq_5__t4_finseq_5.vmin1
2024-08-03 10:19
677
finseq_5__t4_finseq_5.vmin1out
2024-08-03 10:23
15K
finseq_5__t4_finseq_5.vout
2024-08-03 10:13
15K
finseq_5__t5_finseq_5
2024-07-27 22:47
17K
finseq_5__t5_finseq_5.depv1
2024-08-03 10:19
36
finseq_5__t5_finseq_5.depvmin1
2024-08-03 10:24
36
finseq_5__t5_finseq_5.vmin1
2024-08-03 10:19
686
finseq_5__t5_finseq_5.vmin1out
2024-08-03 10:22
13K
finseq_5__t5_finseq_5.vout
2024-08-03 10:06
13K
finseq_5__t6_finseq_5
2024-07-27 22:48
20K
finseq_5__t6_finseq_5.depv1
2024-08-03 10:19
382
finseq_5__t6_finseq_5.depvmin1
2024-08-03 10:24
304
finseq_5__t6_finseq_5.vmin1
2024-08-03 10:19
2.6K
finseq_5__t6_finseq_5.vmin1out
2024-08-03 10:20
26K
finseq_5__t6_finseq_5.vout
2024-08-03 08:29
25K
finseq_5__t7_finseq_5
2024-07-27 22:34
17K
finseq_5__t7_finseq_5.depv1
2024-08-03 10:19
168
finseq_5__t7_finseq_5.depvmin1
2024-08-03 10:24
122
finseq_5__t7_finseq_5.vmin1
2024-08-03 10:19
1.2K
finseq_5__t7_finseq_5.vmin1out
2024-08-03 10:20
8.3K
finseq_5__t7_finseq_5.vout
2024-08-03 04:21
10K
finseq_5__t8_finseq_5
2024-07-27 22:49
23K
finseq_5__t8_finseq_5.depv1
2024-08-03 10:19
91
finseq_5__t8_finseq_5.depvmin1
2024-08-03 10:24
91
finseq_5__t8_finseq_5.vmin1
2024-08-03 10:19
875
finseq_5__t8_finseq_5.vmin1out
2024-08-03 10:21
15K
finseq_5__t8_finseq_5.vout
2024-08-03 06:03
12K
finseq_5__t9_finseq_5
2024-07-27 22:50
15K
finseq_5__t9_finseq_5.depv1
2024-08-03 10:19
48
finseq_5__t9_finseq_5.depvmin1
2024-08-03 10:24
48
finseq_5__t9_finseq_5.vmin1
2024-08-03 10:19
525
finseq_5__t9_finseq_5.vmin1out
2024-08-03 10:23
10K
finseq_5__t9_finseq_5.vout
2024-08-03 05:45
10K
finseq_5__t10_finseq_5
2024-07-27 22:51
50K
finseq_5__t10_finseq_5.vout
2024-08-03 04:32
6.8K
finseq_5__t11_finseq_5
2024-07-27 22:52
18K
finseq_5__t11_finseq_5.depv1
2024-08-03 10:19
109
finseq_5__t11_finseq_5.depvmin1
2024-08-03 10:24
109
finseq_5__t11_finseq_5.vmin1
2024-08-03 10:19
1.2K
finseq_5__t11_finseq_5.vmin1out
2024-08-03 10:22
21K
finseq_5__t11_finseq_5.vout
2024-08-03 04:45
21K
finseq_5__t12_finseq_5
2024-07-27 22:53
21K
finseq_5__t12_finseq_5.vout
2024-08-03 04:53
7.9K
finseq_5__t13_finseq_5
2024-07-27 22:54
23K
finseq_5__t13_finseq_5.vout
2024-08-03 08:41
7.9K
finseq_5__t14_finseq_5
2024-07-27 22:35
17K
finseq_5__t14_finseq_5.depv1
2024-08-03 10:19
63
finseq_5__t14_finseq_5.depvmin1
2024-08-03 10:24
63
finseq_5__t14_finseq_5.vmin1
2024-08-03 10:19
503
finseq_5__t14_finseq_5.vmin1out
2024-08-03 10:20
6.6K
finseq_5__t14_finseq_5.vout
2024-08-03 05:33
6.7K
finseq_5__t15_finseq_5
2024-07-27 22:56
38K
finseq_5__t15_finseq_5.vout
2024-08-03 09:16
2.0K
finseq_5__t16_finseq_5
2024-07-27 22:57
25K
finseq_5__t16_finseq_5.depv1
2024-08-03 10:19
141
finseq_5__t16_finseq_5.depvmin1
2024-08-03 10:24
141
finseq_5__t16_finseq_5.vmin1
2024-08-03 10:19
1.2K
finseq_5__t16_finseq_5.vmin1out
2024-08-03 10:23
14K
finseq_5__t16_finseq_5.vout
2024-08-03 06:25
17K
finseq_5__t17_finseq_5
2024-07-27 22:58
25K
finseq_5__t17_finseq_5.depv1
2024-08-03 10:19
141
finseq_5__t17_finseq_5.depvmin1
2024-08-03 10:24
117
finseq_5__t17_finseq_5.vmin1
2024-08-03 10:19
1.2K
finseq_5__t17_finseq_5.vmin1out
2024-08-03 10:20
12K
finseq_5__t17_finseq_5.vout
2024-08-03 08:27
16K
finseq_5__t18_finseq_5
2024-07-27 22:59
24K
finseq_5__t18_finseq_5.depv1
2024-08-03 10:19
91
finseq_5__t18_finseq_5.depvmin1
2024-08-03 10:24
91
finseq_5__t18_finseq_5.vmin1
2024-08-03 10:19
1.0K
finseq_5__t18_finseq_5.vmin1out
2024-08-03 10:20
12K
finseq_5__t18_finseq_5.vout
2024-08-03 06:25
12K
finseq_5__t19_finseq_5
2024-07-27 23:00
24K
finseq_5__t19_finseq_5.depv1
2024-08-03 10:19
66
finseq_5__t19_finseq_5.depvmin1
2024-08-03 10:24
66
finseq_5__t19_finseq_5.vmin1
2024-08-03 10:19
928
finseq_5__t19_finseq_5.vmin1out
2024-08-03 10:22
8.5K
finseq_5__t19_finseq_5.vout
2024-08-03 08:42
11K
finseq_5__t20_finseq_5
2024-07-27 23:01
31K
finseq_5__t20_finseq_5.vout
2024-08-03 04:15
7.4K
finseq_5__t21_finseq_5
2024-07-27 23:02
46K
finseq_5__t21_finseq_5.vout
2024-08-03 09:21
6.8K
finseq_5__t22_finseq_5
2024-07-27 23:04
33K
finseq_5__t22_finseq_5.vout
2024-08-03 05:07
7.4K
finseq_5__t23_finseq_5
2024-07-27 23:05
29K
finseq_5__t23_finseq_5.vout
2024-08-03 08:29
7.4K
finseq_5__t24_finseq_5
2024-07-27 23:06
47K
finseq_5__t24_finseq_5.vout
2024-08-03 05:51
7.4K
finseq_5__t25_finseq_5
2024-07-27 23:07
38K
finseq_5__t25_finseq_5.vout
2024-08-03 05:24
7.3K
finseq_5__t26_finseq_5
2024-07-27 23:08
28K
finseq_5__t26_finseq_5.vout
2024-08-03 04:42
7.3K
finseq_5__t27_finseq_5
2024-07-27 23:09
30K
finseq_5__t27_finseq_5.depv1
2024-08-03 10:19
339
finseq_5__t27_finseq_5.depvmin1
2024-08-03 10:24
339
finseq_5__t27_finseq_5.vmin1
2024-08-03 10:19
3.6K
finseq_5__t27_finseq_5.vmin1out
2024-08-03 10:22
78K
finseq_5__t27_finseq_5.vout
2024-08-03 09:50
69K
finseq_5__t28_finseq_5
2024-07-27 23:10
28K
finseq_5__t28_finseq_5.depv1
2024-08-03 10:19
174
finseq_5__t28_finseq_5.depvmin1
2024-08-03 10:24
174
finseq_5__t28_finseq_5.vmin1
2024-08-03 10:19
1.7K
finseq_5__t28_finseq_5.vmin1out
2024-08-03 10:22
29K
finseq_5__t28_finseq_5.vout
2024-08-03 06:01
28K
finseq_5__t29_finseq_5
2024-07-27 23:12
40K
finseq_5__t29_finseq_5.vout
2024-08-03 06:15
7.9K
finseq_5__t30_finseq_5
2024-07-27 23:13
46K
finseq_5__t30_finseq_5.vout
2024-08-03 10:06
7.3K
finseq_5__t31_finseq_5
2024-07-27 23:15
52K
finseq_5__t31_finseq_5.vout
2024-08-03 07:56
4.7K
finseq_5__t32_finseq_5
2024-07-27 23:16
27K
finseq_5__t32_finseq_5.vout
2024-08-03 05:49
4.7K
finseq_5__t33_finseq_5
2024-07-27 23:17
26K
finseq_5__t33_finseq_5.vout
2024-08-03 06:14
7.3K
finseq_5__t34_finseq_5
2024-07-27 23:18
42K
finseq_5__t34_finseq_5.vout
2024-08-03 04:09
7.4K
finseq_5__t35_finseq_5
2024-07-27 23:19
51K
finseq_5__t35_finseq_5.vout
2024-08-03 08:02
7.9K
finseq_5__t36_finseq_5
2024-07-27 23:21
48K
finseq_5__t36_finseq_5.vout
2024-08-03 09:33
7.3K
finseq_5__t37_finseq_5
2024-07-27 23:22
19K
finseq_5__t37_finseq_5.depv1
2024-08-03 10:19
138
finseq_5__t37_finseq_5.depvmin1
2024-08-03 10:24
138
finseq_5__t37_finseq_5.vmin1
2024-08-03 10:19
1.2K
finseq_5__t37_finseq_5.vmin1out
2024-08-03 10:20
11K
finseq_5__t37_finseq_5.vout
2024-08-03 07:07
11K
finseq_5__t38_finseq_5
2024-07-27 23:23
23K
finseq_5__t38_finseq_5.vout
2024-08-03 07:04
2.0K
finseq_5__t39_finseq_5
2024-07-27 23:24
29K
finseq_5__t39_finseq_5.vout
2024-08-03 06:42
7.3K
finseq_5__t40_finseq_5
2024-07-27 23:25
32K
finseq_5__t40_finseq_5.vout
2024-08-03 05:53
7.3K
finseq_5__t41_finseq_5
2024-07-27 23:26
21K
finseq_5__t41_finseq_5.vout
2024-08-03 10:03
2.0K
finseq_5__t42_finseq_5
2024-07-27 23:27
30K
finseq_5__t42_finseq_5.vout
2024-08-03 06:02
7.9K
finseq_5__t43_finseq_5
2024-07-27 23:29
29K
finseq_5__t43_finseq_5.depv1
2024-08-03 10:19
157
finseq_5__t43_finseq_5.depvmin1
2024-08-03 10:24
157
finseq_5__t43_finseq_5.vmin1
2024-08-03 10:19
1.7K
finseq_5__t43_finseq_5.vmin1out
2024-08-03 10:23
17K
finseq_5__t43_finseq_5.vout
2024-08-03 04:44
20K
finseq_5__t44_finseq_5
2024-07-27 23:30
29K
finseq_5__t44_finseq_5.depv1
2024-08-03 10:19
254
finseq_5__t44_finseq_5.depvmin1
2024-08-03 10:24
254
finseq_5__t44_finseq_5.vmin1
2024-08-03 10:19
2.0K
finseq_5__t44_finseq_5.vmin1out
2024-08-03 10:21
18K
finseq_5__t44_finseq_5.vout
2024-08-03 07:32
23K
finseq_5__t45_finseq_5
2024-07-27 23:31
31K
finseq_5__t45_finseq_5.vout
2024-08-03 06:59
7.9K
finseq_5__t46_finseq_5
2024-07-27 23:32
32K
finseq_5__t46_finseq_5.vout
2024-08-03 09:21
7.9K
finseq_5__t47_finseq_5
2024-07-27 23:33
29K
finseq_5__t47_finseq_5.depv1
2024-08-03 10:19
329
finseq_5__t47_finseq_5.depvmin1
2024-08-03 10:24
304
finseq_5__t47_finseq_5.vmin1
2024-08-03 10:19
2.6K
finseq_5__t47_finseq_5.vmin1out
2024-08-03 10:21
22K
finseq_5__t47_finseq_5.vout
2024-08-03 09:17
27K
finseq_5__t48_finseq_5
2024-07-27 22:37
27K
finseq_5__t48_finseq_5.depv1
2024-08-03 10:19
147
finseq_5__t48_finseq_5.depvmin1
2024-08-03 10:24
147
finseq_5__t48_finseq_5.vmin1
2024-08-03 10:19
1.3K
finseq_5__t48_finseq_5.vmin1out
2024-08-03 10:23
11K
finseq_5__t48_finseq_5.vout
2024-08-03 07:40
15K
finseq_5__t49_finseq_5
2024-07-27 23:35
50K
finseq_5__t49_finseq_5.vout
2024-08-03 05:39
7.3K
finseq_5__t50_finseq_5
2024-07-27 23:36
51K
finseq_5__t50_finseq_5.vout
2024-08-03 08:37
7.4K
finseq_5__t51_finseq_5
2024-07-27 23:38
38K
finseq_5__t51_finseq_5.vout
2024-08-03 07:40
2.0K
finseq_5__t52_finseq_5
2024-07-27 23:39
42K
finseq_5__t52_finseq_5.vout
2024-08-03 08:43
7.4K
finseq_5__t53_finseq_5
2024-07-27 22:38
28K
finseq_5__t53_finseq_5.vout
2024-08-03 06:17
2.0K
finseq_5__t54_finseq_5
2024-07-27 23:40
43K
finseq_5__t54_finseq_5.vout
2024-08-03 07:33
2.0K
finseq_5__t55_finseq_5
2024-07-27 23:42
37K
finseq_5__t55_finseq_5.depv1
2024-08-03 10:19
129
finseq_5__t55_finseq_5.depvmin1
2024-08-03 10:24
129
finseq_5__t55_finseq_5.vmin1
2024-08-03 10:19
1.3K
finseq_5__t55_finseq_5.vmin1out
2024-08-03 10:21
14K
finseq_5__t55_finseq_5.vout
2024-08-03 07:36
14K
finseq_5__t56_finseq_5
2024-07-27 23:43
35K
finseq_5__t56_finseq_5.vout
2024-08-03 09:31
2.0K
finseq_5__t57_finseq_5
2024-07-27 23:44
46K
finseq_5__t57_finseq_5.vout
2024-08-03 05:06
7.4K
finseq_5__t58_finseq_5
2024-07-27 23:45
25K
finseq_5__t58_finseq_5.depv1
2024-08-03 10:19
53
finseq_5__t58_finseq_5.depvmin1
2024-08-03 10:24
53
finseq_5__t58_finseq_5.vmin1
2024-08-03 10:19
1.0K
finseq_5__t58_finseq_5.vmin1out
2024-08-03 10:23
17K
finseq_5__t58_finseq_5.vout
2024-08-03 10:13
17K
finseq_5__t59_finseq_5
2024-07-27 23:46
33K
finseq_5__t59_finseq_5.vout
2024-08-03 09:28
7.3K
finseq_5__t60_finseq_5
2024-07-27 23:47
36K
finseq_5__t60_finseq_5.vout
2024-08-03 07:34
7.9K
finseq_5__t61_finseq_5
2024-07-27 23:49
47K
finseq_5__t61_finseq_5.vout
2024-08-03 08:46
8.4K
finseq_5__t62_finseq_5
2024-07-27 23:50
29K
finseq_5__t62_finseq_5.vout
2024-08-03 07:48
7.9K
finseq_5__t63_finseq_5
2024-07-27 23:51
97K
finseq_5__t63_finseq_5.vout
2024-08-03 08:54
7.4K
finseq_5__t64_finseq_5
2024-07-27 23:53
23K
finseq_5__t64_finseq_5.vout
2024-08-03 07:35
2.0K
finseq_5__t65_finseq_5
2024-07-27 23:54
25K
finseq_5__t65_finseq_5.vout
2024-08-03 09:37
2.0K
finseq_5__t66_finseq_5
2024-07-27 23:55
33K
finseq_5__t66_finseq_5.vout
2024-08-03 08:30
7.9K
finseq_5__t67_finseq_5
2024-07-27 22:39
38K
finseq_5__t67_finseq_5.depv1
2024-08-03 10:19
355
finseq_5__t67_finseq_5.depvmin1
2024-08-03 10:24
346
finseq_5__t67_finseq_5.vmin1
2024-08-03 10:19
3.0K
finseq_5__t67_finseq_5.vmin1out
2024-08-03 10:22
24K
finseq_5__t67_finseq_5.vout
2024-08-03 05:40
34K
finseq_5__t68_finseq_5
2024-07-27 23:56
39K
finseq_5__t68_finseq_5.vout
2024-08-03 09:47
7.3K
finseq_5__t69_finseq_5
2024-07-27 23:58
47K
finseq_5__t69_finseq_5.vout
2024-08-03 09:37
7.3K
finseq_5__t70_finseq_5
2024-07-27 23:59
39K
finseq_5__t70_finseq_5.vout
2024-08-03 07:31
7.3K
finseq_5__t71_finseq_5
2024-07-28 00:00
38K
finseq_5__t71_finseq_5.depv1
2024-08-03 10:19
97
finseq_5__t71_finseq_5.depvmin1
2024-08-03 10:24
97
finseq_5__t71_finseq_5.vmin1
2024-08-03 10:19
946
finseq_5__t71_finseq_5.vmin1out
2024-08-03 10:22
11K
finseq_5__t71_finseq_5.vout
2024-08-03 05:45
11K
finseq_5__t72_finseq_5
2024-07-28 00:02
39K
finseq_5__t72_finseq_5.vout
2024-08-03 08:12
7.4K
finseq_5__t73_finseq_5
2024-07-28 00:03
47K
finseq_5__t73_finseq_5.vout
2024-08-03 07:28
7.3K
finseq_5__t74_finseq_5
2024-07-28 00:05
105K
finseq_5__t74_finseq_5.vout
2024-08-03 05:23
7.3K
finseq_5__t75_finseq_5
2024-07-28 00:06
43K
finseq_5__t75_finseq_5.vout
2024-08-03 04:52
7.3K
finseq_5__t76_finseq_5
2024-07-28 00:07
41K
finseq_5__t76_finseq_5.vout
2024-08-03 06:47
7.3K
finseq_5__t77_finseq_5
2024-07-28 00:08
25K
finseq_5__t77_finseq_5.depv1
2024-08-03 10:19
91
finseq_5__t77_finseq_5.depvmin1
2024-08-03 10:24
91
finseq_5__t77_finseq_5.vmin1
2024-08-03 10:19
1.2K
finseq_5__t77_finseq_5.vmin1out
2024-08-03 10:23
21K
finseq_5__t77_finseq_5.vout
2024-08-03 07:29
24K
finseq_5__t78_finseq_5
2024-07-27 22:40
28K
finseq_5__t78_finseq_5.depv1
2024-08-03 10:19
122
finseq_5__t78_finseq_5.depvmin1
2024-08-03 10:24
122
finseq_5__t78_finseq_5.vmin1
2024-08-03 10:19
1.1K
finseq_5__t78_finseq_5.vmin1out
2024-08-03 10:20
10K
finseq_5__t78_finseq_5.vout
2024-08-03 05:42
9.6K
finseq_5__t79_finseq_5
2024-07-27 22:41
20K
finseq_5__t79_finseq_5.depv1
2024-08-03 10:19
135
finseq_5__t79_finseq_5.depvmin1
2024-08-03 10:24
98
finseq_5__t79_finseq_5.vmin1
2024-08-03 10:19
1.2K
finseq_5__t79_finseq_5.vmin1out
2024-08-03 10:22
8.5K
finseq_5__t79_finseq_5.vout
2024-08-03 05:05
10K
finseq_5__t80_finseq_5
2024-07-28 00:10
53K
finseq_5__t80_finseq_5.vout
2024-08-03 08:55
7.3K
finseq_5__t81_finseq_5
2024-07-28 00:11
43K
finseq_5__t81_finseq_5.vout
2024-08-03 09:51
7.9K
finseq_5__t82_finseq_5
2024-07-28 00:13
41K
finseq_5__t82_finseq_5.vout
2024-08-03 07:02
7.3K
finseq_5__t83_finseq_5
2024-07-28 00:14
37K
finseq_5__t83_finseq_5.vout
2024-08-03 08:10
7.4K
finseq_5__t84_finseq_5
2024-07-28 00:15
36K
finseq_5__t84_finseq_5.vout
2024-08-03 07:01
7.3K
finseq_5__t85_finseq_5
2024-07-28 00:16
36K
finseq_5__t85_finseq_5.vout
2024-08-03 04:34
7.9K
finseq_5__t86_finseq_5
2024-07-28 00:18
32K
finseq_5__t86_finseq_5.vout
2024-08-03 09:31
2.0K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80