Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/monoid_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_1__l22_monoid_12021-07-18 14:22 56K 
[ ]monoid_1__s1_monoid_12021-07-18 13:55 57K 
[ ]monoid_1__t1_monoid_12021-07-18 13:55 65K 
[ ]monoid_1__t2_monoid_12021-07-18 13:55 69K 
[ ]monoid_1__t3_monoid_12021-07-18 13:56 66K 
[ ]monoid_1__t4_monoid_12021-07-18 13:56 66K 
[ ]monoid_1__t5_monoid_12021-07-18 13:57 68K 
[ ]monoid_1__t6_monoid_12021-07-18 13:57 59K 
[ ]monoid_1__t7_monoid_12021-07-18 13:58 59K 
[ ]monoid_1__t8_monoid_12021-07-18 13:58 60K 
[ ]monoid_1__t9_monoid_12021-07-18 13:58 71K 
[ ]monoid_1__t10_monoid_12021-07-18 13:59 53K 
[ ]monoid_1__t11_monoid_12021-07-18 13:59 59K 
[ ]monoid_1__t12_monoid_12021-07-18 14:00 69K 
[ ]monoid_1__t13_monoid_12021-07-18 14:00 61K 
[ ]monoid_1__t14_monoid_12021-07-18 14:01 68K 
[ ]monoid_1__t15_monoid_12021-07-18 14:01 62K 
[ ]monoid_1__t16_monoid_12021-07-18 14:01 72K 
[ ]monoid_1__t17_monoid_12021-07-18 14:02 63K 
[ ]monoid_1__t18_monoid_12021-07-18 14:02 65K 
[ ]monoid_1__t19_monoid_12021-07-18 14:03 67K 
[ ]monoid_1__t20_monoid_12021-07-18 14:03 51K 
[ ]monoid_1__t21_monoid_12021-07-18 14:04 70K 
[ ]monoid_1__t22_monoid_12021-07-18 14:04 62K 
[ ]monoid_1__t23_monoid_12021-07-18 14:05 61K 
[ ]monoid_1__t24_monoid_12021-07-18 14:05 58K 
[ ]monoid_1__t25_monoid_12021-07-18 14:05 69K 
[ ]monoid_1__t26_monoid_12021-07-18 14:06 77K 
[ ]monoid_1__t27_monoid_12021-07-18 14:06 85K 
[ ]monoid_1__t28_monoid_12021-07-18 14:07 74K 
[ ]monoid_1__t29_monoid_12021-07-18 14:08 75K 
[ ]monoid_1__t30_monoid_12021-07-18 14:08 91K 
[ ]monoid_1__t31_monoid_12021-07-18 14:09 73K 
[ ]monoid_1__t32_monoid_12021-07-18 14:09 68K 
[ ]monoid_1__t33_monoid_12021-07-18 14:10 87K 
[ ]monoid_1__t34_monoid_12021-07-18 14:10 79K 
[ ]monoid_1__t35_monoid_12021-07-18 14:11 68K 
[ ]monoid_1__t36_monoid_12021-07-18 14:11 80K 
[ ]monoid_1__t37_monoid_12021-07-18 14:12 91K 
[ ]monoid_1__t38_monoid_12021-07-18 14:12 105K 
[ ]monoid_1__t39_monoid_12021-07-18 14:13 128K 
[ ]monoid_1__t40_monoid_12021-07-18 14:14 117K 
[ ]monoid_1__t41_monoid_12021-07-18 14:14 92K 
[ ]monoid_1__t42_monoid_12021-07-18 14:15 119K 
[ ]monoid_1__t43_monoid_12021-07-18 14:16 123K 
[ ]monoid_1__t44_monoid_12021-07-18 14:16 59K 
[ ]monoid_1__t45_monoid_12021-07-18 14:17 60K 
[ ]monoid_1__t46_monoid_12021-07-18 14:17 60K 
[ ]monoid_1__t47_monoid_12021-07-18 14:18 61K 
[ ]monoid_1__t48_monoid_12021-07-18 14:18 61K 
[ ]monoid_1__t49_monoid_12021-07-18 14:19 57K 
[ ]monoid_1__t50_monoid_12021-07-18 14:19 57K 
[ ]monoid_1__t51_monoid_12021-07-18 14:19 66K 
[ ]monoid_1__t52_monoid_12021-07-18 14:20 65K 
[ ]monoid_1__t53_monoid_12021-07-18 14:20 49K 
[ ]monoid_1__t54_monoid_12021-07-18 14:21 68K 
[ ]monoid_1__t55_monoid_12021-07-18 14:21 58K 
[ ]monoid_1__t56_monoid_12021-07-18 14:22 56K 
[ ]monoid_1__t57_monoid_12021-07-18 14:22 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80