Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/filter_0
Name
Last modified
Size
Description
Parent Directory
-
filter_0__t1_filter_0
2024-07-26 20:20
12K
filter_0__t1_filter_0.vout
2024-08-03 05:08
2.0K
filter_0__t2_filter_0
2024-07-26 20:21
14K
filter_0__t2_filter_0.vout
2024-08-03 09:14
2.0K
filter_0__t3_filter_0
2024-07-26 20:22
13K
filter_0__t3_filter_0.vout
2024-08-03 05:59
2.0K
filter_0__t4_filter_0
2024-07-26 20:23
11K
filter_0__t4_filter_0.depv1
2024-08-03 10:19
117
filter_0__t4_filter_0.depvmin1
2024-08-03 10:24
117
filter_0__t4_filter_0.vmin1
2024-08-03 10:19
1.8K
filter_0__t4_filter_0.vmin1out
2024-08-03 10:23
37K
filter_0__t4_filter_0.vout
2024-08-03 08:02
45K
filter_0__t5_filter_0
2024-07-26 20:24
13K
filter_0__t5_filter_0.depv1
2024-08-03 10:19
142
filter_0__t5_filter_0.depvmin1
2024-08-03 10:24
142
filter_0__t5_filter_0.vmin1
2024-08-03 10:19
2.2K
filter_0__t5_filter_0.vmin1out
2024-08-03 10:21
44K
filter_0__t5_filter_0.vout
2024-08-03 06:35
44K
filter_0__t6_filter_0
2024-07-26 20:25
12K
filter_0__t6_filter_0.depv1
2024-08-03 10:19
117
filter_0__t6_filter_0.depvmin1
2024-08-03 10:24
117
filter_0__t6_filter_0.vmin1
2024-08-03 10:19
1.9K
filter_0__t6_filter_0.vmin1out
2024-08-03 10:20
28K
filter_0__t6_filter_0.vout
2024-08-03 08:34
15K
filter_0__t7_filter_0
2024-07-26 20:26
12K
filter_0__t7_filter_0.depv1
2024-08-03 10:19
78
filter_0__t7_filter_0.depvmin1
2024-08-03 10:24
78
filter_0__t7_filter_0.vmin1
2024-08-03 10:19
1.4K
filter_0__t7_filter_0.vmin1out
2024-08-03 10:20
16K
filter_0__t7_filter_0.vout
2024-08-03 09:37
17K
filter_0__t8_filter_0
2024-07-26 20:27
15K
filter_0__t8_filter_0.vout
2024-08-03 04:37
2.0K
filter_0__t9_filter_0
2024-07-26 20:28
14K
filter_0__t9_filter_0.vout
2024-08-03 06:55
2.0K
filter_0__t10_filter_0
2024-07-26 20:29
15K
filter_0__t10_filter_0.vout
2024-08-03 04:14
2.0K
filter_0__t11_filter_0
2024-07-26 20:30
14K
filter_0__t11_filter_0.depv1
2024-08-03 10:19
110
filter_0__t11_filter_0.depvmin1
2024-08-03 10:24
110
filter_0__t11_filter_0.vmin1
2024-08-03 10:19
1.8K
filter_0__t11_filter_0.vmin1out
2024-08-03 10:22
21K
filter_0__t11_filter_0.vout
2024-08-03 09:25
18K
filter_0__t12_filter_0
2024-07-26 20:31
15K
filter_0__t12_filter_0.vout
2024-08-03 04:55
4.1K
filter_0__t13_filter_0
2024-07-26 20:32
13K
filter_0__t13_filter_0.depv1
2024-08-03 10:19
215
filter_0__t13_filter_0.depvmin1
2024-08-03 10:24
182
filter_0__t13_filter_0.vmin1
2024-08-03 10:19
2.6K
filter_0__t13_filter_0.vmin1out
2024-08-03 10:23
37K
filter_0__t13_filter_0.vout
2024-08-03 08:29
35K
filter_0__t14_filter_0
2024-07-26 20:32
8.9K
filter_0__t14_filter_0.depv1
2024-08-03 10:19
109
filter_0__t14_filter_0.depvmin1
2024-08-03 10:24
109
filter_0__t14_filter_0.vmin1
2024-08-03 10:19
1.3K
filter_0__t14_filter_0.vmin1out
2024-08-03 10:23
14K
filter_0__t14_filter_0.vout
2024-08-03 06:08
14K
filter_0__t15_filter_0
2024-07-26 20:33
9.6K
filter_0__t15_filter_0.depv1
2024-08-03 10:19
72
filter_0__t15_filter_0.depvmin1
2024-08-03 10:24
72
filter_0__t15_filter_0.vmin1
2024-08-03 10:19
853
filter_0__t15_filter_0.vmin1out
2024-08-03 10:21
15K
filter_0__t15_filter_0.vout
2024-08-03 05:54
19K
filter_0__t16_filter_0
2024-07-26 20:34
14K
filter_0__t16_filter_0.depv1
2024-08-03 10:19
249
filter_0__t16_filter_0.depvmin1
2024-08-03 10:24
227
filter_0__t16_filter_0.vmin1
2024-08-03 10:19
2.9K
filter_0__t16_filter_0.vmin1out
2024-08-03 10:20
23K
filter_0__t16_filter_0.vout
2024-08-03 08:25
42K
filter_0__t17_filter_0
2024-07-26 20:35
14K
filter_0__t17_filter_0.vout
2024-08-03 04:57
7.3K
filter_0__t18_filter_0
2024-07-26 20:37
20K
filter_0__t18_filter_0.vout
2024-08-03 04:45
7.3K
filter_0__t19_filter_0
2024-07-26 20:38
15K
filter_0__t19_filter_0.depv1
2024-08-03 10:19
166
filter_0__t19_filter_0.depvmin1
2024-08-03 10:24
156
filter_0__t19_filter_0.vmin1
2024-08-03 10:19
2.3K
filter_0__t19_filter_0.vmin1out
2024-08-03 10:20
19K
filter_0__t19_filter_0.vout
2024-08-03 08:00
31K
filter_0__t20_filter_0
2024-07-26 20:39
14K
filter_0__t20_filter_0.vout
2024-08-03 05:13
7.4K
filter_0__t21_filter_0
2024-07-26 20:12
9.2K
filter_0__t21_filter_0.depv1
2024-08-03 10:19
47
filter_0__t21_filter_0.depvmin1
2024-08-03 10:24
47
filter_0__t21_filter_0.vmin1
2024-08-03 10:19
910
filter_0__t21_filter_0.vmin1out
2024-08-03 10:22
19K
filter_0__t21_filter_0.vout
2024-08-03 04:57
19K
filter_0__t22_filter_0
2024-07-26 20:39
9.2K
filter_0__t22_filter_0.depv1
2024-08-03 10:19
103
filter_0__t22_filter_0.depvmin1
2024-08-03 10:24
103
filter_0__t22_filter_0.vmin1
2024-08-03 10:19
1.8K
filter_0__t22_filter_0.vmin1out
2024-08-03 10:21
41K
filter_0__t22_filter_0.vout
2024-08-03 05:06
34K
filter_0__t23_filter_0
2024-07-26 20:40
15K
filter_0__t23_filter_0.depv1
2024-08-03 10:19
146
filter_0__t23_filter_0.depvmin1
2024-08-03 10:24
121
filter_0__t23_filter_0.vmin1
2024-08-03 10:19
3.1K
filter_0__t23_filter_0.vmin1out
2024-08-03 10:22
41K
filter_0__t23_filter_0.vout
2024-08-03 09:31
51K
filter_0__t24_filter_0
2024-07-26 20:41
12K
filter_0__t24_filter_0.depv1
2024-08-03 10:19
260
filter_0__t24_filter_0.depvmin1
2024-08-03 10:24
260
filter_0__t24_filter_0.vmin1
2024-08-03 10:19
3.8K
filter_0__t24_filter_0.vmin1out
2024-08-03 10:23
33K
filter_0__t24_filter_0.vout
2024-08-03 06:46
50K
filter_0__t25_filter_0
2024-07-26 20:42
11K
filter_0__t25_filter_0.depv1
2024-08-03 10:19
119
filter_0__t25_filter_0.depvmin1
2024-08-03 10:24
119
filter_0__t25_filter_0.vmin1
2024-08-03 10:19
1.9K
filter_0__t25_filter_0.vmin1out
2024-08-03 10:22
14K
filter_0__t25_filter_0.vout
2024-08-03 04:48
23K
filter_0__t26_filter_0
2024-07-26 20:43
9.8K
filter_0__t26_filter_0.depv1
2024-08-03 10:19
39
filter_0__t26_filter_0.depvmin1
2024-08-03 10:24
39
filter_0__t26_filter_0.vmin1
2024-08-03 10:19
1.1K
filter_0__t26_filter_0.vmin1out
2024-08-03 10:22
17K
filter_0__t26_filter_0.vout
2024-08-03 06:04
17K
filter_0__t27_filter_0
2024-07-26 20:44
19K
filter_0__t27_filter_0.vout
2024-08-03 07:02
2.0K
filter_0__t28_filter_0
2024-07-26 20:45
16K
filter_0__t28_filter_0.depv1
2024-08-03 10:19
203
filter_0__t28_filter_0.depvmin1
2024-08-03 10:24
203
filter_0__t28_filter_0.vmin1
2024-08-03 10:19
2.8K
filter_0__t28_filter_0.vmin1out
2024-08-03 10:23
45K
filter_0__t28_filter_0.vout
2024-08-03 06:44
45K
filter_0__t29_filter_0
2024-07-26 20:46
15K
filter_0__t29_filter_0.depv1
2024-08-03 10:19
68
filter_0__t29_filter_0.depvmin1
2024-08-03 10:24
47
filter_0__t29_filter_0.vmin1
2024-08-03 10:19
2.4K
filter_0__t29_filter_0.vmin1out
2024-08-03 10:20
36K
filter_0__t29_filter_0.vout
2024-08-03 04:14
38K
filter_0__t30_filter_0
2024-07-26 20:47
16K
filter_0__t30_filter_0.depv1
2024-08-03 10:19
158
filter_0__t30_filter_0.depvmin1
2024-08-03 10:24
158
filter_0__t30_filter_0.vmin1
2024-08-03 10:19
3.2K
filter_0__t30_filter_0.vmin1out
2024-08-03 10:22
50K
filter_0__t30_filter_0.vout
2024-08-03 04:40
46K
filter_0__t31_filter_0
2024-07-26 20:13
13K
filter_0__t31_filter_0.depv1
2024-08-03 10:19
145
filter_0__t31_filter_0.depvmin1
2024-08-03 10:24
145
filter_0__t31_filter_0.vmin1
2024-08-03 10:19
2.2K
filter_0__t31_filter_0.vmin1out
2024-08-03 10:23
33K
filter_0__t31_filter_0.vout
2024-08-03 07:09
32K
filter_0__t32_filter_0
2024-07-26 20:13
13K
filter_0__t32_filter_0.depv1
2024-08-03 10:19
82
filter_0__t32_filter_0.depvmin1
2024-08-03 10:24
72
filter_0__t32_filter_0.vmin1
2024-08-03 10:19
1.5K
filter_0__t32_filter_0.vmin1out
2024-08-03 10:20
32K
filter_0__t32_filter_0.vout
2024-08-03 08:10
26K
filter_0__t33_filter_0
2024-07-26 20:48
13K
filter_0__t33_filter_0.vout
2024-08-03 05:21
7.4K
filter_0__t34_filter_0
2024-07-26 20:49
11K
filter_0__t34_filter_0.vout
2024-08-03 08:21
7.3K
filter_0__t35_filter_0
2024-07-26 21:26
20K
filter_0__t35_filter_0.vout
2024-08-03 07:57
6.8K
filter_0__t36_filter_0
2024-07-26 20:50
18K
filter_0__t36_filter_0.vout
2024-08-03 06:12
7.3K
filter_0__t37_filter_0
2024-07-26 20:51
18K
filter_0__t37_filter_0.vout
2024-08-03 06:58
6.8K
filter_0__t38_filter_0
2024-07-26 20:52
17K
filter_0__t38_filter_0.depv1
2024-08-03 10:19
93
filter_0__t38_filter_0.depvmin1
2024-08-03 10:24
93
filter_0__t38_filter_0.vmin1
2024-08-03 10:19
2.5K
filter_0__t38_filter_0.vmin1out
2024-08-03 10:23
32K
filter_0__t38_filter_0.vout
2024-08-03 08:43
40K
filter_0__t39_filter_0
2024-07-26 20:54
18K
filter_0__t39_filter_0.depv1
2024-08-03 10:19
93
filter_0__t39_filter_0.depvmin1
2024-08-03 10:24
93
filter_0__t39_filter_0.vmin1
2024-08-03 10:19
2.5K
filter_0__t39_filter_0.vmin1out
2024-08-03 10:23
32K
filter_0__t39_filter_0.vout
2024-08-03 07:28
40K
filter_0__t40_filter_0
2024-07-26 20:55
23K
filter_0__t40_filter_0.vout
2024-08-03 08:56
7.3K
filter_0__t41_filter_0
2024-07-26 20:56
13K
filter_0__t41_filter_0.vout
2024-08-03 04:50
7.3K
filter_0__t42_filter_0
2024-07-26 20:57
17K
filter_0__t42_filter_0.depv1
2024-08-03 10:19
109
filter_0__t42_filter_0.depvmin1
2024-08-03 10:24
109
filter_0__t42_filter_0.vmin1
2024-08-03 10:19
2.3K
filter_0__t42_filter_0.vmin1out
2024-08-03 10:23
40K
filter_0__t42_filter_0.vout
2024-08-03 08:18
39K
filter_0__t43_filter_0
2024-07-26 20:58
19K
filter_0__t43_filter_0.depv1
2024-08-03 10:19
379
filter_0__t43_filter_0.depvmin1
2024-08-03 10:24
354
filter_0__t43_filter_0.vmin1
2024-08-03 10:19
5.4K
filter_0__t43_filter_0.vmin1out
2024-08-03 10:23
80K
filter_0__t43_filter_0.vout
2024-08-03 07:35
57K
filter_0__t44_filter_0
2024-07-26 20:59
25K
filter_0__t44_filter_0.vout
2024-08-03 09:06
7.3K
filter_0__t45_filter_0
2024-07-26 21:01
21K
filter_0__t45_filter_0.vout
2024-08-03 06:14
7.3K
filter_0__t46_filter_0
2024-07-26 21:02
16K
filter_0__t46_filter_0.depv1
2024-08-03 10:19
132
filter_0__t46_filter_0.depvmin1
2024-08-03 10:24
132
filter_0__t46_filter_0.vmin1
2024-08-03 10:19
2.9K
filter_0__t46_filter_0.vmin1out
2024-08-03 10:22
49K
filter_0__t46_filter_0.vout
2024-08-03 06:15
49K
filter_0__t47_filter_0
2024-07-26 21:03
18K
filter_0__t47_filter_0.vout
2024-08-03 06:53
4.1K
filter_0__t48_filter_0
2024-07-26 21:04
14K
filter_0__t48_filter_0.depv1
2024-08-03 10:19
271
filter_0__t48_filter_0.depvmin1
2024-08-03 10:24
271
filter_0__t48_filter_0.vmin1
2024-08-03 10:19
3.8K
filter_0__t48_filter_0.vmin1out
2024-08-03 10:23
83K
filter_0__t48_filter_0.vout
2024-08-03 05:50
95K
filter_0__t49_filter_0
2024-07-26 21:05
13K
filter_0__t49_filter_0.depv1
2024-08-03 10:19
97
filter_0__t49_filter_0.depvmin1
2024-08-03 10:24
97
filter_0__t49_filter_0.vmin1
2024-08-03 10:19
2.4K
filter_0__t49_filter_0.vmin1out
2024-08-03 10:22
30K
filter_0__t49_filter_0.vout
2024-08-03 08:34
52K
filter_0__t50_filter_0
2024-07-26 21:06
19K
filter_0__t50_filter_0.vout
2024-08-03 07:13
4.1K
filter_0__t51_filter_0
2024-07-26 20:14
17K
filter_0__t51_filter_0.vout
2024-08-03 05:53
4.1K
filter_0__t52_filter_0
2024-07-26 21:07
19K
filter_0__t52_filter_0.vout
2024-08-03 06:41
4.1K
filter_0__t53_filter_0
2024-07-26 21:08
19K
filter_0__t53_filter_0.vout
2024-08-03 06:11
4.1K
filter_0__t54_filter_0
2024-07-26 21:09
18K
filter_0__t54_filter_0.vout
2024-08-03 09:33
4.1K
filter_0__t55_filter_0
2024-07-26 21:10
21K
filter_0__t55_filter_0.vout
2024-08-03 08:04
4.1K
filter_0__t56_filter_0
2024-07-26 21:11
21K
filter_0__t56_filter_0.vout
2024-08-03 09:49
7.3K
filter_0__t57_filter_0
2024-07-26 21:13
21K
filter_0__t57_filter_0.vout
2024-08-03 05:28
7.9K
filter_0__t58_filter_0
2024-07-26 20:15
15K
filter_0__t58_filter_0.depv1
2024-08-03 10:19
82
filter_0__t58_filter_0.depvmin1
2024-08-03 10:24
82
filter_0__t58_filter_0.vmin1
2024-08-03 10:19
1.7K
filter_0__t58_filter_0.vmin1out
2024-08-03 10:23
24K
filter_0__t58_filter_0.vout
2024-08-03 04:51
24K
filter_0__t59_filter_0
2024-07-26 21:14
24K
filter_0__t59_filter_0.vout
2024-08-03 08:55
7.3K
filter_0__t60_filter_0
2024-07-26 21:15
18K
filter_0__t60_filter_0.depv1
2024-08-03 10:19
106
filter_0__t60_filter_0.depvmin1
2024-08-03 10:24
106
filter_0__t60_filter_0.vmin1
2024-08-03 10:19
2.6K
filter_0__t60_filter_0.vmin1out
2024-08-03 10:20
35K
filter_0__t60_filter_0.vout
2024-08-03 07:14
36K
filter_0__t61_filter_0
2024-07-26 20:16
12K
filter_0__t61_filter_0.depv1
2024-08-03 10:19
95
filter_0__t61_filter_0.depvmin1
2024-08-03 10:24
95
filter_0__t61_filter_0.vmin1
2024-08-03 10:19
1.4K
filter_0__t61_filter_0.vmin1out
2024-08-03 10:22
16K
filter_0__t61_filter_0.vout
2024-08-03 09:12
11K
filter_0__t62_filter_0
2024-07-26 21:16
14K
filter_0__t62_filter_0.vout
2024-08-03 06:06
2.0K
filter_0__t63_filter_0
2024-07-26 21:17
14K
filter_0__t63_filter_0.depv1
2024-08-03 10:19
97
filter_0__t63_filter_0.depvmin1
2024-08-03 10:24
97
filter_0__t63_filter_0.vmin1
2024-08-03 10:19
1.9K
filter_0__t63_filter_0.vmin1out
2024-08-03 10:20
32K
filter_0__t63_filter_0.vout
2024-08-03 05:06
27K
filter_0__t64_filter_0
2024-07-26 21:18
16K
filter_0__t64_filter_0.vout
2024-08-03 08:29
7.3K
filter_0__t65_filter_0
2024-07-26 21:19
14K
filter_0__t65_filter_0.vout
2024-08-03 09:02
7.3K
filter_0__t66_filter_0
2024-07-26 21:20
15K
filter_0__t66_filter_0.vout
2024-08-03 07:12
7.3K
filter_0__t67_filter_0
2024-07-26 21:21
13K
filter_0__t67_filter_0.depv1
2024-08-03 10:19
142
filter_0__t67_filter_0.depvmin1
2024-08-03 10:24
142
filter_0__t67_filter_0.vmin1
2024-08-03 10:19
2.9K
filter_0__t67_filter_0.vmin1out
2024-08-03 10:22
30K
filter_0__t67_filter_0.vout
2024-08-03 05:39
31K
filter_0__t68_filter_0
2024-07-26 21:22
11K
filter_0__t68_filter_0.depv1
2024-08-03 10:19
39
filter_0__t68_filter_0.depvmin1
2024-08-03 10:24
39
filter_0__t68_filter_0.vmin1
2024-08-03 10:19
1.1K
filter_0__t68_filter_0.vmin1out
2024-08-03 10:21
12K
filter_0__t68_filter_0.vout
2024-08-03 07:51
12K
filter_0__t69_filter_0
2024-07-26 20:17
14K
filter_0__t69_filter_0.depv1
2024-08-03 10:19
54
filter_0__t69_filter_0.depvmin1
2024-08-03 10:24
54
filter_0__t69_filter_0.vmin1
2024-08-03 10:19
1.7K
filter_0__t69_filter_0.vmin1out
2024-08-03 10:21
41K
filter_0__t69_filter_0.vout
2024-08-03 06:41
41K
filter_0__t70_filter_0
2024-07-26 21:23
16K
filter_0__t70_filter_0.vout
2024-08-03 10:11
2.0K
filter_0__t71_filter_0
2024-07-26 20:18
13K
filter_0__t71_filter_0.depv1
2024-08-03 10:19
128
filter_0__t71_filter_0.depvmin1
2024-08-03 10:24
128
filter_0__t71_filter_0.vmin1
2024-08-03 10:19
2.1K
filter_0__t71_filter_0.vmin1out
2024-08-03 10:20
28K
filter_0__t71_filter_0.vout
2024-08-03 05:11
17K
filter_0__t72_filter_0
2024-07-26 20:19
16K
filter_0__t72_filter_0.depv1
2024-08-03 10:19
61
filter_0__t72_filter_0.depvmin1
2024-08-03 10:24
61
filter_0__t72_filter_0.vmin1
2024-08-03 10:19
2.2K
filter_0__t72_filter_0.vmin1out
2024-08-03 10:21
43K
filter_0__t72_filter_0.vout
2024-08-03 04:10
51K
filter_0__t73_filter_0
2024-07-26 21:24
13K
filter_0__t73_filter_0.depv1
2024-08-03 10:19
130
filter_0__t73_filter_0.depvmin1
2024-08-03 10:24
130
filter_0__t73_filter_0.vmin1
2024-08-03 10:19
2.3K
filter_0__t73_filter_0.vmin1out
2024-08-03 10:20
18K
filter_0__t73_filter_0.vout
2024-08-03 07:53
19K
filter_0__t74_filter_0
2024-07-26 21:25
13K
filter_0__t74_filter_0.depv1
2024-08-03 10:19
195
filter_0__t74_filter_0.depvmin1
2024-08-03 10:24
155
filter_0__t74_filter_0.vmin1
2024-08-03 10:19
3.3K
filter_0__t74_filter_0.vmin1out
2024-08-03 10:23
20K
filter_0__t74_filter_0.vout
2024-08-03 10:18
55K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80