Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/msaterm
Name
Last modified
Size
Description
Parent Directory
-
msaterm__l1_msaterm
2024-07-28 00:39
37K
msaterm__l1_msaterm.vout
2024-08-03 05:26
7.3K
msaterm__l2_msaterm
2024-07-28 00:40
30K
msaterm__l2_msaterm.vout
2024-08-03 05:00
7.3K
msaterm__l6_msaterm
2024-07-28 00:42
37K
msaterm__l6_msaterm.vout
2024-08-03 06:26
7.3K
msaterm__l7_msaterm
2024-07-28 00:44
42K
msaterm__l7_msaterm.vout
2024-08-03 08:54
7.3K
msaterm__l8_msaterm
2024-07-28 00:45
32K
msaterm__l8_msaterm.depv1
2024-08-03 10:19
170
msaterm__l8_msaterm.depvmin1
2024-08-03 10:24
170
msaterm__l8_msaterm.vmin1
2024-08-03 10:20
2.8K
msaterm__l8_msaterm.vmin1out
2024-08-03 10:21
34K
msaterm__l8_msaterm.vout
2024-08-03 08:37
39K
msaterm__l9_msaterm
2024-07-28 00:47
24K
msaterm__l9_msaterm.depv1
2024-08-03 10:19
229
msaterm__l9_msaterm.depvmin1
2024-08-03 10:24
229
msaterm__l9_msaterm.vmin1
2024-08-03 10:20
2.4K
msaterm__l9_msaterm.vmin1out
2024-08-03 10:20
37K
msaterm__l9_msaterm.vout
2024-08-03 07:03
38K
msaterm__l24_msaterm
2024-07-27 23:16
13K
msaterm__l24_msaterm.depv1
2024-08-03 10:19
32
msaterm__l24_msaterm.depvmin1
2024-08-03 10:24
32
msaterm__l24_msaterm.vmin1
2024-08-03 10:20
159
msaterm__l24_msaterm.vmin1out
2024-08-03 10:20
1.7K
msaterm__l24_msaterm.vout
2024-08-03 06:27
1.7K
msaterm__l34_msaterm
2024-07-28 00:49
52K
msaterm__l34_msaterm.vout
2024-08-03 05:47
4.7K
msaterm__l44_msaterm
2024-07-28 00:50
24K
msaterm__l44_msaterm.vout
2024-08-03 06:50
7.3K
msaterm__t1_msaterm
2024-07-27 23:18
53K
msaterm__t1_msaterm.vout
2024-08-03 09:52
7.3K
msaterm__t2_msaterm
2024-07-27 23:20
46K
msaterm__t2_msaterm.vout
2024-08-03 04:52
7.3K
msaterm__t3_msaterm
2024-07-27 23:22
49K
msaterm__t3_msaterm.vout
2024-08-03 07:23
7.3K
msaterm__t4_msaterm
2024-07-27 23:23
36K
msaterm__t4_msaterm.vout
2024-08-03 08:45
7.3K
msaterm__t5_msaterm
2024-07-27 23:25
37K
msaterm__t5_msaterm.depv1
2024-08-03 10:19
338
msaterm__t5_msaterm.depvmin1
2024-08-03 10:24
217
msaterm__t5_msaterm.vmin1
2024-08-03 10:20
4.6K
msaterm__t5_msaterm.vmin1out
2024-08-03 10:21
53K
msaterm__t5_msaterm.vout
2024-08-03 08:58
45K
msaterm__t6_msaterm
2024-07-27 23:27
41K
msaterm__t6_msaterm.vout
2024-08-03 07:22
4.7K
msaterm__t7_msaterm
2024-07-27 23:29
40K
msaterm__t7_msaterm.vout
2024-08-03 06:27
4.7K
msaterm__t8_msaterm
2024-07-27 23:30
41K
msaterm__t8_msaterm.vout
2024-08-03 06:56
4.7K
msaterm__t9_msaterm
2024-07-27 23:32
39K
msaterm__t9_msaterm.vout
2024-08-03 08:41
4.7K
msaterm__t10_msaterm
2024-07-27 23:34
43K
msaterm__t10_msaterm.vout
2024-08-03 08:41
4.7K
msaterm__t11_msaterm
2024-07-27 23:36
47K
msaterm__t11_msaterm.vout
2024-08-03 04:58
7.3K
msaterm__t12_msaterm
2024-07-27 23:11
31K
msaterm__t12_msaterm.depv1
2024-08-03 10:19
47
msaterm__t12_msaterm.depvmin1
2024-08-03 10:24
47
msaterm__t12_msaterm.vmin1
2024-08-03 10:20
1.1K
msaterm__t12_msaterm.vmin1out
2024-08-03 10:23
12K
msaterm__t12_msaterm.vout
2024-08-03 07:12
17K
msaterm__t13_msaterm
2024-07-27 23:38
37K
msaterm__t13_msaterm.vout
2024-08-03 09:09
7.3K
msaterm__t14_msaterm
2024-07-27 23:40
44K
msaterm__t14_msaterm.vout
2024-08-03 09:48
7.3K
msaterm__t15_msaterm
2024-07-27 23:42
40K
msaterm__t15_msaterm.vout
2024-08-03 09:50
4.7K
msaterm__t16_msaterm
2024-07-27 23:43
40K
msaterm__t16_msaterm.vout
2024-08-03 06:31
4.7K
msaterm__t17_msaterm
2024-07-27 23:45
41K
msaterm__t17_msaterm.vout
2024-08-03 07:46
7.3K
msaterm__t18_msaterm
2024-07-27 23:13
39K
msaterm__t18_msaterm.depv1
2024-08-03 10:19
282
msaterm__t18_msaterm.depvmin1
2024-08-03 10:24
190
msaterm__t18_msaterm.vmin1
2024-08-03 10:20
4.8K
msaterm__t18_msaterm.vmin1out
2024-08-03 10:23
65K
msaterm__t18_msaterm.vout
2024-08-03 10:09
55K
msaterm__t19_msaterm
2024-07-27 23:47
41K
msaterm__t19_msaterm.vout
2024-08-03 06:02
4.7K
msaterm__t20_msaterm
2024-07-27 23:49
50K
msaterm__t20_msaterm.vout
2024-08-03 08:48
4.7K
msaterm__t21_msaterm
2024-07-27 23:51
38K
msaterm__t21_msaterm.depv1
2024-08-03 10:19
98
msaterm__t21_msaterm.depvmin1
2024-08-03 10:24
98
msaterm__t21_msaterm.vmin1
2024-08-03 10:20
3.0K
msaterm__t21_msaterm.vmin1out
2024-08-03 10:22
49K
msaterm__t21_msaterm.vout
2024-08-03 05:23
58K
msaterm__t22_msaterm
2024-07-27 23:52
43K
msaterm__t22_msaterm.depv1
2024-08-03 10:19
24
msaterm__t22_msaterm.depvmin1
2024-08-03 10:24
24
msaterm__t22_msaterm.vmin1
2024-08-03 10:20
1.5K
msaterm__t22_msaterm.vmin1out
2024-08-03 10:20
30K
msaterm__t22_msaterm.vout
2024-08-03 05:21
38K
msaterm__t23_msaterm
2024-07-27 23:54
44K
msaterm__t23_msaterm.depv1
2024-08-03 10:19
24
msaterm__t23_msaterm.depvmin1
2024-08-03 10:24
24
msaterm__t23_msaterm.vmin1
2024-08-03 10:20
1.6K
msaterm__t23_msaterm.vmin1out
2024-08-03 10:22
42K
msaterm__t23_msaterm.vout
2024-08-03 05:59
21K
msaterm__t24_msaterm
2024-07-27 23:56
54K
msaterm__t24_msaterm.vout
2024-08-03 09:27
6.8K
msaterm__t25_msaterm
2024-07-27 23:58
46K
msaterm__t25_msaterm.vout
2024-08-03 04:55
7.3K
msaterm__t26_msaterm
2024-07-28 00:00
55K
msaterm__t26_msaterm.vout
2024-08-03 07:28
7.3K
msaterm__t27_msaterm
2024-07-27 23:15
36K
msaterm__t27_msaterm.depv1
2024-08-03 10:19
132
msaterm__t27_msaterm.depvmin1
2024-08-03 10:24
132
msaterm__t27_msaterm.vmin1
2024-08-03 10:20
2.8K
msaterm__t27_msaterm.vmin1out
2024-08-03 10:21
55K
msaterm__t27_msaterm.vout
2024-08-03 04:30
40K
msaterm__t28_msaterm
2024-07-28 00:02
37K
msaterm__t28_msaterm.depv1
2024-08-03 10:19
57
msaterm__t28_msaterm.depvmin1
2024-08-03 10:24
57
msaterm__t28_msaterm.vmin1
2024-08-03 10:20
2.3K
msaterm__t28_msaterm.vmin1out
2024-08-03 10:20
37K
msaterm__t28_msaterm.vout
2024-08-03 05:55
33K
msaterm__t29_msaterm
2024-07-28 00:05
64K
msaterm__t29_msaterm.vout
2024-08-03 05:35
4.7K
msaterm__t30_msaterm
2024-07-28 00:06
22K
msaterm__t30_msaterm.depv1
2024-08-03 10:19
195
msaterm__t30_msaterm.depvmin1
2024-08-03 10:24
176
msaterm__t30_msaterm.vmin1
2024-08-03 10:20
3.0K
msaterm__t30_msaterm.vmin1out
2024-08-03 10:23
38K
msaterm__t30_msaterm.vout
2024-08-03 08:39
45K
msaterm__t31_msaterm
2024-07-28 00:08
52K
msaterm__t31_msaterm.vout
2024-08-03 04:56
4.7K
msaterm__t32_msaterm
2024-07-28 00:10
52K
msaterm__t32_msaterm.vout
2024-08-03 08:20
4.7K
msaterm__t33_msaterm
2024-07-28 00:13
73K
msaterm__t33_msaterm.vout
2024-08-03 05:46
6.8K
msaterm__t34_msaterm
2024-07-28 00:16
57K
msaterm__t34_msaterm.vout
2024-08-03 10:03
4.7K
msaterm__t35_msaterm
2024-07-28 00:18
76K
msaterm__t35_msaterm.vout
2024-08-03 10:02
4.7K
msaterm__t36_msaterm
2024-07-28 00:21
68K
msaterm__t36_msaterm.vout
2024-08-03 08:08
6.8K
msaterm__t37_msaterm
2024-07-28 00:23
72K
msaterm__t37_msaterm.vout
2024-08-03 06:13
4.7K
msaterm__t38_msaterm
2024-07-28 00:26
88K
msaterm__t38_msaterm.vout
2024-08-03 04:38
6.8K
msaterm__t39_msaterm
2024-07-28 00:28
52K
msaterm__t39_msaterm.depv1
2024-08-03 10:19
280
msaterm__t39_msaterm.depvmin1
2024-08-03 10:24
280
msaterm__t39_msaterm.vmin1
2024-08-03 10:20
6.2K
msaterm__t39_msaterm.vmin1out
2024-08-03 10:21
134K
msaterm__t39_msaterm.vout
2024-08-03 08:41
105K
msaterm__t40_msaterm
2024-07-28 00:31
59K
msaterm__t40_msaterm.vout
2024-08-03 05:50
4.7K
msaterm__t41_msaterm
2024-07-28 00:33
54K
msaterm__t41_msaterm.vout
2024-08-03 07:27
4.7K
msaterm__t42_msaterm
2024-07-28 00:35
54K
msaterm__t42_msaterm.vout
2024-08-03 06:55
4.7K
msaterm__t43_msaterm
2024-07-28 00:38
67K
msaterm__t43_msaterm.vout
2024-08-03 06:29
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80