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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8b__l1_scmfsa8b2017-01-13 00:30 152K 
[ ]scmfsa8b__l15_scmfsa8b2017-01-13 00:31 198K 
[ ]scmfsa8b__l16_scmfsa8b2017-01-13 00:31 203K 
[ ]scmfsa8b__t1_scmfsa8b2017-01-13 00:30 147K 
[ ]scmfsa8b__t3_scmfsa8b2017-01-13 00:30 207K 
[ ]scmfsa8b__t4_scmfsa8b2017-01-13 00:30 155K 
[ ]scmfsa8b__t5_scmfsa8b2017-01-13 00:30 221K 
[ ]scmfsa8b__t6_scmfsa8b2017-01-13 00:30 162K 
[ ]scmfsa8b__t7_scmfsa8b2017-01-13 00:30 155K 
[ ]scmfsa8b__t8_scmfsa8b2017-01-13 00:30 267K 
[ ]scmfsa8b__t9_scmfsa8b2017-01-13 00:30 225K 
[ ]scmfsa8b__t10_scmfsa8b2017-01-13 00:30 231K 
[ ]scmfsa8b__t11_scmfsa8b2017-01-13 00:30 185K 
[ ]scmfsa8b__t12_scmfsa8b2017-01-13 00:30 185K 
[ ]scmfsa8b__t13_scmfsa8b2017-01-13 00:30 458K 
[ ]scmfsa8b__t14_scmfsa8b2017-01-13 00:30 484K 
[ ]scmfsa8b__t15_scmfsa8b2017-01-13 00:30 429K 
[ ]scmfsa8b__t16_scmfsa8b2017-01-13 00:30 545K 
[ ]scmfsa8b__t17_scmfsa8b2017-01-13 00:30 247K 
[ ]scmfsa8b__t18_scmfsa8b2017-01-13 00:30 234K 
[ ]scmfsa8b__t19_scmfsa8b2017-01-13 00:30 458K 
[ ]scmfsa8b__t20_scmfsa8b2017-01-13 00:30 484K 
[ ]scmfsa8b__t21_scmfsa8b2017-01-13 00:30 428K 
[ ]scmfsa8b__t22_scmfsa8b2017-01-13 00:30 545K 
[ ]scmfsa8b__t23_scmfsa8b2017-01-13 00:31 251K 
[ ]scmfsa8b__t24_scmfsa8b2017-01-13 00:31 238K 
[ ]scmfsa8b__t25_scmfsa8b2017-01-13 00:31 211K 
[ ]scmfsa8b__t26_scmfsa8b2017-01-13 00:31 264K 
[ ]scmfsa8b__t27_scmfsa8b2017-01-13 00:30 205K 
[ ]scmfsa8b__t28_scmfsa8b2017-01-13 00:31 244K 
[ ]scmfsa8b__t29_scmfsa8b2017-01-13 00:31 211K 
[ ]scmfsa8b__t30_scmfsa8b2017-01-13 00:31 264K 
[ ]scmfsa8b__t31_scmfsa8b2017-01-13 00:31 263K 
[ ]scmfsa8b__t32_scmfsa8b2017-01-13 00:30 164K 
[ ]scmfsa8b__t33_scmfsa8b2017-01-13 00:30 149K 
[ ]scmfsa8b__t34_scmfsa8b2017-01-13 00:31 438K 
[ ]scmfsa8b__t35_scmfsa8b2017-01-13 00:31 190K 
[ ]scmfsa8b__t36_scmfsa8b2017-01-13 00:31 149K 
[ ]scmfsa8b__t37_scmfsa8b2017-01-13 00:31 176K 
[ ]scmfsa8b__t38_scmfsa8b2017-01-13 00:31 201K 
[ ]scmfsa8b__t39_scmfsa8b2017-01-13 00:31 314K 
[ ]scmfsa8b__t40_scmfsa8b2017-01-13 00:31 410K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80