Index of /~mptp/mml5.63.1382/MPTP2/problems_small/realalg1
Name
Last modified
Size
Description
Parent Directory
-
realalg1__t45_realalg1.vout
2021-07-25 16:37
7.3K
realalg1__t45_realalg1
2021-07-18 11:05
202K
realalg1__t44_realalg1.vout
2021-07-25 17:14
94K
realalg1__t44_realalg1.vmin1out
2021-07-25 21:01
53K
realalg1__t44_realalg1.vmin1
2021-07-25 20:57
6.1K
realalg1__t44_realalg1.depvmin1
2021-07-25 21:03
226
realalg1__t44_realalg1.depv1
2021-07-25 20:57
240
realalg1__t44_realalg1
2021-07-18 10:46
101K
realalg1__t43_realalg1.vout
2021-07-25 19:40
88K
realalg1__t43_realalg1.vmin1out
2021-07-25 21:01
50K
realalg1__t43_realalg1.vmin1
2021-07-25 20:57
5.3K
realalg1__t43_realalg1.depvmin1
2021-07-25 21:03
197
realalg1__t43_realalg1.depv1
2021-07-25 20:57
211
realalg1__t43_realalg1
2021-07-18 10:45
99K
realalg1__t42_realalg1.vout
2021-07-25 19:34
93K
realalg1__t42_realalg1.vmin1out
2021-07-25 20:59
52K
realalg1__t42_realalg1.vmin1
2021-07-25 20:57
6.1K
realalg1__t42_realalg1.depvmin1
2021-07-25 21:03
225
realalg1__t42_realalg1.depv1
2021-07-25 20:57
239
realalg1__t42_realalg1
2021-07-18 10:45
99K
realalg1__t41_realalg1.vout
2021-07-25 15:00
88K
realalg1__t41_realalg1.vmin1out
2021-07-25 21:02
50K
realalg1__t41_realalg1.vmin1
2021-07-25 20:57
5.3K
realalg1__t41_realalg1.depvmin1
2021-07-25 21:03
196
realalg1__t41_realalg1.depv1
2021-07-25 20:57
210
realalg1__t41_realalg1
2021-07-18 10:44
97K
realalg1__t40_realalg1.vout
2021-07-25 16:41
4.8K
realalg1__t40_realalg1
2021-07-18 11:04
143K
realalg1__t39_realalg1.vout
2021-07-25 14:57
11K
realalg1__t39_realalg1.vmin1out
2021-07-25 21:02
11K
realalg1__t39_realalg1.vmin1
2021-07-25 20:57
1.3K
realalg1__t39_realalg1.depvmin1
2021-07-25 21:03
111
realalg1__t39_realalg1.depv1
2021-07-25 20:57
111
realalg1__t39_realalg1
2021-07-18 10:43
88K
realalg1__t38_realalg1.vout
2021-07-25 16:22
4.8K
realalg1__t38_realalg1
2021-07-18 11:03
147K
realalg1__t37_realalg1.vout
2021-07-25 16:47
12K
realalg1__t37_realalg1.vmin1out
2021-07-25 20:58
14K
realalg1__t37_realalg1.vmin1
2021-07-25 20:57
1.6K
realalg1__t37_realalg1.depvmin1
2021-07-25 21:03
113
realalg1__t37_realalg1.depv1
2021-07-25 20:57
113
realalg1__t37_realalg1
2021-07-18 10:42
88K
realalg1__t36_realalg1.vout
2021-07-25 15:47
4.2K
realalg1__t36_realalg1
2021-07-18 11:03
111K
realalg1__t35_realalg1.vout
2021-07-25 17:22
12K
realalg1__t35_realalg1.vmin1out
2021-07-25 20:59
13K
realalg1__t35_realalg1.vmin1
2021-07-25 20:57
1.5K
realalg1__t35_realalg1.depvmin1
2021-07-25 21:03
123
realalg1__t35_realalg1.depv1
2021-07-25 20:57
123
realalg1__t35_realalg1
2021-07-18 10:42
91K
realalg1__t34_realalg1.vout
2021-07-25 19:33
16K
realalg1__t34_realalg1.vmin1out
2021-07-25 20:59
16K
realalg1__t34_realalg1.vmin1
2021-07-25 20:57
1.6K
realalg1__t34_realalg1.depvmin1
2021-07-25 21:03
124
realalg1__t34_realalg1.depv1
2021-07-25 20:57
124
realalg1__t34_realalg1
2021-07-18 11:02
94K
realalg1__t33_realalg1.vout
2021-07-25 20:56
16K
realalg1__t33_realalg1.vmin1out
2021-07-25 20:58
16K
realalg1__t33_realalg1.vmin1
2021-07-25 20:57
1.6K
realalg1__t33_realalg1.depvmin1
2021-07-25 21:03
124
realalg1__t33_realalg1.depv1
2021-07-25 20:57
124
realalg1__t33_realalg1
2021-07-18 11:01
90K
realalg1__t32_realalg1.vout
2021-07-25 20:54
62K
realalg1__t32_realalg1.vmin1out
2021-07-25 20:58
47K
realalg1__t32_realalg1.vmin1
2021-07-25 20:57
2.9K
realalg1__t32_realalg1.depvmin1
2021-07-25 21:03
84
realalg1__t32_realalg1.depv1
2021-07-25 20:57
84
realalg1__t32_realalg1
2021-07-18 10:41
93K
realalg1__t31_realalg1.vout
2021-07-25 19:51
63K
realalg1__t31_realalg1.vmin1out
2021-07-25 21:01
45K
realalg1__t31_realalg1.vmin1
2021-07-25 20:57
3.1K
realalg1__t31_realalg1.depvmin1
2021-07-25 21:03
98
realalg1__t31_realalg1.depv1
2021-07-25 20:57
98
realalg1__t31_realalg1
2021-07-18 10:40
92K
realalg1__t30_realalg1.vout
2021-07-25 18:38
44K
realalg1__t30_realalg1.vmin1out
2021-07-25 21:01
32K
realalg1__t30_realalg1.vmin1
2021-07-25 20:57
1.9K
realalg1__t30_realalg1.depvmin1
2021-07-25 21:03
56
realalg1__t30_realalg1.depv1
2021-07-25 20:57
56
realalg1__t30_realalg1
2021-07-18 10:39
88K
realalg1__t29_realalg1.vout
2021-07-25 19:33
4.2K
realalg1__t29_realalg1
2021-07-18 11:00
103K
realalg1__t28_realalg1.vout
2021-07-25 19:38
5.3K
realalg1__t28_realalg1
2021-07-18 10:59
149K
realalg1__t27_realalg1.vout
2021-07-25 16:58
4.2K
realalg1__t27_realalg1
2021-07-18 10:58
113K
realalg1__t26_realalg1.vout
2021-07-25 18:40
3.7K
realalg1__t26_realalg1
2021-07-18 10:57
107K
realalg1__t25_realalg1.vout
2021-07-25 18:07
4.2K
realalg1__t25_realalg1
2021-07-18 10:57
88K
realalg1__t24_realalg1.vout
2021-07-25 14:30
4.2K
realalg1__t24_realalg1
2021-07-18 10:56
85K
realalg1__t23_realalg1.vout
2021-07-25 18:08
3.7K
realalg1__t23_realalg1
2021-07-18 10:55
106K
realalg1__t22_realalg1.vout
2021-07-25 18:01
3.7K
realalg1__t22_realalg1
2021-07-18 10:54
108K
realalg1__t21_realalg1.vout
2021-07-25 15:25
3.7K
realalg1__t21_realalg1
2021-07-18 10:53
108K
realalg1__t20_realalg1.vout
2021-07-25 17:48
4.2K
realalg1__t20_realalg1
2021-07-18 10:53
105K
realalg1__t19_realalg1.vout
2021-07-25 16:27
4.2K
realalg1__t19_realalg1
2021-07-18 10:52
101K
realalg1__t18_realalg1.vout
2021-07-25 16:14
5.3K
realalg1__t18_realalg1
2021-07-18 10:51
84K
realalg1__t17_realalg1.vout
2021-07-25 19:08
37K
realalg1__t17_realalg1.vmin1out
2021-07-25 21:01
20K
realalg1__t17_realalg1.vmin1
2021-07-25 20:57
2.2K
realalg1__t17_realalg1.depvmin1
2021-07-25 21:03
201
realalg1__t17_realalg1.depv1
2021-07-25 20:57
201
realalg1__t17_realalg1
2021-07-18 10:38
83K
realalg1__t16_realalg1.vout
2021-07-25 16:21
7.3K
realalg1__t16_realalg1
2021-07-18 10:50
44K
realalg1__t15_realalg1.vout
2021-07-25 18:34
7.9K
realalg1__t15_realalg1
2021-07-18 10:50
45K
realalg1__t14_realalg1.vout
2021-07-25 16:59
28K
realalg1__t14_realalg1.vmin1out
2021-07-25 21:01
27K
realalg1__t14_realalg1.vmin1
2021-07-25 20:57
1.7K
realalg1__t14_realalg1.depvmin1
2021-07-25 21:03
123
realalg1__t14_realalg1.depv1
2021-07-25 20:57
123
realalg1__t14_realalg1
2021-07-18 10:49
40K
realalg1__t13_realalg1.vout
2021-07-25 19:45
6.8K
realalg1__t13_realalg1
2021-07-18 11:13
140K
realalg1__t12_realalg1.vout
2021-07-25 18:46
6.8K
realalg1__t12_realalg1
2021-07-18 11:12
134K
realalg1__t11_realalg1.vout
2021-07-25 15:35
3.7K
realalg1__t11_realalg1
2021-07-18 11:11
109K
realalg1__t10_realalg1.vout
2021-07-25 16:05
3.7K
realalg1__t10_realalg1
2021-07-18 11:10
111K
realalg1__t9_realalg1.vout
2021-07-25 15:43
3.7K
realalg1__t9_realalg1
2021-07-18 11:10
112K
realalg1__t8_realalg1.vout
2021-07-25 20:19
3.7K
realalg1__t8_realalg1
2021-07-18 11:09
112K
realalg1__t7_realalg1.vout
2021-07-25 20:00
3.7K
realalg1__t7_realalg1
2021-07-18 11:08
109K
realalg1__t6_realalg1.vout
2021-07-25 16:45
7.3K
realalg1__t6_realalg1
2021-07-18 11:07
121K
realalg1__t5_realalg1.vout
2021-07-25 15:18
32K
realalg1__t5_realalg1.vmin1out
2021-07-25 20:58
54K
realalg1__t5_realalg1.vmin1
2021-07-25 20:57
2.3K
realalg1__t5_realalg1.depvmin1
2021-07-25 21:03
143
realalg1__t5_realalg1.depv1
2021-07-25 20:57
143
realalg1__t5_realalg1
2021-07-18 11:06
89K
realalg1__t4_realalg1.vout
2021-07-25 19:03
13K
realalg1__t4_realalg1.vmin1out
2021-07-25 20:57
13K
realalg1__t4_realalg1.vmin1
2021-07-25 20:57
1.2K
realalg1__t4_realalg1.depvmin1
2021-07-25 21:03
101
realalg1__t4_realalg1.depv1
2021-07-25 20:57
101
realalg1__t4_realalg1
2021-07-18 10:38
36K
realalg1__t3_realalg1.vout
2021-07-25 17:06
17K
realalg1__t3_realalg1.vmin1out
2021-07-25 20:58
15K
realalg1__t3_realalg1.vmin1
2021-07-25 20:57
1.2K
realalg1__t3_realalg1.depvmin1
2021-07-25 21:03
80
realalg1__t3_realalg1.depv1
2021-07-25 20:57
80
realalg1__t3_realalg1
2021-07-18 10:49
36K
realalg1__t2_realalg1.vout
2021-07-25 17:52
16K
realalg1__t2_realalg1.vmin1out
2021-07-25 21:01
11K
realalg1__t2_realalg1.vmin1
2021-07-25 20:57
1.3K
realalg1__t2_realalg1.depvmin1
2021-07-25 21:03
80
realalg1__t2_realalg1.depv1
2021-07-25 20:57
116
realalg1__t2_realalg1
2021-07-18 10:48
36K
realalg1__t1_realalg1.vout
2021-07-25 16:02
9.8K
realalg1__t1_realalg1.vmin1out
2021-07-25 21:01
9.7K
realalg1__t1_realalg1.vmin1
2021-07-25 20:57
1.0K
realalg1__t1_realalg1.depvmin1
2021-07-25 21:03
101
realalg1__t1_realalg1.depv1
2021-07-25 20:57
101
realalg1__t1_realalg1
2021-07-18 10:37
36K
realalg1__l86_realalg1.vout
2021-07-25 15:43
6.8K
realalg1__l86_realalg1
2021-07-18 11:25
138K
realalg1__l85_realalg1.vout
2021-07-25 16:15
3.7K
realalg1__l85_realalg1
2021-07-18 11:24
132K
realalg1__l81_realalg1.vout
2021-07-25 15:42
4.7K
realalg1__l81_realalg1
2021-07-18 11:22
129K
realalg1__l68_realalg1.vout
2021-07-25 16:42
3.7K
realalg1__l68_realalg1
2021-07-18 11:21
110K
realalg1__l67_realalg1.vout
2021-07-25 19:56
3.7K
realalg1__l67_realalg1
2021-07-18 11:20
126K
realalg1__l53_realalg1.vout
2021-07-25 15:40
10K
realalg1__l53_realalg1
2021-07-18 11:20
88K
realalg1__l52_realalg1.vout
2021-07-25 20:52
3.7K
realalg1__l52_realalg1
2021-07-18 11:23
141K
realalg1__l43_realalg1.vout
2021-07-25 15:19
7.3K
realalg1__l43_realalg1
2021-07-18 11:19
127K
realalg1__l42_realalg1.vout
2021-07-25 20:48
4.2K
realalg1__l42_realalg1
2021-07-18 11:18
84K
realalg1__l41_realalg1.vout
2021-07-25 19:39
7.3K
realalg1__l41_realalg1
2021-07-18 11:18
102K
realalg1__l36_realalg1.vout
2021-07-25 20:25
30K
realalg1__l36_realalg1.vmin1out
2021-07-25 21:02
14K
realalg1__l36_realalg1.vmin1
2021-07-25 20:57
1.9K
realalg1__l36_realalg1.depvmin1
2021-07-25 21:03
144
realalg1__l36_realalg1.depv1
2021-07-25 20:57
144
realalg1__l36_realalg1
2021-07-18 10:48
81K
realalg1__l35_realalg1.vout
2021-07-25 16:15
25K
realalg1__l35_realalg1.vmin1out
2021-07-25 20:59
13K
realalg1__l35_realalg1.vmin1
2021-07-25 20:57
1.6K
realalg1__l35_realalg1.depvmin1
2021-07-25 21:03
143
realalg1__l35_realalg1.depv1
2021-07-25 20:57
143
realalg1__l35_realalg1
2021-07-18 10:47
81K
realalg1__l32_realalg1.vout
2021-07-25 18:02
7.4K
realalg1__l32_realalg1
2021-07-18 11:17
124K
realalg1__l31_realalg1.vout
2021-07-25 19:31
5.8K
realalg1__l31_realalg1
2021-07-18 11:16
87K
realalg1__l30_realalg1.vout
2021-07-25 16:44
5.8K
realalg1__l30_realalg1
2021-07-18 11:16
92K
realalg1__l29_realalg1.vout
2021-07-25 15:50
5.8K
realalg1__l29_realalg1
2021-07-18 11:15
117K
realalg1__l28_realalg1.vout
2021-07-25 16:11
5.8K
realalg1__l28_realalg1
2021-07-18 11:14
97K
realalg1__l13_realalg1.vout
2021-07-25 17:40
3.7K
realalg1__l13_realalg1
2021-07-18 11:22
100K
realalg1__l9_realalg1.vout
2021-07-25 19:45
4.7K
realalg1__l9_realalg1
2021-07-18 11:14
227K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80