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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa6b__l7_scmfsa6b2017-01-12 21:59 104K 
[   ]scmfsa6b__l22_scmfsa6b2017-01-12 21:59 331K 
[   ]scmfsa6b__t1_scmfsa6b2017-01-12 21:59 67K 
[   ]scmfsa6b__t2_scmfsa6b2017-01-12 21:59 91K 
[   ]scmfsa6b__t3_scmfsa6b2017-01-12 21:59 125K 
[   ]scmfsa6b__t4_scmfsa6b2017-01-12 21:59 132K 
[   ]scmfsa6b__t5_scmfsa6b2017-01-12 21:59 101K 
[   ]scmfsa6b__t6_scmfsa6b2017-01-12 21:59 172K 
[   ]scmfsa6b__t7_scmfsa6b2017-01-12 21:59 87K 
[   ]scmfsa6b__t8_scmfsa6b2017-01-12 21:59 90K 
[   ]scmfsa6b__t11_scmfsa6b2017-01-12 21:59 114K 
[   ]scmfsa6b__t12_scmfsa6b2017-01-12 21:59 138K 
[   ]scmfsa6b__t13_scmfsa6b2017-01-12 21:59 147K 
[   ]scmfsa6b__t14_scmfsa6b2017-01-12 21:59 155K 
[   ]scmfsa6b__t15_scmfsa6b2017-01-12 21:59 159K 
[   ]scmfsa6b__t16_scmfsa6b2017-01-12 21:59 138K 
[   ]scmfsa6b__t17_scmfsa6b2017-01-12 21:59 132K 
[   ]scmfsa6b__t18_scmfsa6b2017-01-12 21:59 207K 
[   ]scmfsa6b__t19_scmfsa6b2017-01-12 21:59 167K 
[   ]scmfsa6b__t20_scmfsa6b2017-01-12 21:59 264K 
[   ]scmfsa6b__t21_scmfsa6b2017-01-12 21:59 76K 

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