Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls/scmp_gcd

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmp_gcd__l15_scmp_gcd2017-01-13 00:40 229K 
[ ]scmp_gcd__l17_scmp_gcd2017-01-13 00:40 46K 
[ ]scmp_gcd__l18_scmp_gcd2017-01-13 00:40 45K 
[ ]scmp_gcd__l19_scmp_gcd2017-01-13 00:40 370K 
[ ]scmp_gcd__l20_scmp_gcd2017-01-13 00:40 369K 
[ ]scmp_gcd__l24_scmp_gcd2017-01-13 00:40 175K 
[ ]scmp_gcd__l25_scmp_gcd2017-01-13 00:40 276K 
[ ]scmp_gcd__l26_scmp_gcd2017-01-13 00:40 971K 
[ ]scmp_gcd__l27_scmp_gcd2017-01-13 00:40 276K 
[ ]scmp_gcd__t1_scmp_gcd2017-01-13 00:40 62K 
[ ]scmp_gcd__t2_scmp_gcd2017-01-13 00:40 85K 
[ ]scmp_gcd__t3_scmp_gcd2017-01-13 00:39 41K 
[ ]scmp_gcd__t4_scmp_gcd2017-01-13 00:40 60K 
[ ]scmp_gcd__t5_scmp_gcd2017-01-13 00:40 65K 
[ ]scmp_gcd__t6_scmp_gcd2017-01-13 00:40 87K 
[ ]scmp_gcd__t7_scmp_gcd2017-01-13 00:40 59K 
[ ]scmp_gcd__t8_scmp_gcd2017-01-13 00:40 178K 
[ ]scmp_gcd__t9_scmp_gcd2017-01-13 00:40 853K 
[ ]scmp_gcd__t10_scmp_gcd2017-01-13 00:40 166K 
[ ]scmp_gcd__t11_scmp_gcd2017-01-13 00:40 214K 
[ ]scmp_gcd__t12_scmp_gcd2017-01-13 00:40 964K 
[ ]scmp_gcd__t13_scmp_gcd2017-01-13 00:40 959K 
[ ]scmp_gcd__t14_scmp_gcd2017-01-13 00:40 272K 
[ ]scmp_gcd__t15_scmp_gcd2017-01-13 00:40 417K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80