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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa7b__l3_scmfsa7b2017-01-13 00:37 434K 
[ ]scmfsa7b__l5_scmfsa7b2017-01-13 00:37 71K 
[ ]scmfsa7b__l6_scmfsa7b2017-01-13 00:37 431K 
[ ]scmfsa7b__l7_scmfsa7b2017-01-13 00:37 161K 
[ ]scmfsa7b__l8_scmfsa7b2017-01-13 00:37 794K 
[ ]scmfsa7b__t1_scmfsa7b2017-01-13 00:37 197K 
[ ]scmfsa7b__t2_scmfsa7b2017-01-13 00:37 197K 
[ ]scmfsa7b__t3_scmfsa7b2017-01-13 00:37 203K 
[ ]scmfsa7b__t4_scmfsa7b2017-01-13 00:37 248K 
[ ]scmfsa7b__t5_scmfsa7b2017-01-13 00:37 167K 
[ ]scmfsa7b__t6_scmfsa7b2017-01-13 00:37 184K 
[ ]scmfsa7b__t7_scmfsa7b2017-01-13 00:37 184K 
[ ]scmfsa7b__t8_scmfsa7b2017-01-13 00:37 184K 
[ ]scmfsa7b__t9_scmfsa7b2017-01-13 00:37 184K 
[ ]scmfsa7b__t10_scmfsa7b2017-01-13 00:37 184K 
[ ]scmfsa7b__t11_scmfsa7b2017-01-13 00:37 169K 
[ ]scmfsa7b__t12_scmfsa7b2017-01-13 00:37 168K 
[ ]scmfsa7b__t13_scmfsa7b2017-01-13 00:37 168K 
[ ]scmfsa7b__t14_scmfsa7b2017-01-13 00:37 184K 
[ ]scmfsa7b__t15_scmfsa7b2017-01-13 00:37 190K 
[ ]scmfsa7b__t16_scmfsa7b2017-01-13 00:37 183K 
[ ]scmfsa7b__t17_scmfsa7b2017-01-13 00:37 188K 
[ ]scmfsa7b__t18_scmfsa7b2017-01-13 00:37 181K 
[ ]scmfsa7b__t19_scmfsa7b2017-01-13 00:37 170K 
[ ]scmfsa7b__t20_scmfsa7b2017-01-13 00:37 343K 
[ ]scmfsa7b__t21_scmfsa7b2017-01-13 00:37 204K 
[ ]scmfsa7b__t22_scmfsa7b2017-01-13 00:37 212K 
[ ]scmfsa7b__t23_scmfsa7b2017-01-13 00:37 181K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80