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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lexbfs__l1_lexbfs2017-01-13 00:37 133K 
[ ]lexbfs__l2_lexbfs2017-01-13 00:37 104K 
[ ]lexbfs__l4_lexbfs2017-01-13 00:37 95K 
[ ]lexbfs__l15_lexbfs2017-01-13 00:37 152K 
[ ]lexbfs__l16_lexbfs2017-01-13 00:37 178K 
[ ]lexbfs__l17_lexbfs2017-01-13 00:37 162K 
[ ]lexbfs__l52_lexbfs2017-01-13 00:37 131K 
[ ]lexbfs__t1_lexbfs2017-01-13 00:36 181K 
[ ]lexbfs__t2_lexbfs2017-01-13 00:36 99K 
[ ]lexbfs__t3_lexbfs2017-01-13 00:36 102K 
[ ]lexbfs__t4_lexbfs2017-01-13 00:36 96K 
[ ]lexbfs__t5_lexbfs2017-01-13 00:36 127K 
[ ]lexbfs__t6_lexbfs2017-01-13 00:36 93K 
[ ]lexbfs__t7_lexbfs2017-01-13 00:36 114K 
[ ]lexbfs__t8_lexbfs2017-01-13 00:36 97K 
[ ]lexbfs__t9_lexbfs2017-01-13 00:36 119K 
[ ]lexbfs__t10_lexbfs2017-01-13 00:36 94K 
[ ]lexbfs__t11_lexbfs2017-01-13 00:36 156K 
[ ]lexbfs__t12_lexbfs2017-01-13 00:36 149K 
[ ]lexbfs__t13_lexbfs2017-01-13 00:36 164K 
[ ]lexbfs__t14_lexbfs2017-01-13 00:36 187K 
[ ]lexbfs__t15_lexbfs2017-01-13 00:36 146K 
[ ]lexbfs__t16_lexbfs2017-01-13 00:36 130K 
[ ]lexbfs__t17_lexbfs2017-01-13 00:36 182K 
[ ]lexbfs__t18_lexbfs2017-01-13 00:36 166K 
[ ]lexbfs__t19_lexbfs2017-01-13 00:36 122K 
[ ]lexbfs__t20_lexbfs2017-01-13 00:36 209K 
[ ]lexbfs__t21_lexbfs2017-01-13 00:36 140K 
[ ]lexbfs__t22_lexbfs2017-01-13 00:36 186K 
[ ]lexbfs__t23_lexbfs2017-01-13 00:36 192K 
[ ]lexbfs__t24_lexbfs2017-01-13 00:36 185K 
[ ]lexbfs__t25_lexbfs2017-01-13 00:36 165K 
[ ]lexbfs__t26_lexbfs2017-01-13 00:36 165K 
[ ]lexbfs__t27_lexbfs2017-01-13 00:36 170K 
[ ]lexbfs__t28_lexbfs2017-01-13 00:36 132K 
[ ]lexbfs__t29_lexbfs2017-01-13 00:36 181K 
[ ]lexbfs__t30_lexbfs2017-01-13 00:36 171K 
[ ]lexbfs__t31_lexbfs2017-01-13 00:36 176K 
[ ]lexbfs__t32_lexbfs2017-01-13 00:36 180K 
[ ]lexbfs__t33_lexbfs2017-01-13 00:36 194K 
[ ]lexbfs__t34_lexbfs2017-01-13 00:36 115K 
[ ]lexbfs__t35_lexbfs2017-01-13 00:36 117K 
[ ]lexbfs__t36_lexbfs2017-01-13 00:36 126K 
[ ]lexbfs__t37_lexbfs2017-01-13 00:36 179K 
[ ]lexbfs__t38_lexbfs2017-01-13 00:36 122K 
[ ]lexbfs__t39_lexbfs2017-01-13 00:36 151K 
[ ]lexbfs__t40_lexbfs2017-01-13 00:36 123K 
[ ]lexbfs__t41_lexbfs2017-01-13 00:36 183K 
[ ]lexbfs__t42_lexbfs2017-01-13 00:36 194K 
[ ]lexbfs__t43_lexbfs2017-01-13 00:36 193K 
[ ]lexbfs__t44_lexbfs2017-01-13 00:36 189K 
[ ]lexbfs__t45_lexbfs2017-01-13 00:36 158K 
[ ]lexbfs__t46_lexbfs2017-01-13 00:36 210K 
[ ]lexbfs__t47_lexbfs2017-01-13 00:36 137K 
[ ]lexbfs__t48_lexbfs2017-01-13 00:36 223K 
[ ]lexbfs__t49_lexbfs2017-01-13 00:36 127K 
[ ]lexbfs__t50_lexbfs2017-01-13 00:36 160K 
[ ]lexbfs__t51_lexbfs2017-01-13 00:36 200K 
[ ]lexbfs__t52_lexbfs2017-01-13 00:36 221K 
[ ]lexbfs__t53_lexbfs2017-01-13 00:36 245K 
[ ]lexbfs__t54_lexbfs2017-01-13 00:36 1.2M 
[ ]lexbfs__t55_lexbfs2017-01-13 00:36 136K 
[ ]lexbfs__t56_lexbfs2017-01-13 00:36 130K 
[ ]lexbfs__t57_lexbfs2017-01-13 00:36 135K 
[ ]lexbfs__t58_lexbfs2017-01-13 00:36 165K 
[ ]lexbfs__t59_lexbfs2017-01-13 00:36 157K 
[ ]lexbfs__t60_lexbfs2017-01-13 00:36 138K 
[ ]lexbfs__t61_lexbfs2017-01-13 00:36 138K 
[ ]lexbfs__t62_lexbfs2017-01-13 00:36 139K 
[ ]lexbfs__t63_lexbfs2017-01-13 00:36 138K 
[ ]lexbfs__t64_lexbfs2017-01-13 00:36 174K 
[ ]lexbfs__t65_lexbfs2017-01-13 00:36 176K 
[ ]lexbfs__t66_lexbfs2017-01-13 00:36 167K 
[ ]lexbfs__t67_lexbfs2017-01-13 00:36 112K 
[ ]lexbfs__t68_lexbfs2017-01-13 00:37 115K 
[ ]lexbfs__t69_lexbfs2017-01-13 00:37 123K 
[ ]lexbfs__t70_lexbfs2017-01-13 00:37 175K 
[ ]lexbfs__t71_lexbfs2017-01-13 00:37 119K 
[ ]lexbfs__t72_lexbfs2017-01-13 00:37 148K 
[ ]lexbfs__t73_lexbfs2017-01-13 00:37 175K 
[ ]lexbfs__t74_lexbfs2017-01-13 00:37 179K 
[ ]lexbfs__t75_lexbfs2017-01-13 00:37 202K 
[ ]lexbfs__t76_lexbfs2017-01-13 00:37 202K 
[ ]lexbfs__t77_lexbfs2017-01-13 00:37 254K 
[ ]lexbfs__t78_lexbfs2017-01-13 00:37 128K 
[ ]lexbfs__t79_lexbfs2017-01-13 00:37 662K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80