Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/monoid_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_1__l22_monoid_12024-07-28 04:37 38K 
[ ]monoid_1__l22_monoid_1.depv12024-08-03 10:19 130  
[ ]monoid_1__l22_monoid_1.depvmin12024-08-03 10:24 130  
[ ]monoid_1__l22_monoid_1.vmin12024-08-03 10:19 1.4K 
[ ]monoid_1__l22_monoid_1.vmin1out2024-08-03 10:21 12K 
[ ]monoid_1__l22_monoid_1.vout2024-08-03 09:49 16K 
[ ]monoid_1__t1_monoid_12024-07-28 02:57 46K 
[ ]monoid_1__t1_monoid_1.vout2024-08-03 08:52 7.3K 
[ ]monoid_1__t2_monoid_12024-07-28 02:59 47K 
[ ]monoid_1__t2_monoid_1.vout2024-08-03 06:38 7.3K 
[ ]monoid_1__t3_monoid_12024-07-28 03:01 45K 
[ ]monoid_1__t3_monoid_1.vout2024-08-03 06:09 4.1K 
[ ]monoid_1__t4_monoid_12024-07-28 03:02 45K 
[ ]monoid_1__t4_monoid_1.vout2024-08-03 08:24 4.1K 
[ ]monoid_1__t5_monoid_12024-07-28 03:04 47K 
[ ]monoid_1__t5_monoid_1.vout2024-08-03 07:36 4.1K 
[ ]monoid_1__t6_monoid_12024-07-28 03:06 40K 
[ ]monoid_1__t6_monoid_1.vout2024-08-03 06:51 4.1K 
[ ]monoid_1__t7_monoid_12024-07-28 03:07 40K 
[ ]monoid_1__t7_monoid_1.vout2024-08-03 09:11 4.1K 
[ ]monoid_1__t8_monoid_12024-07-28 03:09 40K 
[ ]monoid_1__t8_monoid_1.vout2024-08-03 08:01 4.1K 
[ ]monoid_1__t9_monoid_12024-07-28 03:10 47K 
[ ]monoid_1__t9_monoid_1.vout2024-08-03 04:31 4.1K 
[ ]monoid_1__t10_monoid_12024-07-28 03:12 36K 
[ ]monoid_1__t10_monoid_1.depv12024-08-03 10:19 191  
[ ]monoid_1__t10_monoid_1.depvmin12024-08-03 10:24 191  
[ ]monoid_1__t10_monoid_1.vmin12024-08-03 10:19 2.9K 
[ ]monoid_1__t10_monoid_1.vmin1out2024-08-03 10:20 47K 
[ ]monoid_1__t10_monoid_1.vout2024-08-03 07:03 42K 
[ ]monoid_1__t11_monoid_12024-07-28 03:13 39K 
[ ]monoid_1__t11_monoid_1.vout2024-08-03 07:16 4.1K 
[ ]monoid_1__t12_monoid_12024-07-28 03:15 48K 
[ ]monoid_1__t12_monoid_1.vout2024-08-03 07:30 7.3K 
[ ]monoid_1__t13_monoid_12024-07-28 03:16 41K 
[ ]monoid_1__t13_monoid_1.vout2024-08-03 05:12 4.1K 
[ ]monoid_1__t14_monoid_12024-07-28 03:18 45K 
[ ]monoid_1__t14_monoid_1.vout2024-08-03 09:28 4.1K 
[ ]monoid_1__t15_monoid_12024-07-28 03:19 41K 
[ ]monoid_1__t15_monoid_1.vout2024-08-03 04:51 4.1K 
[ ]monoid_1__t16_monoid_12024-07-28 03:21 49K 
[ ]monoid_1__t16_monoid_1.vout2024-08-03 08:13 6.8K 
[ ]monoid_1__t17_monoid_12024-07-28 03:23 42K 
[ ]monoid_1__t17_monoid_1.vout2024-08-03 05:47 4.1K 
[ ]monoid_1__t18_monoid_12024-07-28 03:24 45K 
[ ]monoid_1__t18_monoid_1.vout2024-08-03 09:27 6.8K 
[ ]monoid_1__t19_monoid_12024-07-28 03:26 46K 
[ ]monoid_1__t19_monoid_1.vout2024-08-03 05:43 7.4K 
[ ]monoid_1__t20_monoid_12024-07-28 03:27 36K 
[ ]monoid_1__t20_monoid_1.depv12024-08-03 10:19 125  
[ ]monoid_1__t20_monoid_1.depvmin12024-08-03 10:24 93  
[ ]monoid_1__t20_monoid_1.vmin12024-08-03 10:19 1.5K 
[ ]monoid_1__t20_monoid_1.vmin1out2024-08-03 10:23 21K 
[ ]monoid_1__t20_monoid_1.vout2024-08-03 07:12 24K 
[ ]monoid_1__t21_monoid_12024-07-28 03:29 47K 
[ ]monoid_1__t21_monoid_1.vout2024-08-03 08:07 4.1K 
[ ]monoid_1__t22_monoid_12024-07-28 03:31 41K 
[ ]monoid_1__t22_monoid_1.depv12024-08-03 10:19 197  
[ ]monoid_1__t22_monoid_1.depvmin12024-08-03 10:24 182  
[ ]monoid_1__t22_monoid_1.vmin12024-08-03 10:19 2.4K 
[ ]monoid_1__t22_monoid_1.vmin1out2024-08-03 10:20 19K 
[ ]monoid_1__t22_monoid_1.vout2024-08-03 09:49 27K 
[ ]monoid_1__t23_monoid_12024-07-28 03:32 41K 
[ ]monoid_1__t23_monoid_1.vout2024-08-03 06:40 4.1K 
[ ]monoid_1__t24_monoid_12024-07-28 03:34 39K 
[ ]monoid_1__t24_monoid_1.vout2024-08-03 04:17 7.4K 
[ ]monoid_1__t25_monoid_12024-07-28 03:36 45K 
[ ]monoid_1__t25_monoid_1.vout2024-08-03 07:41 7.3K 
[ ]monoid_1__t26_monoid_12024-07-28 03:37 51K 
[ ]monoid_1__t26_monoid_1.vout2024-08-03 07:42 6.8K 
[ ]monoid_1__t27_monoid_12024-07-28 03:40 57K 
[ ]monoid_1__t27_monoid_1.vout2024-08-03 06:02 7.3K 
[ ]monoid_1__t28_monoid_12024-07-28 03:41 50K 
[ ]monoid_1__t28_monoid_1.depv12024-08-03 10:19 184  
[ ]monoid_1__t28_monoid_1.depvmin12024-08-03 10:24 184  
[ ]monoid_1__t28_monoid_1.vmin12024-08-03 10:19 1.9K 
[ ]monoid_1__t28_monoid_1.vmin1out2024-08-03 10:22 19K 
[ ]monoid_1__t28_monoid_1.vout2024-08-03 09:53 18K 
[ ]monoid_1__t29_monoid_12024-07-28 03:44 50K 
[ ]monoid_1__t29_monoid_1.vout2024-08-03 10:08 4.7K 
[ ]monoid_1__t30_monoid_12024-07-28 03:46 61K 
[ ]monoid_1__t30_monoid_1.vout2024-08-03 05:38 8.4K 
[ ]monoid_1__t31_monoid_12024-07-28 03:48 49K 
[ ]monoid_1__t31_monoid_1.vout2024-08-03 06:13 4.7K 
[ ]monoid_1__t32_monoid_12024-07-28 03:50 45K 
[ ]monoid_1__t32_monoid_1.vout2024-08-03 04:10 4.7K 
[ ]monoid_1__t33_monoid_12024-07-28 03:52 59K 
[ ]monoid_1__t33_monoid_1.vout2024-08-03 09:14 7.3K 
[ ]monoid_1__t34_monoid_12024-07-28 03:53 56K 
[ ]monoid_1__t34_monoid_1.vout2024-08-03 04:35 7.9K 
[ ]monoid_1__t35_monoid_12024-07-28 03:55 50K 
[ ]monoid_1__t35_monoid_1.vout2024-08-03 07:54 7.9K 
[ ]monoid_1__t36_monoid_12024-07-28 03:57 54K 
[ ]monoid_1__t36_monoid_1.vout2024-08-03 09:00 7.4K 
[ ]monoid_1__t37_monoid_12024-07-28 03:59 62K 
[ ]monoid_1__t37_monoid_1.vout2024-08-03 07:15 8.4K 
[ ]monoid_1__t38_monoid_12024-07-28 04:01 71K 
[ ]monoid_1__t38_monoid_1.vout2024-08-03 07:25 4.7K 
[ ]monoid_1__t39_monoid_12024-07-28 04:04 85K 
[ ]monoid_1__t39_monoid_1.vout2024-08-03 07:30 7.3K 
[ ]monoid_1__t40_monoid_12024-07-28 04:06 80K 
[ ]monoid_1__t40_monoid_1.vout2024-08-03 06:40 7.3K 
[ ]monoid_1__t41_monoid_12024-07-28 04:08 65K 
[ ]monoid_1__t41_monoid_1.vout2024-08-03 09:41 4.7K 
[ ]monoid_1__t42_monoid_12024-07-28 04:11 82K 
[ ]monoid_1__t42_monoid_1.vout2024-08-03 05:59 7.4K 
[ ]monoid_1__t43_monoid_12024-07-28 04:14 85K 
[ ]monoid_1__t43_monoid_1.vout2024-08-03 08:16 7.3K 
[ ]monoid_1__t44_monoid_12024-07-28 04:15 41K 
[ ]monoid_1__t44_monoid_1.vout2024-08-03 05:41 7.3K 
[ ]monoid_1__t45_monoid_12024-07-28 04:17 41K 
[ ]monoid_1__t45_monoid_1.vout2024-08-03 04:49 7.3K 
[ ]monoid_1__t46_monoid_12024-07-28 04:36 42K 
[ ]monoid_1__t46_monoid_1.vout2024-08-03 04:45 6.8K 
[ ]monoid_1__t47_monoid_12024-07-28 04:18 42K 
[ ]monoid_1__t47_monoid_1.vout2024-08-03 09:22 7.4K 
[ ]monoid_1__t48_monoid_12024-07-28 04:20 42K 
[ ]monoid_1__t48_monoid_1.vout2024-08-03 09:20 7.3K 
[ ]monoid_1__t49_monoid_12024-07-28 04:22 39K 
[ ]monoid_1__t49_monoid_1.vout2024-08-03 10:01 1.1K 
[ ]monoid_1__t50_monoid_12024-07-28 04:23 39K 
[ ]monoid_1__t50_monoid_1.vout2024-08-03 10:18 1.1K 
[ ]monoid_1__t51_monoid_12024-07-28 04:25 45K 
[ ]monoid_1__t51_monoid_1.vout2024-08-03 07:46 6.8K 
[ ]monoid_1__t52_monoid_12024-07-28 04:26 44K 
[ ]monoid_1__t52_monoid_1.vout2024-08-03 08:34 6.8K 
[ ]monoid_1__t53_monoid_12024-07-28 04:28 33K 
[ ]monoid_1__t53_monoid_1.depv12024-08-03 10:19 88  
[ ]monoid_1__t53_monoid_1.depvmin12024-08-03 10:24 88  
[ ]monoid_1__t53_monoid_1.vmin12024-08-03 10:19 1.9K 
[ ]monoid_1__t53_monoid_1.vmin1out2024-08-03 10:21 31K 
[ ]monoid_1__t53_monoid_1.vout2024-08-03 07:18 31K 
[ ]monoid_1__t54_monoid_12024-07-28 04:30 47K 
[ ]monoid_1__t54_monoid_1.vout2024-08-03 09:04 6.8K 
[ ]monoid_1__t55_monoid_12024-07-28 04:31 39K 
[ ]monoid_1__t55_monoid_1.vout2024-08-03 08:45 4.1K 
[ ]monoid_1__t56_monoid_12024-07-28 04:33 38K 
[ ]monoid_1__t56_monoid_1.depv12024-08-03 10:19 225  
[ ]monoid_1__t56_monoid_1.depvmin12024-08-03 10:24 225  
[ ]monoid_1__t56_monoid_1.vmin12024-08-03 10:19 3.1K 
[ ]monoid_1__t56_monoid_1.vmin1out2024-08-03 10:23 24K 
[ ]monoid_1__t56_monoid_1.vout2024-08-03 08:04 32K 
[ ]monoid_1__t57_monoid_12024-07-28 04:34 37K 
[ ]monoid_1__t57_monoid_1.vout2024-08-03 04:19 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80