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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_1__l22_monoid_12025-09-13 01:55 60K 
[ ]monoid_1__s1_monoid_12025-09-13 00:10 63K 
[ ]monoid_1__t1_monoid_12025-09-13 00:11 73K 
[ ]monoid_1__t2_monoid_12025-09-13 00:13 75K 
[ ]monoid_1__t3_monoid_12025-09-13 00:15 72K 
[ ]monoid_1__t4_monoid_12025-09-13 00:16 73K 
[ ]monoid_1__t5_monoid_12025-09-13 00:18 75K 
[ ]monoid_1__t6_monoid_12025-09-13 00:20 64K 
[ ]monoid_1__t7_monoid_12025-09-13 00:21 64K 
[ ]monoid_1__t8_monoid_12025-09-13 00:23 64K 
[ ]monoid_1__t9_monoid_12025-09-13 00:25 76K 
[ ]monoid_1__t10_monoid_12025-09-13 00:26 58K 
[ ]monoid_1__t11_monoid_12025-09-13 00:28 63K 
[ ]monoid_1__t12_monoid_12025-09-13 00:29 76K 
[ ]monoid_1__t13_monoid_12025-09-13 00:31 66K 
[ ]monoid_1__t14_monoid_12025-09-13 00:33 73K 
[ ]monoid_1__t15_monoid_12025-09-13 00:35 67K 
[ ]monoid_1__t16_monoid_12025-09-13 00:36 78K 
[ ]monoid_1__t17_monoid_12025-09-13 00:38 67K 
[ ]monoid_1__t18_monoid_12025-09-13 00:40 72K 
[ ]monoid_1__t19_monoid_12025-09-13 00:41 73K 
[ ]monoid_1__t20_monoid_12025-09-13 00:43 58K 
[ ]monoid_1__t21_monoid_12025-09-13 00:45 75K 
[ ]monoid_1__t22_monoid_12025-09-13 00:46 67K 
[ ]monoid_1__t23_monoid_12025-09-13 00:48 66K 
[ ]monoid_1__t24_monoid_12025-09-13 00:50 63K 
[ ]monoid_1__t25_monoid_12025-09-13 00:51 73K 
[ ]monoid_1__t26_monoid_12025-09-13 00:53 82K 
[ ]monoid_1__t27_monoid_12025-09-13 00:56 92K 
[ ]monoid_1__t28_monoid_12025-09-13 00:57 81K 
[ ]monoid_1__t29_monoid_12025-09-13 01:00 80K 
[ ]monoid_1__t30_monoid_12025-09-13 01:02 98K 
[ ]monoid_1__t31_monoid_12025-09-13 01:04 78K 
[ ]monoid_1__t32_monoid_12025-09-13 01:06 72K 
[ ]monoid_1__t33_monoid_12025-09-13 01:08 94K 
[ ]monoid_1__t34_monoid_12025-09-13 01:10 90K 
[ ]monoid_1__t35_monoid_12025-09-13 01:11 79K 
[ ]monoid_1__t36_monoid_12025-09-13 01:13 86K 
[ ]monoid_1__t37_monoid_12025-09-13 01:16 99K 
[ ]monoid_1__t38_monoid_12025-09-13 01:18 114K 
[ ]monoid_1__t39_monoid_12025-09-13 01:21 139K 
[ ]monoid_1__t40_monoid_12025-09-13 01:24 128K 
[ ]monoid_1__t41_monoid_12025-09-13 01:26 102K 
[ ]monoid_1__t42_monoid_12025-09-13 01:29 131K 
[ ]monoid_1__t43_monoid_12025-09-13 01:32 134K 
[ ]monoid_1__t44_monoid_12025-09-13 01:33 65K 
[ ]monoid_1__t45_monoid_12025-09-13 01:35 66K 
[ ]monoid_1__t46_monoid_12025-09-13 01:36 67K 
[ ]monoid_1__t47_monoid_12025-09-13 01:38 67K 
[ ]monoid_1__t48_monoid_12025-09-13 01:40 68K 
[ ]monoid_1__t49_monoid_12025-09-13 01:41 63K 
[ ]monoid_1__t50_monoid_12025-09-13 01:43 63K 
[ ]monoid_1__t51_monoid_12025-09-13 01:45 73K 
[ ]monoid_1__t52_monoid_12025-09-13 01:46 72K 
[ ]monoid_1__t53_monoid_12025-09-13 01:48 54K 
[ ]monoid_1__t54_monoid_12025-09-13 01:49 76K 
[ ]monoid_1__t55_monoid_12025-09-13 01:51 62K 
[ ]monoid_1__t56_monoid_12025-09-13 01:53 61K 
[ ]monoid_1__t57_monoid_12025-09-13 01:54 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80