Index of /~mptp/1147/MPTP2/problems/scmp_gcd
Name
Last modified
Size
Description
Parent Directory
-
scmp_gcd__l15_scmp_gcd
2023-06-28 00:37
208K
scmp_gcd__l17_scmp_gcd
2023-06-28 00:37
32K
scmp_gcd__l18_scmp_gcd
2023-06-28 00:37
31K
scmp_gcd__l19_scmp_gcd
2023-06-28 00:37
339K
scmp_gcd__l20_scmp_gcd
2023-06-28 00:37
338K
scmp_gcd__l24_scmp_gcd
2023-06-28 00:37
149K
scmp_gcd__l25_scmp_gcd
2023-06-28 00:37
243K
scmp_gcd__l26_scmp_gcd
2023-06-28 00:37
967K
scmp_gcd__l27_scmp_gcd
2023-06-28 00:37
242K
scmp_gcd__t1_scmp_gcd
2023-06-28 00:37
44K
scmp_gcd__t2_scmp_gcd
2023-06-28 00:37
65K
scmp_gcd__t3_scmp_gcd
2023-06-28 00:37
28K
scmp_gcd__t4_scmp_gcd
2023-06-28 00:37
39K
scmp_gcd__t5_scmp_gcd
2023-06-28 00:37
42K
scmp_gcd__t6_scmp_gcd
2023-06-28 00:37
60K
scmp_gcd__t7_scmp_gcd
2023-06-28 00:37
38K
scmp_gcd__t8_scmp_gcd
2023-06-28 00:37
156K
scmp_gcd__t9_scmp_gcd
2023-06-28 00:37
861K
scmp_gcd__t10_scmp_gcd
2023-06-28 00:37
138K
scmp_gcd__t11_scmp_gcd
2023-06-28 00:37
181K
scmp_gcd__t12_scmp_gcd
2023-06-28 00:37
961K
scmp_gcd__t13_scmp_gcd
2023-06-28 00:37
957K
scmp_gcd__t14_scmp_gcd
2023-06-28 00:37
240K
scmp_gcd__t15_scmp_gcd
2023-06-28 00:37
369K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80