Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/stacks_1
Name
Last modified
Size
Description
Parent Directory
-
stacks_1__t49_stacks_1.vout
2024-08-03 09:49
38K
stacks_1__t49_stacks_1.vmin1out
2024-08-03 10:23
38K
stacks_1__t49_stacks_1.vmin1
2024-08-03 10:19
3.2K
stacks_1__t49_stacks_1.depvmin1
2024-08-03 10:24
227
stacks_1__t49_stacks_1.depv1
2024-08-03 10:19
227
stacks_1__t49_stacks_1
2024-07-28 01:04
48K
stacks_1__t48_stacks_1.vout
2024-08-03 05:17
7.4K
stacks_1__t48_stacks_1
2024-07-28 01:02
61K
stacks_1__t47_stacks_1.vout
2024-08-03 09:25
7.9K
stacks_1__t47_stacks_1
2024-07-28 01:00
47K
stacks_1__t46_stacks_1.vout
2024-08-03 06:25
7.9K
stacks_1__t46_stacks_1
2024-07-28 00:58
42K
stacks_1__t45_stacks_1.vout
2024-08-03 07:26
6.8K
stacks_1__t45_stacks_1
2024-07-28 00:56
54K
stacks_1__t44_stacks_1.vout
2024-08-03 07:12
7.3K
stacks_1__t44_stacks_1
2024-07-28 00:54
41K
stacks_1__t43_stacks_1.vout
2024-08-03 06:16
7.3K
stacks_1__t43_stacks_1
2024-07-28 00:52
41K
stacks_1__t42_stacks_1.vout
2024-08-03 07:45
7.4K
stacks_1__t42_stacks_1
2024-07-27 23:43
38K
stacks_1__t41_stacks_1.vout
2024-08-03 05:40
4.7K
stacks_1__t41_stacks_1
2024-07-28 00:51
67K
stacks_1__t40_stacks_1.vout
2024-08-03 05:02
4.7K
stacks_1__t40_stacks_1
2024-07-28 00:48
62K
stacks_1__t39_stacks_1.vout
2024-08-03 06:20
4.7K
stacks_1__t39_stacks_1
2024-07-28 00:46
63K
stacks_1__t38_stacks_1.vout
2024-08-03 06:44
4.7K
stacks_1__t38_stacks_1
2024-07-28 00:44
61K
stacks_1__t37_stacks_1.vout
2024-08-03 05:30
4.7K
stacks_1__t37_stacks_1
2024-07-28 00:42
52K
stacks_1__t36_stacks_1.vout
2024-08-03 05:41
4.7K
stacks_1__t36_stacks_1
2024-07-28 00:40
58K
stacks_1__t35_stacks_1.vout
2024-08-03 10:08
4.7K
stacks_1__t35_stacks_1
2024-07-28 00:38
51K
stacks_1__t34_stacks_1.vout
2024-08-03 06:59
58K
stacks_1__t34_stacks_1.vmin1out
2024-08-03 10:21
68K
stacks_1__t34_stacks_1.vmin1
2024-08-03 10:19
4.0K
stacks_1__t34_stacks_1.depvmin1
2024-08-03 10:24
217
stacks_1__t34_stacks_1.depv1
2024-08-03 10:19
217
stacks_1__t34_stacks_1
2024-07-28 00:36
51K
stacks_1__t33_stacks_1.vout
2024-08-03 07:28
7.3K
stacks_1__t33_stacks_1
2024-07-28 00:35
40K
stacks_1__t32_stacks_1.vout
2024-08-03 04:08
4.8K
stacks_1__t32_stacks_1
2024-07-28 00:33
47K
stacks_1__t31_stacks_1.vout
2024-08-03 10:07
7.3K
stacks_1__t31_stacks_1
2024-07-28 00:31
38K
stacks_1__t30_stacks_1.vout
2024-08-03 10:08
7.9K
stacks_1__t30_stacks_1
2024-07-28 00:29
51K
stacks_1__t29_stacks_1.vout
2024-08-03 10:15
49K
stacks_1__t29_stacks_1.vmin1out
2024-08-03 10:20
31K
stacks_1__t29_stacks_1.vmin1
2024-08-03 10:19
2.8K
stacks_1__t29_stacks_1.depvmin1
2024-08-03 10:24
143
stacks_1__t29_stacks_1.depv1
2024-08-03 10:19
143
stacks_1__t29_stacks_1
2024-07-28 00:27
38K
stacks_1__t28_stacks_1.vout
2024-08-03 08:41
7.3K
stacks_1__t28_stacks_1
2024-07-28 00:26
115K
stacks_1__t27_stacks_1.vout
2024-08-03 05:56
7.3K
stacks_1__t27_stacks_1
2024-07-28 00:23
116K
stacks_1__t26_stacks_1.vout
2024-08-03 05:32
4.1K
stacks_1__t26_stacks_1
2024-07-28 00:21
39K
stacks_1__t25_stacks_1.vout
2024-08-03 06:24
7.3K
stacks_1__t25_stacks_1
2024-07-28 01:06
41K
stacks_1__t24_stacks_1.vout
2024-08-03 06:59
6.8K
stacks_1__t24_stacks_1
2024-07-28 00:20
55K
stacks_1__t23_stacks_1.vout
2024-08-03 05:58
7.3K
stacks_1__t23_stacks_1
2024-07-28 00:18
44K
stacks_1__t22_stacks_1.vout
2024-08-03 08:47
7.4K
stacks_1__t22_stacks_1
2024-07-28 00:16
39K
stacks_1__t21_stacks_1.vout
2024-08-03 06:16
7.4K
stacks_1__t21_stacks_1
2024-07-28 00:15
35K
stacks_1__t20_stacks_1.vout
2024-08-03 04:39
58K
stacks_1__t20_stacks_1.vmin1out
2024-08-03 10:20
58K
stacks_1__t20_stacks_1.vmin1
2024-08-03 10:19
3.2K
stacks_1__t20_stacks_1.depvmin1
2024-08-03 10:24
125
stacks_1__t20_stacks_1.depv1
2024-08-03 10:19
125
stacks_1__t20_stacks_1
2024-07-28 00:13
35K
stacks_1__t19_stacks_1.vout
2024-08-03 05:42
7.4K
stacks_1__t19_stacks_1
2024-07-28 00:12
38K
stacks_1__t18_stacks_1.vout
2024-08-03 08:26
20K
stacks_1__t18_stacks_1.vmin1out
2024-08-03 10:20
23K
stacks_1__t18_stacks_1.vmin1
2024-08-03 10:19
1.9K
stacks_1__t18_stacks_1.depvmin1
2024-08-03 10:24
72
stacks_1__t18_stacks_1.depv1
2024-08-03 10:19
72
stacks_1__t18_stacks_1
2024-07-28 00:10
35K
stacks_1__t17_stacks_1.vout
2024-08-03 06:53
38K
stacks_1__t17_stacks_1.vmin1out
2024-08-03 10:20
35K
stacks_1__t17_stacks_1.vmin1
2024-08-03 10:19
2.8K
stacks_1__t17_stacks_1.depvmin1
2024-08-03 10:24
142
stacks_1__t17_stacks_1.depv1
2024-08-03 10:19
142
stacks_1__t17_stacks_1
2024-07-28 00:09
35K
stacks_1__t16_stacks_1.vout
2024-08-03 08:46
2.0K
stacks_1__t16_stacks_1
2024-07-28 00:07
42K
stacks_1__t15_stacks_1.vout
2024-08-03 04:51
13K
stacks_1__t15_stacks_1.vmin1out
2024-08-03 10:20
14K
stacks_1__t15_stacks_1.vmin1
2024-08-03 10:19
1.1K
stacks_1__t15_stacks_1.depvmin1
2024-08-03 10:24
38
stacks_1__t15_stacks_1.depv1
2024-08-03 10:19
38
stacks_1__t15_stacks_1
2024-07-28 00:05
33K
stacks_1__t14_stacks_1.vout
2024-08-03 08:44
2.0K
stacks_1__t14_stacks_1
2024-07-28 00:04
42K
stacks_1__t13_stacks_1.vout
2024-08-03 06:28
20K
stacks_1__t13_stacks_1.vmin1out
2024-08-03 10:23
18K
stacks_1__t13_stacks_1.vmin1
2024-08-03 10:19
1.2K
stacks_1__t13_stacks_1.depvmin1
2024-08-03 10:24
47
stacks_1__t13_stacks_1.depv1
2024-08-03 10:19
47
stacks_1__t13_stacks_1
2024-07-27 23:41
32K
stacks_1__t12_stacks_1.vout
2024-08-03 04:20
73K
stacks_1__t12_stacks_1.vmin1out
2024-08-03 10:20
50K
stacks_1__t12_stacks_1.vmin1
2024-08-03 10:19
3.0K
stacks_1__t12_stacks_1.depvmin1
2024-08-03 10:24
204
stacks_1__t12_stacks_1.depv1
2024-08-03 10:19
204
stacks_1__t12_stacks_1
2024-07-28 00:02
42K
stacks_1__t11_stacks_1.vout
2024-08-03 05:19
4.7K
stacks_1__t11_stacks_1
2024-07-28 00:00
49K
stacks_1__t10_stacks_1.vout
2024-08-03 09:45
2.0K
stacks_1__t10_stacks_1
2024-07-27 23:59
41K
stacks_1__t9_stacks_1.vout
2024-08-03 06:08
2.0K
stacks_1__t9_stacks_1
2024-07-27 23:57
41K
stacks_1__t8_stacks_1.vout
2024-08-03 07:11
24K
stacks_1__t8_stacks_1.vmin1out
2024-08-03 10:21
26K
stacks_1__t8_stacks_1.vmin1
2024-08-03 10:19
1.9K
stacks_1__t8_stacks_1.depvmin1
2024-08-03 10:24
78
stacks_1__t8_stacks_1.depv1
2024-08-03 10:19
78
stacks_1__t8_stacks_1
2024-07-27 23:55
43K
stacks_1__t7_stacks_1.vout
2024-08-03 04:27
2.0K
stacks_1__t7_stacks_1
2024-07-27 23:54
44K
stacks_1__t6_stacks_1.vout
2024-08-03 05:52
7.3K
stacks_1__t6_stacks_1
2024-07-27 23:52
44K
stacks_1__t5_stacks_1.vout
2024-08-03 04:21
32K
stacks_1__t5_stacks_1.vmin1out
2024-08-03 10:20
33K
stacks_1__t5_stacks_1.vmin1
2024-08-03 10:19
1.8K
stacks_1__t5_stacks_1.depvmin1
2024-08-03 10:24
65
stacks_1__t5_stacks_1.depv1
2024-08-03 10:19
65
stacks_1__t5_stacks_1
2024-07-27 23:50
42K
stacks_1__t4_stacks_1.vout
2024-08-03 04:44
7.3K
stacks_1__t4_stacks_1
2024-07-27 23:48
32K
stacks_1__t3_stacks_1.vout
2024-08-03 07:56
7.3K
stacks_1__t3_stacks_1
2024-07-27 23:47
32K
stacks_1__t2_stacks_1.vout
2024-08-03 07:28
7.3K
stacks_1__t2_stacks_1
2024-07-27 23:45
32K
stacks_1__t1_stacks_1.vout
2024-08-03 07:39
21K
stacks_1__t1_stacks_1.vmin1out
2024-08-03 10:22
17K
stacks_1__t1_stacks_1.vmin1
2024-08-03 10:19
2.1K
stacks_1__t1_stacks_1.depvmin1
2024-08-03 10:24
173
stacks_1__t1_stacks_1.depv1
2024-08-03 10:19
256
stacks_1__t1_stacks_1
2024-07-27 23:44
21K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80