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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8c__l79_scmfsa8c2017-01-12 22:16 126K 
[ ]scmfsa8c__t1_scmfsa8c2017-01-12 22:15 103K 
[ ]scmfsa8c__t2_scmfsa8c2017-01-12 22:15 202K 
[ ]scmfsa8c__t3_scmfsa8c2017-01-12 22:15 95K 
[ ]scmfsa8c__t5_scmfsa8c2017-01-12 22:15 95K 
[ ]scmfsa8c__t6_scmfsa8c2017-01-12 22:15 91K 
[ ]scmfsa8c__t12_scmfsa8c2017-01-12 22:15 111K 
[ ]scmfsa8c__t14_scmfsa8c2017-01-12 22:15 145K 
[ ]scmfsa8c__t15_scmfsa8c2017-01-12 22:15 97K 
[ ]scmfsa8c__t16_scmfsa8c2017-01-12 22:15 188K 
[ ]scmfsa8c__t17_scmfsa8c2017-01-12 22:15 122K 
[ ]scmfsa8c__t18_scmfsa8c2017-01-12 22:15 118K 
[ ]scmfsa8c__t19_scmfsa8c2017-01-12 22:15 143K 
[ ]scmfsa8c__t20_scmfsa8c2017-01-12 22:15 136K 
[ ]scmfsa8c__t21_scmfsa8c2017-01-12 22:15 104K 
[ ]scmfsa8c__t22_scmfsa8c2017-01-12 22:15 217K 
[ ]scmfsa8c__t23_scmfsa8c2017-01-12 22:15 134K 
[ ]scmfsa8c__t24_scmfsa8c2017-01-12 22:15 104K 
[ ]scmfsa8c__t25_scmfsa8c2017-01-12 22:15 152K 
[ ]scmfsa8c__t26_scmfsa8c2017-01-12 22:15 155K 
[ ]scmfsa8c__t27_scmfsa8c2017-01-12 22:15 175K 
[ ]scmfsa8c__t28_scmfsa8c2017-01-12 22:15 175K 
[ ]scmfsa8c__t29_scmfsa8c2017-01-12 22:15 262K 
[ ]scmfsa8c__t30_scmfsa8c2017-01-12 22:15 159K 
[ ]scmfsa8c__t31_scmfsa8c2017-01-12 22:15 160K 
[ ]scmfsa8c__t32_scmfsa8c2017-01-12 22:15 290K 
[ ]scmfsa8c__t33_scmfsa8c2017-01-12 22:15 290K 
[ ]scmfsa8c__t34_scmfsa8c2017-01-12 22:15 178K 
[ ]scmfsa8c__t35_scmfsa8c2017-01-12 22:15 178K 
[ ]scmfsa8c__t36_scmfsa8c2017-01-12 22:15 211K 
[ ]scmfsa8c__t37_scmfsa8c2017-01-12 22:15 400K 
[ ]scmfsa8c__t38_scmfsa8c2017-01-12 22:15 406K 
[ ]scmfsa8c__t39_scmfsa8c2017-01-12 22:15 400K 
[ ]scmfsa8c__t40_scmfsa8c2017-01-12 22:16 406K 
[ ]scmfsa8c__t41_scmfsa8c2017-01-12 22:16 521K 
[ ]scmfsa8c__t42_scmfsa8c2017-01-12 22:16 767K 
[ ]scmfsa8c__t43_scmfsa8c2017-01-12 22:16 521K 
[ ]scmfsa8c__t44_scmfsa8c2017-01-12 22:16 767K 
[ ]scmfsa8c__t45_scmfsa8c2017-01-12 22:16 149K 
[ ]scmfsa8c__t46_scmfsa8c2017-01-12 22:16 152K 
[ ]scmfsa8c__t47_scmfsa8c2017-01-12 22:15 77K 
[ ]scmfsa8c__t48_scmfsa8c2017-01-12 22:16 87K 
[ ]scmfsa8c__t49_scmfsa8c2017-01-12 22:16 83K 
[ ]scmfsa8c__t50_scmfsa8c2017-01-12 22:16 92K 
[ ]scmfsa8c__t51_scmfsa8c2017-01-12 22:16 87K 
[ ]scmfsa8c__t52_scmfsa8c2017-01-12 22:16 115K 
[ ]scmfsa8c__t53_scmfsa8c2017-01-12 22:16 120K 
[ ]scmfsa8c__t54_scmfsa8c2017-01-12 22:16 120K 
[ ]scmfsa8c__t55_scmfsa8c2017-01-12 22:16 120K 
[ ]scmfsa8c__t56_scmfsa8c2017-01-12 22:16 80K 
[ ]scmfsa8c__t57_scmfsa8c2017-01-12 22:16 79K 
[ ]scmfsa8c__t58_scmfsa8c2017-01-12 22:16 106K 
[ ]scmfsa8c__t59_scmfsa8c2017-01-12 22:16 107K 
[ ]scmfsa8c__t60_scmfsa8c2017-01-12 22:16 102K 
[ ]scmfsa8c__t61_scmfsa8c2017-01-12 22:16 104K 
[ ]scmfsa8c__t62_scmfsa8c2017-01-12 22:16 115K 
[ ]scmfsa8c__t63_scmfsa8c2017-01-12 22:16 119K 
[ ]scmfsa8c__t64_scmfsa8c2017-01-12 22:16 111K 
[ ]scmfsa8c__t65_scmfsa8c2017-01-12 22:16 106K 
[ ]scmfsa8c__t66_scmfsa8c2017-01-12 22:16 101K 
[ ]scmfsa8c__t67_scmfsa8c2017-01-12 22:16 117K 
[ ]scmfsa8c__t68_scmfsa8c2017-01-12 22:16 93K 
[ ]scmfsa8c__t69_scmfsa8c2017-01-12 22:16 189K 
[ ]scmfsa8c__t70_scmfsa8c2017-01-12 22:16 82K 
[ ]scmfsa8c__t71_scmfsa8c2017-01-12 22:16 118K 
[ ]scmfsa8c__t72_scmfsa8c2017-01-12 22:16 120K 
[ ]scmfsa8c__t73_scmfsa8c2017-01-12 22:16 133K 
[ ]scmfsa8c__t74_scmfsa8c2017-01-12 22:15 71K 
[ ]scmfsa8c__t75_scmfsa8c2017-01-12 22:15 72K 
[ ]scmfsa8c__t76_scmfsa8c2017-01-12 22:16 127K 
[ ]scmfsa8c__t77_scmfsa8c2017-01-12 22:16 118K 
[ ]scmfsa8c__t78_scmfsa8c2017-01-12 22:15 109K 
[ ]scmfsa8c__t79_scmfsa8c2017-01-12 22:15 107K 
[ ]scmfsa8c__t80_scmfsa8c2017-01-12 22:16 114K 
[ ]scmfsa8c__t81_scmfsa8c2017-01-12 22:16 124K 
[ ]scmfsa8c__t82_scmfsa8c2017-01-12 22:16 150K 
[ ]scmfsa8c__t83_scmfsa8c2017-01-12 22:16 363K 
[ ]scmfsa8c__t84_scmfsa8c2017-01-12 22:16 509K 
[ ]scmfsa8c__t85_scmfsa8c2017-01-12 22:16 166K 
[ ]scmfsa8c__t86_scmfsa8c2017-01-12 22:16 174K 
[ ]scmfsa8c__t87_scmfsa8c2017-01-12 22:16 183K 
[ ]scmfsa8c__t88_scmfsa8c2017-01-12 22:16 148K 
[ ]scmfsa8c__t89_scmfsa8c2017-01-12 22:16 347K 
[ ]scmfsa8c__t90_scmfsa8c2017-01-12 22:16 203K 
[ ]scmfsa8c__t91_scmfsa8c2017-01-12 22:16 778K 
[ ]scmfsa8c__t92_scmfsa8c2017-01-12 22:16 249K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80