Index of /~mptp/7.13.01_4.181.1147/mptp/problems_gdfthf/monoid_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_1__l22_monoid_12019-08-24 21:07 70K 
[ ]monoid_1__s1_monoid_12019-08-24 21:05 80K 
[ ]monoid_1__t1_monoid_12019-08-24 21:04 136K 
[ ]monoid_1__t2_monoid_12019-08-24 21:05 133K 
[ ]monoid_1__t3_monoid_12019-08-24 21:05 137K 
[ ]monoid_1__t4_monoid_12019-08-24 21:05 181K 
[ ]monoid_1__t5_monoid_12019-08-24 21:05 153K 
[ ]monoid_1__t6_monoid_12019-08-24 21:05 108K 
[ ]monoid_1__t7_monoid_12019-08-24 21:05 93K 
[ ]monoid_1__t8_monoid_12019-08-24 21:05 110K 
[ ]monoid_1__t9_monoid_12019-08-24 21:06 124K 
[ ]monoid_1__t10_monoid_12019-08-24 21:06 83K 
[ ]monoid_1__t11_monoid_12019-08-24 21:06 85K 
[ ]monoid_1__t12_monoid_12019-08-24 21:06 233K 
[ ]monoid_1__t13_monoid_12019-08-24 21:06 146K 
[ ]monoid_1__t14_monoid_12019-08-24 21:06 171K 
[ ]monoid_1__t15_monoid_12019-08-24 21:07 136K 
[ ]monoid_1__t16_monoid_12019-08-24 21:07 227K 
[ ]monoid_1__t17_monoid_12019-08-24 21:07 85K 
[ ]monoid_1__t18_monoid_12019-08-24 21:07 97K 
[ ]monoid_1__t19_monoid_12019-08-24 21:07 84K 
[ ]monoid_1__t20_monoid_12019-08-24 21:07 61K 
[ ]monoid_1__t21_monoid_12019-08-24 21:07 114K 
[ ]monoid_1__t22_monoid_12019-08-24 21:07 75K 
[ ]monoid_1__t23_monoid_12019-08-24 21:07 139K 
[ ]monoid_1__t24_monoid_12019-08-24 21:08 79K 
[ ]monoid_1__t25_monoid_12019-08-24 21:08 119K 
[ ]monoid_1__t26_monoid_12019-08-24 21:08 94K 
[ ]monoid_1__t27_monoid_12019-08-24 21:08 107K 
[ ]monoid_1__t28_monoid_12019-08-24 21:08 85K 
[ ]monoid_1__t29_monoid_12019-08-24 21:08 127K 
[ ]monoid_1__t30_monoid_12019-08-24 21:08 109K 
[ ]monoid_1__t31_monoid_12019-08-24 21:08 91K 
[ ]monoid_1__t32_monoid_12019-08-24 21:08 86K 
[ ]monoid_1__t33_monoid_12019-08-24 21:08 135K 
[ ]monoid_1__t34_monoid_12019-08-24 21:08 213K 
[ ]monoid_1__t35_monoid_12019-08-24 21:09 192K 
[ ]monoid_1__t36_monoid_12019-08-24 21:09 97K 
[ ]monoid_1__t37_monoid_12019-08-24 21:09 121K 
[ ]monoid_1__t38_monoid_12019-08-24 21:09 149K 
[ ]monoid_1__t39_monoid_12019-08-24 21:09 206K 
[ ]monoid_1__t40_monoid_12019-08-24 21:10 245K 
[ ]monoid_1__t41_monoid_12019-08-24 21:10 208K 
[ ]monoid_1__t42_monoid_12019-08-24 21:10 250K 
[ ]monoid_1__t43_monoid_12019-08-24 21:12 615K 
[ ]monoid_1__t44_monoid_12019-08-24 21:12 83K 
[ ]monoid_1__t45_monoid_12019-08-24 21:12 110K 
[ ]monoid_1__t46_monoid_12019-08-24 21:14 136K 
[ ]monoid_1__t47_monoid_12019-08-24 21:12 130K 
[ ]monoid_1__t48_monoid_12019-08-24 21:12 256K 
[ ]monoid_1__t49_monoid_12019-08-24 21:13 82K 
[ ]monoid_1__t50_monoid_12019-08-24 21:13 96K 
[ ]monoid_1__t51_monoid_12019-08-24 21:13 240K 
[ ]monoid_1__t52_monoid_12019-08-24 21:13 114K 
[ ]monoid_1__t53_monoid_12019-08-24 21:13 68K 
[ ]monoid_1__t54_monoid_12019-08-24 21:14 194K 
[ ]monoid_1__t55_monoid_12019-08-24 21:14 70K 
[ ]monoid_1__t56_monoid_12019-08-24 21:14 67K 
[ ]monoid_1__t57_monoid_12019-08-24 21:14 91K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80