Index of /~mptp/mml5.63.1382/MPTP2/problems/scmp_gcd
Name
Last modified
Size
Description
Parent Directory
-
scmp_gcd__l15_scmp_gcd
2023-06-28 10:36
236K
scmp_gcd__l17_scmp_gcd
2023-06-28 10:36
42K
scmp_gcd__l18_scmp_gcd
2023-06-28 10:45
42K
scmp_gcd__l19_scmp_gcd
2023-06-28 10:46
372K
scmp_gcd__l20_scmp_gcd
2023-06-28 10:47
371K
scmp_gcd__l24_scmp_gcd
2023-06-28 10:47
162K
scmp_gcd__l25_scmp_gcd
2023-06-28 10:48
264K
scmp_gcd__l26_scmp_gcd
2023-06-28 10:49
1.2M
scmp_gcd__l27_scmp_gcd
2023-06-28 10:50
263K
scmp_gcd__t1_scmp_gcd
2023-06-28 10:37
52K
scmp_gcd__t2_scmp_gcd
2023-06-28 10:37
58K
scmp_gcd__t3_scmp_gcd
2023-06-28 10:34
36K
scmp_gcd__t4_scmp_gcd
2023-06-28 10:38
46K
scmp_gcd__t5_scmp_gcd
2023-06-28 10:38
49K
scmp_gcd__t6_scmp_gcd
2023-06-28 10:39
66K
scmp_gcd__t7_scmp_gcd
2023-06-28 10:39
46K
scmp_gcd__t8_scmp_gcd
2023-06-28 10:40
181K
scmp_gcd__t9_scmp_gcd
2023-06-28 10:35
1.1M
scmp_gcd__t10_scmp_gcd
2023-06-28 10:40
160K
scmp_gcd__t11_scmp_gcd
2023-06-28 10:41
201K
scmp_gcd__t12_scmp_gcd
2023-06-28 10:42
1.2M
scmp_gcd__t13_scmp_gcd
2023-06-28 10:43
1.2M
scmp_gcd__t14_scmp_gcd
2023-06-28 10:44
262K
scmp_gcd__t15_scmp_gcd
2023-06-28 10:45
408K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80