Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tls1/goboard6

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard6__l1_goboard62017-01-13 19:05 41K 
[ ]goboard6__l2_goboard62017-01-13 19:05 46K 
[ ]goboard6__l3_goboard62017-01-13 19:05 40K 
[ ]goboard6__l5_goboard62017-01-13 19:05 27K 
[ ]goboard6__l9_goboard62017-01-13 19:05 27K 
[ ]goboard6__l17_goboard62017-01-13 19:05 43K 
[ ]goboard6__l76_goboard62017-01-13 19:05 25K 
[ ]goboard6__t1_goboard62017-01-13 19:05 21K 
[ ]goboard6__t2_goboard62017-01-13 19:05 48K 
[ ]goboard6__t3_goboard62017-01-13 19:05 44K 
[ ]goboard6__t4_goboard62017-01-13 19:05 33K 
[ ]goboard6__t5_goboard62017-01-13 19:05 48K 
[ ]goboard6__t6_goboard62017-01-13 19:05 78K 
[ ]goboard6__t7_goboard62017-01-13 19:05 87K 
[ ]goboard6__t8_goboard62017-01-13 19:05 87K 
[ ]goboard6__t9_goboard62017-01-13 19:05 87K 
[ ]goboard6__t10_goboard62017-01-13 19:05 87K 
[ ]goboard6__t11_goboard62017-01-13 19:05 51K 
[ ]goboard6__t12_goboard62017-01-13 19:05 106K 
[ ]goboard6__t13_goboard62017-01-13 19:05 106K 
[ ]goboard6__t14_goboard62017-01-13 19:05 111K 
[ ]goboard6__t15_goboard62017-01-13 19:05 106K 
[ ]goboard6__t16_goboard62017-01-13 19:05 106K 
[ ]goboard6__t17_goboard62017-01-13 19:05 111K 
[ ]goboard6__t18_goboard62017-01-13 19:05 49K 
[ ]goboard6__t19_goboard62017-01-13 19:05 49K 
[ ]goboard6__t20_goboard62017-01-13 19:05 53K 
[ ]goboard6__t21_goboard62017-01-13 19:05 50K 
[ ]goboard6__t22_goboard62017-01-13 19:05 50K 
[ ]goboard6__t23_goboard62017-01-13 19:05 54K 
[ ]goboard6__t24_goboard62017-01-13 19:05 54K 
[ ]goboard6__t25_goboard62017-01-13 19:05 54K 
[ ]goboard6__t26_goboard62017-01-13 19:05 54K 
[ ]goboard6__t27_goboard62017-01-13 19:05 45K 
[ ]goboard6__t28_goboard62017-01-13 19:05 47K 
[ ]goboard6__t29_goboard62017-01-13 19:05 46K 
[ ]goboard6__t30_goboard62017-01-13 19:05 48K 
[ ]goboard6__t31_goboard62017-01-13 19:05 75K 
[ ]goboard6__t32_goboard62017-01-13 19:05 74K 
[ ]goboard6__t33_goboard62017-01-13 19:05 102K 
[ ]goboard6__t34_goboard62017-01-13 19:05 74K 
[ ]goboard6__t35_goboard62017-01-13 19:05 102K 
[ ]goboard6__t36_goboard62017-01-13 19:05 62K 
[ ]goboard6__t37_goboard62017-01-13 19:05 55K 
[ ]goboard6__t38_goboard62017-01-13 19:05 67K 
[ ]goboard6__t39_goboard62017-01-13 19:05 67K 
[ ]goboard6__t40_goboard62017-01-13 19:05 111K 
[ ]goboard6__t41_goboard62017-01-13 19:05 111K 
[ ]goboard6__t42_goboard62017-01-13 19:05 111K 
[ ]goboard6__t43_goboard62017-01-13 19:05 111K 
[ ]goboard6__t44_goboard62017-01-13 19:05 113K 
[ ]goboard6__t45_goboard62017-01-13 19:05 110K 
[ ]goboard6__t46_goboard62017-01-13 19:05 113K 
[ ]goboard6__t47_goboard62017-01-13 19:05 110K 
[ ]goboard6__t48_goboard62017-01-13 19:05 112K 
[ ]goboard6__t49_goboard62017-01-13 19:05 112K 
[ ]goboard6__t50_goboard62017-01-13 19:05 110K 
[ ]goboard6__t51_goboard62017-01-13 19:05 110K 
[ ]goboard6__t52_goboard62017-01-13 19:05 112K 
[ ]goboard6__t53_goboard62017-01-13 19:05 112K 
[ ]goboard6__t54_goboard62017-01-13 19:05 110K 
[ ]goboard6__t55_goboard62017-01-13 19:05 110K 
[ ]goboard6__t56_goboard62017-01-13 19:05 85K 
[ ]goboard6__t57_goboard62017-01-13 19:05 86K 
[ ]goboard6__t58_goboard62017-01-13 19:05 90K 
[ ]goboard6__t59_goboard62017-01-13 19:05 85K 
[ ]goboard6__t60_goboard62017-01-13 19:05 85K 
[ ]goboard6__t61_goboard62017-01-13 19:05 90K 
[ ]goboard6__t62_goboard62017-01-13 19:05 86K 
[ ]goboard6__t63_goboard62017-01-13 19:05 85K 
[ ]goboard6__t64_goboard62017-01-13 19:05 185K 
[ ]goboard6__t65_goboard62017-01-13 19:05 185K 
[ ]goboard6__t66_goboard62017-01-13 19:05 194K 
[ ]goboard6__t67_goboard62017-01-13 19:05 190K 
[ ]goboard6__t68_goboard62017-01-13 19:05 194K 
[ ]goboard6__t69_goboard62017-01-13 19:05 190K 
[ ]goboard6__t70_goboard62017-01-13 19:05 190K 
[ ]goboard6__t71_goboard62017-01-13 19:05 187K 
[ ]goboard6__t72_goboard62017-01-13 19:05 190K 
[ ]goboard6__t73_goboard62017-01-13 19:05 187K 
[ ]goboard6__t74_goboard62017-01-13 19:05 183K 
[ ]goboard6__t75_goboard62017-01-13 19:05 182K 
[ ]goboard6__t76_goboard62017-01-13 19:05 185K 
[ ]goboard6__t77_goboard62017-01-13 19:05 182K 
[ ]goboard6__t78_goboard62017-01-13 19:05 183K 
[ ]goboard6__t79_goboard62017-01-13 19:05 182K 
[ ]goboard6__t80_goboard62017-01-13 19:05 185K 
[ ]goboard6__t81_goboard62017-01-13 19:05 182K 
[ ]goboard6__t82_goboard62017-01-13 19:05 81K 
[ ]goboard6__t83_goboard62017-01-13 19:05 82K 
[ ]goboard6__t84_goboard62017-01-13 19:05 83K 
[ ]goboard6__t85_goboard62017-01-13 19:05 82K 
[ ]goboard6__t86_goboard62017-01-13 19:05 82K 
[ ]goboard6__t87_goboard62017-01-13 19:05 61K 
[ ]goboard6__t88_goboard62017-01-13 19:05 61K 
[ ]goboard6__t89_goboard62017-01-13 19:05 60K 
[ ]goboard6__t90_goboard62017-01-13 19:05 61K 
[ ]goboard6__t91_goboard62017-01-13 19:05 31K 
[ ]goboard6__t92_goboard62017-01-13 19:05 34K 
[ ]goboard6__t93_goboard62017-01-13 19:05 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80