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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard6__l1_goboard62017-01-12 22:10 41K 
[ ]goboard6__l2_goboard62017-01-12 22:10 45K 
[ ]goboard6__l3_goboard62017-01-12 22:10 40K 
[ ]goboard6__l5_goboard62017-01-12 22:10 27K 
[ ]goboard6__l9_goboard62017-01-12 22:10 27K 
[ ]goboard6__l17_goboard62017-01-12 22:10 43K 
[ ]goboard6__l76_goboard62017-01-12 22:09 24K 
[ ]goboard6__t1_goboard62017-01-12 22:10 21K 
[ ]goboard6__t2_goboard62017-01-12 22:10 48K 
[ ]goboard6__t3_goboard62017-01-12 22:10 44K 
[ ]goboard6__t4_goboard62017-01-12 22:10 33K 
[ ]goboard6__t5_goboard62017-01-12 22:10 48K 
[ ]goboard6__t6_goboard62017-01-12 22:10 76K 
[ ]goboard6__t7_goboard62017-01-12 22:10 85K 
[ ]goboard6__t8_goboard62017-01-12 22:10 85K 
[ ]goboard6__t9_goboard62017-01-12 22:10 85K 
[ ]goboard6__t10_goboard62017-01-12 22:10 85K 
[ ]goboard6__t11_goboard62017-01-12 22:10 51K 
[ ]goboard6__t12_goboard62017-01-12 22:10 104K 
[ ]goboard6__t13_goboard62017-01-12 22:10 104K 
[ ]goboard6__t14_goboard62017-01-12 22:10 109K 
[ ]goboard6__t15_goboard62017-01-12 22:10 104K 
[ ]goboard6__t16_goboard62017-01-12 22:10 104K 
[ ]goboard6__t17_goboard62017-01-12 22:10 109K 
[ ]goboard6__t18_goboard62017-01-12 22:10 49K 
[ ]goboard6__t19_goboard62017-01-12 22:10 49K 
[ ]goboard6__t20_goboard62017-01-12 22:10 53K 
[ ]goboard6__t21_goboard62017-01-12 22:10 50K 
[ ]goboard6__t22_goboard62017-01-12 22:10 50K 
[ ]goboard6__t23_goboard62017-01-12 22:10 54K 
[ ]goboard6__t24_goboard62017-01-12 22:10 54K 
[ ]goboard6__t25_goboard62017-01-12 22:10 54K 
[ ]goboard6__t26_goboard62017-01-12 22:10 54K 
[ ]goboard6__t27_goboard62017-01-12 22:10 45K 
[ ]goboard6__t28_goboard62017-01-12 22:10 47K 
[ ]goboard6__t29_goboard62017-01-12 22:10 46K 
[ ]goboard6__t30_goboard62017-01-12 22:10 48K 
[ ]goboard6__t31_goboard62017-01-12 22:10 74K 
[ ]goboard6__t32_goboard62017-01-12 22:10 73K 
[ ]goboard6__t33_goboard62017-01-12 22:10 99K 
[ ]goboard6__t34_goboard62017-01-12 22:10 73K 
[ ]goboard6__t35_goboard62017-01-12 22:10 99K 
[ ]goboard6__t36_goboard62017-01-12 22:10 61K 
[ ]goboard6__t37_goboard62017-01-12 22:10 54K 
[ ]goboard6__t38_goboard62017-01-12 22:10 67K 
[ ]goboard6__t39_goboard62017-01-12 22:10 67K 
[ ]goboard6__t40_goboard62017-01-12 22:10 108K 
[ ]goboard6__t41_goboard62017-01-12 22:10 109K 
[ ]goboard6__t42_goboard62017-01-12 22:10 109K 
[ ]goboard6__t43_goboard62017-01-12 22:10 109K 
[ ]goboard6__t44_goboard62017-01-12 22:10 110K 
[ ]goboard6__t45_goboard62017-01-12 22:10 108K 
[ ]goboard6__t46_goboard62017-01-12 22:10 110K 
[ ]goboard6__t47_goboard62017-01-12 22:10 108K 
[ ]goboard6__t48_goboard62017-01-12 22:10 110K 
[ ]goboard6__t49_goboard62017-01-12 22:10 110K 
[ ]goboard6__t50_goboard62017-01-12 22:10 108K 
[ ]goboard6__t51_goboard62017-01-12 22:10 108K 
[ ]goboard6__t52_goboard62017-01-12 22:10 110K 
[ ]goboard6__t53_goboard62017-01-12 22:10 110K 
[ ]goboard6__t54_goboard62017-01-12 22:10 108K 
[ ]goboard6__t55_goboard62017-01-12 22:10 108K 
[ ]goboard6__t56_goboard62017-01-12 22:10 84K 
[ ]goboard6__t57_goboard62017-01-12 22:10 84K 
[ ]goboard6__t58_goboard62017-01-12 22:10 89K 
[ ]goboard6__t59_goboard62017-01-12 22:10 84K 
[ ]goboard6__t60_goboard62017-01-12 22:10 84K 
[ ]goboard6__t61_goboard62017-01-12 22:10 89K 
[ ]goboard6__t62_goboard62017-01-12 22:10 84K 
[ ]goboard6__t63_goboard62017-01-12 22:10 84K 
[ ]goboard6__t64_goboard62017-01-12 22:10 177K 
[ ]goboard6__t65_goboard62017-01-12 22:10 177K 
[ ]goboard6__t66_goboard62017-01-12 22:10 186K 
[ ]goboard6__t67_goboard62017-01-12 22:10 182K 
[ ]goboard6__t68_goboard62017-01-12 22:10 186K 
[ ]goboard6__t69_goboard62017-01-12 22:10 182K 
[ ]goboard6__t70_goboard62017-01-12 22:10 182K 
[ ]goboard6__t71_goboard62017-01-12 22:10 179K 
[ ]goboard6__t72_goboard62017-01-12 22:10 182K 
[ ]goboard6__t73_goboard62017-01-12 22:10 179K 
[ ]goboard6__t74_goboard62017-01-12 22:10 176K 
[ ]goboard6__t75_goboard62017-01-12 22:10 174K 
[ ]goboard6__t76_goboard62017-01-12 22:10 178K 
[ ]goboard6__t77_goboard62017-01-12 22:10 175K 
[ ]goboard6__t78_goboard62017-01-12 22:10 176K 
[ ]goboard6__t79_goboard62017-01-12 22:10 174K 
[ ]goboard6__t80_goboard62017-01-12 22:10 178K 
[ ]goboard6__t81_goboard62017-01-12 22:10 175K 
[ ]goboard6__t82_goboard62017-01-12 22:10 80K 
[ ]goboard6__t83_goboard62017-01-12 22:10 80K 
[ ]goboard6__t84_goboard62017-01-12 22:10 82K 
[ ]goboard6__t85_goboard62017-01-12 22:10 81K 
[ ]goboard6__t86_goboard62017-01-12 22:10 80K 
[ ]goboard6__t87_goboard62017-01-12 22:10 60K 
[ ]goboard6__t88_goboard62017-01-12 22:10 60K 
[ ]goboard6__t89_goboard62017-01-12 22:10 59K 
[ ]goboard6__t90_goboard62017-01-12 22:10 60K 
[ ]goboard6__t91_goboard62017-01-12 22:10 31K 
[ ]goboard6__t92_goboard62017-01-12 22:10 34K 
[ ]goboard6__t93_goboard62017-01-12 22:10 60K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80