Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/ringfrac
Name
Last modified
Size
Description
Parent Directory
-
ringfrac__l10_ringfrac
2025-09-08 07:10
20K
ringfrac__l10_ringfrac.depv1
2025-09-15 19:47
244
ringfrac__l10_ringfrac.depvmin1
2025-09-15 19:51
217
ringfrac__l10_ringfrac.vmin1
2025-09-15 19:47
3.4K
ringfrac__l10_ringfrac.vmin1out
2025-09-15 19:49
27K
ringfrac__l10_ringfrac.vout
2025-09-15 18:07
51K
ringfrac__l14_ringfrac
2025-09-08 07:12
30K
ringfrac__l14_ringfrac.depv1
2025-09-15 19:47
282
ringfrac__l14_ringfrac.depvmin1
2025-09-15 19:51
282
ringfrac__l14_ringfrac.vmin1
2025-09-15 19:47
3.8K
ringfrac__l14_ringfrac.vmin1out
2025-09-15 19:49
43K
ringfrac__l14_ringfrac.vout
2025-09-15 18:47
57K
ringfrac__l15_ringfrac
2025-09-08 07:13
23K
ringfrac__l15_ringfrac.depv1
2025-09-15 19:47
96
ringfrac__l15_ringfrac.depvmin1
2025-09-15 19:51
96
ringfrac__l15_ringfrac.vmin1
2025-09-15 19:47
1.4K
ringfrac__l15_ringfrac.vmin1out
2025-09-15 19:48
18K
ringfrac__l15_ringfrac.vout
2025-09-15 19:07
25K
ringfrac__l23_ringfrac
2025-09-08 07:15
23K
ringfrac__l23_ringfrac.depv1
2025-09-15 19:47
164
ringfrac__l23_ringfrac.depvmin1
2025-09-15 19:51
141
ringfrac__l23_ringfrac.vmin1
2025-09-15 19:47
3.1K
ringfrac__l23_ringfrac.vmin1out
2025-09-15 19:51
48K
ringfrac__l23_ringfrac.vout
2025-09-15 19:17
45K
ringfrac__l25_ringfrac
2025-09-08 07:16
22K
ringfrac__l25_ringfrac.depv1
2025-09-15 19:47
313
ringfrac__l25_ringfrac.depvmin1
2025-09-15 19:51
300
ringfrac__l25_ringfrac.vmin1
2025-09-15 19:47
3.9K
ringfrac__l25_ringfrac.vmin1out
2025-09-15 19:48
38K
ringfrac__l25_ringfrac.vout
2025-09-15 17:29
43K
ringfrac__l26_ringfrac
2025-09-08 07:18
19K
ringfrac__l26_ringfrac.vout
2025-09-15 17:05
7.9K
ringfrac__l53_ringfrac
2025-09-08 07:19
34K
ringfrac__l53_ringfrac.vout
2025-09-15 18:58
7.3K
ringfrac__l54_ringfrac
2025-09-08 07:21
40K
ringfrac__l54_ringfrac.vout
2025-09-15 18:43
4.1K
ringfrac__l55_ringfrac
2025-09-08 07:23
33K
ringfrac__l55_ringfrac.vout
2025-09-15 17:48
7.3K
ringfrac__l56_ringfrac
2025-09-08 07:25
40K
ringfrac__l56_ringfrac.vout
2025-09-15 18:03
4.1K
ringfrac__l58_ringfrac
2025-09-08 07:27
49K
ringfrac__l58_ringfrac.vout
2025-09-15 19:17
4.7K
ringfrac__l59_ringfrac
2025-09-08 07:29
53K
ringfrac__l59_ringfrac.vout
2025-09-15 14:46
4.7K
ringfrac__l60_ringfrac
2025-09-08 07:31
30K
ringfrac__l60_ringfrac.vout
2025-09-15 18:34
4.1K
ringfrac__l61_ringfrac
2025-09-08 07:32
27K
ringfrac__l61_ringfrac.depv1
2025-09-15 19:47
271
ringfrac__l61_ringfrac.depvmin1
2025-09-15 19:51
271
ringfrac__l61_ringfrac.vmin1
2025-09-15 19:47
4.7K
ringfrac__l61_ringfrac.vmin1out
2025-09-15 19:50
66K
ringfrac__l61_ringfrac.vout
2025-09-15 18:54
39K
ringfrac__l62_ringfrac
2025-09-08 07:34
37K
ringfrac__l62_ringfrac.vout
2025-09-15 17:46
4.1K
ringfrac__l63_ringfrac
2025-09-08 07:36
31K
ringfrac__l63_ringfrac.vout
2025-09-15 16:24
4.1K
ringfrac__l70_ringfrac
2025-09-08 07:37
24K
ringfrac__l70_ringfrac.depv1
2025-09-15 19:47
393
ringfrac__l70_ringfrac.depvmin1
2025-09-15 19:51
393
ringfrac__l70_ringfrac.vmin1
2025-09-15 19:47
5.0K
ringfrac__l70_ringfrac.vmin1out
2025-09-15 19:50
76K
ringfrac__l70_ringfrac.vout
2025-09-15 16:14
56K
ringfrac__t1_ringfrac
2025-09-08 05:51
25K
ringfrac__t1_ringfrac.vout
2025-09-15 17:22
3.7K
ringfrac__t2_ringfrac
2025-09-08 05:52
25K
ringfrac__t2_ringfrac.depv1
2025-09-15 19:47
119
ringfrac__t2_ringfrac.depvmin1
2025-09-15 19:51
119
ringfrac__t2_ringfrac.vmin1
2025-09-15 19:47
1.7K
ringfrac__t2_ringfrac.vmin1out
2025-09-15 19:50
34K
ringfrac__t2_ringfrac.vout
2025-09-15 15:06
34K
ringfrac__t3_ringfrac
2025-09-08 05:54
23K
ringfrac__t3_ringfrac.depv1
2025-09-15 19:47
204
ringfrac__t3_ringfrac.depvmin1
2025-09-15 19:51
204
ringfrac__t3_ringfrac.vmin1
2025-09-15 19:47
2.6K
ringfrac__t3_ringfrac.vmin1out
2025-09-15 19:48
22K
ringfrac__t3_ringfrac.vout
2025-09-15 16:13
36K
ringfrac__t4_ringfrac
2025-09-08 05:55
32K
ringfrac__t4_ringfrac.vout
2025-09-15 14:57
5.3K
ringfrac__t5_ringfrac
2025-09-08 05:57
22K
ringfrac__t5_ringfrac.vout
2025-09-15 14:16
5.8K
ringfrac__t6_ringfrac
2025-09-08 05:58
31K
ringfrac__t6_ringfrac.vout
2025-09-15 18:07
7.3K
ringfrac__t7_ringfrac
2025-09-08 05:48
18K
ringfrac__t7_ringfrac.depv1
2025-09-15 19:47
25
ringfrac__t7_ringfrac.depvmin1
2025-09-15 19:51
25
ringfrac__t7_ringfrac.vmin1
2025-09-15 19:47
1.1K
ringfrac__t7_ringfrac.vmin1out
2025-09-15 19:50
15K
ringfrac__t7_ringfrac.vout
2025-09-15 15:13
14K
ringfrac__t8_ringfrac
2025-09-08 06:00
28K
ringfrac__t8_ringfrac.vout
2025-09-15 16:06
7.9K
ringfrac__t9_ringfrac
2025-09-08 06:02
27K
ringfrac__t9_ringfrac.vout
2025-09-15 16:08
7.3K
ringfrac__t10_ringfrac
2025-09-08 06:03
23K
ringfrac__t10_ringfrac.vout
2025-09-15 18:45
2.0K
ringfrac__t11_ringfrac
2025-09-08 06:05
21K
ringfrac__t11_ringfrac.vout
2025-09-15 18:32
7.3K
ringfrac__t12_ringfrac
2025-09-08 06:06
27K
ringfrac__t12_ringfrac.vout
2025-09-15 18:10
2.0K
ringfrac__t13_ringfrac
2025-09-08 06:08
25K
ringfrac__t13_ringfrac.vout
2025-09-15 16:55
2.0K
ringfrac__t14_ringfrac
2025-09-08 06:09
27K
ringfrac__t14_ringfrac.vout
2025-09-15 17:18
2.0K
ringfrac__t15_ringfrac
2025-09-08 06:11
29K
ringfrac__t15_ringfrac.depv1
2025-09-15 19:47
354
ringfrac__t15_ringfrac.depvmin1
2025-09-15 19:51
354
ringfrac__t15_ringfrac.vmin1
2025-09-15 19:47
5.5K
ringfrac__t15_ringfrac.vmin1out
2025-09-15 19:50
71K
ringfrac__t15_ringfrac.vout
2025-09-15 19:27
67K
ringfrac__t16_ringfrac
2025-09-08 06:13
28K
ringfrac__t16_ringfrac.vout
2025-09-15 19:17
2.0K
ringfrac__t17_ringfrac
2025-09-08 06:14
32K
ringfrac__t17_ringfrac.vout
2025-09-15 15:39
2.0K
ringfrac__t18_ringfrac
2025-09-08 06:16
30K
ringfrac__t18_ringfrac.vout
2025-09-15 13:45
7.4K
ringfrac__t19_ringfrac
2025-09-08 06:18
29K
ringfrac__t19_ringfrac.vout
2025-09-15 16:54
2.0K
ringfrac__t20_ringfrac
2025-09-08 06:19
34K
ringfrac__t20_ringfrac.vout
2025-09-15 18:13
2.0K
ringfrac__t21_ringfrac
2025-09-08 06:21
35K
ringfrac__t21_ringfrac.vout
2025-09-15 18:59
2.0K
ringfrac__t22_ringfrac
2025-09-08 06:23
37K
ringfrac__t22_ringfrac.vout
2025-09-15 17:31
2.0K
ringfrac__t23_ringfrac
2025-09-08 06:25
31K
ringfrac__t23_ringfrac.vout
2025-09-15 13:46
2.0K
ringfrac__t24_ringfrac
2025-09-08 06:27
53K
ringfrac__t24_ringfrac.vout
2025-09-15 18:37
4.7K
ringfrac__t25_ringfrac
2025-09-08 06:29
49K
ringfrac__t25_ringfrac.depv1
2025-09-15 19:47
100
ringfrac__t25_ringfrac.depvmin1
2025-09-15 19:51
55
ringfrac__t25_ringfrac.vmin1
2025-09-15 19:47
3.6K
ringfrac__t25_ringfrac.vmin1out
2025-09-15 19:49
65K
ringfrac__t25_ringfrac.vout
2025-09-15 18:20
46K
ringfrac__t26_ringfrac
2025-09-08 06:31
52K
ringfrac__t26_ringfrac.vout
2025-09-15 16:28
4.7K
ringfrac__t27_ringfrac
2025-09-08 06:32
33K
ringfrac__t27_ringfrac.vout
2025-09-15 17:02
4.1K
ringfrac__t28_ringfrac
2025-09-08 06:35
52K
ringfrac__t28_ringfrac.vout
2025-09-15 14:57
4.7K
ringfrac__t29_ringfrac
2025-09-08 06:37
61K
ringfrac__t29_ringfrac.vout
2025-09-15 19:30
4.7K
ringfrac__t30_ringfrac
2025-09-08 06:39
29K
ringfrac__t30_ringfrac.vout
2025-09-15 14:20
4.1K
ringfrac__t32_ringfrac
2025-09-08 06:41
67K
ringfrac__t32_ringfrac.vout
2025-09-15 14:22
3.7K
ringfrac__t33_ringfrac
2025-09-08 06:44
69K
ringfrac__t33_ringfrac.vout
2025-09-15 18:46
3.7K
ringfrac__t34_ringfrac
2025-09-08 06:46
65K
ringfrac__t34_ringfrac.vout
2025-09-15 13:33
7.3K
ringfrac__t35_ringfrac
2025-09-08 06:48
43K
ringfrac__t35_ringfrac.vout
2025-09-15 15:23
7.3K
ringfrac__t36_ringfrac
2025-09-08 06:50
45K
ringfrac__t36_ringfrac.vout
2025-09-15 13:43
7.3K
ringfrac__t37_ringfrac
2025-09-08 06:52
31K
ringfrac__t37_ringfrac.vout
2025-09-15 15:58
7.5K
ringfrac__t39_ringfrac
2025-09-08 06:54
55K
ringfrac__t39_ringfrac.vout
2025-09-15 17:50
7.3K
ringfrac__t40_ringfrac
2025-09-08 06:56
68K
ringfrac__t40_ringfrac.vout
2025-09-15 18:40
3.7K
ringfrac__t41_ringfrac
2025-09-08 05:49
34K
ringfrac__t41_ringfrac.vout
2025-09-15 19:24
7.4K
ringfrac__t42_ringfrac
2025-09-08 06:59
64K
ringfrac__t42_ringfrac.vout
2025-09-15 14:49
6.8K
ringfrac__t43_ringfrac
2025-09-08 07:00
30K
ringfrac__t43_ringfrac.depv1
2025-09-15 19:47
252
ringfrac__t43_ringfrac.depvmin1
2025-09-15 19:51
252
ringfrac__t43_ringfrac.vmin1
2025-09-15 19:47
4.2K
ringfrac__t43_ringfrac.vmin1out
2025-09-15 19:48
59K
ringfrac__t43_ringfrac.vout
2025-09-15 13:34
97K
ringfrac__t44_ringfrac
2025-09-08 07:02
27K
ringfrac__t44_ringfrac.vout
2025-09-15 16:36
7.3K
ringfrac__t45_ringfrac
2025-09-08 07:03
27K
ringfrac__t45_ringfrac.depv1
2025-09-15 19:47
279
ringfrac__t45_ringfrac.depvmin1
2025-09-15 19:51
231
ringfrac__t45_ringfrac.vmin1
2025-09-15 19:47
3.5K
ringfrac__t45_ringfrac.vmin1out
2025-09-15 19:48
25K
ringfrac__t45_ringfrac.vout
2025-09-15 15:56
56K
ringfrac__t46_ringfrac
2025-09-08 07:05
73K
ringfrac__t46_ringfrac.vout
2025-09-15 14:12
7.3K
ringfrac__t47_ringfrac
2025-09-08 07:09
136K
ringfrac__t47_ringfrac.vout
2025-09-15 18:09
5.3K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80