Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/scmp_gcd
Name
Last modified
Size
Description
Parent Directory
-
scmp_gcd__l15_scmp_gcd
2024-07-28 15:34
131K
scmp_gcd__l15_scmp_gcd.vout
2024-08-03 04:16
7.9K
scmp_gcd__l17_scmp_gcd
2024-07-28 15:35
25K
scmp_gcd__l17_scmp_gcd.depv1
2024-08-03 10:19
157
scmp_gcd__l17_scmp_gcd.depvmin1
2024-08-03 10:24
157
scmp_gcd__l17_scmp_gcd.vmin1
2024-08-03 10:19
1.3K
scmp_gcd__l17_scmp_gcd.vmin1out
2024-08-03 10:20
12K
scmp_gcd__l17_scmp_gcd.vout
2024-08-03 08:32
12K
scmp_gcd__l18_scmp_gcd
2024-07-28 16:01
24K
scmp_gcd__l18_scmp_gcd.depv1
2024-08-03 10:19
144
scmp_gcd__l18_scmp_gcd.depvmin1
2024-08-03 10:24
144
scmp_gcd__l18_scmp_gcd.vmin1
2024-08-03 10:19
1.1K
scmp_gcd__l18_scmp_gcd.vmin1out
2024-08-03 10:20
11K
scmp_gcd__l18_scmp_gcd.vout
2024-08-03 05:47
15K
scmp_gcd__l19_scmp_gcd
2024-07-28 16:04
205K
scmp_gcd__l19_scmp_gcd.vout
2024-08-03 05:35
6.8K
scmp_gcd__l20_scmp_gcd
2024-07-28 16:06
205K
scmp_gcd__l20_scmp_gcd.vout
2024-08-03 06:37
6.8K
scmp_gcd__l24_scmp_gcd
2024-07-28 16:08
92K
scmp_gcd__l24_scmp_gcd.vout
2024-08-03 08:17
4.7K
scmp_gcd__l25_scmp_gcd
2024-07-28 16:10
149K
scmp_gcd__l25_scmp_gcd.vout
2024-08-03 04:25
6.8K
scmp_gcd__l26_scmp_gcd
2024-07-28 16:13
776K
scmp_gcd__l26_scmp_gcd.vout
2024-08-03 08:50
4.7K
scmp_gcd__l27_scmp_gcd
2024-07-28 16:15
148K
scmp_gcd__l27_scmp_gcd.vout
2024-08-03 07:34
4.7K
scmp_gcd__t1_scmp_gcd
2024-07-28 15:37
30K
scmp_gcd__t1_scmp_gcd.vout
2024-08-03 07:09
7.3K
scmp_gcd__t2_scmp_gcd
2024-07-28 15:38
34K
scmp_gcd__t2_scmp_gcd.vout
2024-08-03 05:44
4.7K
scmp_gcd__t3_scmp_gcd
2024-07-28 15:30
21K
scmp_gcd__t3_scmp_gcd.depv1
2024-08-03 10:19
145
scmp_gcd__t3_scmp_gcd.depvmin1
2024-08-03 10:24
145
scmp_gcd__t3_scmp_gcd.vmin1
2024-08-03 10:19
856
scmp_gcd__t3_scmp_gcd.vmin1out
2024-08-03 10:22
6.2K
scmp_gcd__t3_scmp_gcd.vout
2024-08-03 04:43
8.0K
scmp_gcd__t4_scmp_gcd
2024-07-28 15:40
28K
scmp_gcd__t4_scmp_gcd.depv1
2024-08-03 10:19
407
scmp_gcd__t4_scmp_gcd.depvmin1
2024-08-03 10:24
337
scmp_gcd__t4_scmp_gcd.vmin1
2024-08-03 10:19
5.6K
scmp_gcd__t4_scmp_gcd.vmin1out
2024-08-03 10:20
50K
scmp_gcd__t4_scmp_gcd.vout
2024-08-03 05:29
99K
scmp_gcd__t5_scmp_gcd
2024-07-28 15:41
29K
scmp_gcd__t5_scmp_gcd.vout
2024-08-03 07:13
3.2K
scmp_gcd__t6_scmp_gcd
2024-07-28 15:42
39K
scmp_gcd__t6_scmp_gcd.vout
2024-08-03 04:35
4.7K
scmp_gcd__t7_scmp_gcd
2024-07-28 15:44
28K
scmp_gcd__t7_scmp_gcd.vout
2024-08-03 06:40
4.1K
scmp_gcd__t8_scmp_gcd
2024-07-28 15:46
97K
scmp_gcd__t8_scmp_gcd.vout
2024-08-03 04:15
10K
scmp_gcd__t9_scmp_gcd
2024-07-28 15:32
668K
scmp_gcd__t9_scmp_gcd.depv1
2024-08-03 10:19
90
scmp_gcd__t9_scmp_gcd.depvmin1
2024-08-03 10:24
90
scmp_gcd__t9_scmp_gcd.vmin1
2024-08-03 10:19
1.1K
scmp_gcd__t9_scmp_gcd.vmin1out
2024-08-03 10:21
13K
scmp_gcd__t9_scmp_gcd.vout
2024-08-03 05:42
16K
scmp_gcd__t10_scmp_gcd
2024-07-28 15:48
87K
scmp_gcd__t10_scmp_gcd.vout
2024-08-03 10:03
10K
scmp_gcd__t11_scmp_gcd
2024-07-28 15:50
111K
scmp_gcd__t11_scmp_gcd.vout
2024-08-03 05:48
4.7K
scmp_gcd__t12_scmp_gcd
2024-07-28 15:53
767K
scmp_gcd__t12_scmp_gcd.vout
2024-08-03 05:01
4.7K
scmp_gcd__t13_scmp_gcd
2024-07-28 15:55
759K
scmp_gcd__t13_scmp_gcd.vout
2024-08-03 07:27
4.7K
scmp_gcd__t14_scmp_gcd
2024-07-28 15:57
148K
scmp_gcd__t14_scmp_gcd.vout
2024-08-03 08:23
6.8K
scmp_gcd__t15_scmp_gcd
2024-07-28 16:00
228K
scmp_gcd__t15_scmp_gcd.vout
2024-08-03 06:00
4.7K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80