Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/numbers
Name
Last modified
Size
Description
Parent Directory
-
numbers__t3_numbers
2024-07-27 08:40
15K
numbers__t5_numbers
2024-07-27 08:41
12K
numbers__t6_numbers
2024-07-27 08:42
14K
numbers__t8_numbers
2024-07-27 08:43
12K
numbers__t9_numbers
2024-07-27 08:44
12K
numbers__t10_numbers
2024-07-27 08:44
14K
numbers__t11_numbers
2024-07-27 08:45
14K
numbers__t12_numbers
2024-07-27 08:46
12K
numbers__t13_numbers
2024-07-27 08:47
15K
numbers__t14_numbers
2024-07-27 08:48
12K
numbers__t15_numbers
2024-07-27 08:49
11K
numbers__t16_numbers
2024-07-27 08:50
14K
numbers__t17_numbers
2024-07-27 08:50
10K
numbers__t18_numbers
2024-07-27 08:51
12K
numbers__t19_numbers
2024-07-27 08:52
11K
numbers__t20_numbers
2024-07-27 08:53
14K
numbers__t21_numbers
2024-07-27 08:54
14K
numbers__t22_numbers
2024-07-27 08:55
12K
numbers__t23_numbers
2024-07-27 08:56
15K
numbers__t24_numbers
2024-07-27 08:57
12K
numbers__t25_numbers
2024-07-27 08:57
12K
numbers__t26_numbers
2024-07-27 08:58
16K
numbers__t27_numbers
2024-07-27 08:59
10K
numbers__t28_numbers
2024-07-27 09:00
12K
numbers__t29_numbers
2024-07-27 09:01
12K
numbers__t30_numbers
2024-07-27 09:02
15K
numbers__t31_numbers
2024-07-27 09:03
11K
numbers__t33_numbers
2024-07-27 09:03
11K
numbers__l2_numbers
2024-07-27 09:04
7.8K
numbers__l1_numbers
2024-07-27 09:05
11K
numbers__t1_numbers
2024-07-27 09:06
20K
numbers__t2_numbers
2024-07-27 09:08
29K
numbers__t4_numbers
2024-07-27 09:08
14K
numbers__t7_numbers
2024-07-27 09:09
12K
numbers__t32_numbers
2024-07-27 09:10
11K
numbers__l4_numbers
2024-07-27 09:11
12K
numbers__l8_numbers
2024-07-27 09:12
12K
numbers__l9_numbers
2024-07-27 09:12
11K
numbers__l10_numbers
2024-07-27 09:13
7.4K
numbers__l11_numbers
2024-07-27 09:14
21K
numbers__l13_numbers
2024-07-27 09:15
12K
numbers__l14_numbers
2024-07-27 09:16
15K
numbers__l15_numbers
2024-07-27 09:17
15K
numbers__l16_numbers
2024-07-27 09:18
8.2K
numbers__l17_numbers
2024-07-27 09:19
16K
numbers__l18_numbers
2024-07-27 09:20
15K
numbers__l19_numbers
2024-07-27 09:21
15K
numbers__l22_numbers
2024-07-27 09:22
13K
numbers__t10_numbers.vout
2024-08-03 04:11
3.1K
numbers__t11_numbers.vout
2024-08-03 04:11
2.2K
numbers__l1_numbers.vout
2024-08-03 04:11
2.2K
numbers__l17_numbers.vout
2024-08-03 04:11
7.3K
numbers__t20_numbers.vout
2024-08-03 04:15
2.2K
numbers__t30_numbers.vout
2024-08-03 04:18
4.2K
numbers__t32_numbers.vout
2024-08-03 04:20
9.8K
numbers__l16_numbers.vout
2024-08-03 04:29
24K
numbers__t2_numbers.vout
2024-08-03 04:31
5.9K
numbers__t1_numbers.vout
2024-08-03 05:02
8.9K
numbers__t23_numbers.vout
2024-08-03 05:23
2.7K
numbers__l10_numbers.vout
2024-08-03 05:25
8.1K
numbers__l14_numbers.vout
2024-08-03 05:29
3.7K
numbers__t19_numbers.vout
2024-08-03 05:30
2.8K
numbers__t29_numbers.vout
2024-08-03 05:46
4.2K
numbers__t4_numbers.vout
2024-08-03 05:51
5.9K
numbers__l11_numbers.vout
2024-08-03 05:53
3.7K
numbers__l4_numbers.vout
2024-08-03 05:54
7.4K
numbers__t24_numbers.vout
2024-08-03 05:54
1.8K
numbers__t13_numbers.vout
2024-08-03 06:14
2.2K
numbers__t22_numbers.vout
2024-08-03 06:19
1.8K
numbers__t12_numbers.vout
2024-08-03 06:27
2.2K
numbers__l8_numbers.vout
2024-08-03 06:33
12K
numbers__t27_numbers.vout
2024-08-03 06:42
1.8K
numbers__t31_numbers.vout
2024-08-03 07:16
6.1K
numbers__t8_numbers.vout
2024-08-03 07:31
3.1K
numbers__t6_numbers.vout
2024-08-03 07:31
3.1K
numbers__l15_numbers.vout
2024-08-03 07:32
4.2K
numbers__t5_numbers.vout
2024-08-03 07:34
3.1K
numbers__t9_numbers.vout
2024-08-03 07:38
3.1K
numbers__t33_numbers.vout
2024-08-03 07:49
3.1K
numbers__t16_numbers.vout
2024-08-03 07:57
2.2K
numbers__t28_numbers.vout
2024-08-03 07:59
2.7K
numbers__l9_numbers.vout
2024-08-03 08:06
8.6K
numbers__l13_numbers.vout
2024-08-03 08:37
9.4K
numbers__t3_numbers.vout
2024-08-03 08:40
3.1K
numbers__t18_numbers.vout
2024-08-03 08:43
2.2K
numbers__t21_numbers.vout
2024-08-03 08:48
1.8K
numbers__t17_numbers.vout
2024-08-03 09:00
1.4K
numbers__l22_numbers.vout
2024-08-03 09:00
6.8K
numbers__l18_numbers.vout
2024-08-03 09:09
22K
numbers__t25_numbers.vout
2024-08-03 09:10
2.7K
numbers__t7_numbers.vout
2024-08-03 09:12
20K
numbers__l19_numbers.vout
2024-08-03 09:14
8.5K
numbers__t26_numbers.vout
2024-08-03 09:36
4.2K
numbers__t15_numbers.vout
2024-08-03 09:37
2.8K
numbers__t14_numbers.vout
2024-08-03 10:00
2.2K
numbers__l2_numbers.vout
2024-08-03 10:11
2.4K
numbers__l1_numbers.depv1
2024-08-03 10:19
49
numbers__l9_numbers.depv1
2024-08-03 10:19
117
numbers__t7_numbers.depv1
2024-08-03 10:19
238
numbers__t19_numbers.depv1
2024-08-03 10:19
35
numbers__l4_numbers.depv1
2024-08-03 10:19
153
numbers__t17_numbers.depv1
2024-08-03 10:19
23
numbers__t21_numbers.depv1
2024-08-03 10:19
49
numbers__l10_numbers.depv1
2024-08-03 10:19
42
numbers__t20_numbers.depv1
2024-08-03 10:19
36
numbers__t24_numbers.depv1
2024-08-03 10:19
49
numbers__t28_numbers.depv1
2024-08-03 10:19
56
numbers__l18_numbers.depv1
2024-08-03 10:19
229
numbers__l19_numbers.depv1
2024-08-03 10:19
125
numbers__t3_numbers.depv1
2024-08-03 10:19
46
numbers__t9_numbers.depv1
2024-08-03 10:19
46
numbers__t11_numbers.depv1
2024-08-03 10:19
35
numbers__t33_numbers.depv1
2024-08-03 10:19
48
numbers__t14_numbers.depv1
2024-08-03 10:19
35
numbers__t18_numbers.depv1
2024-08-03 10:19
35
numbers__t25_numbers.depv1
2024-08-03 10:19
56
numbers__l13_numbers.depv1
2024-08-03 10:19
156
numbers__t8_numbers.depv1
2024-08-03 10:19
46
numbers__t31_numbers.depv1
2024-08-03 10:19
55
numbers__l2_numbers.depv1
2024-08-03 10:19
71
numbers__t26_numbers.depv1
2024-08-03 10:19
80
numbers__t32_numbers.depv1
2024-08-03 10:19
139
numbers__l8_numbers.depv1
2024-08-03 10:19
164
numbers__t10_numbers.depv1
2024-08-03 10:19
47
numbers__t29_numbers.depv1
2024-08-03 10:19
80
numbers__t5_numbers.depv1
2024-08-03 10:19
46
numbers__t15_numbers.depv1
2024-08-03 10:19
35
numbers__t27_numbers.depv1
2024-08-03 10:19
49
numbers__t13_numbers.depv1
2024-08-03 10:19
35
numbers__t22_numbers.depv1
2024-08-03 10:19
49
numbers__t30_numbers.depv1
2024-08-03 10:19
80
numbers__t12_numbers.depv1
2024-08-03 10:19
35
numbers__t16_numbers.depv1
2024-08-03 10:19
35
numbers__t23_numbers.depv1
2024-08-03 10:19
56
numbers__t6_numbers.depv1
2024-08-03 10:19
46
numbers__l1_numbers.vmin1
2024-08-03 10:19
295
numbers__l2_numbers.vmin1
2024-08-03 10:19
277
numbers__l4_numbers.vmin1
2024-08-03 10:19
953
numbers__l8_numbers.vmin1
2024-08-03 10:19
1.0K
numbers__l9_numbers.vmin1
2024-08-03 10:19
935
numbers__l10_numbers.vmin1
2024-08-03 10:19
480
numbers__l13_numbers.vmin1
2024-08-03 10:19
1.3K
numbers__l18_numbers.vmin1
2024-08-03 10:19
1.4K
numbers__l19_numbers.vmin1
2024-08-03 10:19
1.0K
numbers__t3_numbers.vmin1
2024-08-03 10:19
318
numbers__t5_numbers.vmin1
2024-08-03 10:19
318
numbers__t6_numbers.vmin1
2024-08-03 10:19
318
numbers__t7_numbers.vmin1
2024-08-03 10:19
1.8K
numbers__t8_numbers.vmin1
2024-08-03 10:19
320
numbers__t9_numbers.vmin1
2024-08-03 10:19
320
numbers__t10_numbers.vmin1
2024-08-03 10:19
321
numbers__t11_numbers.vmin1
2024-08-03 10:19
234
numbers__t12_numbers.vmin1
2024-08-03 10:19
234
numbers__t13_numbers.vmin1
2024-08-03 10:19
234
numbers__t14_numbers.vmin1
2024-08-03 10:19
234
numbers__t15_numbers.vmin1
2024-08-03 10:19
234
numbers__t16_numbers.vmin1
2024-08-03 10:19
234
numbers__t17_numbers.vmin1
2024-08-03 10:19
126
numbers__t18_numbers.vmin1
2024-08-03 10:19
236
numbers__t19_numbers.vmin1
2024-08-03 10:19
236
numbers__t20_numbers.vmin1
2024-08-03 10:19
237
numbers__t21_numbers.vmin1
2024-08-03 10:19
199
numbers__t22_numbers.vmin1
2024-08-03 10:19
199
numbers__t23_numbers.vmin1
2024-08-03 10:19
281
numbers__t24_numbers.vmin1
2024-08-03 10:19
199
numbers__t25_numbers.vmin1
2024-08-03 10:19
281
numbers__t26_numbers.vmin1
2024-08-03 10:19
472
numbers__t27_numbers.vmin1
2024-08-03 10:19
201
numbers__t28_numbers.vmin1
2024-08-03 10:19
283
numbers__t29_numbers.vmin1
2024-08-03 10:19
474
numbers__t30_numbers.vmin1
2024-08-03 10:19
474
numbers__t31_numbers.vmin1
2024-08-03 10:19
493
numbers__t32_numbers.vmin1
2024-08-03 10:19
876
numbers__t33_numbers.vmin1
2024-08-03 10:19
289
numbers__l2_numbers.vmin1out
2024-08-03 10:20
2.5K
numbers__t16_numbers.vmin1out
2024-08-03 10:20
2.6K
numbers__t29_numbers.vmin1out
2024-08-03 10:20
3.2K
numbers__t17_numbers.vmin1out
2024-08-03 10:20
1.3K
numbers__t8_numbers.vmin1out
2024-08-03 10:20
2.4K
numbers__t15_numbers.vmin1out
2024-08-03 10:20
2.6K
numbers__t33_numbers.vmin1out
2024-08-03 10:20
3.1K
numbers__t30_numbers.vmin1out
2024-08-03 10:20
3.2K
numbers__l18_numbers.vmin1out
2024-08-03 10:20
9.5K
numbers__l13_numbers.vmin1out
2024-08-03 10:21
6.3K
numbers__t10_numbers.vmin1out
2024-08-03 10:21
2.4K
numbers__t24_numbers.vmin1out
2024-08-03 10:21
1.6K
numbers__t13_numbers.vmin1out
2024-08-03 10:21
2.6K
numbers__t3_numbers.vmin1out
2024-08-03 10:21
2.4K
numbers__t18_numbers.vmin1out
2024-08-03 10:21
2.7K
numbers__t5_numbers.vmin1out
2024-08-03 10:21
2.4K
numbers__l10_numbers.vmin1out
2024-08-03 10:21
8.4K
numbers__t11_numbers.vmin1out
2024-08-03 10:21
2.6K
numbers__t28_numbers.vmin1out
2024-08-03 10:21
2.0K
numbers__t7_numbers.vmin1out
2024-08-03 10:22
21K
numbers__l4_numbers.vmin1out
2024-08-03 10:22
8.6K
numbers__t32_numbers.vmin1out
2024-08-03 10:22
9.7K
numbers__t12_numbers.vmin1out
2024-08-03 10:22
2.6K
numbers__t20_numbers.vmin1out
2024-08-03 10:22
2.7K
numbers__l19_numbers.vmin1out
2024-08-03 10:22
8.1K
numbers__t14_numbers.vmin1out
2024-08-03 10:22
2.6K
numbers__l9_numbers.vmin1out
2024-08-03 10:22
9.7K
numbers__t23_numbers.vmin1out
2024-08-03 10:22
2.0K
numbers__t19_numbers.vmin1out
2024-08-03 10:22
2.7K
numbers__t31_numbers.vmin1out
2024-08-03 10:23
7.9K
numbers__t25_numbers.vmin1out
2024-08-03 10:23
2.0K
numbers__t9_numbers.vmin1out
2024-08-03 10:23
2.4K
numbers__t21_numbers.vmin1out
2024-08-03 10:23
1.6K
numbers__l1_numbers.vmin1out
2024-08-03 10:23
2.0K
numbers__t6_numbers.vmin1out
2024-08-03 10:23
2.4K
numbers__t22_numbers.vmin1out
2024-08-03 10:23
1.6K
numbers__t26_numbers.vmin1out
2024-08-03 10:23
3.2K
numbers__l8_numbers.vmin1out
2024-08-03 10:23
8.3K
numbers__t27_numbers.vmin1out
2024-08-03 10:23
1.6K
numbers__l1_numbers.depvmin1
2024-08-03 10:24
49
numbers__l9_numbers.depvmin1
2024-08-03 10:24
117
numbers__t19_numbers.depvmin1
2024-08-03 10:24
35
numbers__l4_numbers.depvmin1
2024-08-03 10:24
153
numbers__t7_numbers.depvmin1
2024-08-03 10:24
238
numbers__t17_numbers.depvmin1
2024-08-03 10:24
23
numbers__t20_numbers.depvmin1
2024-08-03 10:24
36
numbers__t21_numbers.depvmin1
2024-08-03 10:24
49
numbers__t24_numbers.depvmin1
2024-08-03 10:24
49
numbers__l10_numbers.depvmin1
2024-08-03 10:24
42
numbers__t3_numbers.depvmin1
2024-08-03 10:24
46
numbers__t28_numbers.depvmin1
2024-08-03 10:24
56
numbers__l18_numbers.depvmin1
2024-08-03 10:24
203
numbers__l19_numbers.depvmin1
2024-08-03 10:24
125
numbers__t33_numbers.depvmin1
2024-08-03 10:24
48
numbers__t9_numbers.depvmin1
2024-08-03 10:24
46
numbers__t11_numbers.depvmin1
2024-08-03 10:24
35
numbers__t14_numbers.depvmin1
2024-08-03 10:24
35
numbers__t18_numbers.depvmin1
2024-08-03 10:24
35
numbers__t25_numbers.depvmin1
2024-08-03 10:24
56
numbers__t31_numbers.depvmin1
2024-08-03 10:24
55
numbers__l13_numbers.depvmin1
2024-08-03 10:24
109
numbers__t8_numbers.depvmin1
2024-08-03 10:24
46
numbers__t26_numbers.depvmin1
2024-08-03 10:24
80
numbers__l2_numbers.depvmin1
2024-08-03 10:24
71
numbers__l8_numbers.depvmin1
2024-08-03 10:24
154
numbers__t32_numbers.depvmin1
2024-08-03 10:24
139
numbers__t5_numbers.depvmin1
2024-08-03 10:24
46
numbers__t10_numbers.depvmin1
2024-08-03 10:24
47
numbers__t29_numbers.depvmin1
2024-08-03 10:24
80
numbers__t15_numbers.depvmin1
2024-08-03 10:24
35
numbers__t27_numbers.depvmin1
2024-08-03 10:24
49
numbers__t13_numbers.depvmin1
2024-08-03 10:24
35
numbers__t22_numbers.depvmin1
2024-08-03 10:24
49
numbers__t30_numbers.depvmin1
2024-08-03 10:24
80
numbers__t12_numbers.depvmin1
2024-08-03 10:24
35
numbers__t16_numbers.depvmin1
2024-08-03 10:24
35
numbers__t23_numbers.depvmin1
2024-08-03 10:24
56
numbers__t6_numbers.depvmin1
2024-08-03 10:24
46
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80