Index of /~mptp/mml5.63.1382/MPTP2/problems/monoid_0

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_0__l27_monoid_02023-06-28 12:29 36K 
[ ]monoid_0__l37_monoid_02023-06-28 12:30 31K 
[ ]monoid_0__l38_monoid_02023-06-28 13:03 34K 
[ ]monoid_0__l39_monoid_02023-06-28 13:03 38K 
[ ]monoid_0__l67_monoid_02023-06-28 13:04 54K 
[ ]monoid_0__s1_monoid_02023-06-28 12:30 41K 
[ ]monoid_0__s2_monoid_02023-06-28 12:30 45K 
[ ]monoid_0__t1_monoid_02023-06-28 12:31 31K 
[ ]monoid_0__t2_monoid_02023-06-28 12:23 28K 
[ ]monoid_0__t3_monoid_02023-06-28 12:31 42K 
[ ]monoid_0__t4_monoid_02023-06-28 12:32 35K 
[ ]monoid_0__t5_monoid_02023-06-28 12:32 40K 
[ ]monoid_0__t6_monoid_02023-06-28 12:23 36K 
[ ]monoid_0__t7_monoid_02023-06-28 12:33 36K 
[ ]monoid_0__t8_monoid_02023-06-28 12:33 36K 
[ ]monoid_0__t9_monoid_02023-06-28 12:33 36K 
[ ]monoid_0__t10_monoid_02023-06-28 12:34 36K 
[ ]monoid_0__t11_monoid_02023-06-28 12:34 36K 
[ ]monoid_0__t12_monoid_02023-06-28 12:35 36K 
[ ]monoid_0__t13_monoid_02023-06-28 12:35 36K 
[ ]monoid_0__t14_monoid_02023-06-28 12:36 37K 
[ ]monoid_0__t15_monoid_02023-06-28 12:36 43K 
[ ]monoid_0__t16_monoid_02023-06-28 12:24 36K 
[ ]monoid_0__t17_monoid_02023-06-28 12:24 35K 
[ ]monoid_0__t18_monoid_02023-06-28 12:37 41K 
[ ]monoid_0__t19_monoid_02023-06-28 12:37 42K 
[ ]monoid_0__t20_monoid_02023-06-28 12:38 42K 
[ ]monoid_0__t21_monoid_02023-06-28 12:38 31K 
[ ]monoid_0__t22_monoid_02023-06-28 12:38 35K 
[ ]monoid_0__t23_monoid_02023-06-28 12:39 39K 
[ ]monoid_0__t24_monoid_02023-06-28 12:39 43K 
[ ]monoid_0__t25_monoid_02023-06-28 12:40 40K 
[ ]monoid_0__t26_monoid_02023-06-28 12:40 46K 
[ ]monoid_0__t27_monoid_02023-06-28 12:41 42K 
[ ]monoid_0__t28_monoid_02023-06-28 12:41 44K 
[ ]monoid_0__t29_monoid_02023-06-28 12:41 38K 
[ ]monoid_0__t30_monoid_02023-06-28 12:42 41K 
[ ]monoid_0__t31_monoid_02023-06-28 12:42 40K 
[ ]monoid_0__t32_monoid_02023-06-28 12:43 38K 
[ ]monoid_0__t33_monoid_02023-06-28 12:43 38K 
[ ]monoid_0__t34_monoid_02023-06-28 12:44 38K 
[ ]monoid_0__t35_monoid_02023-06-28 12:44 39K 
[ ]monoid_0__t36_monoid_02023-06-28 12:44 40K 
[ ]monoid_0__t37_monoid_02023-06-28 12:45 36K 
[ ]monoid_0__t38_monoid_02023-06-28 12:25 42K 
[ ]monoid_0__t39_monoid_02023-06-28 12:45 53K 
[ ]monoid_0__t40_monoid_02023-06-28 12:46 82K 
[ ]monoid_0__t41_monoid_02023-06-28 12:25 48K 
[ ]monoid_0__t42_monoid_02023-06-28 12:26 48K 
[ ]monoid_0__t43_monoid_02023-06-28 12:26 48K 
[ ]monoid_0__t44_monoid_02023-06-28 12:47 62K 
[ ]monoid_0__t45_monoid_02023-06-28 12:47 63K 
[ ]monoid_0__t46_monoid_02023-06-28 12:48 56K 
[ ]monoid_0__t47_monoid_02023-06-28 12:48 57K 
[ ]monoid_0__t48_monoid_02023-06-28 12:49 51K 
[ ]monoid_0__t49_monoid_02023-06-28 12:26 39K 
[ ]monoid_0__t50_monoid_02023-06-28 12:49 48K 
[ ]monoid_0__t51_monoid_02023-06-28 12:50 57K 
[ ]monoid_0__t52_monoid_02023-06-28 12:27 42K 
[ ]monoid_0__t53_monoid_02023-06-28 12:27 46K 
[ ]monoid_0__t54_monoid_02023-06-28 12:50 42K 
[ ]monoid_0__t55_monoid_02023-06-28 12:51 54K 
[ ]monoid_0__t56_monoid_02023-06-28 12:51 49K 
[ ]monoid_0__t57_monoid_02023-06-28 12:28 49K 
[ ]monoid_0__t58_monoid_02023-06-28 12:52 44K 
[ ]monoid_0__t59_monoid_02023-06-28 12:28 45K 
[ ]monoid_0__t60_monoid_02023-06-28 12:52 52K 
[ ]monoid_0__t61_monoid_02023-06-28 12:53 55K 
[ ]monoid_0__t62_monoid_02023-06-28 12:53 53K 
[ ]monoid_0__t63_monoid_02023-06-28 12:54 49K 
[ ]monoid_0__t64_monoid_02023-06-28 12:54 46K 
[ ]monoid_0__t65_monoid_02023-06-28 12:55 42K 
[ ]monoid_0__t66_monoid_02023-06-28 12:55 50K 
[ ]monoid_0__t67_monoid_02023-06-28 12:56 45K 
[ ]monoid_0__t68_monoid_02023-06-28 12:56 49K 
[ ]monoid_0__t69_monoid_02023-06-28 12:57 56K 
[ ]monoid_0__t70_monoid_02023-06-28 12:57 53K 
[ ]monoid_0__t71_monoid_02023-06-28 12:58 46K 
[ ]monoid_0__t72_monoid_02023-06-28 12:58 54K 
[ ]monoid_0__t73_monoid_02023-06-28 12:59 41K 
[ ]monoid_0__t74_monoid_02023-06-28 12:59 51K 
[ ]monoid_0__t75_monoid_02023-06-28 13:00 47K 
[ ]monoid_0__t76_monoid_02023-06-28 13:00 60K 
[ ]monoid_0__t77_monoid_02023-06-28 13:01 49K 
[ ]monoid_0__t78_monoid_02023-06-28 13:01 65K 
[ ]monoid_0__t79_monoid_02023-06-28 13:02 66K 
[ ]monoid_0__t80_monoid_02023-06-28 12:28 798  
[ ]monoid_0__t81_monoid_02023-06-28 12:29 40K 
[ ]monoid_0__t82_monoid_02023-06-28 13:02 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80