Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_isof_tls1/scmfsa8c

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8c__l79_scmfsa8c2017-01-13 17:37 202K 
[ ]scmfsa8c__t1_scmfsa8c2017-01-13 17:37 167K 
[ ]scmfsa8c__t2_scmfsa8c2017-01-13 17:37 292K 
[ ]scmfsa8c__t3_scmfsa8c2017-01-13 17:36 154K 
[ ]scmfsa8c__t5_scmfsa8c2017-01-13 17:37 154K 
[ ]scmfsa8c__t6_scmfsa8c2017-01-13 17:36 149K 
[ ]scmfsa8c__t12_scmfsa8c2017-01-13 17:37 173K 
[ ]scmfsa8c__t14_scmfsa8c2017-01-13 17:37 234K 
[ ]scmfsa8c__t15_scmfsa8c2017-01-13 17:37 158K 
[ ]scmfsa8c__t16_scmfsa8c2017-01-13 17:37 277K 
[ ]scmfsa8c__t17_scmfsa8c2017-01-13 17:37 197K 
[ ]scmfsa8c__t18_scmfsa8c2017-01-13 17:37 190K 
[ ]scmfsa8c__t19_scmfsa8c2017-01-13 17:37 229K 
[ ]scmfsa8c__t20_scmfsa8c2017-01-13 17:37 218K 
[ ]scmfsa8c__t21_scmfsa8c2017-01-13 17:37 169K 
[ ]scmfsa8c__t22_scmfsa8c2017-01-13 17:37 313K 
[ ]scmfsa8c__t23_scmfsa8c2017-01-13 17:37 216K 
[ ]scmfsa8c__t24_scmfsa8c2017-01-13 17:37 168K 
[ ]scmfsa8c__t25_scmfsa8c2017-01-13 17:37 248K 
[ ]scmfsa8c__t26_scmfsa8c2017-01-13 17:37 253K 
[ ]scmfsa8c__t27_scmfsa8c2017-01-13 17:37 275K 
[ ]scmfsa8c__t28_scmfsa8c2017-01-13 17:37 275K 
[ ]scmfsa8c__t29_scmfsa8c2017-01-13 17:37 393K 
[ ]scmfsa8c__t30_scmfsa8c2017-01-13 17:37 259K 
[ ]scmfsa8c__t31_scmfsa8c2017-01-13 17:37 261K 
[ ]scmfsa8c__t32_scmfsa8c2017-01-13 17:37 401K 
[ ]scmfsa8c__t33_scmfsa8c2017-01-13 17:37 401K 
[ ]scmfsa8c__t34_scmfsa8c2017-01-13 17:37 278K 
[ ]scmfsa8c__t35_scmfsa8c2017-01-13 17:37 278K 
[ ]scmfsa8c__t36_scmfsa8c2017-01-13 17:37 315K 
[ ]scmfsa8c__t37_scmfsa8c2017-01-13 17:37 556K 
[ ]scmfsa8c__t38_scmfsa8c2017-01-13 17:37 567K 
[ ]scmfsa8c__t39_scmfsa8c2017-01-13 17:37 556K 
[ ]scmfsa8c__t40_scmfsa8c2017-01-13 17:37 567K 
[ ]scmfsa8c__t41_scmfsa8c2017-01-13 17:37 691K 
[ ]scmfsa8c__t42_scmfsa8c2017-01-13 17:37 961K 
[ ]scmfsa8c__t43_scmfsa8c2017-01-13 17:37 691K 
[ ]scmfsa8c__t44_scmfsa8c2017-01-13 17:37 961K 
[ ]scmfsa8c__t45_scmfsa8c2017-01-13 17:37 245K 
[ ]scmfsa8c__t46_scmfsa8c2017-01-13 17:37 249K 
[ ]scmfsa8c__t47_scmfsa8c2017-01-13 17:36 126K 
[ ]scmfsa8c__t48_scmfsa8c2017-01-13 17:37 141K 
[ ]scmfsa8c__t49_scmfsa8c2017-01-13 17:37 133K 
[ ]scmfsa8c__t50_scmfsa8c2017-01-13 17:37 146K 
[ ]scmfsa8c__t51_scmfsa8c2017-01-13 17:37 141K 
[ ]scmfsa8c__t52_scmfsa8c2017-01-13 17:37 190K 
[ ]scmfsa8c__t53_scmfsa8c2017-01-13 17:37 199K 
[ ]scmfsa8c__t54_scmfsa8c2017-01-13 17:37 199K 
[ ]scmfsa8c__t55_scmfsa8c2017-01-13 17:37 197K 
[ ]scmfsa8c__t56_scmfsa8c2017-01-13 17:37 131K 
[ ]scmfsa8c__t57_scmfsa8c2017-01-13 17:37 126K 
[ ]scmfsa8c__t58_scmfsa8c2017-01-13 17:37 171K 
[ ]scmfsa8c__t59_scmfsa8c2017-01-13 17:37 173K 
[ ]scmfsa8c__t60_scmfsa8c2017-01-13 17:37 167K 
[ ]scmfsa8c__t61_scmfsa8c2017-01-13 17:37 169K 
[ ]scmfsa8c__t62_scmfsa8c2017-01-13 17:37 187K 
[ ]scmfsa8c__t63_scmfsa8c2017-01-13 17:37 192K 
[ ]scmfsa8c__t64_scmfsa8c2017-01-13 17:37 180K 
[ ]scmfsa8c__t65_scmfsa8c2017-01-13 17:37 170K 
[ ]scmfsa8c__t66_scmfsa8c2017-01-13 17:37 164K 
[ ]scmfsa8c__t67_scmfsa8c2017-01-13 17:37 188K 
[ ]scmfsa8c__t68_scmfsa8c2017-01-13 17:37 152K 
[ ]scmfsa8c__t69_scmfsa8c2017-01-13 17:37 300K 
[ ]scmfsa8c__t70_scmfsa8c2017-01-13 17:37 134K 
[ ]scmfsa8c__t71_scmfsa8c2017-01-13 17:37 190K 
[ ]scmfsa8c__t72_scmfsa8c2017-01-13 17:37 193K 
[ ]scmfsa8c__t73_scmfsa8c2017-01-13 17:37 213K 
[ ]scmfsa8c__t74_scmfsa8c2017-01-13 17:36 114K 
[ ]scmfsa8c__t75_scmfsa8c2017-01-13 17:36 116K 
[ ]scmfsa8c__t76_scmfsa8c2017-01-13 17:37 204K 
[ ]scmfsa8c__t77_scmfsa8c2017-01-13 17:37 190K 
[ ]scmfsa8c__t78_scmfsa8c2017-01-13 17:36 175K 
[ ]scmfsa8c__t79_scmfsa8c2017-01-13 17:37 174K 
[ ]scmfsa8c__t80_scmfsa8c2017-01-13 17:37 185K 
[ ]scmfsa8c__t81_scmfsa8c2017-01-13 17:37 200K 
[ ]scmfsa8c__t82_scmfsa8c2017-01-13 17:37 244K 
[ ]scmfsa8c__t83_scmfsa8c2017-01-13 17:37 484K 
[ ]scmfsa8c__t84_scmfsa8c2017-01-13 17:37 672K 
[ ]scmfsa8c__t85_scmfsa8c2017-01-13 17:37 271K 
[ ]scmfsa8c__t86_scmfsa8c2017-01-13 17:37 285K 
[ ]scmfsa8c__t87_scmfsa8c2017-01-13 17:37 299K 
[ ]scmfsa8c__t88_scmfsa8c2017-01-13 17:37 242K 
[ ]scmfsa8c__t89_scmfsa8c2017-01-13 17:37 489K 
[ ]scmfsa8c__t90_scmfsa8c2017-01-13 17:37 330K 
[ ]scmfsa8c__t91_scmfsa8c2017-01-13 17:37 1.0M 
[ ]scmfsa8c__t92_scmfsa8c2017-01-13 17:37 382K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80