Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ringder1
Name
Last modified
Size
Description
Parent Directory
-
ringder1__l28_ringder1
2024-07-26 20:50
61K
ringder1__l28_ringder1.vout
2024-08-03 07:35
7.3K
ringder1__l29_ringder1
2024-07-26 20:52
66K
ringder1__l29_ringder1.vout
2024-08-03 05:55
6.8K
ringder1__l37_ringder1
2024-07-26 20:54
68K
ringder1__l37_ringder1.vout
2024-08-03 05:48
4.7K
ringder1__l44_ringder1
2024-07-26 20:57
150K
ringder1__l44_ringder1.vout
2024-08-03 08:32
4.7K
ringder1__t1_ringder1
2024-07-26 19:27
42K
ringder1__t1_ringder1.vout
2024-08-03 05:34
2.0K
ringder1__t2_ringder1
2024-07-26 19:29
43K
ringder1__t2_ringder1.vout
2024-08-03 06:50
2.0K
ringder1__t3_ringder1
2024-07-26 19:31
40K
ringder1__t3_ringder1.vout
2024-08-03 06:45
2.0K
ringder1__t4_ringder1
2024-07-26 19:32
41K
ringder1__t4_ringder1.vout
2024-08-03 09:40
2.0K
ringder1__t5_ringder1
2024-07-26 19:34
50K
ringder1__t5_ringder1.vout
2024-08-03 10:05
7.3K
ringder1__t6_ringder1
2024-07-26 19:36
55K
ringder1__t6_ringder1.vout
2024-08-03 04:57
7.3K
ringder1__t7_ringder1
2024-07-26 19:38
58K
ringder1__t7_ringder1.vout
2024-08-03 09:29
7.3K
ringder1__t8_ringder1
2024-07-26 19:40
53K
ringder1__t8_ringder1.depv1
2024-08-03 10:19
234
ringder1__t8_ringder1.depvmin1
2024-08-03 10:24
234
ringder1__t8_ringder1.vmin1
2024-08-03 10:20
3.7K
ringder1__t8_ringder1.vmin1out
2024-08-03 10:20
39K
ringder1__t8_ringder1.vout
2024-08-03 06:19
47K
ringder1__t9_ringder1
2024-07-26 19:42
54K
ringder1__t9_ringder1.vout
2024-08-03 10:18
4.7K
ringder1__t10_ringder1
2024-07-26 19:44
58K
ringder1__t10_ringder1.vout
2024-08-03 05:44
4.7K
ringder1__t11_ringder1
2024-07-26 19:47
89K
ringder1__t11_ringder1.vout
2024-08-03 04:34
3.7K
ringder1__t12_ringder1
2024-07-26 19:23
50K
ringder1__t12_ringder1.depv1
2024-08-03 10:19
39
ringder1__t12_ringder1.depvmin1
2024-08-03 10:24
39
ringder1__t12_ringder1.vmin1
2024-08-03 10:20
1.8K
ringder1__t12_ringder1.vmin1out
2024-08-03 10:21
21K
ringder1__t12_ringder1.vout
2024-08-03 08:54
32K
ringder1__t13_ringder1
2024-07-26 19:49
56K
ringder1__t13_ringder1.vout
2024-08-03 10:13
6.8K
ringder1__t14_ringder1
2024-07-26 19:52
91K
ringder1__t14_ringder1.vout
2024-08-03 04:07
3.7K
ringder1__t15_ringder1
2024-07-26 19:54
70K
ringder1__t15_ringder1.vout
2024-08-03 07:19
6.8K
ringder1__t16_ringder1
2024-07-26 19:57
81K
ringder1__t16_ringder1.vout
2024-08-03 04:16
6.8K
ringder1__t17_ringder1
2024-07-26 19:25
50K
ringder1__t17_ringder1.depv1
2024-08-03 10:19
54
ringder1__t17_ringder1.depvmin1
2024-08-03 10:24
54
ringder1__t17_ringder1.vmin1
2024-08-03 10:20
2.5K
ringder1__t17_ringder1.vmin1out
2024-08-03 10:20
37K
ringder1__t17_ringder1.vout
2024-08-03 04:12
47K
ringder1__t18_ringder1
2024-07-26 19:59
65K
ringder1__t18_ringder1.vout
2024-08-03 06:17
7.3K
ringder1__t19_ringder1
2024-07-26 20:02
63K
ringder1__t19_ringder1.vout
2024-08-03 07:06
7.4K
ringder1__t20_ringder1
2024-07-26 20:04
97K
ringder1__t20_ringder1.vout
2024-08-03 05:04
7.3K
ringder1__t21_ringder1
2024-07-26 20:07
89K
ringder1__t21_ringder1.vout
2024-08-03 05:39
7.3K
ringder1__t22_ringder1
2024-07-26 20:10
198K
ringder1__t22_ringder1.vout
2024-08-03 06:00
6.8K
ringder1__t23_ringder1
2024-07-26 20:12
60K
ringder1__t23_ringder1.vout
2024-08-03 09:59
7.3K
ringder1__t24_ringder1
2024-07-26 20:15
82K
ringder1__t24_ringder1.vout
2024-08-03 04:43
4.7K
ringder1__t25_ringder1
2024-07-26 20:17
120K
ringder1__t25_ringder1.vout
2024-08-03 09:13
4.7K
ringder1__t26_ringder1
2024-07-26 20:20
82K
ringder1__t26_ringder1.vout
2024-08-03 06:08
4.7K
ringder1__t27_ringder1
2024-07-26 20:22
89K
ringder1__t27_ringder1.vout
2024-08-03 09:54
4.7K
ringder1__t28_ringder1
2024-07-26 20:24
93K
ringder1__t28_ringder1.vout
2024-08-03 04:26
4.7K
ringder1__t29_ringder1
2024-07-26 20:26
73K
ringder1__t29_ringder1.vout
2024-08-03 04:25
4.7K
ringder1__t30_ringder1
2024-07-26 20:29
78K
ringder1__t30_ringder1.vout
2024-08-03 05:12
4.7K
ringder1__t31_ringder1
2024-07-26 20:31
166K
ringder1__t31_ringder1.vout
2024-08-03 05:34
7.3K
ringder1__t32_ringder1
2024-07-26 20:34
108K
ringder1__t32_ringder1.vout
2024-08-03 06:47
4.7K
ringder1__t33_ringder1
2024-07-26 20:36
97K
ringder1__t33_ringder1.vout
2024-08-03 10:04
4.7K
ringder1__t34_ringder1
2024-07-26 20:39
105K
ringder1__t34_ringder1.vout
2024-08-03 04:49
4.7K
ringder1__t36_ringder1
2024-07-26 20:41
76K
ringder1__t36_ringder1.depv1
2024-08-03 10:19
39
ringder1__t36_ringder1.depvmin1
2024-08-03 10:24
39
ringder1__t36_ringder1.vmin1
2024-08-03 10:20
2.0K
ringder1__t36_ringder1.vmin1out
2024-08-03 10:23
22K
ringder1__t36_ringder1.vout
2024-08-03 09:07
32K
ringder1__t37_ringder1
2024-07-26 20:43
89K
ringder1__t37_ringder1.vout
2024-08-03 05:39
4.7K
ringder1__t38_ringder1
2024-07-26 20:46
97K
ringder1__t38_ringder1.vout
2024-08-03 08:35
4.7K
ringder1__t39_ringder1
2024-07-26 20:48
62K
ringder1__t39_ringder1.vout
2024-08-03 10:03
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80