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