Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/incsp_1
Name
Last modified
Size
Description
Parent Directory
-
incsp_1__t42_incsp_1.depv1
2024-08-03 10:19
24
incsp_1__t42_incsp_1.depvmin1
2024-08-03 10:24
24
incsp_1__t43_incsp_1.depv1
2024-08-03 10:19
24
incsp_1__t43_incsp_1.depvmin1
2024-08-03 10:24
24
incsp_1__t34_incsp_1.depv1
2024-08-03 10:19
38
incsp_1__t34_incsp_1.depvmin1
2024-08-03 10:24
38
incsp_1__t25_incsp_1.depv1
2024-08-03 10:19
48
incsp_1__t25_incsp_1.depvmin1
2024-08-03 10:24
48
incsp_1__t48_incsp_1.depv1
2024-08-03 10:19
53
incsp_1__t48_incsp_1.depvmin1
2024-08-03 10:24
53
incsp_1__t47_incsp_1.depv1
2024-08-03 10:19
58
incsp_1__t47_incsp_1.depvmin1
2024-08-03 10:24
58
incsp_1__l39_incsp_1.depv1
2024-08-03 10:19
60
incsp_1__l39_incsp_1.depvmin1
2024-08-03 10:24
60
incsp_1__t24_incsp_1.depv1
2024-08-03 10:19
61
incsp_1__t24_incsp_1.depvmin1
2024-08-03 10:24
61
incsp_1__t14_incsp_1.depv1
2024-08-03 10:19
72
incsp_1__t14_incsp_1.depvmin1
2024-08-03 10:24
72
incsp_1__t7_incsp_1.depv1
2024-08-03 10:19
74
incsp_1__t7_incsp_1.depvmin1
2024-08-03 10:24
74
incsp_1__t36_incsp_1.depv1
2024-08-03 10:19
75
incsp_1__t36_incsp_1.depvmin1
2024-08-03 10:24
75
incsp_1__t13_incsp_1.depv1
2024-08-03 10:19
77
incsp_1__t13_incsp_1.depvmin1
2024-08-03 10:24
77
incsp_1__t46_incsp_1.depvmin1
2024-08-03 10:24
83
incsp_1__t6_incsp_1.depv1
2024-08-03 10:19
88
incsp_1__t6_incsp_1.depvmin1
2024-08-03 10:24
88
incsp_1__t56_incsp_1.depv1
2024-08-03 10:19
89
incsp_1__t56_incsp_1.depvmin1
2024-08-03 10:24
89
incsp_1__t12_incsp_1.depv1
2024-08-03 10:19
91
incsp_1__t12_incsp_1.depvmin1
2024-08-03 10:24
91
incsp_1__t31_incsp_1.depv1
2024-08-03 10:19
102
incsp_1__t31_incsp_1.depvmin1
2024-08-03 10:24
102
incsp_1__t32_incsp_1.depv1
2024-08-03 10:19
102
incsp_1__t32_incsp_1.depvmin1
2024-08-03 10:24
102
incsp_1__t33_incsp_1.depv1
2024-08-03 10:19
102
incsp_1__t33_incsp_1.depvmin1
2024-08-03 10:24
102
incsp_1__t29_incsp_1.depv1
2024-08-03 10:19
104
incsp_1__t29_incsp_1.depvmin1
2024-08-03 10:24
104
incsp_1__t30_incsp_1.depv1
2024-08-03 10:19
104
incsp_1__t30_incsp_1.depvmin1
2024-08-03 10:24
104
incsp_1__t46_incsp_1.depv1
2024-08-03 10:19
105
incsp_1__t2_incsp_1.depvmin1
2024-08-03 10:24
111
incsp_1__t28_incsp_1.depv1
2024-08-03 10:19
115
incsp_1__t28_incsp_1.depvmin1
2024-08-03 10:24
115
incsp_1__t4_incsp_1.depvmin1
2024-08-03 10:24
125
incsp_1__t5_incsp_1.depvmin1
2024-08-03 10:24
125
incsp_1__t11_incsp_1.depvmin1
2024-08-03 10:24
131
incsp_1__t1_incsp_1.depv1
2024-08-03 10:19
133
incsp_1__t1_incsp_1.depvmin1
2024-08-03 10:24
133
incsp_1__t2_incsp_1.depv1
2024-08-03 10:19
144
incsp_1__t3_incsp_1.depv1
2024-08-03 10:19
147
incsp_1__t3_incsp_1.depvmin1
2024-08-03 10:24
147
incsp_1__t15_incsp_1.depv1
2024-08-03 10:19
152
incsp_1__t15_incsp_1.depvmin1
2024-08-03 10:24
152
incsp_1__t16_incsp_1.depv1
2024-08-03 10:19
153
incsp_1__t16_incsp_1.depvmin1
2024-08-03 10:24
153
incsp_1__t4_incsp_1.depv1
2024-08-03 10:19
158
incsp_1__t5_incsp_1.depv1
2024-08-03 10:19
208
incsp_1__t11_incsp_1.depv1
2024-08-03 10:19
255
incsp_1__t43_incsp_1.vmin1
2024-08-03 10:20
529
incsp_1__t42_incsp_1.vmin1
2024-08-03 10:20
819
incsp_1__t34_incsp_1.vmin1
2024-08-03 10:20
1.0K
incsp_1__t48_incsp_1.vmin1
2024-08-03 10:20
1.1K
incsp_1__t13_incsp_1.vmin1
2024-08-03 10:20
1.1K
incsp_1__t7_incsp_1.vmin1
2024-08-03 10:20
1.1K
incsp_1__t12_incsp_1.vmin1
2024-08-03 10:20
1.2K
incsp_1__t28_incsp_1.vmin1
2024-08-03 10:20
1.2K
incsp_1__t47_incsp_1.vmin1
2024-08-03 10:20
1.2K
incsp_1__l39_incsp_1.vmin1
2024-08-03 10:20
1.2K
incsp_1__t6_incsp_1.vmin1
2024-08-03 10:20
1.2K
incsp_1__t1_incsp_1.vmin1
2024-08-03 10:20
1.3K
incsp_1__t24_incsp_1.vmin1
2024-08-03 10:20
1.4K
incsp_1__t3_incsp_1.vmin1
2024-08-03 10:20
1.4K
incsp_1__t56_incsp_1.vmin1
2024-08-03 10:20
1.4K
incsp_1__t31_incsp_1.vmin1
2024-08-03 10:20
1.5K
incsp_1__t32_incsp_1.vmin1
2024-08-03 10:20
1.5K
incsp_1__t33_incsp_1.vmin1
2024-08-03 10:20
1.5K
incsp_1__t29_incsp_1.vmin1
2024-08-03 10:20
1.5K
incsp_1__t30_incsp_1.vmin1
2024-08-03 10:20
1.5K
incsp_1__t14_incsp_1.vmin1
2024-08-03 10:20
1.5K
incsp_1__t25_incsp_1.vmin1
2024-08-03 10:20
1.6K
incsp_1__t36_incsp_1.vmin1
2024-08-03 10:20
1.7K
incsp_1__t2_incsp_1.vmin1
2024-08-03 10:20
1.7K
incsp_1__t15_incsp_1.vmin1
2024-08-03 10:20
1.8K
incsp_1__t4_incsp_1.vmin1
2024-08-03 10:20
1.8K
incsp_1__t16_incsp_1.vmin1
2024-08-03 10:20
2.0K
incsp_1__t45_incsp_1.vout
2024-08-03 08:24
2.0K
incsp_1__t46_incsp_1.vmin1
2024-08-03 10:20
2.4K
incsp_1__t5_incsp_1.vmin1
2024-08-03 10:20
2.5K
incsp_1__t11_incsp_1.vmin1
2024-08-03 10:20
2.7K
incsp_1__t6_incsp_1
2024-07-28 00:06
3.8K
incsp_1__t7_incsp_1
2024-07-28 00:07
3.8K
incsp_1__t18_incsp_1.vout
2024-08-03 04:30
4.7K
incsp_1__t26_incsp_1.vout
2024-08-03 08:38
4.7K
incsp_1__t40_incsp_1.vout
2024-08-03 08:50
4.7K
incsp_1__t41_incsp_1.vout
2024-08-03 08:29
4.7K
incsp_1__t51_incsp_1.vout
2024-08-03 09:50
4.7K
incsp_1__t22_incsp_1.vout
2024-08-03 10:10
4.7K
incsp_1__t43_incsp_1
2024-07-28 00:09
4.9K
incsp_1__t12_incsp_1
2024-07-28 00:16
4.9K
incsp_1__t13_incsp_1
2024-07-28 00:16
4.9K
incsp_1__t28_incsp_1
2024-07-28 00:29
5.1K
incsp_1__t31_incsp_1
2024-07-28 00:31
5.2K
incsp_1__t32_incsp_1
2024-07-28 00:32
5.2K
incsp_1__t33_incsp_1
2024-07-28 00:32
5.2K
incsp_1__t29_incsp_1
2024-07-28 00:29
5.3K
incsp_1__t30_incsp_1
2024-07-28 00:30
5.3K
incsp_1__t2_incsp_1
2024-07-28 00:11
5.3K
incsp_1__t19_incsp_1.vout
2024-08-03 08:53
5.3K
incsp_1__t1_incsp_1
2024-07-28 00:10
5.4K
incsp_1__t24_incsp_1
2024-07-28 00:25
5.4K
incsp_1__t25_incsp_1
2024-07-28 00:26
5.4K
incsp_1__t4_incsp_1
2024-07-28 00:12
5.4K
incsp_1__t3_incsp_1
2024-07-28 00:11
5.5K
incsp_1__t5_incsp_1
2024-07-28 00:13
5.6K
incsp_1__t15_incsp_1
2024-07-28 00:17
5.6K
incsp_1__t16_incsp_1
2024-07-28 00:18
5.6K
incsp_1__t42_incsp_1
2024-07-28 00:08
5.7K
incsp_1__t48_incsp_1
2024-07-28 00:44
6.0K
incsp_1__l39_incsp_1
2024-07-28 00:53
6.2K
incsp_1__t14_incsp_1
2024-07-28 00:08
6.4K
incsp_1__t10_incsp_1
2024-07-28 00:15
6.5K
incsp_1__t11_incsp_1
2024-07-28 00:15
6.5K
incsp_1__t56_incsp_1
2024-07-28 00:10
6.5K
incsp_1__t47_incsp_1
2024-07-28 00:44
6.7K
incsp_1__t17_incsp_1.vout
2024-08-03 06:29
7.3K
incsp_1__t8_incsp_1.vout
2024-08-03 06:47
7.3K
incsp_1__t39_incsp_1.vout
2024-08-03 05:23
7.3K
incsp_1__t50_incsp_1.vout
2024-08-03 04:26
7.3K
incsp_1__t9_incsp_1.vout
2024-08-03 06:12
7.3K
incsp_1__t44_incsp_1.vout
2024-08-03 06:25
7.3K
incsp_1__t38_incsp_1.vout
2024-08-03 07:59
7.3K
incsp_1__t10_incsp_1.vout
2024-08-03 09:56
7.3K
incsp_1__t35_incsp_1.vout
2024-08-03 09:07
7.3K
incsp_1__l64_incsp_1.vout
2024-08-03 04:41
7.3K
incsp_1__t21_incsp_1.vout
2024-08-03 06:28
7.3K
incsp_1__t49_incsp_1.vout
2024-08-03 09:05
7.3K
incsp_1__t23_incsp_1.vout
2024-08-03 08:16
7.3K
incsp_1__t54_incsp_1.vout
2024-08-03 07:53
7.3K
incsp_1__t37_incsp_1.vout
2024-08-03 04:22
7.3K
incsp_1__t35_incsp_1
2024-07-28 00:34
7.4K
incsp_1__t36_incsp_1
2024-07-28 00:35
7.4K
incsp_1__t45_incsp_1
2024-07-28 00:42
7.8K
incsp_1__t53_incsp_1.vout
2024-08-03 06:23
7.8K
incsp_1__t20_incsp_1.vout
2024-08-03 09:24
7.8K
incsp_1__t55_incsp_1.vout
2024-08-03 05:03
7.8K
incsp_1__t57_incsp_1.vout
2024-08-03 04:53
7.8K
incsp_1__t52_incsp_1.vout
2024-08-03 04:20
7.9K
incsp_1__t8_incsp_1
2024-07-28 00:13
8.0K
incsp_1__t9_incsp_1
2024-07-28 00:14
8.0K
incsp_1__t27_incsp_1.vout
2024-08-03 09:41
8.7K
incsp_1__t38_incsp_1
2024-07-28 00:37
8.8K
incsp_1__t44_incsp_1
2024-07-28 00:41
8.8K
incsp_1__t18_incsp_1
2024-07-28 00:20
9.2K
incsp_1__t53_incsp_1
2024-07-28 00:50
9.2K
incsp_1__t57_incsp_1
2024-07-28 00:53
9.3K
incsp_1__t23_incsp_1
2024-07-28 00:25
9.4K
incsp_1__t19_incsp_1
2024-07-28 00:21
9.4K
incsp_1__t43_incsp_1.vout
2024-08-03 09:37
9.9K
incsp_1__t54_incsp_1
2024-07-28 00:51
10K
incsp_1__t49_incsp_1
2024-07-28 00:45
10K
incsp_1__t43_incsp_1.vmin1out
2024-08-03 10:21
10K
incsp_1__t20_incsp_1
2024-07-28 00:22
10K
incsp_1__t34_incsp_1
2024-07-28 00:33
10K
incsp_1__t27_incsp_1
2024-07-28 00:28
11K
incsp_1__t52_incsp_1
2024-07-28 00:49
11K
incsp_1__t39_incsp_1
2024-07-28 00:38
11K
incsp_1__t37_incsp_1
2024-07-28 00:36
12K
incsp_1__t26_incsp_1
2024-07-28 00:27
12K
incsp_1__t55_incsp_1
2024-07-28 00:52
12K
incsp_1__t46_incsp_1
2024-07-28 00:43
13K
incsp_1__t17_incsp_1
2024-07-28 00:19
13K
incsp_1__t40_incsp_1
2024-07-28 00:39
13K
incsp_1__t21_incsp_1
2024-07-28 00:23
13K
incsp_1__t51_incsp_1
2024-07-28 00:48
13K
incsp_1__t22_incsp_1
2024-07-28 00:24
13K
incsp_1__t50_incsp_1
2024-07-28 00:47
14K
incsp_1__t48_incsp_1.vout
2024-08-03 08:27
15K
incsp_1__t42_incsp_1.vmin1out
2024-08-03 10:20
15K
incsp_1__t42_incsp_1.vout
2024-08-03 08:40
15K
incsp_1__l64_incsp_1
2024-07-28 00:54
16K
incsp_1__t47_incsp_1.vout
2024-08-03 10:01
16K
incsp_1__t33_incsp_1.vout
2024-08-03 09:52
16K
incsp_1__t7_incsp_1.vmin1out
2024-08-03 10:22
16K
incsp_1__t32_incsp_1.vout
2024-08-03 07:36
17K
incsp_1__t31_incsp_1.vout
2024-08-03 05:50
17K
incsp_1__t41_incsp_1
2024-07-28 00:40
17K
incsp_1__t32_incsp_1.vmin1out
2024-08-03 10:21
17K
incsp_1__t33_incsp_1.vmin1out
2024-08-03 10:20
17K
incsp_1__t6_incsp_1.vmin1out
2024-08-03 10:23
18K
incsp_1__t48_incsp_1.vmin1out
2024-08-03 10:20
18K
incsp_1__t13_incsp_1.vmin1out
2024-08-03 10:20
19K
incsp_1__t28_incsp_1.vmin1out
2024-08-03 10:21
19K
incsp_1__t28_incsp_1.vout
2024-08-03 08:30
19K
incsp_1__t14_incsp_1.vout
2024-08-03 04:29
19K
incsp_1__t7_incsp_1.vout
2024-08-03 08:29
21K
incsp_1__t12_incsp_1.vmin1out
2024-08-03 10:23
21K
incsp_1__t47_incsp_1.vmin1out
2024-08-03 10:21
21K
incsp_1__t13_incsp_1.vout
2024-08-03 09:13
21K
incsp_1__t6_incsp_1.vout
2024-08-03 06:42
21K
incsp_1__l39_incsp_1.vmin1out
2024-08-03 10:20
22K
incsp_1__t31_incsp_1.vmin1out
2024-08-03 10:22
22K
incsp_1__l39_incsp_1.vout
2024-08-03 06:47
22K
incsp_1__t12_incsp_1.vout
2024-08-03 05:37
22K
incsp_1__t15_incsp_1.vmin1out
2024-08-03 10:22
22K
incsp_1__t14_incsp_1.vmin1out
2024-08-03 10:23
23K
incsp_1__t34_incsp_1.vmin1out
2024-08-03 10:22
24K
incsp_1__t15_incsp_1.vout
2024-08-03 07:59
25K
incsp_1__t34_incsp_1.vout
2024-08-03 06:00
25K
incsp_1__t36_incsp_1.vout
2024-08-03 08:21
25K
incsp_1__t16_incsp_1.vmin1out
2024-08-03 10:23
26K
incsp_1__t29_incsp_1.vmin1out
2024-08-03 10:22
27K
incsp_1__t30_incsp_1.vmin1out
2024-08-03 10:20
27K
incsp_1__t29_incsp_1.vout
2024-08-03 09:23
28K
incsp_1__t30_incsp_1.vout
2024-08-03 04:11
28K
incsp_1__t36_incsp_1.vmin1out
2024-08-03 10:23
28K
incsp_1__t1_incsp_1.vmin1out
2024-08-03 10:23
28K
incsp_1__t56_incsp_1.vmin1out
2024-08-03 10:20
28K
incsp_1__t56_incsp_1.vout
2024-08-03 09:08
28K
incsp_1__t16_incsp_1.vout
2024-08-03 10:15
29K
incsp_1__t24_incsp_1.vmin1out
2024-08-03 10:22
30K
incsp_1__t24_incsp_1.vout
2024-08-03 04:47
30K
incsp_1__t3_incsp_1.vmin1out
2024-08-03 10:20
31K
incsp_1__t1_incsp_1.vout
2024-08-03 08:47
32K
incsp_1__t4_incsp_1.vmin1out
2024-08-03 10:20
33K
incsp_1__t3_incsp_1.vout
2024-08-03 05:08
33K
incsp_1__t2_incsp_1.vmin1out
2024-08-03 10:20
34K
incsp_1__t11_incsp_1.vmin1out
2024-08-03 10:21
36K
incsp_1__t25_incsp_1.vmin1out
2024-08-03 10:21
37K
incsp_1__t25_incsp_1.vout
2024-08-03 05:18
37K
incsp_1__t2_incsp_1.vout
2024-08-03 07:46
39K
incsp_1__t4_incsp_1.vout
2024-08-03 07:45
40K
incsp_1__t46_incsp_1.vmin1out
2024-08-03 10:22
40K
incsp_1__t5_incsp_1.vmin1out
2024-08-03 10:23
42K
incsp_1__t11_incsp_1.vout
2024-08-03 05:57
47K
incsp_1__t5_incsp_1.vout
2024-08-03 07:05
53K
incsp_1__t46_incsp_1.vout
2024-08-03 09:18
54K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80