Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/subset_1
Name
Last modified
Size
Description
Parent Directory
-
subset_1__l2_subset_1
2024-07-27 19:38
2.2K
subset_1__l2_subset_1.depv1
2024-08-03 10:19
59
subset_1__l2_subset_1.depvmin1
2024-08-03 10:24
59
subset_1__l2_subset_1.vmin1
2024-08-03 10:19
656
subset_1__l2_subset_1.vmin1out
2024-08-03 10:20
8.7K
subset_1__l2_subset_1.vout
2024-08-03 09:00
8.8K
subset_1__l48_subset_1
2024-07-27 19:39
2.3K
subset_1__l48_subset_1.depv1
2024-08-03 10:19
60
subset_1__l48_subset_1.depvmin1
2024-08-03 10:24
60
subset_1__l48_subset_1.vmin1
2024-08-03 10:19
657
subset_1__l48_subset_1.vmin1out
2024-08-03 10:22
8.1K
subset_1__l48_subset_1.vout
2024-08-03 07:44
8.2K
subset_1__l49_subset_1
2024-07-27 19:39
2.1K
subset_1__l49_subset_1.depv1
2024-08-03 10:19
69
subset_1__l49_subset_1.depvmin1
2024-08-03 10:24
69
subset_1__l49_subset_1.vmin1
2024-08-03 10:19
657
subset_1__l49_subset_1.vmin1out
2024-08-03 10:22
5.2K
subset_1__l49_subset_1.vout
2024-08-03 06:11
5.6K
subset_1__t1_subset_1
2024-07-27 19:19
1.9K
subset_1__t1_subset_1.depv1
2024-08-03 10:19
39
subset_1__t1_subset_1.depvmin1
2024-08-03 10:24
39
subset_1__t1_subset_1.vmin1
2024-08-03 10:19
234
subset_1__t1_subset_1.vmin1out
2024-08-03 10:20
2.2K
subset_1__t1_subset_1.vout
2024-08-03 04:48
2.1K
subset_1__t2_subset_1
2024-07-27 19:20
2.4K
subset_1__t2_subset_1.depv1
2024-08-03 10:19
78
subset_1__t2_subset_1.depvmin1
2024-08-03 10:24
78
subset_1__t2_subset_1.vmin1
2024-08-03 10:19
875
subset_1__t2_subset_1.vmin1out
2024-08-03 10:23
8.4K
subset_1__t2_subset_1.vout
2024-08-03 08:01
12K
subset_1__t3_subset_1
2024-07-27 19:17
2.3K
subset_1__t3_subset_1.vout
2024-08-03 06:11
8.4K
subset_1__t4_subset_1
2024-07-27 19:20
2.3K
subset_1__t4_subset_1.depv1
2024-08-03 10:19
92
subset_1__t4_subset_1.depvmin1
2024-08-03 10:24
92
subset_1__t4_subset_1.vmin1
2024-08-03 10:19
823
subset_1__t4_subset_1.vmin1out
2024-08-03 10:20
9.8K
subset_1__t4_subset_1.vout
2024-08-03 07:32
9.5K
subset_1__t5_subset_1
2024-07-27 19:20
3.7K
subset_1__t5_subset_1.vout
2024-08-03 09:16
7.3K
subset_1__t6_subset_1
2024-07-27 19:21
3.4K
subset_1__t6_subset_1.vout
2024-08-03 08:10
6.8K
subset_1__t7_subset_1
2024-07-27 19:21
3.1K
subset_1__t7_subset_1.vout
2024-08-03 07:40
6.8K
subset_1__t8_subset_1
2024-07-27 19:22
4.5K
subset_1__t8_subset_1.vout
2024-08-03 09:37
7.3K
subset_1__t9_subset_1
2024-07-27 19:17
2.6K
subset_1__t9_subset_1.depv1
2024-08-03 10:19
72
subset_1__t9_subset_1.depvmin1
2024-08-03 10:24
72
subset_1__t9_subset_1.vmin1
2024-08-03 10:19
483
subset_1__t9_subset_1.vmin1out
2024-08-03 10:21
3.8K
subset_1__t9_subset_1.vout
2024-08-03 06:02
3.8K
subset_1__t10_subset_1
2024-07-27 19:22
4.2K
subset_1__t10_subset_1.depv1
2024-08-03 10:19
127
subset_1__t10_subset_1.depvmin1
2024-08-03 10:24
127
subset_1__t10_subset_1.vmin1
2024-08-03 10:19
1.1K
subset_1__t10_subset_1.vmin1out
2024-08-03 10:20
12K
subset_1__t10_subset_1.vout
2024-08-03 07:16
12K
subset_1__t11_subset_1
2024-07-27 19:23
3.6K
subset_1__t11_subset_1.depv1
2024-08-03 10:19
148
subset_1__t11_subset_1.depvmin1
2024-08-03 10:24
148
subset_1__t11_subset_1.vmin1
2024-08-03 10:19
1.0K
subset_1__t11_subset_1.vmin1out
2024-08-03 10:21
12K
subset_1__t11_subset_1.vout
2024-08-03 05:00
12K
subset_1__t12_subset_1
2024-07-27 19:23
2.9K
subset_1__t12_subset_1.depv1
2024-08-03 10:19
105
subset_1__t12_subset_1.depvmin1
2024-08-03 10:24
80
subset_1__t12_subset_1.vmin1
2024-08-03 10:19
823
subset_1__t12_subset_1.vmin1out
2024-08-03 10:20
12K
subset_1__t12_subset_1.vout
2024-08-03 08:38
14K
subset_1__t13_subset_1
2024-07-27 19:23
4.6K
subset_1__t13_subset_1.depv1
2024-08-03 10:19
294
subset_1__t13_subset_1.depvmin1
2024-08-03 10:24
206
subset_1__t13_subset_1.vmin1
2024-08-03 10:19
1.9K
subset_1__t13_subset_1.vmin1out
2024-08-03 10:23
9.1K
subset_1__t13_subset_1.vout
2024-08-03 06:13
18K
subset_1__t14_subset_1
2024-07-27 19:24
5.5K
subset_1__t14_subset_1.depv1
2024-08-03 10:19
219
subset_1__t14_subset_1.depvmin1
2024-08-03 10:24
219
subset_1__t14_subset_1.vmin1
2024-08-03 10:19
1.7K
subset_1__t14_subset_1.vmin1out
2024-08-03 10:23
18K
subset_1__t14_subset_1.vout
2024-08-03 08:38
18K
subset_1__t15_subset_1
2024-07-27 19:24
6.2K
subset_1__t15_subset_1.vout
2024-08-03 07:53
7.3K
subset_1__t16_subset_1
2024-07-27 19:25
2.8K
subset_1__t16_subset_1.depv1
2024-08-03 10:19
68
subset_1__t16_subset_1.depvmin1
2024-08-03 10:24
68
subset_1__t16_subset_1.vmin1
2024-08-03 10:19
685
subset_1__t16_subset_1.vmin1out
2024-08-03 10:20
6.1K
subset_1__t16_subset_1.vout
2024-08-03 05:47
8.7K
subset_1__t17_subset_1
2024-07-27 19:25
2.8K
subset_1__t17_subset_1.depv1
2024-08-03 10:19
68
subset_1__t17_subset_1.depvmin1
2024-08-03 10:24
68
subset_1__t17_subset_1.vmin1
2024-08-03 10:19
685
subset_1__t17_subset_1.vmin1out
2024-08-03 10:23
6.7K
subset_1__t17_subset_1.vout
2024-08-03 09:29
8.7K
subset_1__t18_subset_1
2024-07-27 19:18
2.8K
subset_1__t18_subset_1.depv1
2024-08-03 10:19
115
subset_1__t18_subset_1.depvmin1
2024-08-03 10:24
115
subset_1__t18_subset_1.vmin1
2024-08-03 10:19
882
subset_1__t18_subset_1.vmin1out
2024-08-03 10:22
12K
subset_1__t18_subset_1.vout
2024-08-03 05:22
12K
subset_1__t19_subset_1
2024-07-27 19:26
4.1K
subset_1__t19_subset_1.depv1
2024-08-03 10:19
185
subset_1__t19_subset_1.depvmin1
2024-08-03 10:24
185
subset_1__t19_subset_1.vmin1
2024-08-03 10:19
1.2K
subset_1__t19_subset_1.vmin1out
2024-08-03 10:21
16K
subset_1__t19_subset_1.vout
2024-08-03 05:24
16K
subset_1__t20_subset_1
2024-07-27 19:18
3.2K
subset_1__t20_subset_1.depv1
2024-08-03 10:19
63
subset_1__t20_subset_1.depvmin1
2024-08-03 10:24
63
subset_1__t20_subset_1.vmin1
2024-08-03 10:19
589
subset_1__t20_subset_1.vmin1out
2024-08-03 10:21
7.3K
subset_1__t20_subset_1.vout
2024-08-03 09:25
7.4K
subset_1__t21_subset_1
2024-07-27 19:18
4.0K
subset_1__t21_subset_1.depv1
2024-08-03 10:19
78
subset_1__t21_subset_1.depvmin1
2024-08-03 10:24
78
subset_1__t21_subset_1.vmin1
2024-08-03 10:19
847
subset_1__t21_subset_1.vmin1out
2024-08-03 10:20
7.9K
subset_1__t21_subset_1.vout
2024-08-03 04:15
9.4K
subset_1__t22_subset_1
2024-07-27 19:19
3.6K
subset_1__t22_subset_1.depv1
2024-08-03 10:19
105
subset_1__t22_subset_1.depvmin1
2024-08-03 10:24
79
subset_1__t22_subset_1.vmin1
2024-08-03 10:19
912
subset_1__t22_subset_1.vmin1out
2024-08-03 10:22
6.4K
subset_1__t22_subset_1.vout
2024-08-03 08:22
9.8K
subset_1__t23_subset_1
2024-07-27 19:26
3.7K
subset_1__t23_subset_1.depv1
2024-08-03 10:19
96
subset_1__t23_subset_1.depvmin1
2024-08-03 10:24
96
subset_1__t23_subset_1.vmin1
2024-08-03 10:19
1.1K
subset_1__t23_subset_1.vmin1out
2024-08-03 10:21
19K
subset_1__t23_subset_1.vout
2024-08-03 08:49
19K
subset_1__t24_subset_1
2024-07-27 19:26
3.2K
subset_1__t24_subset_1.depv1
2024-08-03 10:19
68
subset_1__t24_subset_1.depvmin1
2024-08-03 10:24
68
subset_1__t24_subset_1.vmin1
2024-08-03 10:19
658
subset_1__t24_subset_1.vmin1out
2024-08-03 10:22
10K
subset_1__t24_subset_1.vout
2024-08-03 08:59
11K
subset_1__t25_subset_1
2024-07-27 19:27
3.9K
subset_1__t25_subset_1.depv1
2024-08-03 10:19
109
subset_1__t25_subset_1.depvmin1
2024-08-03 10:24
96
subset_1__t25_subset_1.vmin1
2024-08-03 10:19
1.3K
subset_1__t25_subset_1.vmin1out
2024-08-03 10:21
24K
subset_1__t25_subset_1.vout
2024-08-03 07:35
24K
subset_1__t26_subset_1
2024-07-27 19:27
3.4K
subset_1__t26_subset_1.depv1
2024-08-03 10:19
60
subset_1__t26_subset_1.depvmin1
2024-08-03 10:24
60
subset_1__t26_subset_1.vmin1
2024-08-03 10:19
691
subset_1__t26_subset_1.vmin1out
2024-08-03 10:23
6.8K
subset_1__t26_subset_1.vout
2024-08-03 08:55
9.6K
subset_1__t27_subset_1
2024-07-27 19:28
2.3K
subset_1__t27_subset_1.depv1
2024-08-03 10:19
67
subset_1__t27_subset_1.depvmin1
2024-08-03 10:24
67
subset_1__t27_subset_1.vmin1
2024-08-03 10:19
714
subset_1__t27_subset_1.vmin1out
2024-08-03 10:22
6.9K
subset_1__t27_subset_1.vout
2024-08-03 04:07
9.2K
subset_1__t28_subset_1
2024-07-27 19:28
2.4K
subset_1__t28_subset_1.depv1
2024-08-03 10:19
105
subset_1__t28_subset_1.depvmin1
2024-08-03 10:24
105
subset_1__t28_subset_1.vmin1
2024-08-03 10:19
953
subset_1__t28_subset_1.vmin1out
2024-08-03 10:22
13K
subset_1__t28_subset_1.vout
2024-08-03 09:55
13K
subset_1__t29_subset_1
2024-07-27 19:28
2.7K
subset_1__t29_subset_1.depv1
2024-08-03 10:19
93
subset_1__t29_subset_1.depvmin1
2024-08-03 10:24
93
subset_1__t29_subset_1.vmin1
2024-08-03 10:19
918
subset_1__t29_subset_1.vmin1out
2024-08-03 10:23
14K
subset_1__t29_subset_1.vout
2024-08-03 06:59
14K
subset_1__t30_subset_1
2024-07-27 19:29
3.4K
subset_1__t30_subset_1.depv1
2024-08-03 10:19
116
subset_1__t30_subset_1.depvmin1
2024-08-03 10:24
107
subset_1__t30_subset_1.vmin1
2024-08-03 10:19
1.1K
subset_1__t30_subset_1.vmin1out
2024-08-03 10:21
24K
subset_1__t30_subset_1.vout
2024-08-03 08:29
23K
subset_1__t31_subset_1
2024-07-27 19:29
2.7K
subset_1__t31_subset_1.depv1
2024-08-03 10:19
26
subset_1__t31_subset_1.depvmin1
2024-08-03 10:24
26
subset_1__t31_subset_1.vmin1
2024-08-03 10:19
503
subset_1__t31_subset_1.vmin1out
2024-08-03 10:21
12K
subset_1__t31_subset_1.vout
2024-08-03 05:16
13K
subset_1__t32_subset_1
2024-07-27 19:30
2.7K
subset_1__t32_subset_1.depv1
2024-08-03 10:19
26
subset_1__t32_subset_1.depvmin1
2024-08-03 10:24
26
subset_1__t32_subset_1.vmin1
2024-08-03 10:19
503
subset_1__t32_subset_1.vmin1out
2024-08-03 10:21
12K
subset_1__t32_subset_1.vout
2024-08-03 06:51
13K
subset_1__t33_subset_1
2024-07-27 19:30
2.5K
subset_1__t33_subset_1.depv1
2024-08-03 10:19
114
subset_1__t33_subset_1.depvmin1
2024-08-03 10:24
114
subset_1__t33_subset_1.vmin1
2024-08-03 10:19
1.0K
subset_1__t33_subset_1.vmin1out
2024-08-03 10:20
14K
subset_1__t33_subset_1.vout
2024-08-03 08:01
15K
subset_1__t34_subset_1
2024-07-27 19:30
2.6K
subset_1__t34_subset_1.depv1
2024-08-03 10:19
114
subset_1__t34_subset_1.depvmin1
2024-08-03 10:24
114
subset_1__t34_subset_1.vmin1
2024-08-03 10:19
1.0K
subset_1__t34_subset_1.vmin1out
2024-08-03 10:21
17K
subset_1__t34_subset_1.vout
2024-08-03 07:53
17K
subset_1__t35_subset_1
2024-07-27 19:31
2.7K
subset_1__t35_subset_1.depv1
2024-08-03 10:19
116
subset_1__t35_subset_1.depvmin1
2024-08-03 10:24
116
subset_1__t35_subset_1.vmin1
2024-08-03 10:19
1.1K
subset_1__t35_subset_1.vmin1out
2024-08-03 10:23
19K
subset_1__t35_subset_1.vout
2024-08-03 08:37
19K
subset_1__t36_subset_1
2024-07-27 19:31
2.7K
subset_1__t36_subset_1.depv1
2024-08-03 10:19
104
subset_1__t36_subset_1.depvmin1
2024-08-03 10:24
104
subset_1__t36_subset_1.vmin1
2024-08-03 10:19
1.1K
subset_1__t36_subset_1.vmin1out
2024-08-03 10:21
20K
subset_1__t36_subset_1.vout
2024-08-03 06:03
21K
subset_1__t37_subset_1
2024-07-27 19:32
2.8K
subset_1__t37_subset_1.depv1
2024-08-03 10:19
125
subset_1__t37_subset_1.depvmin1
2024-08-03 10:24
104
subset_1__t37_subset_1.vmin1
2024-08-03 10:19
1.3K
subset_1__t37_subset_1.vmin1out
2024-08-03 10:20
22K
subset_1__t37_subset_1.vout
2024-08-03 05:19
29K
subset_1__t38_subset_1
2024-07-27 19:32
2.9K
subset_1__t38_subset_1.vout
2024-08-03 07:47
8.4K
subset_1__t39_subset_1
2024-07-27 19:32
3.0K
subset_1__t39_subset_1.vout
2024-08-03 09:18
8.4K
subset_1__t40_subset_1
2024-07-27 19:33
3.0K
subset_1__t40_subset_1.vout
2024-08-03 08:35
8.4K
subset_1__t41_subset_1
2024-07-27 19:33
2.5K
subset_1__t41_subset_1.depv1
2024-08-03 10:19
86
subset_1__t41_subset_1.depvmin1
2024-08-03 10:24
86
subset_1__t41_subset_1.vmin1
2024-08-03 10:19
704
subset_1__t41_subset_1.vmin1out
2024-08-03 10:23
8.0K
subset_1__t41_subset_1.vout
2024-08-03 08:17
8.0K
subset_1__t42_subset_1
2024-07-27 19:34
2.4K
subset_1__t42_subset_1.depv1
2024-08-03 10:19
40
subset_1__t42_subset_1.depvmin1
2024-08-03 10:24
40
subset_1__t42_subset_1.vmin1
2024-08-03 10:19
321
subset_1__t42_subset_1.vmin1out
2024-08-03 10:21
5.1K
subset_1__t42_subset_1.vout
2024-08-03 05:14
5.1K
subset_1__t43_subset_1
2024-07-27 19:34
2.7K
subset_1__t43_subset_1.depv1
2024-08-03 10:19
70
subset_1__t43_subset_1.depvmin1
2024-08-03 10:24
70
subset_1__t43_subset_1.vmin1
2024-08-03 10:19
848
subset_1__t43_subset_1.vmin1out
2024-08-03 10:21
11K
subset_1__t43_subset_1.vout
2024-08-03 09:07
12K
subset_1__t44_subset_1
2024-07-27 19:34
4.5K
subset_1__t44_subset_1.depv1
2024-08-03 10:19
139
subset_1__t44_subset_1.depvmin1
2024-08-03 10:24
139
subset_1__t44_subset_1.vmin1
2024-08-03 10:19
1.4K
subset_1__t44_subset_1.vmin1out
2024-08-03 10:21
16K
subset_1__t44_subset_1.vout
2024-08-03 09:25
20K
subset_1__t45_subset_1
2024-07-27 19:35
3.5K
subset_1__t45_subset_1.vout
2024-08-03 08:03
2.0K
subset_1__t46_subset_1
2024-07-27 19:35
2.0K
subset_1__t46_subset_1.depv1
2024-08-03 10:19
72
subset_1__t46_subset_1.depvmin1
2024-08-03 10:24
72
subset_1__t46_subset_1.vmin1
2024-08-03 10:19
663
subset_1__t46_subset_1.vmin1out
2024-08-03 10:21
7.1K
subset_1__t46_subset_1.vout
2024-08-03 08:43
7.5K
subset_1__t47_subset_1
2024-07-27 19:36
4.0K
subset_1__t47_subset_1.depv1
2024-08-03 10:19
66
subset_1__t47_subset_1.depvmin1
2024-08-03 10:24
66
subset_1__t47_subset_1.vmin1
2024-08-03 10:19
772
subset_1__t47_subset_1.vmin1out
2024-08-03 10:21
10K
subset_1__t47_subset_1.vout
2024-08-03 06:43
11K
subset_1__t48_subset_1
2024-07-27 19:36
1.6K
subset_1__t48_subset_1.depv1
2024-08-03 10:19
26
subset_1__t48_subset_1.depvmin1
2024-08-03 10:24
26
subset_1__t48_subset_1.vmin1
2024-08-03 10:19
288
subset_1__t48_subset_1.vmin1out
2024-08-03 10:21
5.6K
subset_1__t48_subset_1.vout
2024-08-03 04:37
4.5K
subset_1__t49_subset_1
2024-07-27 19:36
2.1K
subset_1__t49_subset_1.depv1
2024-08-03 10:19
37
subset_1__t49_subset_1.depvmin1
2024-08-03 10:24
37
subset_1__t49_subset_1.vmin1
2024-08-03 10:19
403
subset_1__t49_subset_1.vmin1out
2024-08-03 10:23
7.2K
subset_1__t49_subset_1.vout
2024-08-03 04:21
7.3K
subset_1__t50_subset_1
2024-07-27 19:37
4.3K
subset_1__t50_subset_1.depv1
2024-08-03 10:19
154
subset_1__t50_subset_1.depvmin1
2024-08-03 10:24
106
subset_1__t50_subset_1.vmin1
2024-08-03 10:19
1.1K
subset_1__t50_subset_1.vmin1out
2024-08-03 10:23
8.5K
subset_1__t50_subset_1.vout
2024-08-03 04:28
14K
subset_1__t51_subset_1
2024-07-27 19:37
4.3K
subset_1__t51_subset_1.depv1
2024-08-03 10:19
122
subset_1__t51_subset_1.depvmin1
2024-08-03 10:24
122
subset_1__t51_subset_1.vmin1
2024-08-03 10:19
1.1K
subset_1__t51_subset_1.vmin1out
2024-08-03 10:21
13K
subset_1__t51_subset_1.vout
2024-08-03 05:02
13K
subset_1__t52_subset_1
2024-07-27 19:38
4.3K
subset_1__t52_subset_1.vout
2024-08-03 04:36
7.9K
subset_1__t53_subset_1
2024-07-27 19:38
4.4K
subset_1__t53_subset_1.depv1
2024-08-03 10:19
104
subset_1__t53_subset_1.depvmin1
2024-08-03 10:24
104
subset_1__t53_subset_1.vmin1
2024-08-03 10:19
1.6K
subset_1__t53_subset_1.vmin1out
2024-08-03 10:23
35K
subset_1__t53_subset_1.vout
2024-08-03 06:04
38K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80