Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/memstr_0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]memstr_0__l7_memstr_02025-09-12 21:22 67K 
[ ]memstr_0__t1_memstr_02025-09-12 19:35 57K 
[ ]memstr_0__t2_memstr_02025-09-12 19:37 54K 
[ ]memstr_0__t3_memstr_02025-09-12 19:38 62K 
[ ]memstr_0__t4_memstr_02025-09-12 19:21 62K 
[ ]memstr_0__t5_memstr_02025-09-12 19:40 74K 
[ ]memstr_0__t6_memstr_02025-09-12 19:22 54K 
[ ]memstr_0__t7_memstr_02025-09-12 19:41 62K 
[ ]memstr_0__t8_memstr_02025-09-12 19:42 60K 
[ ]memstr_0__t9_memstr_02025-09-12 19:44 69K 
[ ]memstr_0__t10_memstr_02025-09-12 19:45 60K 
[ ]memstr_0__t11_memstr_02025-09-12 19:47 63K 
[ ]memstr_0__t12_memstr_02025-09-12 19:24 66K 
[ ]memstr_0__t13_memstr_02025-09-12 19:48 64K 
[ ]memstr_0__t14_memstr_02025-09-12 19:25 71K 
[ ]memstr_0__t15_memstr_02025-09-12 19:27 62K 
[ ]memstr_0__t16_memstr_02025-09-12 19:50 71K 
[ ]memstr_0__t17_memstr_02025-09-12 19:51 61K 
[ ]memstr_0__t18_memstr_02025-09-12 19:53 74K 
[ ]memstr_0__t19_memstr_02025-09-12 19:54 95K 
[ ]memstr_0__t20_memstr_02025-09-12 19:56 76K 
[ ]memstr_0__t21_memstr_02025-09-12 19:57 71K 
[ ]memstr_0__t22_memstr_02025-09-12 19:59 63K 
[ ]memstr_0__t23_memstr_02025-09-12 20:00 65K 
[ ]memstr_0__t24_memstr_02025-09-12 20:02 88K 
[ ]memstr_0__t25_memstr_02025-09-12 19:28 72K 
[ ]memstr_0__t26_memstr_02025-09-12 20:03 88K 
[ ]memstr_0__t27_memstr_02025-09-12 20:05 70K 
[ ]memstr_0__t28_memstr_02025-09-12 20:06 74K 
[ ]memstr_0__t29_memstr_02025-09-12 20:08 70K 
[ ]memstr_0__t30_memstr_02025-09-12 20:09 71K 
[ ]memstr_0__t31_memstr_02025-09-12 19:30 72K 
[ ]memstr_0__t32_memstr_02025-09-12 20:11 88K 
[ ]memstr_0__t33_memstr_02025-09-12 20:12 73K 
[ ]memstr_0__t34_memstr_02025-09-12 20:14 68K 
[ ]memstr_0__t35_memstr_02025-09-12 19:31 86K 
[ ]memstr_0__t36_memstr_02025-09-12 20:16 71K 
[ ]memstr_0__t37_memstr_02025-09-12 19:33 73K 
[ ]memstr_0__t38_memstr_02025-09-12 20:17 75K 
[ ]memstr_0__t39_memstr_02025-09-12 20:19 67K 
[ ]memstr_0__t40_memstr_02025-09-12 20:20 64K 
[ ]memstr_0__t41_memstr_02025-09-12 20:21 65K 
[ ]memstr_0__t42_memstr_02025-09-12 20:23 78K 
[ ]memstr_0__t43_memstr_02025-09-12 20:24 77K 
[ ]memstr_0__t44_memstr_02025-09-12 20:26 77K 
[ ]memstr_0__t45_memstr_02025-09-12 20:27 84K 
[ ]memstr_0__t46_memstr_02025-09-12 20:29 77K 
[ ]memstr_0__t47_memstr_02025-09-12 20:30 78K 
[ ]memstr_0__t48_memstr_02025-09-12 20:32 77K 
[ ]memstr_0__t49_memstr_02025-09-12 20:33 79K 
[ ]memstr_0__t50_memstr_02025-09-12 20:35 73K 
[ ]memstr_0__t51_memstr_02025-09-12 20:37 88K 
[ ]memstr_0__t52_memstr_02025-09-12 20:38 81K 
[ ]memstr_0__t53_memstr_02025-09-12 20:40 78K 
[ ]memstr_0__t54_memstr_02025-09-12 20:41 78K 
[ ]memstr_0__t55_memstr_02025-09-12 20:43 86K 
[ ]memstr_0__t56_memstr_02025-09-12 20:44 92K 
[ ]memstr_0__t57_memstr_02025-09-12 20:46 77K 
[ ]memstr_0__t58_memstr_02025-09-12 20:47 77K 
[ ]memstr_0__t59_memstr_02025-09-12 20:49 78K 
[ ]memstr_0__t60_memstr_02025-09-12 20:51 79K 
[ ]memstr_0__t61_memstr_02025-09-12 20:52 103K 
[ ]memstr_0__t62_memstr_02025-09-12 20:54 89K 
[ ]memstr_0__t63_memstr_02025-09-12 20:56 86K 
[ ]memstr_0__t64_memstr_02025-09-12 20:57 79K 
[ ]memstr_0__t65_memstr_02025-09-12 20:59 76K 
[ ]memstr_0__t66_memstr_02025-09-12 21:00 76K 
[ ]memstr_0__t67_memstr_02025-09-12 21:02 79K 
[ ]memstr_0__t68_memstr_02025-09-12 21:03 90K 
[ ]memstr_0__t69_memstr_02025-09-12 21:05 79K 
[ ]memstr_0__t70_memstr_02025-09-12 21:06 76K 
[ ]memstr_0__t71_memstr_02025-09-12 21:08 79K 
[ ]memstr_0__t72_memstr_02025-09-12 21:09 78K 
[ ]memstr_0__t73_memstr_02025-09-12 21:11 84K 
[ ]memstr_0__t74_memstr_02025-09-12 21:12 84K 
[ ]memstr_0__t75_memstr_02025-09-12 21:14 49K 
[ ]memstr_0__t76_memstr_02025-09-12 21:15 50K 
[ ]memstr_0__t77_memstr_02025-09-12 21:16 57K 
[ ]memstr_0__t78_memstr_02025-09-12 21:18 77K 
[ ]memstr_0__t79_memstr_02025-09-12 21:19 83K 
[ ]memstr_0__t80_memstr_02025-09-12 21:21 92K 
[ ]memstr_0__t81_memstr_02025-09-12 19:34 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80