Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/scmp_gcd

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmp_gcd__l15_scmp_gcd2021-07-19 03:46 230K 
[ ]scmp_gcd__l17_scmp_gcd2021-07-19 03:47 42K 
[ ]scmp_gcd__l18_scmp_gcd2021-07-19 03:57 42K 
[ ]scmp_gcd__l19_scmp_gcd2021-07-19 03:58 364K 
[ ]scmp_gcd__l20_scmp_gcd2021-07-19 03:58 363K 
[ ]scmp_gcd__l24_scmp_gcd2021-07-19 03:59 159K 
[ ]scmp_gcd__l25_scmp_gcd2021-07-19 04:00 258K 
[ ]scmp_gcd__l26_scmp_gcd2021-07-19 04:01 1.1M 
[ ]scmp_gcd__l27_scmp_gcd2021-07-19 04:02 258K 
[ ]scmp_gcd__t1_scmp_gcd2021-07-19 03:47 52K 
[ ]scmp_gcd__t2_scmp_gcd2021-07-19 03:48 58K 
[ ]scmp_gcd__t3_scmp_gcd2021-07-19 03:45 36K 
[ ]scmp_gcd__t4_scmp_gcd2021-07-19 03:48 47K 
[ ]scmp_gcd__t5_scmp_gcd2021-07-19 03:49 49K 
[ ]scmp_gcd__t6_scmp_gcd2021-07-19 03:49 66K 
[ ]scmp_gcd__t7_scmp_gcd2021-07-19 03:50 46K 
[ ]scmp_gcd__t8_scmp_gcd2021-07-19 03:51 179K 
[ ]scmp_gcd__t9_scmp_gcd2021-07-19 03:45 1.0M 
[ ]scmp_gcd__t10_scmp_gcd2021-07-19 03:52 157K 
[ ]scmp_gcd__t11_scmp_gcd2021-07-19 03:52 198K 
[ ]scmp_gcd__t12_scmp_gcd2021-07-19 03:53 1.1M 
[ ]scmp_gcd__t13_scmp_gcd2021-07-19 03:54 1.1M 
[ ]scmp_gcd__t14_scmp_gcd2021-07-19 03:55 256K 
[ ]scmp_gcd__t15_scmp_gcd2021-07-19 03:56 400K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80