Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/filter_1
Name
Last modified
Size
Description
Parent Directory
-
filter_1__l65_filter_1
2024-07-28 08:36
26K
filter_1__l65_filter_1.vout
2024-08-03 10:11
2.0K
filter_1__l67_filter_1
2024-07-28 08:37
26K
filter_1__l67_filter_1.vout
2024-08-03 07:03
2.0K
filter_1__l69_filter_1
2024-07-28 08:38
23K
filter_1__l69_filter_1.vout
2024-08-03 10:00
2.0K
filter_1__l71_filter_1
2024-07-28 08:39
32K
filter_1__l71_filter_1.vout
2024-08-03 07:35
4.7K
filter_1__t1_filter_1
2024-07-28 07:27
25K
filter_1__t1_filter_1.vout
2024-08-03 05:03
7.3K
filter_1__t2_filter_1
2024-07-28 07:29
21K
filter_1__t2_filter_1.depv1
2024-08-03 10:19
136
filter_1__t2_filter_1.depvmin1
2024-08-03 10:24
114
filter_1__t2_filter_1.vmin1
2024-08-03 10:20
1.7K
filter_1__t2_filter_1.vmin1out
2024-08-03 10:22
15K
filter_1__t2_filter_1.vout
2024-08-03 06:03
34K
filter_1__t3_filter_1
2024-07-28 07:29
17K
filter_1__t3_filter_1.vout
2024-08-03 05:28
7.3K
filter_1__t4_filter_1
2024-07-28 07:30
17K
filter_1__t4_filter_1.vout
2024-08-03 07:29
2.0K
filter_1__t5_filter_1
2024-07-28 07:31
18K
filter_1__t5_filter_1.vout
2024-08-03 10:10
2.0K
filter_1__t6_filter_1
2024-07-28 07:32
17K
filter_1__t6_filter_1.vout
2024-08-03 09:16
2.0K
filter_1__t7_filter_1
2024-07-28 07:33
17K
filter_1__t7_filter_1.vout
2024-08-03 05:23
2.0K
filter_1__t8_filter_1
2024-07-28 07:20
17K
filter_1__t8_filter_1.vout
2024-08-03 08:25
2.0K
filter_1__t9_filter_1
2024-07-28 07:34
19K
filter_1__t9_filter_1.vout
2024-08-03 09:00
2.0K
filter_1__t10_filter_1
2024-07-28 07:35
19K
filter_1__t10_filter_1.vout
2024-08-03 10:06
2.0K
filter_1__t11_filter_1
2024-07-28 07:21
18K
filter_1__t11_filter_1.vout
2024-08-03 09:51
2.0K
filter_1__t12_filter_1
2024-07-28 07:36
18K
filter_1__t12_filter_1.vout
2024-08-03 09:21
2.0K
filter_1__t13_filter_1
2024-07-28 07:37
32K
filter_1__t13_filter_1.vout
2024-08-03 04:43
7.4K
filter_1__t14_filter_1
2024-07-28 07:39
29K
filter_1__t14_filter_1.vout
2024-08-03 08:50
7.3K
filter_1__t15_filter_1
2024-07-28 07:40
35K
filter_1__t15_filter_1.vout
2024-08-03 08:56
4.7K
filter_1__t16_filter_1
2024-07-28 07:42
39K
filter_1__t16_filter_1.vout
2024-08-03 07:38
4.7K
filter_1__t17_filter_1
2024-07-28 07:43
26K
filter_1__t17_filter_1.vout
2024-08-03 05:16
4.7K
filter_1__t18_filter_1
2024-07-28 07:45
35K
filter_1__t18_filter_1.vout
2024-08-03 09:37
4.7K
filter_1__t19_filter_1
2024-07-28 07:46
35K
filter_1__t19_filter_1.vout
2024-08-03 05:43
4.7K
filter_1__t20_filter_1
2024-07-28 07:48
39K
filter_1__t20_filter_1.vout
2024-08-03 05:14
4.7K
filter_1__t21_filter_1
2024-07-28 07:49
14K
filter_1__t21_filter_1.vout
2024-08-03 05:04
6.8K
filter_1__t22_filter_1
2024-07-28 07:50
15K
filter_1__t22_filter_1.vout
2024-08-03 05:30
7.3K
filter_1__t23_filter_1
2024-07-28 07:51
15K
filter_1__t23_filter_1.vout
2024-08-03 07:16
7.3K
filter_1__t24_filter_1
2024-07-28 07:52
15K
filter_1__t24_filter_1.vout
2024-08-03 09:49
7.3K
filter_1__t25_filter_1
2024-07-28 07:53
15K
filter_1__t25_filter_1.vout
2024-08-03 06:47
7.3K
filter_1__t26_filter_1
2024-07-28 07:21
15K
filter_1__t26_filter_1.depv1
2024-08-03 10:19
76
filter_1__t26_filter_1.depvmin1
2024-08-03 10:24
65
filter_1__t26_filter_1.vmin1
2024-08-03 10:20
2.9K
filter_1__t26_filter_1.vmin1out
2024-08-03 10:20
65K
filter_1__t26_filter_1.vout
2024-08-03 09:03
81K
filter_1__t27_filter_1
2024-07-28 07:54
17K
filter_1__t27_filter_1.vout
2024-08-03 09:55
7.3K
filter_1__t28_filter_1
2024-07-28 07:55
17K
filter_1__t28_filter_1.vout
2024-08-03 10:16
6.8K
filter_1__t29_filter_1
2024-07-28 07:22
17K
filter_1__t29_filter_1.vout
2024-08-03 06:19
2.0K
filter_1__t30_filter_1
2024-07-28 07:56
15K
filter_1__t30_filter_1.vout
2024-08-03 05:18
6.8K
filter_1__t31_filter_1
2024-07-28 07:57
9.2K
filter_1__t31_filter_1.depv1
2024-08-03 10:19
172
filter_1__t31_filter_1.depvmin1
2024-08-03 10:24
152
filter_1__t31_filter_1.vmin1
2024-08-03 10:20
1.7K
filter_1__t31_filter_1.vmin1out
2024-08-03 10:21
23K
filter_1__t31_filter_1.vout
2024-08-03 06:28
40K
filter_1__t32_filter_1
2024-07-28 07:58
11K
filter_1__t32_filter_1.vout
2024-08-03 09:39
7.3K
filter_1__t33_filter_1
2024-07-28 07:23
10K
filter_1__t33_filter_1.depv1
2024-08-03 10:19
65
filter_1__t33_filter_1.depvmin1
2024-08-03 10:24
53
filter_1__t33_filter_1.vmin1
2024-08-03 10:20
1.1K
filter_1__t33_filter_1.vmin1out
2024-08-03 10:20
13K
filter_1__t33_filter_1.vout
2024-08-03 06:35
26K
filter_1__t34_filter_1
2024-07-28 08:00
25K
filter_1__t34_filter_1.vout
2024-08-03 09:46
7.3K
filter_1__t35_filter_1
2024-07-28 07:24
28K
filter_1__t35_filter_1.vout
2024-08-03 07:58
7.4K
filter_1__t36_filter_1
2024-07-28 08:01
28K
filter_1__t36_filter_1.vout
2024-08-03 10:02
7.3K
filter_1__t37_filter_1
2024-07-28 08:03
30K
filter_1__t37_filter_1.vout
2024-08-03 04:55
7.3K
filter_1__t38_filter_1
2024-07-28 08:04
27K
filter_1__t38_filter_1.vout
2024-08-03 09:11
7.4K
filter_1__t39_filter_1
2024-07-28 08:06
27K
filter_1__t39_filter_1.vout
2024-08-03 08:17
7.4K
filter_1__t40_filter_1
2024-07-28 08:07
27K
filter_1__t40_filter_1.vout
2024-08-03 05:19
7.4K
filter_1__t41_filter_1
2024-07-28 07:25
23K
filter_1__t41_filter_1.depv1
2024-08-03 10:19
93
filter_1__t41_filter_1.depvmin1
2024-08-03 10:24
93
filter_1__t41_filter_1.vmin1
2024-08-03 10:20
1.6K
filter_1__t41_filter_1.vmin1out
2024-08-03 10:23
33K
filter_1__t41_filter_1.vout
2024-08-03 08:20
36K
filter_1__t42_filter_1
2024-07-28 08:09
28K
filter_1__t42_filter_1.vout
2024-08-03 07:36
4.7K
filter_1__t43_filter_1
2024-07-28 08:10
28K
filter_1__t43_filter_1.vout
2024-08-03 05:32
4.7K
filter_1__t44_filter_1
2024-07-28 08:11
31K
filter_1__t44_filter_1.vout
2024-08-03 08:17
7.4K
filter_1__t45_filter_1
2024-07-28 08:13
28K
filter_1__t45_filter_1.vout
2024-08-03 06:03
7.3K
filter_1__t46_filter_1
2024-07-28 08:14
27K
filter_1__t46_filter_1.depv1
2024-08-03 10:19
106
filter_1__t46_filter_1.depvmin1
2024-08-03 10:24
106
filter_1__t46_filter_1.vmin1
2024-08-03 10:20
2.7K
filter_1__t46_filter_1.vmin1out
2024-08-03 10:21
59K
filter_1__t46_filter_1.vout
2024-08-03 08:59
57K
filter_1__t47_filter_1
2024-07-28 08:15
32K
filter_1__t47_filter_1.vout
2024-08-03 05:01
7.3K
filter_1__t48_filter_1
2024-07-28 07:26
23K
filter_1__t48_filter_1.vout
2024-08-03 06:19
7.4K
filter_1__t49_filter_1
2024-07-28 08:17
35K
filter_1__t49_filter_1.vout
2024-08-03 06:49
4.2K
filter_1__t50_filter_1
2024-07-28 08:18
27K
filter_1__t50_filter_1.vout
2024-08-03 08:05
2.0K
filter_1__t51_filter_1
2024-07-28 08:20
27K
filter_1__t51_filter_1.vout
2024-08-03 05:22
2.0K
filter_1__t52_filter_1
2024-07-28 08:21
32K
filter_1__t52_filter_1.vout
2024-08-03 04:58
4.7K
filter_1__t53_filter_1
2024-07-28 08:22
29K
filter_1__t53_filter_1.vout
2024-08-03 10:11
2.0K
filter_1__t54_filter_1
2024-07-28 08:24
28K
filter_1__t54_filter_1.vout
2024-08-03 10:14
4.7K
filter_1__t55_filter_1
2024-07-28 08:25
27K
filter_1__t55_filter_1.vout
2024-08-03 05:58
7.3K
filter_1__t56_filter_1
2024-07-28 08:26
27K
filter_1__t56_filter_1.vout
2024-08-03 07:18
7.3K
filter_1__t57_filter_1
2024-07-28 08:27
23K
filter_1__t57_filter_1.vout
2024-08-03 08:03
7.4K
filter_1__t58_filter_1
2024-07-28 08:29
27K
filter_1__t58_filter_1.vout
2024-08-03 05:01
2.0K
filter_1__t59_filter_1
2024-07-28 08:30
29K
filter_1__t59_filter_1.depv1
2024-08-03 10:19
148
filter_1__t59_filter_1.depvmin1
2024-08-03 10:24
148
filter_1__t59_filter_1.vmin1
2024-08-03 10:20
3.4K
filter_1__t59_filter_1.vmin1out
2024-08-03 10:20
30K
filter_1__t59_filter_1.vout
2024-08-03 08:18
44K
filter_1__t60_filter_1
2024-07-28 08:32
38K
filter_1__t60_filter_1.vout
2024-08-03 05:21
7.3K
filter_1__t61_filter_1
2024-07-28 08:34
67K
filter_1__t61_filter_1.vout
2024-08-03 07:24
4.2K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80