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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]monoid_0__l27_monoid_02025-09-12 12:38 36K 
[   ]monoid_0__l37_monoid_02025-09-12 12:39 32K 
[   ]monoid_0__l38_monoid_02025-09-12 14:20 35K 
[   ]monoid_0__l39_monoid_02025-09-12 14:22 38K 
[   ]monoid_0__l67_monoid_02025-09-12 14:23 57K 
[   ]monoid_0__s1_monoid_02025-09-12 12:41 43K 
[   ]monoid_0__s2_monoid_02025-09-12 12:42 48K 
[   ]monoid_0__t1_monoid_02025-09-12 12:43 32K 
[   ]monoid_0__t2_monoid_02025-09-12 12:19 28K 
[   ]monoid_0__t3_monoid_02025-09-12 12:45 43K 
[   ]monoid_0__t4_monoid_02025-09-12 12:46 36K 
[   ]monoid_0__t5_monoid_02025-09-12 12:47 41K 
[   ]monoid_0__t6_monoid_02025-09-12 12:20 37K 
[   ]monoid_0__t7_monoid_02025-09-12 12:49 37K 
[   ]monoid_0__t8_monoid_02025-09-12 12:50 37K 
[   ]monoid_0__t9_monoid_02025-09-12 12:51 37K 
[   ]monoid_0__t10_monoid_02025-09-12 12:53 37K 
[   ]monoid_0__t11_monoid_02025-09-12 12:54 37K 
[   ]monoid_0__t12_monoid_02025-09-12 12:55 37K 
[   ]monoid_0__t13_monoid_02025-09-12 12:57 38K 
[   ]monoid_0__t14_monoid_02025-09-12 12:58 38K 
[   ]monoid_0__t15_monoid_02025-09-12 13:00 44K 
[   ]monoid_0__t16_monoid_02025-09-12 12:22 38K 
[   ]monoid_0__t17_monoid_02025-09-12 12:23 36K 
[   ]monoid_0__t18_monoid_02025-09-12 13:01 43K 
[   ]monoid_0__t19_monoid_02025-09-12 13:03 43K 
[   ]monoid_0__t20_monoid_02025-09-12 13:04 44K 
[   ]monoid_0__t21_monoid_02025-09-12 13:05 31K 
[   ]monoid_0__t22_monoid_02025-09-12 13:06 36K 
[   ]monoid_0__t23_monoid_02025-09-12 13:08 40K 
[   ]monoid_0__t24_monoid_02025-09-12 13:09 45K 
[   ]monoid_0__t25_monoid_02025-09-12 13:10 42K 
[   ]monoid_0__t26_monoid_02025-09-12 13:11 49K 
[   ]monoid_0__t27_monoid_02025-09-12 13:13 44K 
[   ]monoid_0__t28_monoid_02025-09-12 13:14 47K 
[   ]monoid_0__t29_monoid_02025-09-12 13:15 39K 
[   ]monoid_0__t30_monoid_02025-09-12 13:17 42K 
[   ]monoid_0__t31_monoid_02025-09-12 13:18 41K 
[   ]monoid_0__t32_monoid_02025-09-12 13:20 39K 
[   ]monoid_0__t33_monoid_02025-09-12 13:21 39K 
[   ]monoid_0__t34_monoid_02025-09-12 13:22 39K 
[   ]monoid_0__t35_monoid_02025-09-12 13:24 40K 
[   ]monoid_0__t36_monoid_02025-09-12 13:25 41K 
[   ]monoid_0__t37_monoid_02025-09-12 13:27 37K 
[   ]monoid_0__t38_monoid_02025-09-12 12:24 43K 
[   ]monoid_0__t39_monoid_02025-09-12 13:28 54K 
[   ]monoid_0__t40_monoid_02025-09-12 13:30 83K 
[   ]monoid_0__t41_monoid_02025-09-12 12:26 49K 
[   ]monoid_0__t42_monoid_02025-09-12 12:27 49K 
[   ]monoid_0__t43_monoid_02025-09-12 12:29 50K 
[   ]monoid_0__t44_monoid_02025-09-12 13:32 63K 
[   ]monoid_0__t45_monoid_02025-09-12 13:34 64K 
[   ]monoid_0__t46_monoid_02025-09-12 13:35 58K 
[   ]monoid_0__t47_monoid_02025-09-12 13:37 59K 
[   ]monoid_0__t48_monoid_02025-09-12 13:38 52K 
[   ]monoid_0__t49_monoid_02025-09-12 12:30 40K 
[   ]monoid_0__t50_monoid_02025-09-12 13:40 49K 
[   ]monoid_0__t51_monoid_02025-09-12 13:41 58K 
[   ]monoid_0__t52_monoid_02025-09-12 12:31 43K 
[   ]monoid_0__t53_monoid_02025-09-12 12:33 47K 
[   ]monoid_0__t54_monoid_02025-09-12 13:42 43K 
[   ]monoid_0__t55_monoid_02025-09-12 13:44 55K 
[   ]monoid_0__t56_monoid_02025-09-12 13:45 50K 
[   ]monoid_0__t57_monoid_02025-09-12 12:34 50K 
[   ]monoid_0__t58_monoid_02025-09-12 13:47 45K 
[   ]monoid_0__t59_monoid_02025-09-12 12:36 45K 
[   ]monoid_0__t60_monoid_02025-09-12 13:48 55K 
[   ]monoid_0__t61_monoid_02025-09-12 13:50 55K 
[   ]monoid_0__t62_monoid_02025-09-12 13:52 54K 
[   ]monoid_0__t63_monoid_02025-09-12 13:53 50K 
[   ]monoid_0__t64_monoid_02025-09-12 13:55 47K 
[   ]monoid_0__t65_monoid_02025-09-12 13:56 43K 
[   ]monoid_0__t66_monoid_02025-09-12 13:58 51K 
[   ]monoid_0__t67_monoid_02025-09-12 13:59 46K 
[   ]monoid_0__t68_monoid_02025-09-12 14:00 51K 
[   ]monoid_0__t69_monoid_02025-09-12 14:02 58K 
[   ]monoid_0__t70_monoid_02025-09-12 14:04 54K 
[   ]monoid_0__t71_monoid_02025-09-12 14:05 48K 
[   ]monoid_0__t72_monoid_02025-09-12 14:06 56K 
[   ]monoid_0__t73_monoid_02025-09-12 14:08 42K 
[   ]monoid_0__t74_monoid_02025-09-12 14:09 53K 
[   ]monoid_0__t75_monoid_02025-09-12 14:11 49K 
[   ]monoid_0__t76_monoid_02025-09-12 14:12 61K 
[   ]monoid_0__t77_monoid_02025-09-12 14:14 51K 
[   ]monoid_0__t78_monoid_02025-09-12 14:16 67K 
[   ]monoid_0__t79_monoid_02025-09-12 14:18 68K 
[   ]monoid_0__t80_monoid_02025-09-12 12:36 798  
[   ]monoid_0__t81_monoid_02025-09-12 12:37 42K 
[   ]monoid_0__t82_monoid_02025-09-12 14:19 48K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80