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