Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/scmfsa6b

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa6b__l7_scmfsa6b2017-01-13 19:15 104K 
[   ]scmfsa6b__l22_scmfsa6b2017-01-13 19:15 342K 
[   ]scmfsa6b__t1_scmfsa6b2017-01-13 19:15 67K 
[   ]scmfsa6b__t2_scmfsa6b2017-01-13 19:15 92K 
[   ]scmfsa6b__t3_scmfsa6b2017-01-13 19:15 126K 
[   ]scmfsa6b__t4_scmfsa6b2017-01-13 19:15 132K 
[   ]scmfsa6b__t5_scmfsa6b2017-01-13 19:15 102K 
[   ]scmfsa6b__t6_scmfsa6b2017-01-13 19:15 176K 
[   ]scmfsa6b__t7_scmfsa6b2017-01-13 19:15 87K 
[   ]scmfsa6b__t8_scmfsa6b2017-01-13 19:15 91K 
[   ]scmfsa6b__t11_scmfsa6b2017-01-13 19:15 114K 
[   ]scmfsa6b__t12_scmfsa6b2017-01-13 19:15 139K 
[   ]scmfsa6b__t13_scmfsa6b2017-01-13 19:15 147K 
[   ]scmfsa6b__t14_scmfsa6b2017-01-13 19:15 156K 
[   ]scmfsa6b__t15_scmfsa6b2017-01-13 19:15 159K 
[   ]scmfsa6b__t16_scmfsa6b2017-01-13 19:15 139K 
[   ]scmfsa6b__t17_scmfsa6b2017-01-13 19:15 133K 
[   ]scmfsa6b__t18_scmfsa6b2017-01-13 19:15 209K 
[   ]scmfsa6b__t19_scmfsa6b2017-01-13 19:15 168K 
[   ]scmfsa6b__t20_scmfsa6b2017-01-13 19:15 270K 
[   ]scmfsa6b__t21_scmfsa6b2017-01-13 19:15 77K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80