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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard6__l1_goboard62017-01-13 00:36 61K 
[ ]goboard6__l2_goboard62017-01-13 00:36 66K 
[ ]goboard6__l3_goboard62017-01-13 00:36 59K 
[ ]goboard6__l5_goboard62017-01-13 00:36 41K 
[ ]goboard6__l9_goboard62017-01-13 00:36 40K 
[ ]goboard6__l17_goboard62017-01-13 00:36 64K 
[ ]goboard6__l76_goboard62017-01-13 00:35 35K 
[ ]goboard6__t1_goboard62017-01-13 00:35 31K 
[ ]goboard6__t2_goboard62017-01-13 00:35 71K 
[ ]goboard6__t3_goboard62017-01-13 00:35 65K 
[ ]goboard6__t4_goboard62017-01-13 00:35 49K 
[ ]goboard6__t5_goboard62017-01-13 00:35 70K 
[ ]goboard6__t6_goboard62017-01-13 00:35 103K 
[ ]goboard6__t7_goboard62017-01-13 00:35 113K 
[ ]goboard6__t8_goboard62017-01-13 00:35 113K 
[ ]goboard6__t9_goboard62017-01-13 00:35 113K 
[ ]goboard6__t10_goboard62017-01-13 00:35 113K 
[ ]goboard6__t11_goboard62017-01-13 00:35 74K 
[ ]goboard6__t12_goboard62017-01-13 00:35 139K 
[ ]goboard6__t13_goboard62017-01-13 00:35 139K 
[ ]goboard6__t14_goboard62017-01-13 00:35 145K 
[ ]goboard6__t15_goboard62017-01-13 00:35 139K 
[ ]goboard6__t16_goboard62017-01-13 00:35 139K 
[ ]goboard6__t17_goboard62017-01-13 00:35 145K 
[ ]goboard6__t18_goboard62017-01-13 00:35 70K 
[ ]goboard6__t19_goboard62017-01-13 00:35 71K 
[ ]goboard6__t20_goboard62017-01-13 00:35 76K 
[ ]goboard6__t21_goboard62017-01-13 00:35 72K 
[ ]goboard6__t22_goboard62017-01-13 00:35 72K 
[ ]goboard6__t23_goboard62017-01-13 00:35 78K 
[ ]goboard6__t24_goboard62017-01-13 00:35 78K 
[ ]goboard6__t25_goboard62017-01-13 00:35 78K 
[ ]goboard6__t26_goboard62017-01-13 00:35 78K 
[ ]goboard6__t27_goboard62017-01-13 00:35 66K 
[ ]goboard6__t28_goboard62017-01-13 00:35 68K 
[ ]goboard6__t29_goboard62017-01-13 00:35 68K 
[ ]goboard6__t30_goboard62017-01-13 00:35 70K 
[ ]goboard6__t31_goboard62017-01-13 00:35 105K 
[ ]goboard6__t32_goboard62017-01-13 00:35 104K 
[ ]goboard6__t33_goboard62017-01-13 00:35 134K 
[ ]goboard6__t34_goboard62017-01-13 00:35 104K 
[ ]goboard6__t35_goboard62017-01-13 00:35 134K 
[ ]goboard6__t36_goboard62017-01-13 00:35 86K 
[ ]goboard6__t37_goboard62017-01-13 00:35 79K 
[ ]goboard6__t38_goboard62017-01-13 00:35 93K 
[ ]goboard6__t39_goboard62017-01-13 00:35 93K 
[ ]goboard6__t40_goboard62017-01-13 00:35 146K 
[ ]goboard6__t41_goboard62017-01-13 00:36 147K 
[ ]goboard6__t42_goboard62017-01-13 00:36 147K 
[ ]goboard6__t43_goboard62017-01-13 00:36 147K 
[ ]goboard6__t44_goboard62017-01-13 00:36 150K 
[ ]goboard6__t45_goboard62017-01-13 00:36 146K 
[ ]goboard6__t46_goboard62017-01-13 00:36 150K 
[ ]goboard6__t47_goboard62017-01-13 00:36 146K 
[ ]goboard6__t48_goboard62017-01-13 00:36 149K 
[ ]goboard6__t49_goboard62017-01-13 00:36 149K 
[ ]goboard6__t50_goboard62017-01-13 00:36 145K 
[ ]goboard6__t51_goboard62017-01-13 00:36 145K 
[ ]goboard6__t52_goboard62017-01-13 00:36 149K 
[ ]goboard6__t53_goboard62017-01-13 00:36 149K 
[ ]goboard6__t54_goboard62017-01-13 00:36 145K 
[ ]goboard6__t55_goboard62017-01-13 00:36 145K 
[ ]goboard6__t56_goboard62017-01-13 00:36 118K 
[ ]goboard6__t57_goboard62017-01-13 00:36 119K 
[ ]goboard6__t58_goboard62017-01-13 00:36 125K 
[ ]goboard6__t59_goboard62017-01-13 00:36 118K 
[ ]goboard6__t60_goboard62017-01-13 00:36 118K 
[ ]goboard6__t61_goboard62017-01-13 00:36 125K 
[ ]goboard6__t62_goboard62017-01-13 00:36 119K 
[ ]goboard6__t63_goboard62017-01-13 00:36 118K 
[ ]goboard6__t64_goboard62017-01-13 00:36 215K 
[ ]goboard6__t65_goboard62017-01-13 00:36 215K 
[ ]goboard6__t66_goboard62017-01-13 00:36 228K 
[ ]goboard6__t67_goboard62017-01-13 00:36 221K 
[ ]goboard6__t68_goboard62017-01-13 00:36 228K 
[ ]goboard6__t69_goboard62017-01-13 00:36 221K 
[ ]goboard6__t70_goboard62017-01-13 00:36 222K 
[ ]goboard6__t71_goboard62017-01-13 00:36 217K 
[ ]goboard6__t72_goboard62017-01-13 00:36 222K 
[ ]goboard6__t73_goboard62017-01-13 00:36 217K 
[ ]goboard6__t74_goboard62017-01-13 00:36 213K 
[ ]goboard6__t75_goboard62017-01-13 00:36 210K 
[ ]goboard6__t76_goboard62017-01-13 00:36 216K 
[ ]goboard6__t77_goboard62017-01-13 00:36 212K 
[ ]goboard6__t78_goboard62017-01-13 00:36 213K 
[ ]goboard6__t79_goboard62017-01-13 00:36 210K 
[ ]goboard6__t80_goboard62017-01-13 00:36 216K 
[ ]goboard6__t81_goboard62017-01-13 00:36 212K 
[ ]goboard6__t82_goboard62017-01-13 00:36 111K 
[ ]goboard6__t83_goboard62017-01-13 00:36 112K 
[ ]goboard6__t84_goboard62017-01-13 00:36 115K 
[ ]goboard6__t85_goboard62017-01-13 00:36 113K 
[ ]goboard6__t86_goboard62017-01-13 00:36 112K 
[ ]goboard6__t87_goboard62017-01-13 00:36 89K 
[ ]goboard6__t88_goboard62017-01-13 00:36 88K 
[ ]goboard6__t89_goboard62017-01-13 00:36 87K 
[ ]goboard6__t90_goboard62017-01-13 00:36 88K 
[ ]goboard6__t91_goboard62017-01-13 00:36 47K 
[ ]goboard6__t92_goboard62017-01-13 00:36 52K 
[ ]goboard6__t93_goboard62017-01-13 00:36 85K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80