Index of /~mptp/1147/MPTP2/problems_gdfthf/scmp_gcd
Name
Last modified
Size
Description
Parent Directory
-
scmp_gcd__l15_scmp_gcd
2019-08-20 18:08
866K
scmp_gcd__l17_scmp_gcd
2019-08-20 18:11
46K
scmp_gcd__l18_scmp_gcd
2019-08-20 18:11
46K
scmp_gcd__l19_scmp_gcd
2019-08-20 18:18
1.0M
scmp_gcd__l20_scmp_gcd
2019-08-20 18:22
732K
scmp_gcd__l24_scmp_gcd
2019-08-20 18:37
574K
scmp_gcd__l25_scmp_gcd
2019-08-20 18:49
1.4M
scmp_gcd__l26_scmp_gcd
2019-08-20 19:02
4.9M
scmp_gcd__l27_scmp_gcd
2019-08-20 19:07
737K
scmp_gcd__t1_scmp_gcd
2019-08-20 18:01
61K
scmp_gcd__t2_scmp_gcd
2019-08-20 18:01
113K
scmp_gcd__t3_scmp_gcd
2019-08-20 18:01
35K
scmp_gcd__t4_scmp_gcd
2019-08-20 18:01
59K
scmp_gcd__t5_scmp_gcd
2019-08-20 18:01
67K
scmp_gcd__t6_scmp_gcd
2019-08-20 18:02
109K
scmp_gcd__t7_scmp_gcd
2019-08-20 18:02
63K
scmp_gcd__t8_scmp_gcd
2019-08-20 18:03
193K
scmp_gcd__t9_scmp_gcd
2019-08-20 18:03
1.4M
scmp_gcd__t10_scmp_gcd
2019-08-20 18:06
494K
scmp_gcd__t11_scmp_gcd
2019-08-20 18:11
458K
scmp_gcd__t12_scmp_gcd
2019-08-20 18:30
3.0M
scmp_gcd__t13_scmp_gcd
2019-08-20 18:35
2.5M
scmp_gcd__t14_scmp_gcd
2019-08-20 18:37
508K
scmp_gcd__t15_scmp_gcd
2019-08-20 19:14
1.3M
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80