Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/memstr_0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]memstr_0__l7_memstr_02016-03-08 13:07 119K 
[ ]memstr_0__t1_memstr_02016-03-08 13:07 106K 
[ ]memstr_0__t2_memstr_02016-03-08 13:07 101K 
[ ]memstr_0__t3_memstr_02016-03-08 13:07 114K 
[ ]memstr_0__t4_memstr_02016-03-08 13:07 114K 
[ ]memstr_0__t5_memstr_02016-03-08 13:07 129K 
[ ]memstr_0__t6_memstr_02016-03-08 13:07 104K 
[ ]memstr_0__t7_memstr_02016-03-08 13:07 115K 
[ ]memstr_0__t8_memstr_02016-03-08 13:07 110K 
[ ]memstr_0__t9_memstr_02016-03-08 13:07 121K 
[ ]memstr_0__t10_memstr_02016-03-08 13:07 110K 
[ ]memstr_0__t11_memstr_02016-03-08 13:07 114K 
[ ]memstr_0__t12_memstr_02016-03-08 13:07 118K 
[ ]memstr_0__t13_memstr_02016-03-08 13:07 117K 
[ ]memstr_0__t14_memstr_02016-03-08 13:07 126K 
[ ]memstr_0__t15_memstr_02016-03-08 13:07 116K 
[ ]memstr_0__t16_memstr_02016-03-08 13:07 125K 
[ ]memstr_0__t17_memstr_02016-03-08 13:07 111K 
[ ]memstr_0__t18_memstr_02016-03-08 13:07 131K 
[ ]memstr_0__t19_memstr_02016-03-08 13:07 160K 
[ ]memstr_0__t20_memstr_02016-03-08 13:07 131K 
[ ]memstr_0__t21_memstr_02016-03-08 13:07 124K 
[ ]memstr_0__t22_memstr_02016-03-08 13:07 115K 
[ ]memstr_0__t23_memstr_02016-03-08 13:07 118K 
[ ]memstr_0__t24_memstr_02016-03-08 13:07 149K 
[ ]memstr_0__t25_memstr_02016-03-08 13:07 127K 
[ ]memstr_0__t26_memstr_02016-03-08 13:07 150K 
[ ]memstr_0__t27_memstr_02016-03-08 13:07 125K 
[ ]memstr_0__t28_memstr_02016-03-08 13:07 128K 
[ ]memstr_0__t29_memstr_02016-03-08 13:07 123K 
[ ]memstr_0__t30_memstr_02016-03-08 13:07 125K 
[ ]memstr_0__t31_memstr_02016-03-08 13:07 125K 
[ ]memstr_0__t32_memstr_02016-03-08 13:07 148K 
[ ]memstr_0__t33_memstr_02016-03-08 13:07 128K 
[ ]memstr_0__t34_memstr_02016-03-08 13:07 123K 
[ ]memstr_0__t35_memstr_02016-03-08 13:07 144K 
[ ]memstr_0__t36_memstr_02016-03-08 13:07 126K 
[ ]memstr_0__t37_memstr_02016-03-08 13:07 127K 
[ ]memstr_0__t38_memstr_02016-03-08 13:07 128K 
[ ]memstr_0__t39_memstr_02016-03-08 13:07 119K 
[ ]memstr_0__t40_memstr_02016-03-08 13:07 118K 
[ ]memstr_0__t41_memstr_02016-03-08 13:07 117K 
[ ]memstr_0__t42_memstr_02016-03-08 13:07 138K 
[ ]memstr_0__t43_memstr_02016-03-08 13:07 132K 
[ ]memstr_0__t44_memstr_02016-03-08 13:07 131K 
[ ]memstr_0__t45_memstr_02016-03-08 13:07 140K 
[ ]memstr_0__t46_memstr_02016-03-08 13:07 131K 
[ ]memstr_0__t47_memstr_02016-03-08 13:07 132K 
[ ]memstr_0__t48_memstr_02016-03-08 13:07 132K 
[ ]memstr_0__t49_memstr_02016-03-08 13:07 136K 
[ ]memstr_0__t50_memstr_02016-03-08 13:07 125K 
[ ]memstr_0__t51_memstr_02016-03-08 13:07 147K 
[ ]memstr_0__t52_memstr_02016-03-08 13:07 138K 
[ ]memstr_0__t53_memstr_02016-03-08 13:07 136K 
[ ]memstr_0__t54_memstr_02016-03-08 13:07 133K 
[ ]memstr_0__t55_memstr_02016-03-08 13:07 145K 
[ ]memstr_0__t56_memstr_02016-03-08 13:07 151K 
[ ]memstr_0__t57_memstr_02016-03-08 13:07 132K 
[ ]memstr_0__t58_memstr_02016-03-08 13:07 132K 
[ ]memstr_0__t59_memstr_02016-03-08 13:07 133K 
[ ]memstr_0__t60_memstr_02016-03-08 13:07 134K 
[ ]memstr_0__t61_memstr_02016-03-08 13:07 168K 
[ ]memstr_0__t62_memstr_02016-03-08 13:07 148K 
[ ]memstr_0__t63_memstr_02016-03-08 13:07 144K 
[ ]memstr_0__t64_memstr_02016-03-08 13:07 135K 
[ ]memstr_0__t65_memstr_02016-03-08 13:07 134K 
[ ]memstr_0__t66_memstr_02016-03-08 13:07 130K 
[ ]memstr_0__t67_memstr_02016-03-08 13:07 136K 
[ ]memstr_0__t68_memstr_02016-03-08 13:07 148K 
[ ]memstr_0__t69_memstr_02016-03-08 13:07 132K 
[ ]memstr_0__t70_memstr_02016-03-08 13:07 129K 
[ ]memstr_0__t71_memstr_02016-03-08 13:07 135K 
[ ]memstr_0__t72_memstr_02016-03-08 13:07 131K 
[ ]memstr_0__t73_memstr_02016-03-08 13:07 138K 
[ ]memstr_0__t74_memstr_02016-03-08 13:07 139K 
[ ]memstr_0__t75_memstr_02017-01-05 20:54 96K 
[ ]memstr_0__t76_memstr_02017-01-05 20:54 96K 
[ ]memstr_0__t77_memstr_02016-03-08 13:07 105K 
[ ]memstr_0__t78_memstr_02016-03-08 13:07 134K 
[ ]memstr_0__t79_memstr_02016-03-08 13:07 140K 
[ ]memstr_0__t80_memstr_02016-03-08 13:07 150K 
[ ]memstr_0__t81_memstr_02016-03-08 13:07 108K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80