Index of /~mptp/1147/mptp/problems/scmp_gcd

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmp_gcd__l15_scmp_gcd2023-06-28 00:37 208K 
[ ]scmp_gcd__l17_scmp_gcd2023-06-28 00:37 32K 
[ ]scmp_gcd__l18_scmp_gcd2023-06-28 00:37 31K 
[ ]scmp_gcd__l19_scmp_gcd2023-06-28 00:37 339K 
[ ]scmp_gcd__l20_scmp_gcd2023-06-28 00:37 338K 
[ ]scmp_gcd__l24_scmp_gcd2023-06-28 00:37 149K 
[ ]scmp_gcd__l25_scmp_gcd2023-06-28 00:37 243K 
[ ]scmp_gcd__l26_scmp_gcd2023-06-28 00:37 967K 
[ ]scmp_gcd__l27_scmp_gcd2023-06-28 00:37 242K 
[ ]scmp_gcd__t1_scmp_gcd2023-06-28 00:37 44K 
[ ]scmp_gcd__t2_scmp_gcd2023-06-28 00:37 65K 
[ ]scmp_gcd__t3_scmp_gcd2023-06-28 00:37 28K 
[ ]scmp_gcd__t4_scmp_gcd2023-06-28 00:37 39K 
[ ]scmp_gcd__t5_scmp_gcd2023-06-28 00:37 42K 
[ ]scmp_gcd__t6_scmp_gcd2023-06-28 00:37 60K 
[ ]scmp_gcd__t7_scmp_gcd2023-06-28 00:37 38K 
[ ]scmp_gcd__t8_scmp_gcd2023-06-28 00:37 156K 
[ ]scmp_gcd__t9_scmp_gcd2023-06-28 00:37 861K 
[ ]scmp_gcd__t10_scmp_gcd2023-06-28 00:37 138K 
[ ]scmp_gcd__t11_scmp_gcd2023-06-28 00:37 181K 
[ ]scmp_gcd__t12_scmp_gcd2023-06-28 00:37 961K 
[ ]scmp_gcd__t13_scmp_gcd2023-06-28 00:37 957K 
[ ]scmp_gcd__t14_scmp_gcd2023-06-28 00:37 240K 
[ ]scmp_gcd__t15_scmp_gcd2023-06-28 00:37 369K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80