Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_isof_tls/scmfsa9a

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa9a__l11_scmfsa9a2017-01-13 00:27 655K 
[ ]scmfsa9a__l12_scmfsa9a2017-01-13 00:27 357K 
[ ]scmfsa9a__l13_scmfsa9a2017-01-13 00:27 375K 
[ ]scmfsa9a__l30_scmfsa9a2017-01-13 00:27 655K 
[ ]scmfsa9a__l31_scmfsa9a2017-01-13 00:27 357K 
[ ]scmfsa9a__l32_scmfsa9a2017-01-13 00:27 375K 
[ ]scmfsa9a__l51_scmfsa9a2017-01-13 00:27 184K 
[ ]scmfsa9a__l52_scmfsa9a2017-01-13 00:27 184K 
[ ]scmfsa9a__t1_scmfsa9a2017-01-13 00:27 141K 
[ ]scmfsa9a__t2_scmfsa9a2017-01-13 00:27 141K 
[ ]scmfsa9a__t3_scmfsa9a2017-01-13 00:27 147K 
[ ]scmfsa9a__t4_scmfsa9a2017-01-13 00:27 175K 
[ ]scmfsa9a__t5_scmfsa9a2017-01-13 00:27 134K 
[ ]scmfsa9a__t6_scmfsa9a2017-01-13 00:27 161K 
[ ]scmfsa9a__t7_scmfsa9a2017-01-13 00:27 264K 
[ ]scmfsa9a__t8_scmfsa9a2017-01-13 00:27 274K 
[ ]scmfsa9a__t9_scmfsa9a2017-01-13 00:27 264K 
[ ]scmfsa9a__t10_scmfsa9a2017-01-13 00:27 274K 
[ ]scmfsa9a__t11_scmfsa9a2017-01-13 00:27 249K 
[ ]scmfsa9a__t12_scmfsa9a2017-01-13 00:27 247K 
[ ]scmfsa9a__t13_scmfsa9a2017-01-13 00:27 148K 
[ ]scmfsa9a__t14_scmfsa9a2017-01-13 00:27 481K 
[ ]scmfsa9a__t15_scmfsa9a2017-01-13 00:27 150K 
[ ]scmfsa9a__t16_scmfsa9a2017-01-13 00:27 360K 
[ ]scmfsa9a__t17_scmfsa9a2017-01-13 00:27 331K 
[ ]scmfsa9a__t18_scmfsa9a2017-01-13 00:27 209K 
[ ]scmfsa9a__t19_scmfsa9a2017-01-13 00:27 227K 
[ ]scmfsa9a__t20_scmfsa9a2017-01-13 00:27 248K 
[ ]scmfsa9a__t21_scmfsa9a2017-01-13 00:27 232K 
[ ]scmfsa9a__t22_scmfsa9a2017-01-13 00:27 211K 
[ ]scmfsa9a__t23_scmfsa9a2017-01-13 00:27 217K 
[ ]scmfsa9a__t24_scmfsa9a2017-01-13 00:27 249K 
[ ]scmfsa9a__t25_scmfsa9a2017-01-13 00:27 247K 
[ ]scmfsa9a__t26_scmfsa9a2017-01-13 00:27 152K 
[ ]scmfsa9a__t27_scmfsa9a2017-01-13 00:27 481K 
[ ]scmfsa9a__t28_scmfsa9a2017-01-13 00:27 154K 
[ ]scmfsa9a__t29_scmfsa9a2017-01-13 00:27 359K 
[ ]scmfsa9a__t30_scmfsa9a2017-01-13 00:27 331K 
[ ]scmfsa9a__t31_scmfsa9a2017-01-13 00:27 213K 
[ ]scmfsa9a__t32_scmfsa9a2017-01-13 00:27 231K 
[ ]scmfsa9a__t33_scmfsa9a2017-01-13 00:27 252K 
[ ]scmfsa9a__t34_scmfsa9a2017-01-13 00:27 236K 
[ ]scmfsa9a__t35_scmfsa9a2017-01-13 00:27 216K 
[ ]scmfsa9a__t36_scmfsa9a2017-01-13 00:27 217K 
[ ]scmfsa9a__t37_scmfsa9a2017-01-13 00:27 202K 
[ ]scmfsa9a__t38_scmfsa9a2017-01-13 00:27 175K 
[ ]scmfsa9a__t39_scmfsa9a2017-01-13 00:27 326K 
[ ]scmfsa9a__t40_scmfsa9a2017-01-13 00:27 269K 
[ ]scmfsa9a__t41_scmfsa9a2017-01-13 00:27 175K 
[ ]scmfsa9a__t42_scmfsa9a2017-01-13 00:27 772K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80