Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_tl.bad_dt_f/comput_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comput_1__l24_comput_12017-01-05 20:54 75K 
[ ]comput_1__l70_comput_12017-01-05 20:54 122K 
[ ]comput_1__l71_comput_12017-01-05 20:54 142K 
[ ]comput_1__l72_comput_12017-01-05 20:54 146K 
[ ]comput_1__l73_comput_12017-01-05 20:54 172K 
[ ]comput_1__l74_comput_12017-01-05 20:54 176K 
[ ]comput_1__l87_comput_12017-01-05 20:54 73K 
[ ]comput_1__l111_comput_12017-01-05 20:54 137K 
[ ]comput_1__t1_comput_12016-03-08 13:05 62K 
[ ]comput_1__t2_comput_12016-03-08 13:05 55K 
[ ]comput_1__t3_comput_12016-03-08 13:05 98K 
[ ]comput_1__t4_comput_12016-03-08 13:05 117K 
[ ]comput_1__t5_comput_12017-01-05 20:54 69K 
[ ]comput_1__t6_comput_12017-01-05 20:54 66K 
[ ]comput_1__t7_comput_12016-03-08 13:05 62K 
[ ]comput_1__t8_comput_12017-01-05 20:54 77K 
[ ]comput_1__t9_comput_12017-01-05 20:54 86K 
[ ]comput_1__t10_comput_12016-03-08 13:05 62K 
[ ]comput_1__t11_comput_12016-03-08 13:05 66K 
[ ]comput_1__t12_comput_12017-01-05 20:54 56K 
[ ]comput_1__t13_comput_12016-03-08 13:05 59K 
[ ]comput_1__t14_comput_12017-01-05 20:54 57K 
[ ]comput_1__t15_comput_12017-01-05 20:54 67K 
[ ]comput_1__t16_comput_12017-01-05 20:54 69K 
[ ]comput_1__t17_comput_12016-03-08 13:05 74K 
[ ]comput_1__t18_comput_12016-03-08 13:05 54K 
[ ]comput_1__t19_comput_12016-03-08 13:05 55K 
[ ]comput_1__t20_comput_12017-01-05 20:54 75K 
[ ]comput_1__t21_comput_12017-01-05 20:54 73K 
[ ]comput_1__t22_comput_12017-01-05 20:54 75K 
[ ]comput_1__t23_comput_12017-01-05 20:54 76K 
[ ]comput_1__t24_comput_12017-01-05 20:54 72K 
[ ]comput_1__t25_comput_12017-01-05 20:54 72K 
[ ]comput_1__t26_comput_12016-03-08 13:05 55K 
[ ]comput_1__t27_comput_12017-01-05 20:54 71K 
[ ]comput_1__t28_comput_12017-01-05 20:54 72K 
[ ]comput_1__t29_comput_12017-01-05 20:54 75K 
[ ]comput_1__t30_comput_12017-01-05 20:54 83K 
[ ]comput_1__t31_comput_12017-01-05 20:54 85K 
[ ]comput_1__t32_comput_12017-01-05 20:54 84K 
[ ]comput_1__t33_comput_12017-01-05 20:54 72K 
[ ]comput_1__t34_comput_12017-01-05 20:54 84K 
[ ]comput_1__t35_comput_12017-01-05 20:54 91K 
[ ]comput_1__t36_comput_12017-01-05 20:54 95K 
[ ]comput_1__t37_comput_12017-01-05 20:54 93K 
[ ]comput_1__t38_comput_12017-01-05 20:54 95K 
[ ]comput_1__t39_comput_12017-01-05 20:54 86K 
[ ]comput_1__t40_comput_12017-01-05 20:54 117K 
[ ]comput_1__t41_comput_12017-01-05 20:54 91K 
[ ]comput_1__t42_comput_12017-01-05 20:54 90K 
[ ]comput_1__t43_comput_12016-03-08 13:05 63K 
[ ]comput_1__t44_comput_12017-01-05 20:54 91K 
[ ]comput_1__t45_comput_12017-01-05 20:54 110K 
[ ]comput_1__t46_comput_12017-01-05 20:54 103K 
[ ]comput_1__t47_comput_12017-01-05 20:54 84K 
[ ]comput_1__t48_comput_12017-01-05 20:54 73K 
[ ]comput_1__t49_comput_12017-01-05 20:54 114K 
[ ]comput_1__t50_comput_12017-01-05 20:54 104K 
[ ]comput_1__t51_comput_12017-01-05 20:54 138K 
[ ]comput_1__t52_comput_12017-01-05 20:54 141K 
[ ]comput_1__t53_comput_12017-01-05 20:54 108K 
[ ]comput_1__t54_comput_12017-01-05 20:54 160K 
[ ]comput_1__t55_comput_12017-01-05 20:54 93K 
[ ]comput_1__t56_comput_12017-01-05 20:54 94K 
[ ]comput_1__t57_comput_12017-01-05 20:54 123K 
[ ]comput_1__t58_comput_12017-01-05 20:54 96K 
[ ]comput_1__t59_comput_12017-01-05 20:54 96K 
[ ]comput_1__t60_comput_12017-01-05 20:54 104K 
[ ]comput_1__t61_comput_12017-01-05 20:54 100K 
[ ]comput_1__t62_comput_12017-01-05 20:54 100K 
[ ]comput_1__t63_comput_12017-01-05 20:54 135K 
[ ]comput_1__t64_comput_12017-01-05 20:54 179K 
[ ]comput_1__t65_comput_12017-01-05 20:54 141K 
[ ]comput_1__t66_comput_12017-01-05 20:54 112K 
[ ]comput_1__t67_comput_12017-01-05 20:54 98K 
[ ]comput_1__t68_comput_12017-01-05 20:54 137K 
[ ]comput_1__t69_comput_12017-01-05 20:54 335K 
[ ]comput_1__t70_comput_12017-01-05 20:54 141K 
[ ]comput_1__t71_comput_12017-01-05 20:54 113K 
[ ]comput_1__t72_comput_12017-01-05 20:54 111K 
[ ]comput_1__t73_comput_12017-01-05 20:54 129K 
[ ]comput_1__t74_comput_12017-01-05 20:54 67K 
[ ]comput_1__t75_comput_12017-01-05 20:54 135K 
[ ]comput_1__t76_comput_12017-01-05 20:54 140K 
[ ]comput_1__t77_comput_12017-01-05 20:54 138K 
[ ]comput_1__t78_comput_12017-01-05 20:54 131K 
[ ]comput_1__t79_comput_12017-01-05 20:54 103K 
[ ]comput_1__t80_comput_12017-01-05 20:54 104K 
[ ]comput_1__t81_comput_12017-01-05 20:54 103K 
[ ]comput_1__t82_comput_12017-01-05 20:54 101K 
[ ]comput_1__t83_comput_12017-01-05 20:54 127K 
[ ]comput_1__t84_comput_12017-01-05 20:54 139K 
[ ]comput_1__t85_comput_12017-01-05 20:54 138K 
[ ]comput_1__t86_comput_12017-01-05 20:54 156K 
[ ]comput_1__t87_comput_12017-01-05 20:54 152K 
[ ]comput_1__t88_comput_12017-01-05 20:54 142K 
[ ]comput_1__t89_comput_12017-01-05 20:54 116K 
[ ]comput_1__t90_comput_12017-01-05 20:54 229K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80