Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/termord
Name
Last modified
Size
Description
Parent Directory
-
termord__t40_termord.vout
2024-08-03 09:51
40K
termord__t40_termord.vmin1out
2024-08-03 10:20
39K
termord__t40_termord.vmin1
2024-08-03 10:19
1.8K
termord__t40_termord.depvmin1
2024-08-03 10:24
50
termord__t40_termord.depv1
2024-08-03 10:19
50
termord__t40_termord
2024-07-27 00:32
46K
termord__t39_termord.vout
2024-08-03 08:13
18K
termord__t39_termord.vmin1out
2024-08-03 10:21
16K
termord__t39_termord.vmin1
2024-08-03 10:19
1.4K
termord__t39_termord.depvmin1
2024-08-03 10:24
24
termord__t39_termord.depv1
2024-08-03 10:19
50
termord__t39_termord
2024-07-27 00:30
46K
termord__t38_termord.vout
2024-08-03 09:19
4.7K
termord__t38_termord
2024-07-27 01:22
53K
termord__t37_termord.vout
2024-08-03 08:09
7.3K
termord__t37_termord
2024-07-27 01:20
53K
termord__t36_termord.vout
2024-08-03 08:11
20K
termord__t36_termord.vmin1out
2024-08-03 10:23
18K
termord__t36_termord.vmin1
2024-08-03 10:19
1.5K
termord__t36_termord.depvmin1
2024-08-03 10:24
24
termord__t36_termord.depv1
2024-08-03 10:19
50
termord__t36_termord
2024-07-27 00:29
48K
termord__t35_termord.vout
2024-08-03 06:21
7.3K
termord__t35_termord
2024-07-27 01:19
48K
termord__t34_termord.vout
2024-08-03 05:18
7.3K
termord__t34_termord
2024-07-27 01:17
51K
termord__t33_termord.vout
2024-08-03 08:16
4.7K
termord__t33_termord
2024-07-27 01:15
59K
termord__t32_termord.vout
2024-08-03 05:35
4.7K
termord__t32_termord
2024-07-27 01:13
53K
termord__t31_termord.vout
2024-08-03 09:58
4.2K
termord__t31_termord
2024-07-27 01:11
55K
termord__t30_termord.vout
2024-08-03 09:08
3.7K
termord__t30_termord
2024-07-27 01:25
61K
termord__t29_termord.vout
2024-08-03 06:59
4.7K
termord__t29_termord
2024-07-27 01:09
60K
termord__t28_termord.vout
2024-08-03 07:29
17K
termord__t28_termord.vmin1out
2024-08-03 10:20
40K
termord__t28_termord.vmin1
2024-08-03 10:19
2.0K
termord__t28_termord.depvmin1
2024-08-03 10:24
38
termord__t28_termord.depv1
2024-08-03 10:19
38
termord__t28_termord
2024-07-27 00:27
42K
termord__t27_termord.vout
2024-08-03 10:10
4.7K
termord__t27_termord
2024-07-27 01:06
41K
termord__t26_termord.vout
2024-08-03 04:58
4.7K
termord__t26_termord
2024-07-27 01:05
51K
termord__t25_termord.vout
2024-08-03 06:05
38K
termord__t25_termord.vmin1out
2024-08-03 10:21
38K
termord__t25_termord.vmin1
2024-08-03 10:19
2.6K
termord__t25_termord.depvmin1
2024-08-03 10:24
130
termord__t25_termord.depv1
2024-08-03 10:19
130
termord__t25_termord
2024-07-27 01:03
44K
termord__t24_termord.vout
2024-08-03 04:43
18K
termord__t24_termord.vmin1out
2024-08-03 10:21
31K
termord__t24_termord.vmin1
2024-08-03 10:19
2.2K
termord__t24_termord.depvmin1
2024-08-03 10:24
76
termord__t24_termord.depv1
2024-08-03 10:19
76
termord__t24_termord
2024-07-27 01:01
44K
termord__t23_termord.vout
2024-08-03 07:22
15K
termord__t23_termord.vmin1out
2024-08-03 10:22
26K
termord__t23_termord.vmin1
2024-08-03 10:19
1.4K
termord__t23_termord.depvmin1
2024-08-03 10:24
24
termord__t23_termord.depv1
2024-08-03 10:19
24
termord__t23_termord
2024-07-27 00:25
43K
termord__t22_termord.vout
2024-08-03 09:58
4.7K
termord__t22_termord
2024-07-27 01:00
51K
termord__t21_termord.vout
2024-08-03 08:13
19K
termord__t21_termord.vmin1out
2024-08-03 10:23
17K
termord__t21_termord.vmin1
2024-08-03 10:19
1.4K
termord__t21_termord.depvmin1
2024-08-03 10:24
24
termord__t21_termord.depv1
2024-08-03 10:19
50
termord__t21_termord
2024-07-27 00:24
41K
termord__t20_termord.vout
2024-08-03 05:18
6.8K
termord__t20_termord
2024-07-27 00:58
44K
termord__t19_termord.vout
2024-08-03 07:43
4.7K
termord__t19_termord
2024-07-27 00:56
48K
termord__t18_termord.vout
2024-08-03 09:25
16K
termord__t18_termord.vmin1out
2024-08-03 10:20
15K
termord__t18_termord.vmin1
2024-08-03 10:19
1.3K
termord__t18_termord.depvmin1
2024-08-03 10:24
24
termord__t18_termord.depv1
2024-08-03 10:19
50
termord__t18_termord
2024-07-27 00:22
40K
termord__t17_termord.vout
2024-08-03 05:45
19K
termord__t17_termord.vmin1out
2024-08-03 10:21
22K
termord__t17_termord.vmin1
2024-08-03 10:19
1.3K
termord__t17_termord.depvmin1
2024-08-03 10:24
24
termord__t17_termord.depv1
2024-08-03 10:19
50
termord__t17_termord
2024-07-27 00:21
41K
termord__t16_termord.vout
2024-08-03 06:58
79K
termord__t16_termord.vmin1out
2024-08-03 10:23
131K
termord__t16_termord.vmin1
2024-08-03 10:19
6.8K
termord__t16_termord.depvmin1
2024-08-03 10:24
107
termord__t16_termord.depv1
2024-08-03 10:19
243
termord__t16_termord
2024-07-27 00:55
35K
termord__t15_termord.vout
2024-08-03 07:38
81K
termord__t15_termord.vmin1out
2024-08-03 10:23
50K
termord__t15_termord.vmin1
2024-08-03 10:19
5.6K
termord__t15_termord.depvmin1
2024-08-03 10:24
100
termord__t15_termord.depv1
2024-08-03 10:19
186
termord__t15_termord
2024-07-27 00:53
35K
termord__t14_termord.vout
2024-08-03 05:32
38K
termord__t14_termord.vmin1out
2024-08-03 10:22
31K
termord__t14_termord.vmin1
2024-08-03 10:19
2.6K
termord__t14_termord.depvmin1
2024-08-03 10:24
35
termord__t14_termord.depv1
2024-08-03 10:19
145
termord__t14_termord
2024-07-27 00:52
35K
termord__t13_termord.vout
2024-08-03 07:44
38K
termord__t13_termord.vmin1out
2024-08-03 10:23
31K
termord__t13_termord.vmin1
2024-08-03 10:19
2.6K
termord__t13_termord.depvmin1
2024-08-03 10:24
35
termord__t13_termord.depv1
2024-08-03 10:19
145
termord__t13_termord
2024-07-27 00:50
35K
termord__t12_termord.vout
2024-08-03 09:48
33K
termord__t12_termord.vmin1out
2024-08-03 10:22
19K
termord__t12_termord.vmin1
2024-08-03 10:19
2.2K
termord__t12_termord.depvmin1
2024-08-03 10:24
46
termord__t12_termord.depv1
2024-08-03 10:19
156
termord__t12_termord
2024-07-27 00:49
32K
termord__t11_termord.vout
2024-08-03 06:42
33K
termord__t11_termord.vmin1out
2024-08-03 10:22
19K
termord__t11_termord.vmin1
2024-08-03 10:19
2.2K
termord__t11_termord.depvmin1
2024-08-03 10:24
46
termord__t11_termord.depv1
2024-08-03 10:19
156
termord__t11_termord
2024-07-27 00:48
32K
termord__t10_termord.vout
2024-08-03 06:58
4.7K
termord__t10_termord
2024-07-27 00:46
37K
termord__t9_termord.vout
2024-08-03 07:28
2.0K
termord__t9_termord
2024-07-27 00:19
34K
termord__t8_termord.vout
2024-08-03 09:05
52K
termord__t8_termord.vmin1out
2024-08-03 10:20
40K
termord__t8_termord.vmin1
2024-08-03 10:19
2.4K
termord__t8_termord.depvmin1
2024-08-03 10:24
133
termord__t8_termord.depv1
2024-08-03 10:19
133
termord__t8_termord
2024-07-27 00:45
31K
termord__t7_termord.vout
2024-08-03 07:45
11K
termord__t7_termord.vmin1out
2024-08-03 10:21
17K
termord__t7_termord.vmin1
2024-08-03 10:19
1.2K
termord__t7_termord.depvmin1
2024-08-03 10:24
23
termord__t7_termord.depv1
2024-08-03 10:19
23
termord__t7_termord
2024-07-27 00:18
31K
termord__t6_termord.vout
2024-08-03 07:15
9.7K
termord__t6_termord.vmin1out
2024-08-03 10:20
10K
termord__t6_termord.vmin1
2024-08-03 10:19
838
termord__t6_termord.depvmin1
2024-08-03 10:24
23
termord__t6_termord.depv1
2024-08-03 10:19
23
termord__t6_termord
2024-07-27 00:16
30K
termord__t5_termord.vout
2024-08-03 09:23
64K
termord__t5_termord.vmin1out
2024-08-03 10:20
72K
termord__t5_termord.vmin1
2024-08-03 10:19
4.1K
termord__t5_termord.depvmin1
2024-08-03 10:24
151
termord__t5_termord.depv1
2024-08-03 10:19
177
termord__t5_termord
2024-07-27 00:44
33K
termord__t4_termord.vout
2024-08-03 05:32
4.7K
termord__t4_termord
2024-07-27 00:42
54K
termord__t3_termord.vout
2024-08-03 08:39
4.7K
termord__t3_termord
2024-07-27 00:40
68K
termord__t2_termord.vout
2024-08-03 08:36
4.7K
termord__t2_termord
2024-07-27 00:37
57K
termord__t1_termord.vout
2024-08-03 08:14
3.7K
termord__t1_termord
2024-07-27 00:35
47K
termord__l64_termord.vout
2024-08-03 05:50
4.7K
termord__l64_termord
2024-07-27 01:55
53K
termord__l63_termord.vout
2024-08-03 09:27
4.7K
termord__l63_termord
2024-07-27 01:53
50K
termord__l60_termord.vout
2024-08-03 05:26
6.8K
termord__l60_termord
2024-07-27 01:51
57K
termord__l59_termord.vout
2024-08-03 06:12
7.3K
termord__l59_termord
2024-07-27 01:49
52K
termord__l58_termord.vout
2024-08-03 04:17
7.3K
termord__l58_termord
2024-07-27 01:47
52K
termord__l50_termord.vout
2024-08-03 05:03
4.7K
termord__l50_termord
2024-07-27 01:46
82K
termord__l49_termord.vout
2024-08-03 09:01
14K
termord__l49_termord.vmin1out
2024-08-03 10:20
9.3K
termord__l49_termord.vmin1
2024-08-03 10:19
1.0K
termord__l49_termord.depvmin1
2024-08-03 10:24
74
termord__l49_termord.depv1
2024-08-03 10:19
74
termord__l49_termord
2024-07-27 01:43
28K
termord__l39_termord.vout
2024-08-03 06:22
4.7K
termord__l39_termord
2024-07-27 01:41
43K
termord__l35_termord.vout
2024-08-03 06:24
4.7K
termord__l35_termord
2024-07-27 01:40
50K
termord__l34_termord.vout
2024-08-03 06:41
4.7K
termord__l34_termord
2024-07-27 01:38
51K
termord__l33_termord.vout
2024-08-03 05:05
6.8K
termord__l33_termord
2024-07-27 01:36
42K
termord__l32_termord.vout
2024-08-03 07:12
4.7K
termord__l32_termord
2024-07-27 01:35
50K
termord__l31_termord.vout
2024-08-03 08:48
4.7K
termord__l31_termord
2024-07-27 01:33
46K
termord__l23_termord.vout
2024-08-03 09:17
38K
termord__l23_termord.vmin1out
2024-08-03 10:23
23K
termord__l23_termord.vmin1
2024-08-03 10:19
2.7K
termord__l23_termord.depvmin1
2024-08-03 10:24
57
termord__l23_termord.depv1
2024-08-03 10:19
167
termord__l23_termord
2024-07-27 00:33
33K
termord__l15_termord.vout
2024-08-03 08:25
52K
termord__l15_termord.vmin1out
2024-08-03 10:20
59K
termord__l15_termord.vmin1
2024-08-03 10:19
2.9K
termord__l15_termord.depvmin1
2024-08-03 10:24
156
termord__l15_termord.depv1
2024-08-03 10:19
168
termord__l15_termord
2024-07-27 01:31
32K
termord__l13_termord.vout
2024-08-03 04:29
18K
termord__l13_termord.vmin1out
2024-08-03 10:21
17K
termord__l13_termord.vmin1
2024-08-03 10:19
892
termord__l13_termord.depvmin1
2024-08-03 10:24
64
termord__l13_termord.depv1
2024-08-03 10:19
64
termord__l13_termord
2024-07-27 01:30
30K
termord__l12_termord.vout
2024-08-03 09:37
46K
termord__l12_termord.vmin1out
2024-08-03 10:21
42K
termord__l12_termord.vmin1
2024-08-03 10:19
2.4K
termord__l12_termord.depvmin1
2024-08-03 10:24
156
termord__l12_termord.depv1
2024-08-03 10:19
156
termord__l12_termord
2024-07-27 01:29
32K
termord__l11_termord.vout
2024-08-03 06:46
29K
termord__l11_termord.vmin1out
2024-08-03 10:20
33K
termord__l11_termord.vmin1
2024-08-03 10:19
1.9K
termord__l11_termord.depvmin1
2024-08-03 10:24
133
termord__l11_termord.depv1
2024-08-03 10:19
133
termord__l11_termord
2024-07-27 01:27
31K
termord__l6_termord.vout
2024-08-03 04:20
7.3K
termord__l6_termord
2024-07-27 01:26
38K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80