Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls/scmring2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmring2__l2_scmring22017-01-12 22:21 57K 
[ ]scmring2__l3_scmring22017-01-12 22:21 58K 
[ ]scmring2__l31_scmring22017-01-12 22:21 64K 
[ ]scmring2__l32_scmring22017-01-12 22:21 65K 
[ ]scmring2__l33_scmring22017-01-12 22:21 71K 
[ ]scmring2__l34_scmring22017-01-12 22:21 79K 
[ ]scmring2__l35_scmring22017-01-12 22:21 548K 
[ ]scmring2__l36_scmring22017-01-12 22:21 563K 
[ ]scmring2__l37_scmring22017-01-12 22:21 89K 
[ ]scmring2__l38_scmring22017-01-12 22:21 61K 
[ ]scmring2__t1_scmring22017-01-12 22:20 67K 
[ ]scmring2__t2_scmring22017-01-12 22:20 40K 
[ ]scmring2__t3_scmring22017-01-12 22:20 64K 
[ ]scmring2__t4_scmring22017-01-12 22:20 65K 
[ ]scmring2__t5_scmring22017-01-12 22:20 34K 
[ ]scmring2__t6_scmring22017-01-12 22:20 63K 
[ ]scmring2__t7_scmring22017-01-12 22:20 79K 
[ ]scmring2__t8_scmring22017-01-12 22:20 59K 
[ ]scmring2__t9_scmring22017-01-12 22:20 62K 
[ ]scmring2__t10_scmring22017-01-12 22:20 64K 
[ ]scmring2__t11_scmring22017-01-12 22:20 555K 
[ ]scmring2__t12_scmring22017-01-12 22:21 555K 
[ ]scmring2__t13_scmring22017-01-12 22:21 555K 
[ ]scmring2__t14_scmring22017-01-12 22:21 555K 
[ ]scmring2__t15_scmring22017-01-12 22:21 112K 
[ ]scmring2__t16_scmring22017-01-12 22:21 555K 
[ ]scmring2__t17_scmring22017-01-12 22:21 556K 
[ ]scmring2__t18_scmring22017-01-12 22:21 141K 
[ ]scmring2__t19_scmring22017-01-12 22:21 98K 
[ ]scmring2__t20_scmring22017-01-12 22:20 44K 
[ ]scmring2__t21_scmring22017-01-12 22:20 43K 
[ ]scmring2__t22_scmring22017-01-12 22:21 68K 
[ ]scmring2__t23_scmring22017-01-12 22:21 51K 
[ ]scmring2__t24_scmring22017-01-12 22:20 45K 
[ ]scmring2__t25_scmring22017-01-12 22:20 44K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80