Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ringcat1
Name
Last modified
Size
Description
Parent Directory
-
ringcat1__l6_ringcat1
2024-07-27 03:29
12K
ringcat1__l6_ringcat1.vout
2024-08-03 07:45
2.0K
ringcat1__l12_ringcat1
2024-07-27 03:30
13K
ringcat1__l12_ringcat1.depv1
2024-08-03 10:19
37
ringcat1__l12_ringcat1.depvmin1
2024-08-03 10:24
37
ringcat1__l12_ringcat1.vmin1
2024-08-03 10:19
380
ringcat1__l12_ringcat1.vmin1out
2024-08-03 10:22
3.8K
ringcat1__l12_ringcat1.vout
2024-08-03 10:07
3.8K
ringcat1__l13_ringcat1
2024-07-27 03:31
18K
ringcat1__l13_ringcat1.depv1
2024-08-03 10:19
49
ringcat1__l13_ringcat1.depvmin1
2024-08-03 10:24
49
ringcat1__l13_ringcat1.vmin1
2024-08-03 10:19
1.9K
ringcat1__l13_ringcat1.vmin1out
2024-08-03 10:20
74K
ringcat1__l13_ringcat1.vout
2024-08-03 07:31
56K
ringcat1__l14_ringcat1
2024-07-27 03:32
18K
ringcat1__l14_ringcat1.depv1
2024-08-03 10:19
164
ringcat1__l14_ringcat1.depvmin1
2024-08-03 10:24
149
ringcat1__l14_ringcat1.vmin1
2024-08-03 10:19
4.0K
ringcat1__l14_ringcat1.vmin1out
2024-08-03 10:23
67K
ringcat1__l14_ringcat1.vout
2024-08-03 06:19
128K
ringcat1__l15_ringcat1
2024-07-27 03:33
16K
ringcat1__l15_ringcat1.depv1
2024-08-03 10:19
206
ringcat1__l15_ringcat1.depvmin1
2024-08-03 10:24
191
ringcat1__l15_ringcat1.vmin1
2024-08-03 10:19
5.3K
ringcat1__l15_ringcat1.vmin1out
2024-08-03 10:23
105K
ringcat1__l15_ringcat1.vout
2024-08-03 07:03
93K
ringcat1__l18_ringcat1
2024-07-27 03:34
18K
ringcat1__l18_ringcat1.depv1
2024-08-03 10:19
117
ringcat1__l18_ringcat1.depvmin1
2024-08-03 10:24
117
ringcat1__l18_ringcat1.vmin1
2024-08-03 10:19
2.6K
ringcat1__l18_ringcat1.vmin1out
2024-08-03 10:22
79K
ringcat1__l18_ringcat1.vout
2024-08-03 07:13
29K
ringcat1__l19_ringcat1
2024-07-27 03:35
18K
ringcat1__l19_ringcat1.depv1
2024-08-03 10:19
26
ringcat1__l19_ringcat1.depvmin1
2024-08-03 10:24
26
ringcat1__l19_ringcat1.vmin1
2024-08-03 10:19
1.4K
ringcat1__l19_ringcat1.vmin1out
2024-08-03 10:20
58K
ringcat1__l19_ringcat1.vout
2024-08-03 05:25
15K
ringcat1__l57_ringcat1
2024-07-27 03:37
28K
ringcat1__l57_ringcat1.vout
2024-08-03 09:26
4.1K
ringcat1__l58_ringcat1
2024-07-27 03:39
28K
ringcat1__l58_ringcat1.vout
2024-08-03 04:56
4.1K
ringcat1__l59_ringcat1
2024-07-27 03:41
41K
ringcat1__l59_ringcat1.vout
2024-08-03 09:47
7.9K
ringcat1__t1_ringcat1
2024-07-27 02:59
14K
ringcat1__t1_ringcat1.vout
2024-08-03 08:39
2.0K
ringcat1__t2_ringcat1
2024-07-27 03:00
16K
ringcat1__t2_ringcat1.depv1
2024-08-03 10:19
67
ringcat1__t2_ringcat1.depvmin1
2024-08-03 10:24
67
ringcat1__t2_ringcat1.vmin1
2024-08-03 10:19
2.9K
ringcat1__t2_ringcat1.vmin1out
2024-08-03 10:22
81K
ringcat1__t2_ringcat1.vout
2024-08-03 06:58
70K
ringcat1__t3_ringcat1
2024-07-27 03:01
16K
ringcat1__t3_ringcat1.depv1
2024-08-03 10:19
116
ringcat1__t3_ringcat1.depvmin1
2024-08-03 10:24
116
ringcat1__t3_ringcat1.vmin1
2024-08-03 10:19
2.4K
ringcat1__t3_ringcat1.vmin1out
2024-08-03 10:21
38K
ringcat1__t3_ringcat1.vout
2024-08-03 06:29
26K
ringcat1__t4_ringcat1
2024-07-27 03:02
18K
ringcat1__t4_ringcat1.depv1
2024-08-03 10:19
129
ringcat1__t4_ringcat1.depvmin1
2024-08-03 10:24
129
ringcat1__t4_ringcat1.vmin1
2024-08-03 10:19
3.7K
ringcat1__t4_ringcat1.vmin1out
2024-08-03 10:23
161K
ringcat1__t4_ringcat1.vout
2024-08-03 08:35
85K
ringcat1__t5_ringcat1
2024-07-27 03:04
20K
ringcat1__t5_ringcat1.vout
2024-08-03 07:04
4.1K
ringcat1__t6_ringcat1
2024-07-27 03:05
21K
ringcat1__t6_ringcat1.vout
2024-08-03 06:49
4.1K
ringcat1__t7_ringcat1
2024-07-27 03:06
20K
ringcat1__t7_ringcat1.vout
2024-08-03 07:03
4.1K
ringcat1__t8_ringcat1
2024-07-27 03:07
16K
ringcat1__t8_ringcat1.vout
2024-08-03 09:15
3.2K
ringcat1__t9_ringcat1
2024-07-27 03:08
20K
ringcat1__t9_ringcat1.vout
2024-08-03 10:14
4.1K
ringcat1__t10_ringcat1
2024-07-27 03:09
17K
ringcat1__t10_ringcat1.depv1
2024-08-03 10:19
67
ringcat1__t10_ringcat1.depvmin1
2024-08-03 10:24
67
ringcat1__t10_ringcat1.vmin1
2024-08-03 10:19
2.4K
ringcat1__t10_ringcat1.vmin1out
2024-08-03 10:21
84K
ringcat1__t10_ringcat1.vout
2024-08-03 06:39
25K
ringcat1__t11_ringcat1
2024-07-27 03:11
26K
ringcat1__t11_ringcat1.vout
2024-08-03 08:55
4.7K
ringcat1__t12_ringcat1
2024-07-27 03:12
12K
ringcat1__t12_ringcat1.depv1
2024-08-03 10:19
49
ringcat1__t12_ringcat1.depvmin1
2024-08-03 10:24
49
ringcat1__t12_ringcat1.vmin1
2024-08-03 10:19
508
ringcat1__t12_ringcat1.vmin1out
2024-08-03 10:22
7.2K
ringcat1__t12_ringcat1.vout
2024-08-03 10:01
7.2K
ringcat1__t13_ringcat1
2024-07-27 03:13
16K
ringcat1__t13_ringcat1.depv1
2024-08-03 10:19
127
ringcat1__t13_ringcat1.depvmin1
2024-08-03 10:24
127
ringcat1__t13_ringcat1.vmin1
2024-08-03 10:19
2.6K
ringcat1__t13_ringcat1.vmin1out
2024-08-03 10:23
72K
ringcat1__t13_ringcat1.vout
2024-08-03 06:24
44K
ringcat1__t14_ringcat1
2024-07-27 03:14
15K
ringcat1__t14_ringcat1.depv1
2024-08-03 10:19
82
ringcat1__t14_ringcat1.depvmin1
2024-08-03 10:24
82
ringcat1__t14_ringcat1.vmin1
2024-08-03 10:19
1.4K
ringcat1__t14_ringcat1.vmin1out
2024-08-03 10:21
15K
ringcat1__t14_ringcat1.vout
2024-08-03 06:44
29K
ringcat1__t15_ringcat1
2024-07-27 03:15
14K
ringcat1__t15_ringcat1.depv1
2024-08-03 10:19
160
ringcat1__t15_ringcat1.depvmin1
2024-08-03 10:24
160
ringcat1__t15_ringcat1.vmin1
2024-08-03 10:19
1.8K
ringcat1__t15_ringcat1.vmin1out
2024-08-03 10:21
38K
ringcat1__t15_ringcat1.vout
2024-08-03 08:14
46K
ringcat1__t16_ringcat1
2024-07-27 03:16
14K
ringcat1__t16_ringcat1.depv1
2024-08-03 10:19
113
ringcat1__t16_ringcat1.depvmin1
2024-08-03 10:24
113
ringcat1__t16_ringcat1.vmin1
2024-08-03 10:19
2.0K
ringcat1__t16_ringcat1.vmin1out
2024-08-03 10:22
35K
ringcat1__t16_ringcat1.vout
2024-08-03 09:34
26K
ringcat1__t17_ringcat1
2024-07-27 03:18
14K
ringcat1__t17_ringcat1.depv1
2024-08-03 10:19
62
ringcat1__t17_ringcat1.depvmin1
2024-08-03 10:24
62
ringcat1__t17_ringcat1.vmin1
2024-08-03 10:19
583
ringcat1__t17_ringcat1.vmin1out
2024-08-03 10:22
11K
ringcat1__t17_ringcat1.vout
2024-08-03 09:53
7.5K
ringcat1__t18_ringcat1
2024-07-27 03:19
13K
ringcat1__t18_ringcat1.depv1
2024-08-03 10:19
85
ringcat1__t18_ringcat1.depvmin1
2024-08-03 10:24
85
ringcat1__t18_ringcat1.vmin1
2024-08-03 10:19
1.4K
ringcat1__t18_ringcat1.vmin1out
2024-08-03 10:22
20K
ringcat1__t18_ringcat1.vout
2024-08-03 08:38
19K
ringcat1__t19_ringcat1
2024-07-27 03:20
18K
ringcat1__t19_ringcat1.vout
2024-08-03 07:12
4.1K
ringcat1__t20_ringcat1
2024-07-27 03:21
21K
ringcat1__t20_ringcat1.vout
2024-08-03 05:26
4.1K
ringcat1__t21_ringcat1
2024-07-27 03:23
24K
ringcat1__t21_ringcat1.vout
2024-08-03 05:52
4.1K
ringcat1__t22_ringcat1
2024-07-27 03:24
26K
ringcat1__t22_ringcat1.vout
2024-08-03 07:40
4.1K
ringcat1__t24_ringcat1
2024-07-27 03:26
26K
ringcat1__t24_ringcat1.vout
2024-08-03 08:44
4.1K
ringcat1__t25_ringcat1
2024-07-27 03:28
32K
ringcat1__t25_ringcat1.vout
2024-08-03 06:46
8.4K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80